El mundo de Tarski es una introducción a la lógica de primer orden basada en computadora escrita por Jon Barwise y John Etchemendy . Lleva el nombre del lógico matemático Alfred Tarski . El paquete incluye un libro, que sirve como libro de texto y manual, y un programa de computadora que juntos sirven como una introducción a la semántica de la lógica a través de juegos en los que mundos simples y tridimensionales se pueblan con varias figuras geométricas y estas se usan para probar la verdad o falsedad de oraciones lógicas de primer orden. El programa también está incluido en el paquete Lenguaje, prueba y lógica . [1] [2] [3] [4] [5]
El programa se amplió posteriormente a Hyperproof. [6]
El programa
- Barwise, J., y Etchemendy, J. (1993). El mundo de Tarski . Stanford, California: CSLI Publ.
- Barker-Plummer, D., Barwise, J. y Etchemendy, J. (2008). El mundo de Tarski . Stanford, California: CSLI Publications.
- El Proyecto Openproof en CSLI: página de inicio del paquete de cursos Tarski's World, Dave Barker-Plummer, Jon Barwise y John Etchemendy en colaboración con Albert Liu
Referencias
- ^ Goldson, D., (1994) Revisión de El lenguaje de la lógica de primer orden, incluido el programa Macintosh Tarski's World. The Philosophical Quarterly , 44, 175, 272–275.
- ^ Fallis, D., (1999). Revisión de The Language of First-Order Logic, incluida la versión para Windows compatible con IBM de Tarski's World 4.0. Journal of Symbolic Logic , 64, 2, 916–918.
- ^ Compton, KJ, (1993). Revisión de El lenguaje de la lógica de primer orden, incluido el programa El mundo de Tarski. Journal of Symbolic Logic , 58, 1, 362–363.
- ^ Bailhache, P. (1992). Revisión de El lenguaje de la lógica de primer orden, incluido el mundo de Tarski de Macintosh™. Studia Logica , 51, 1, 145–147.
- ^ Goldson, D., Reeves, S. y R. Bornat (1993) Una revisión de varios programas para la enseñanza de la lógica, The Computer Journal , volumen 36, número 4, págs. 373-386
- ^ Barwise, Jon; Etchemendy, John (1992). "Hiperprueba: razonamiento lógico con diagramas". Informe técnico SS-92-02 de la AAAI .
Enlaces externos
- Un breve videoclip que muestra cómo utilizar el programa Tarski's World para pruebas de lenguaje y lógica.
