Langue, preuve et logique - Language, Proof and Logic
Language, Proof and Logic est un progiciel éducatif, conçu et écrit par Jon Barwise et John Etchemendy , destiné à enseigner la logique formelle grâce à l'utilisation d'une intégration étroite entre un manuel (même nom que le progiciel) et quatre logiciels, où trois d'entre eux sont liés à la logique (Boole, Fitch et Tarski's World) et l'autre (Submit) est un service de notation basé sur Internet. Le nom est un jeu de mots dérivé de Language, Truth, and Logic , le livre de philosophie d' AJ Ayer .
Le 2 septembre 2014, un cours en ligne ouvert massif (MOOC) du même nom a été lancé , qui utilise ce logiciel éducatif.
La description
Une brève description des programmes:
- Boole (du nom de George Boole ) - un programme qui facilite la construction et la vérification des tables de vérité et des notions associées ( tautologie , conséquence tautologique, etc.);
- Fitch (nommé d'après Frederic Brenton Fitch ) - un environnement de preuve de déduction naturel dans le calcul de style Fitch pour donner et vérifier les preuves de premier ordre;
- Tarski's World (nommé d'après Alfred Tarski ) - un programme qui enseigne le langage de base du premier ordre et sa sémantique en utilisant une approche de type théorique du modèle, où le «monde» se compose d'une petite grille et de quelques objets simples;
- Soumettre - un programme qui permet aux élèves de soumettre des exercices réalisés avec les programmes ci-dessus au Grade Grinder, le service de notation en ligne.