28 found
Order:
Disambiguations
John Etchemendy [28]John William Etchemendy [1]
  1. The Concept of Logical Consequence.John Etchemendy - 1990 - Harvard University Press.
    Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   163 citations  
  2.  95
    The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1987 - Oxford, England and New York, NY, USA: 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   120 citations  
  3. The Concept of Logical Consequence.John Etchemendy - 1991 - Mind 100 (3):382-385.
    No categories
     
    Export citation  
     
    Bookmark   136 citations  
  4. The Concept of Logical Consequence.John Etchemendy - 1994 - Erkenntnis 41 (2):281-284.
    No categories
     
    Export citation  
     
    Bookmark   141 citations  
  5. Tarski on Truth and Logical Consequence.John Etchemendy - 1988 - Journal of Symbolic Logic 53 (1):51-79.
  6.  34
    Language, Proof and Logic.Jon Barwise & John Etchemendy - 1999 - New York and London: Seven Bridges Press.
    Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  7. 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  
     
    Bookmark   59 citations  
  8. Reflections on Consequence.John Etchemendy - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 263--299.
  9. The Liar. An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Mind 98 (391):451-453.
    No categories
     
    Export citation  
     
    Bookmark   53 citations  
  10. The Doctrine of Logic as Form.John Etchemendy - 1983 - Linguistics and Philosophy 6 (3):319 - 334.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  11.  36
    Heterogeneous Logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
  12.  2
    Hyperproof: For Macintosh.Jon Barwise & John Etchemendy - 1994 - Center for the Study of Language and Inf.
    Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  13. Models, Semantics and Logical Truth.John Etchemendy - 1988 - Linguistics and Philosophy 11 (1):91 - 106.
  14. Model-Theoretic Semantics.John Etchemendy & Jon Barwise - 1989 - In Michael I. Posner (ed.), Foundations of Cognitive Science. MIT Press. pp. 207--243.
  15.  49
    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  
     
    Bookmark   5 citations  
  16. The Language of First-Order Logic Including the Program Tarski's World.Jon Barwise & John Etchemendy - 1990
     
    Export citation  
     
    Bookmark  
  17.  6
    The Language of First-Order Logic Including the Macintosh Version of Tarski's World 4.0.Jon Barwise & John Etchemendy - 1993 - Center for the Study of Language and Information Publications.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. 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  
     
    Bookmark  
  19.  1
    Tarski's World 3.0: Including the Macintosh Program.Jon Barwise & John Etchemendy - 1991 - Stanford Univ Center for the Study.
    Tarski's World 3.0 is an innovative and enjoyable way to introduce your students to the language of first-order logic. Using this program, students quickly master the meaning of the connectives and quantifiers, and soon become fluent in the symbolic language at the core of modern logic. Tarski's World allows the students to build three-dimensional worlds and describe them in first-order logic. They evaluate the sentences in the constructed worlds, and if their evaluation is incorrect, the program provides them with a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Turing's World 3.0 for the Macintosh an Introduction to Computability Theory.Jon Barwise & John Etchemendy - 1993
  21. Tarski's World Version 4.0 for Ms Windows.Jon Barwise & John Etchemendy - 1993
     
    Export citation  
     
    Bookmark  
  22. 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, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  14
    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.
  24.  10
    Turing's World.Jon Barwise & John Etchemendy - 1990 - Journal of Symbolic Logic 55 (1):370-371.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  1
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. 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.
    This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics of importance in applications of logic in computer science. The Language of First-order (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  1
    The Language of First-Order Logic: Including the Ibm-Compatible Windows Version of Tarski's World 4.0.Jon Barwise & John Etchemendy - 1992 - Center for the Study of Language and Information Publications.
    This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics of importance in applications of logic in computer science. The Language of First-order (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  17
    Turing's World 3.0. An Introduction to Computability Theory.S. L. R., Jon Barwise & John Etchemendy - 1994 - Philosophical Quarterly 44 (175):276.