Lenguaje, demostración y lógica

Language, Proof and Logic es un paquete de software educativo, ideado y escrito por Jon Barwise y John Etchemendy , orientado a la enseñanza de la lógica formal mediante una estrecha integración entre un libro de texto (del mismo nombre que el paquete) y cuatro programas informáticos, tres de ellos relacionados con la lógica (Boole, Fitch y Tarski's World) y el tercero (Submit) un servicio de calificación en línea. El nombre es un juego de palabras derivado de Language, Truth, and Logic , el libro de filosofía de AJ Ayer .

El 2 de septiembre de 2014 se lanzó un curso online masivo y abierto (MOOC) con el mismo nombre, que utiliza este paquete de software educativo.

Breve descripción de los programas:

• Boole (llamado así en honor a George Boole ): un programa que facilita la construcción y verificación de tablas de verdad y nociones relacionadas ( tautología , consecuencia tautológica, etc.);
• Fitch (llamado así en honor a Frederic Brenton Fitch ): un entorno de demostración por deducción natural en el cálculo de estilo Fitch para dar y comprobar demostraciones de primer orden;
• Tarski's World (llamado así en honor a Alfred Tarski ): un programa que enseña el lenguaje básico de primer orden y su semántica utilizando un enfoque similar a la teoría de modelos, donde el "mundo" consiste en una pequeña cuadrícula y algunos objetos simples;
• Submit: un programa que permite a los estudiantes enviar los ejercicios realizados con los programas anteriores a Grade Grinder, el servicio de calificación en línea. ^{[ 1 ]}

• Página principal
• Primera edición de Lenguaje, Demostración y Lógica en Internet Archive
• Curso online masivo y abierto (MOOC) de Lenguaje, Demostración y Lógica