108 found
Order:
  1. Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
  2. Generalized Quantifiers and Natural Language.Jon Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   237 citations  
  3.  50
    The Liar: An Essay on Truth and Circularity.Jon Barwise - 1987 - Oxford University Press.
    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  
     
    My bibliography   84 citations  
  4.  10
    The Situation in Logic.Jon Barwise - 1989 - Center for the Study of Language and Inf.
    The present volume collects some of Barwise's papers written since then, those directly concerned with relations among logic, situation theory, and situation semantics. Several papers appear here for the first time.
    Direct download  
     
    Export citation  
     
    My bibliography   76 citations  
  5. Situations and Attitudes.Jon Barwise & John Perry - 1983 - MIT Press.
  6.  8
    Admissible Sets and Structures: An Approach to Definability Theory.Jon Barwise - 1975 - Springer Verlag.
  7. Situation Theory and its Applications.Jon Barwise & Conference on Situation Theory and its Applications - 1991
     
    Export citation  
     
    My bibliography   46 citations  
  8.  39
    Information Flow: The Logic of Distributed Systems.Jon Barwise & Jerry Seligman - 1997 - Cambridge University Press.
    Presents a mathematically rigorous, philosophically sound foundation for a science of information.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   31 citations  
  9.  58
    Information and Circumstance.Jon Barwise - 1986 - Notre Dame Journal of Formal Logic 27 (July):324-338.
  10. Logical Reasoning with Diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - Oxford University Press.
    One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...)
    Direct download  
     
    Export citation  
     
    My bibliography   18 citations  
  11. Scenes and Other Situations.Jon Barwise - 1981 - Journal of Philosophy 78 (7):369-397.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   30 citations  
  12.  59
    On Branching Quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.
  13.  11
    Language, Proof and Logic.Jon Barwise & John Etchemendy - 1999 - Seven Bridges Press.
  14. Semantic Innocence and Uncompromising Situations.Barwise Jon & Perry John - 1981 - Midwest Studies in Philosophy 6 (1):387-404.
  15. Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 1985
     
    Export citation  
     
    My bibliography   15 citations  
  16.  6
    Stationary Logic.Jon Barwise, Matt Kaufmann & Michael Makkai - 1978 - Annals of Mathematical Logic 13 (2):171-224.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   29 citations  
  17.  30
    Handbook of Mathematical Logic.Jon Barwise (ed.) - 1977 - North-Holland.
  18.  38
    Infinitary Logic and Admissible Sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   27 citations  
  19.  69
    Information and Impossibilities.Jon Barwise - 1997 - Notre Dame Journal of Formal Logic 38 (4):488-515.
    In this paper I explore informationalism, a pragmatic theory of modality that seems to solve some serious problems in the familiar possible worlds accounts of modality. I view the theory as an elaboration of Stalnaker's moderate modal realism, though it also derives from Dretske's semantic theory of information. Informationalism is presented in Section 2 after the prerequisite stage setting in Section 1. Some applications are sketched in Section 3. Finally, a mathematical model of the theory is developed in Section 4.How (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  20. Completing Theories by Forcing.Jon Barwise & Abraham Robinson - 1970 - Annals of Mathematical Logic 2 (2):119-142.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  21.  93
    Shifting Situations and Shaken Attitudes.Jon Barwise & John Perry - 1985 - Linguistics and Philosophy 8 (1):105--161.
  22. Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.
    Direct download  
     
    Export citation  
     
    My bibliography   18 citations  
  23.  18
    Situation Theory and its Applications Vol.Jon Barwise, Jean Mark Gawron, Gordon Plotkin & Syun Tutiya (eds.) - 1991 - CSLI Publications.
    Preface This volume represents the proceedings of the Second Conference on Situation Theory and its Applications, held at Loch Rannoch, Scotland, ...
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  24.  5
    Everyday Reasoning and Logical Inference.Jon Barwise - 1993 - Behavioral and Brain Sciences 16 (2):337.
  25. Interpolation, Preservation, and Pebble Games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64 (2):881 - 903.
    Preservation and interpolation results are obtained for L ∞ω and sublogics $\mathscr{L} \subseteq L_{\infty\omega}$ such that equivalence in L can be characterized by suitable back-and-forth conditions on sets of partial isomorphisms.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  26. Meeting of the Association for Symbolic Logic: Stanford, California, 1985.Jon Barwise, Solomon Feferman & David Israel - 1986 - Journal of Symbolic Logic 51 (3):832-862.
  27. Model-Theoretic Semantics.John Etchemendy & Jon Barwise - 1989 - In Michael I. Posner (ed.), Foundations of Cognitive Science. MIT Press. pp. 207--243.
  28.  9
    On Moschovakis Closure Ordinals.Jon Barwise - 1977 - Journal of Symbolic Logic 42 (2):292-296.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  29.  19
    An Introduction to Recursively Saturated and Resplendent Models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  30. Inquiry.Jon Barwise & Robert C. Stalnaker - 1986 - Philosophical Review 95 (3):429.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  31.  2
    Hanf Numbers for Fragments of L ∞Ω.Jon Barwise & Kenneth Kunen - 1984 - Journal of Symbolic Logic 49 (1):315-315.
  32.  67
    Unburdening the Language of Thought.Jon Barwise - 1987 - Mind and Language 2 (1):82-96.
  33.  5
    A Natural History of Negation.Jon Barwise & Laurence R. Horn - 1991 - Journal of Symbolic Logic 56 (3):1103.
  34.  30
    Modal Correspondence for Models.Jon Barwise & Lawrence S. Moss - 1998 - Journal of Philosophical Logic 27 (3):275-294.
    This paper considers the correspondence theory from modal logic and obtains correspondence results for models as opposed to frames. The key ideas are to consider infinitary modal logic, to phrase correspondence results in terms of substitution instances of a given modal formula, and to identify bisimilar model-world pairs.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  35.  2
    Infinitary Properties of Abelian Torsion Groups.Jon Barwise & Paul Eklof - 1970 - Annals of Mathematical Logic 2 (1):25-68.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  36. 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  
  37.  17
    Heterogeneous Logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
  38. Hyperproof: For Macintosh.Jon Barwise & John Etchemendy - 1994 - Center for the Study of Language and Inf.
     
    Export citation  
     
    My bibliography   2 citations  
  39.  23
    Applications of Strict Π11 Predicates to Infinitary Logic.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (3):409 - 423.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  40.  1
    Forcing in Model Theory.Abraham Robinson, Jon Barwise & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  41.  28
    The Rights and Wrongs of Natural Regularity.Jon Barwise & Jerry Seligman - 1994 - Philosophical Perspectives 8:331-364.
  42. A Correction to “Stationary Logic”.Jon Barwise, Matt Kaufmann & Michael Makkai - 1981 - Annals of Mathematical Logic 20 (2):231-232.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  43. 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  
  44. Constraints, Channels and the Flow of Information.Jon Barwise - 1993 - In Peter Aczel, David Israel, Yosuhiro Katagiri & Stanley Peters (eds.), Situation Theory and its Applications Vol. 3. CSLI Publications.
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  45.  1
    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  
     
    My bibliography   3 citations  
  46.  17
    Diagrams and the Concept of Logical System.Jon Barwise & Eric Hammer - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  25
    Global Inductive Definability.Jon Barwise & Yiannis N. Moschovakis - 1978 - Journal of Symbolic Logic 43 (3):521-534.
    We show that several theorems on ordinal bounds in different parts of logic are simple consequences of a basic result in the theory of global inductive definitions.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  48.  7
    Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  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  
  50.  25
    Logic and Linguistics Meeting: Santa Cruz, 1991.Barwise Jon, Ladusaw William, ter Meulen Alice, Oehrle Richard & Thomason Richmond - 1992 - Journal of Symbolic Logic 57 (4):1498-1499.
1 — 50 / 108