ART

Tarski's World is a computer-based introduction to first-order logic written by Jon Barwise and John Etchemendy. It is named after the mathematical logician Alfred Tarski. The package includes a book, which serves as a textbook and manual, and a computer program which together serve as an introduction to the semantics of logic through games in which simple, three-dimensional worlds are populated with various geometric figures and these are used to test the truth or falsehood of first-order logic sentences. The program is also included in Language, Proof and Logic package.[1][2][3][4][5]
The programme

Barwise, J., & Etchemendy, J. (1993). Tarski's world. Stanford, Calif: CSLI Publ.
Barker-Plummer, D., Barwise, J., & Etchemendy, J. (2008). Tarski's world. Stanford, Calif: CSLI Publications.
The Openproof Project at CSLI:home page of the Tarski's World courseware package, Dave Barker-Plummer, Jon Barwise and John Etchemendy in collaboration with Albert Liu

References

Goldson, D., (1994) Review of The Language of First-Order Logic, including the Macintosh Program Tarski's World. The Philosophical Quarterly, 44, 175, 272–275.
Fallis, D.,(1999). Review of The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0. Journal of Symbolic Logic, 64, 2, 916–918.
Compton, K. J., (1993). Review of The Language of First-Order Logic, including the Program Tarski's World. Journal of Symbolic Logic, 58, 1, 362–363.
Bailhache, P.(1992). Review of The Language of First-Order Logic, Including the Macintosh™ Tarski's World. Studia Logica, 51, 1, 145–147.

Goldson, D., Reeves, S. and R. Bornat (1993) A Review of Several Programs for the Teaching of Logic, The Computer Journal, Volume 36, Issue 4, pp. 373-386

External links

A short video clip showing how to use the Tarski's World program for Language Proof and Logic.

Undergraduate Texts in Mathematics

Graduate Texts in Mathematics

Graduate Studies in Mathematics

Mathematics Encyclopedia

World

Index

Hellenica World - Scientific Library

Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License