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.  56
    John Barwise and Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phnenomena.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, by Jon Barwise and Lawrence Moss, published by CSLI Publications in 1996.
    Direct download (5 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. Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
  5. Situations and Attitudes.Jon Barwise & John Perry - 1983 - MIT Press.
    This volume tackles the slippery subject of 'meaning'.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   316 citations  
  6. Generalized Quantifiers and Natural Language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
  7. Semantic Innocence and Uncompromising Situations.Jon Barwise & John Perry - 1981 - Midwest Studies in Philosophy 6 (1):387-404.
  8.  84
    The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1987 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   106 citations  
  9.  31
    Language, Proof and Logic.Jon Barwise & John Etchemendy - 1999 - 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   28 citations  
  10. The Liar. An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Mind 98 (391):451-453.
    No categories
     
    Export citation  
     
    Bookmark   38 citations  
  11. Shifting Situations and Shaken Attitudes.Jon Barwise & John Perry - 1985 - Linguistics and Philosophy 8 (1):105--161.
  12.  34
    Heterogeneous Logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
  13. Hyperproof: For Macintosh.Jon Barwise & John Etchemendy - 1994 - Center for the Study of Language and Inf.
  14.  30
    An Introduction to Recursively Saturated and Resplendent Models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
  15. 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
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  45
    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  
  17.  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  
  18.  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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  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.
  20.  9
    Scenes and Other Situations.Jon Barwise, John Perry & Peter A. French - 1984 - Journal of Symbolic Logic 49 (4):1403-1406.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. 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  
  22.  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.
  23.  6
    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   1 citation  
  24. 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  
  25.  16
    Turing's World 3.0. An Introduction to Computability Theory.S. L. R., Jon Barwise & John Etchemendy - 1994 - Philosophical Quarterly 44 (175):276.
  26.  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.
  27.  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.
  28.  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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  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.
  30. 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  
  31.  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.
  32. Jon Barwise and John Perry, Situations and Attitudes Reviewed By.Philip P. Hanson - 1985 - Philosophy in Review 5 (5):210-212.
     
    Export citation  
     
    Bookmark  
  33. Jon Barwise and John Perry, Situations and Attitudes. [REVIEW]Philip Hanson - 1985 - Philosophy in Review 5:210-212.
  34.  6
    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.
  35. 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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. 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  
     
    Bookmark   1 citation  
  37.  2
    Situationen Und Einstellungen: Grundlagen der Situationssemantik.Jon Barwise & John Perry - 1987 - De Gruyter.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. 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   36 citations  
  39. 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  
     
    Bookmark   2 citations  
  40. The Language of First-Order Logic Including the Program Tarski's World.Jon Barwise & John Etchemendy - 1990
     
    Export citation  
     
    Bookmark  
  41. 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  
  42.  10
    Turing's World.Jon Barwise & John Etchemendy - 1990 - Journal of Symbolic Logic 55 (1):370-371.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Turing's World 3.0 for the Macintosh an Introduction to Computability Theory.Jon Barwise & John Etchemendy - 1993
  44. Tarski's World Version 4.0 for Ms Windows.Jon Barwise & John Etchemendy - 1993
     
    Export citation  
     
    Bookmark  
  45. BARWISE, J.: "Handbook of Mathematical Logic". [REVIEW]John Bell - 1979 - British Journal for the Philosophy of Science 30:306.
     
    Export citation  
     
    Bookmark  
  46.  17
    Review: Jon Barwise, Scenes and Other Situations; Jon Barwise, John Perry, Situations and Attitudes; Jon Barwise, John Perry, Peter A. French, Theodore E. Uehling, Howard K. Wettstein, Semantic Innocence and Uncompromising Situations. [REVIEW]Richmond H. Thomason - 1984 - Journal of Symbolic Logic 49 (4):1403-1406.
  47.  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.
  48. 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.
  49.  6
    Review: Jon Barwise, John Etchemendy, The Liar. An Essay on Truth and Circularity. [REVIEW]Donald A. Martin - 1992 - Journal of Symbolic Logic 57 (1):252-254.
  50. 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  
1 — 50 / 1000