Results for 'John Barwise'

1000+ found
Order:
  1. Model-Theoretic Semantics.John Etchemendy & Jon Barwise - 1989 - In Michael I. Posner (ed.), Foundations of Cognitive Science. MIT Press. pp. 207--243.
  2.  73
    John Barwise & Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena[REVIEW]Varol Akman - 1997 - Journal of Logic, Language and Information 6 (4):460-464.
    This is a review of Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, written by Jon Barwise and Lawrence Moss and published by CSLI Publications in 1996.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  53
    The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic, Madison 1978.John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis - 1979 - Journal of Symbolic Logic 44 (3):469-480.
  4. Situaciones movedizas y actitudes agitadas: una entrevista con Barwise y Perry: en torno a la semántica situacional: introducción a la versión castellana.Jon Barwise & John Perry - 1986 - Agora 6:7-22.
    No categories
     
    Export citation  
     
    Bookmark  
  5. 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 (...)
  6. Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
  7. Semantic Innocence and Uncompromising Situations.Jon Barwise & John Perry - 1981 - Midwest Studies in Philosophy 6 (1):387-404.
  8. Situations and Attitudes.Jon Barwise & John Perry - 2019 - In John Perry (ed.), Studies in language and information. Center for the Study of Language and Information.
     
    Export citation  
     
    Bookmark  
  9. Semantic Innocence and Uncompromising Situations.Jon Barwise & John Perry - 2019 - In John Perry (ed.), Studies in language and information. Center for the Study of Language and Information.
     
    Export citation  
     
    Bookmark  
  10. Situations and Attitudes.Jon Barwise & John Perry - 1983 - MIT Press.
    This volume tackles the slippery subject of 'meaning'.
  11. Generalized Quantifiers and Natural Language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
  12. 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.
     
    Export citation  
     
    Bookmark  
  13. 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.
     
    Export citation  
     
    Bookmark   58 citations  
  14. The Liar. An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Mind 98 (391):451-453.
    No categories
     
    Export citation  
     
    Bookmark   52 citations  
  15. Jon Barwise and John Etchemendy, The Liar: An Essay in Truth and Circularity Reviewed By.Bernard Linsky - 1988 - Philosophy in Review 8 (1):3-5.
     
    Export citation  
     
    Bookmark  
  16.  36
    Heterogeneous Logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
  17.  3
    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  
  18.  20
    Jon Barwise and John Etchemendy. Turing's World. Kinko's Academic Courseware Exchange, Santa Barbara1986, Viii + 68 Pp. + Disk. - Jon Barwise and John Etchemendy. Tarski's World. Kinko's Academic Courseware Exchange, Santa Barbara1987, Vii + 85 Pp. + Disk. [REVIEW]George Boolos - 1990 - Journal of Symbolic Logic 55 (1):370-371.
  19. Jon Barwise and John Perry.I. Situations Compromised - 2008 - In Aloysius Martinich (ed.), The Philosophy of Language. Oxford University Press. pp. 420.
     
    Export citation  
     
    Bookmark  
  20. Jon Barwise and John Perry, Situations and Attitudes. [REVIEW]Philip Hanson - 1985 - Philosophy in Review 5:210-212.
  21.  39
    Jon Barwise and John Etchemendy. Language, Proof and Logic_. In Collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, Xii + 587 Pp. - Gerard Allwein, Dave Barker-Plummer, Jon Barwise, John Etchemendy, and Albert Liu. _LPL Software Manual. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, Vii + 52 Pp. + CD-ROM. [REVIEW]Patrick Grim - 2001 - Bulletin of Symbolic Logic 7 (3):377-379.
  22.  24
    Jon Barwise and John Perry. Situations and Attitudes. Bradford Books. The MIT Press, Cambridge, Mass., and London, 1983, Xxii + 352 Pp. [REVIEW]Nino B. Cocchiarella - 1986 - Journal of Symbolic Logic 51 (2):470-472.
  23. Jon Barwise and John Perry, Situations and Attitudes Reviewed By.Philip P. Hanson - 1985 - Philosophy in Review 5 (5):210-212.
     
    Export citation  
     
    Bookmark  
  24.  21
    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.
  25.  36
    Jon Barwise. Scenes and Other Situations. The Journal of Philosophy, Vol. 78 , Pp. 369–397. - Jon Barwise and John Perry. Situations and Attitudes. The Journal of Philosophy, Vol. 78 , Pp. 668–691. - Jon Barwise and John Perry. Semantic Innocence and Uncompromising Situations. The Foundations of Analytic Philosophy, Edited by Peter A. French, Theodore E. UehlingJr., and Howard K. Wettstein, Midwest Studies in Philosophy, Vol. 6, University of Minnesota Press, Minneapolis1981, Pp. 387–403. [REVIEW]Richmond H. Thomason - 1984 - Journal of Symbolic Logic 49 (4):1403-1406.
  26.  39
    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  
  27.  17
    Jon Barwise and John Schlipf. An Introduction to Recursively Saturated and Resplendent Models. The Journal of Symbolic Logic, Vol. 41 , Pp. 531–536.Julia F. Knight - 1982 - Journal of Symbolic Logic 47 (2):440.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  8
    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.
  29.  21
    Jon Barwise and John Etchemendy. The Liar. An Essay on Truth and Circularity. Oxford University Press, New York and Oxford1987, Xii + 185 Pp. [REVIEW]Donald A. Martin - 1992 - Journal of Symbolic Logic 57 (1):252-254.
  30.  51
    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  
  31.  45
    Jon Barwise and John Schlipf. On Recursively Saturated Models of Arithmetic. Model Theory and Algebra, A Memorial Tribute to Abraham Robinson, Edited by D. H. Saracino and V. B. Weispfenning, Lecture Notes in Mathematics, Vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles Récursivement Saturés de l'Addition Et de la Multiplication des Entiers Naturels. Logic Colloquium '80, Papers Intended for the European Summer Meeting of the Association for Symbolic Logic, Edited by D. Van Dalen, D. Lascar, and T. J. Smiley, Studies in Logic and the Foundations of Mathematics, Vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, Pp. 57–68. - Julia F. Knight. Theories Whose Resplendent Models Are Homogeneous. Israel Journal of Mathematics, Vol. 42 , Pp. 151–161. - Julia Knight and Mark Nadel. Expansions of Models and Turing Degrees. The Journal of Symbolic Logic, Vol. 47 , Pp. 58. [REVIEW]J. -P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.
  32. Shifting Situations and Shaken Attitudes.Jon Barwise & John Perry - 1985 - Linguistics and Philosophy 8 (1):105--161.
  33. BARWISE, JON; ETCHEMENDY, JOHN, The Liar. An Essay on Truth and Circularity, Oxford University Press, New York/Oxford, 1989, 194 Págs. [REVIEW]Paloma Pérez-Ilzarbe - 1991 - Anuario Filosófico 24 (2):369-371.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  32
    An Introduction to Recursively Saturated and Resplendent Models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
  35.  1
    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   2 citations  
  36. The Language of First-Order Logic Including the Program Tarski's World.Jon Barwise & John Etchemendy - 1990
     
    Export citation  
     
    Bookmark  
  37. 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  
  38.  3
    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  
  39. Turing's World 3.0 for the Macintosh an Introduction to Computability Theory.Jon Barwise & John Etchemendy - 1993
  40. Tarski's World Version 4.0 for Ms Windows.Jon Barwise & John Etchemendy - 1993
  41. BARWISE, J.: "Handbook of Mathematical Logic". [REVIEW]John Bell - 1979 - British Journal for the Philosophy of Science 30:306.
     
    Export citation  
     
    Bookmark  
  42. Critical Study: Jon Barwise & John Perry, Situations and Attitudes. [REVIEW]Sten Lindström - 1991 - Noûs (5):743-770.
    The present essay is a critical study of Barwise and Perry’s book, emphasizing the logical and model-theoretical aspects of their work. I begin by presenting the authors’ criticism of the classical view of logic and semantics within the tradition of Frege, Russell and Tarski. In this connection, I discuss the so-called Frege argument (“the slingshot”). I try to show that the argument appears inconclusive, not only from a situation-theoretic perspective, but also from such alternative perspectives as orthodox Fregean semantics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  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  
  44.  7
    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   1 citation  
  45. Suggested Further Reading.David F. Austin, Jon Barwise & John Perry - 2008 - In Aloysius Martinich (ed.), The Philosophy of Language. Oxford University Press. pp. 78--468.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Review: Jon Barwise, John Schlipf, D. H. Saracino, V. B. Weispfenning, Model Theory and Algebra. [REVIEW]J.-P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.
  47.  9
    Model Theory and Algebra.Jon Barwise, John Schlipf, D. H. Saracino & V. B. Weispfenning - 1987 - Journal of Symbolic Logic 52 (1):279-284.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  7
    An Introduction to Recursively Saturated and Resplendent Models.Jon Barwise & John Schlipf - 1982 - Journal of Symbolic Logic 47 (2):440-440.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  2
    Situationen Und Einstellungen: Grundlagen der Situationssemantik.Jon Barwise & John Perry - 1987 - De Gruyter.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  6
    Review: Jon Barwise, John Schlipf, An Introduction to Recursively Saturated and Resplendent Models. [REVIEW]Julia F. Knight - 1982 - Journal of Symbolic Logic 47 (2):440-440.
1 — 50 / 1000