Tarski's World: Revised and Expanded (Center for the Study of Language and Information - Lecture Notes)

Jon Barwise

ISBN 10: 1575864843 / ISBN 13: 9781575864846

Published by Center for the Study of Language and Inf, 2007

About this Item

A method of introducing students to the language of first-order logic. It helps students learn the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 144 pages, 30 halftones. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 229 x 163 x 12. Weight in Grams: 258. . 2007. 1st Edition. Paperback. . . . .

Seller Inventory # V9781575864846

Bibliographic Details

• Title: Tarski's World: Revised and Expanded (Center for the Study of Language and Information - Lecture Notes)
• Publisher: Center for the Study of Language and Inf
• Publication Date: 2007
• Language: English
• ISBN 10: 1575864843
• ISBN 13: 9781575864846
• Binding: Soft cover
• Edition: 1st Edition
• Condition: New

About this title

Synopsis

Tarski’s World is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and Windows formats, also contains a unique and effective corrective tool in the form of a game, which methodically leads students back through their errors if they wrongly evaluate the sentences in the constructed worlds.

A brand new feature in this revised and expanded edition is student access to Grade Grinder, an innovative Internet-based grading service that provides accurate and timely feedback to students whenever they need it. Students can submit solutions for the program’s more than 100 exercises to the Grade Grinder for assessment, and the results are returned quickly to the students and optionally to the teacher as well. A web-based interface also allows instructors to manage assignments and grades for their classes.

Intended as a supplement to a standard logic text, Tarski’s World is an essential tool for helping students learn the language of logic.

 

About the Author

Dave Barker-Plummer is a senior research scientist at Stanford University’s Center for the Study of Language and Information.
 
Jon Barwise (1942–2000) served on the faculties of Yale University, the University of Wisconsin, Stanford University, and Indiana University.
 
John Etchemendy is currently provost and professor of philosophy at Stanford University.