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

, , &
Philosophical Quarterly 44 (175):272 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

9780937073995  

DOI

10.2307/2219757

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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.
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.
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.
Circularity or Lacunae in Tarski’s Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.
Review: Jon Barwise, John Etchemendy, Turing's World; Jon Barwise, John Etchemendy, Tarski's World. [REVIEW]George Boolos - 1990 - Journal of Symbolic Logic 55 (1):370-371.
Tarski's physicalism.Richard L. Kirkham - 1993 - Erkenntnis 38 (3):289-302.
What Is True and False about So-Called Theories of Truth?Jaakko Hintikka - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:155-160.
Logical consequence: A defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.
Second-Order Arithmetic Sans Sets.L. Berk - 2013 - Philosophia Mathematica 21 (3):339-350.
Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
Etchemendy and Bolzano on Logical Consequence.Paul Rusnock & Mark Burke - 2010 - History and Philosophy of Logic 31 (1):3-29.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.

Analytics

Added to PP
2014-01-18

Downloads
24 (#656,974)

6 months
8 (#361,319)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Etchemendy
Stanford University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references