The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0

&
Center for the Study of Language and Information Publications (1993)
  Copy   BIBTEX

Abstract

The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.

Categories

Keywords

Reprint years

ISBN(s)

0937073997   9780937073995
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, including the Program Tarski's World; Jon Barwise, John Etchemendy, The Language of First-order Logic, including the Macintosh Program Tarski's World. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.
The Language of First-Order Logic, Including the Macintosh™ Tarski's World.Jon Barwise & John Etchemendy - 1992 - Studia Logica 51 (1):145-147.
The Language of First-Order Logic, including the Macintosh Program Tarski's World.Doug Goldson, Steve Reeves, Jon Barwise & John Etchemendy - 1994 - Philosophical Quarterly 44 (175):272.
Tarski's World 3.0: Including the Macintosh Program.Jon Barwise & John Etchemendy - 1991 - Stanford Univ Center for the Study.
The Language of First-order Logic: Including the Program Tarski's World.Jon Barwise & John Etchemendy - 1990 - Stanford Univ Center for the Study.
Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0; Jon Barwise, John Etchemendy, Hyperproof. [REVIEW]Don Fallis - 1999 - Journal of Symbolic Logic 64 (2):916-918.
The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for Use with Ibm-Compatible Computers.Jon Barwise & John Etchemendy - 1992 - Center for the Study of Language and Inf.
Jon Barwise and John Etchemendy, The Language of First-Order Logic including Tarski's World 4.0 Reviewed by.Louis Marinoff - 1994 - Philosophy in Review 14 (3):162-164.
Tarski's World Version 4.0 for Ms Windows.Jon Barwise & John Etchemendy - 1993
A second course in logic.Christopher Gauker - manuscript
Interpreting first-order theories into a logic of records.Marcel van de Vel - 2002 - Studia Logica 72 (3):411-432.
Interpreting First-Order Theories into a Logic of Records.Marcel van De Vel - 2002 - Studia Logica 72 (3):411 - 432.

Analytics

Added to PP
2015-02-02

Downloads
19 (#823,744)

6 months
10 (#309,344)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Etchemendy
Stanford University

Citations of this work

Against a priori knowledge of non-trivial truths.Carin Robinson - 2014 - Dissertation, University of Kwazulu-Natal

Add more citations

References found in this work

No references found.

Add more references