Tarski's World
The package is intended as a supplement to any standard logic text or for use by anyone who wants to learn the language of first order logic. The main body of the book contains a collection of exercises which use the Tarski's World software to teach the language and semantics of first order logic. The Tarski's World application allows the evaluation of first-order sentences within blocks world which users may construct using a simple editor. The worlds consist of collections of blocks of varying sizes and shapes, and placed on a checkerboard. We use an interpreted first-order language which allows users to write sentences about these worlds and evaluate their truth. A Henkin-Hintikka game may be used to elucidate the evaluation procedure.
Textbook
Tarski's World (Tarski) is published by CSLI Publications and distributed by the University of Chicago Press. Tarski's World (Revised and Expanded Edition) supersedes previous editions of Tarski's World. The text is significantly revised, with the addition of many more exercise and an update to the old manual for the program. In addition, many of the exercises can be graded automatically using the Grade Grinder, the online grading service.
Online Course
We constructed an online course, the Semantics of First-Order Logic, based on the Tarski's World courseware package, with lectures by the authors. With more than six hours of video, the course covers the the syntax and semantics of both propositional and first-order logic. The course is divided into 4 parts each containing between two and four individual lectures. We recommend studying approximately one part per week. You can sign up at Edx to get access to video lectures, quizzes and assignments. Or watch the videos here on our website.
Software
The package includes two pieces of software: Tarski's World, a program that teaches the basic first-order language and its semantics; Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the online grading service. Grade reports are returned to the student and, if requested, to the student's instructor.
Course Introduction
We constructed an online course, the Semantics of First-Order Logic, based on the Tarski's World courseware package, with lectures by the authors. With more than six hours of video, the course covers the the syntax and semantics of both propositional and first-order logic. The course is divided into 4 parts each containing between two and four individual lectures. We recommend studying approximately one part per week. You can sign up at EdX to get access to video lectures, quizzes and assignments. Or watch videos on our website.
How to Utilize This Course
To use the online materials for the Semantics of First-Order Logic online course,
you
can either sign up at EdX
to get access to video lectures, quizzes and assignments, or watch just video
lectures
here under the tab "Online Course Videos".
For learners who are not associated with a class at a university or college,
we recommend signing up to be a "Verified Learner" at EdX (for a fee).
On successful completion of the course, "Verified Learners", receive a Statement of
Accomplishment from EdX.
If you are a student in a course being offered at a university or college that uses
our
textbook,
you should follow your instructor's recommendations regarding your use of this
material.
Some instructors may require you to watch some of these videos, some may recommend
but
not require that you do so,
and some may prefer that you don't watch them at all.
Whether you want to view the lectures alone, enroll in the course for your own
enjoyment, or to supplement a more traditional physical course,
the Semantics of First-Order Logic course is available to you courtesy of Stanford Online.
However you choose to use the course material, we hope that you find it useful,
interesting and entertaining. Please send feedback to us using the comment form.