Puneet Varma (Editor)

Tarski's World

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Tarski's World httpsggwebgradegrindernetassets10SNAPSHOT

Using tarski s world mov


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.

Contents

Tarski's World Openproof Courseware FAQSupport

Tarski s world basics


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

    • Tarski's World Tarski39s World Revised and Expanded

    Tarski's World Using Tarski39s Worldmov YouTube

    Tarski's World CSI 107 Tarski39s World Optional

    Tarski's World Tarski39s World Basics YouTube

    Tarski's World In 4654 Refer To The Tarski World Given In Figur Cheggcom

    References

    Tarski's World Wikipedia
    (Text) CC BY-SA