logo

Video encyclopedia

Tarski's World

1:36

[Old exam question] Counterexamples in a Tarski World

2:26

LPL Exercise 1.3

1:10

Tarski's World Revised and Expanded Lecture Notes

2:34

LPL Exercise 1.2

1:18

Tarski's World | Wikipedia audio article

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.
    Explore contextually related video stories in a new eye-catching way. Try Combster now!