Language, Proof and Logic es un paquete de software educativo, ideado y escrito por Jon Barwise y John Etchemendy , orientado a enseñar lógica formal mediante el uso de una estrecha integración entre un libro de texto (el mismo nombre que el paquete) y cuatro programas de software, donde tres de ellos están relacionados con la lógica (Boole, Fitch y Tarski's World) y el otro (Submit) es un servicio de calificación basado en Internet. 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 en línea abierto masivo (MOOC) con el mismo nombre, que utiliza este paquete de software educativo.
Descripción
Una breve descripción de los programas:
- Boole (llamado así por 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í por Frederic Brenton Fitch ) - un entorno de prueba de deducción natural en el cálculo al estilo Fitch para dar y verificar pruebas de primer orden;
- Tarski's World (llamado así por Alfred Tarski ) - un programa que enseña el lenguaje básico de primer orden y su semántica usando un enfoque de modelo similar a la teoría, donde el "mundo" consiste en una pequeña cuadrícula y algunos objetos simples;
- Enviar: un programa que permite a los estudiantes enviar ejercicios realizados con los programas anteriores al Grade Grinder, el servicio de calificación en línea. [1]
Referencias
- ^ Grim, P. (2001). "Lenguaje, prueba y lógica". El Boletín de Lógica Simbólica . 7 (3): 377–379. doi : 10.2307 / 2687756 . JSTOR 2687756 .