27 found
Order:
Disambiguations
John Etchemendy [27]John William Etchemendy [1]
  1.  52
    The Concept of Logical Consequence.John Etchemendy - 1990 - Harvard University Press.
  2. Tarski on Truth and Logical Consequence.John Etchemendy - 1988 - Journal of Symbolic Logic 53 (1):51-79.
  3.  12
    Language, Proof and Logic.Jon Barwise & John Etchemendy - 1999 - Seven Bridges Press.
  4. The Doctrine of Logic as Form.John Etchemendy - 1983 - Linguistics and Philosophy 6 (3):319 - 334.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  5.  51
    Reflections on Consequence.John Etchemendy - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 263--299.
  6. Model-Theoretic Semantics.John Etchemendy & Jon Barwise - 1989 - In Michael I. Posner (ed.), Foundations of Cognitive Science. MIT Press. pp. 207--243.
  7.  80
    Models, Semantics and Logical Truth.John Etchemendy - 1988 - Linguistics and Philosophy 11 (1):91 - 106.
  8. Tarski's World: Revised and Expanded.David Barker-Plummer, Jon Barwise & John Etchemendy - 2007 - Center for the Study of Language and Inf.
    _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 PC formats, also contains a unique and effective corrective tool in the form of a game, (...)
     
    Export citation  
     
    My bibliography   1 citation  
  9.  18
    Heterogeneous Logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
  10. Hyperproof: For Macintosh.Jon Barwise & John Etchemendy - 1994 - Center for the Study of Language and Inf.
     
    Export citation  
     
    My bibliography   2 citations  
  11. Language, Proof and Logic: Text and Cd.Jon Barwise & John Etchemendy - 2002 - Center for the Study of Language and Inf.
    This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible (...)
     
    Export citation  
     
    My bibliography   1 citation  
  12.  3
    The Liar: An Essay on Truth and Circularity.Vann McGee, Jon Barwise & John Etchemendy - 1991 - Philosophical Review 100 (3):472.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  27
    Computers, Visualization, and the Nature of Reasoning.Jon Barwise & John Etchemendy - 1998 - In Terrell Ward Bynum & James Moor (eds.), The Digital Phoenix: How Computers Are Changing Philosophy. Blackwell. pp. 93--116.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  9
    Turing's World 3.0. An Introduction to Computability Theory.S. L. R., Jon Barwise & John Etchemendy - 1994 - Philosophical Quarterly 44 (175):276.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  5
    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.
  16.  3
    Turing's World.Jon Barwise & John Etchemendy - 1990 - Journal of Symbolic Logic 55 (1):370-371.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. The Liar, An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Revue Philosophique de la France Et de l'Etranger 179 (1):108-108.
    Translate
     
     
    Export citation  
     
    My bibliography  
  18. The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Oxford University Press USA.
    Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...)
     
    Export citation  
     
    My bibliography  
  19. The Liar--An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Philosophical Quarterly 39 (154):118-122.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  20. The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for Use with Ibm-Compatible Computers. [REVIEW]Jon Barwise & John Etchemendy - 1992 - Center for the Study of Language and Inf.
     
    Export citation  
     
    My bibliography  
  21. The Language of First-Order Logic Including the Program Tarski's World.Jon Barwise & John Etchemendy - 1990
     
    Export citation  
     
    My bibliography  
  22. The Language of First-Order Logic Including the Ibm-Compatible Windows Version of Tarski's World 4.0.Jon Barwise & John Etchemendy - 1992
     
    Export citation  
     
    My bibliography  
  23. The Language of First-Order Logic Including the Macintosh Version of Tarski's World 4.0.Jon Barwise & John Etchemendy - 1993
     
    Export citation  
     
    My bibliography  
  24. The Language of First-Order Logic, Including the Macintosh™ Tarski's World.Jon Barwise & John Etchemendy - 1992 - Studia Logica 51 (1):145-147.
     
    Export citation  
     
    My bibliography  
  25. Tarski's World 3.0 Including the Macintosh Program.Jon Barwise & John Etchemendy - 1991
     
    Export citation  
     
    My bibliography  
  26. Turing's World 3.0 for the Macintosh an Introduction to Computability Theory.Jon Barwise & John Etchemendy - 1993
     
    Export citation  
     
    My bibliography  
  27. Tarski's World Version 4.0 for Ms Windows.Jon Barwise & John Etchemendy - 1993
     
    Export citation  
     
    My bibliography