El mundo de Tarski - Tarski's World
Tarski's World es una introducción basada en computadora a la lógica de primer orden 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 informático que en conjunto sirven como introducción a la semántica de la lógica a través de juegos en los que se pueblan mundos simples y tridimensionales con diversas figuras geométricas y estas sirven para probar la verdad o falsedad de oraciones lógicas de primer orden. El programa también está incluido en el paquete Language, Proof and Logic .
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, Calif: Publicaciones CSLI.
- The Openproof Project en CSLI: página de inicio del paquete de material didáctico Tarski's World, Dave Barker-Plummer, Jon Barwise y John Etchemendy en colaboración con Albert Liu