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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Barwise Jon and Etchemendy John. The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370 (2). CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1990, also distributed by the University of Chicago Press, Chicago, xiii+ 259 pp.+ disk. Barwise Jon and Etchemendy John. The language of first-order logic, including the Macintosh program Tarski's world. of the preceding. CSLI lecture notes, no. 23. Center for the Study of .. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.
Tarski's World 3.0: Including the Macintosh Program.Jon Barwise & John Etchemendy - 1991 - Stanford Univ Center for the Study.
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.
The Language of First-order Logic: Including the Program Tarski's World.Jon Barwise & John Etchemendy - 1990 - Stanford Univ Center for the Study.
Hyperproof: For Macintosh.Jon Barwise & John Etchemendy - 1994 - Center for the Study of Language and Inf.
Barwise Jon and Etchemendy John, The language of first-order logic, including the IBM-compatible Windows version of Tarski's world 4.0. Third edition of LVIII 362. CSLI lecture notes.no. 34. Center for the Study of Language and Information, Stanford 1992. also distributed by Cambridge University Press, New York, xiv + 319 pp. + disk. [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.
Tarski's World: Revised and Expanded.David Barker-Plummer, Jon Barwise & John Etchemendy - 2007 - Center for the Study of Language and Inf.
Logic for Computer Science.Steve Reeves & Michael Clarke - 1990 - Addison Wesley Publishing Company.

Analytics

Added to PP
2015-02-02

Downloads
24 (#908,485)

6 months
5 (#1,038,502)

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