98 found
Order:
  1. Jon Barwise & John Perry (1981). Situations and Attitudes. Journal of Philosophy 78 (11):668-691.
  2. Jon Barwise & Robin Cooper (1981). Generalized Quantifiers and Natural Language. Linguistics and Philosophy 4 (2):159--219.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   225 citations  
  3.  47
    Jon Barwise (1987). The Liar: An Essay on Truth and Circularity. 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.  6
    Jon Barwise (1989). The Situation in Logic. 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. Jon Barwise & John Perry (1983). Situations and Attitudes. MIT Press.
  6.  4
    Jon Barwise (1975). Admissible Sets and Structures: An Approach to Definability Theory. Springer-Verlag.
  7. Jon Barwise & Conference on Situation Theory and its Applications (1991). Situation Theory and its Applications. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography   46 citations  
  8.  29
    Jon Barwise & Jerry Seligman (1997). Information Flow: The Logic of Distributed Systems. 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.  39
    Jon Barwise (1986). Information and Circumstance. Notre Dame Journal of Formal Logic 27 (July):324-338.
  10. Gerard Allwein & Jon Barwise (eds.) (1996). Logical Reasoning with Diagrams. 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. Jon Barwise (1981). Scenes and Other Situations. Journal of Philosophy 78 (7):369-397.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   29 citations  
  12.  99
    Jon Barwise & John Perry (1981). Semantic Innocence and Uncompromising Situations. Midwest Studies in Philosophy 6 (1):387-404.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   23 citations  
  13. Jon Barwise, Solomon Feferman & David Israel (1986). Meeting of the Association for Symbolic Logic: Stanford, California, 1985. Journal of Symbolic Logic 51 (3):832-862.
  14.  47
    Jon Barwise (1979). On Branching Quantifiers in English. Journal of Philosophical Logic 8 (1):47 - 80.
  15.  6
    Jon Barwise, Matt Kaufmann & Michael Makkai (1978). Stationary Logic. Annals of Mathematical Logic 13 (2):171-224.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   27 citations  
  16.  5
    Jon Barwise & John Etchemendy (1999). Language, Proof and Logic. Seven Bridges Press.
  17.  60
    Jon Barwise (1997). Information and Impossibilities. 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 (10 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  18. Jon Barwise & Solomon Feferman (1985). Model-Theoretic Logics.
     
    Export citation  
     
    My bibliography   15 citations  
  19.  77
    Jon Barwise & John Perry (1985). Shifting Situations and Shaken Attitudes. Linguistics and Philosophy 8 (1):105--161.
  20.  29
    Jon Barwise (1969). Infinitary Logic and Admissible Sets. Journal of Symbolic Logic 34 (2):226-252.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   26 citations  
  21.  13
    Jon Barwise (ed.) (1977). Handbook of Mathematical Logic. North-Holland.
  22.  2
    Jon Barwise (1993). Everyday Reasoning and Logical Inference. Behavioral and Brain Sciences 16 (2):337.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  23. Jon Barwise & Abraham Robinson (1970). Completing Theories by Forcing. Annals of Mathematical Logic 2 (2):119-142.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   24 citations  
  24.  14
    Jon Barwise, Jean Mark Gawron, Gordon Plotkin & Syun Tutiya (eds.) (1991). Situation Theory and its Applications Vol. Csli.
    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  
  25.  55
    Jon Barwise (1987). Unburdening the Language of Thought. Mind and Language 2 (1):82-96.
  26. John Etchemendy & Jon Barwise (1989). Model-Theoretic Semantics. In Michael I. Posner (ed.), Foundations of Cognitive Science. MIT Press 207--243.
  27. Jon Barwise & Johan van Benthem (1999). Interpolation, Preservation, and Pebble Games. 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  
  28.  15
    Jon Barwise & John Schlipf (1976). An Introduction to Recursively Saturated and Resplendent Models. Journal of Symbolic Logic 41 (2):531-536.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  29.  2
    Jon Barwise & Kenneth Kunen (1984). Hanf Numbers for Fragments of L ∞Ω. Journal of Symbolic Logic 49 (1):315-315.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  30.  17
    Jon Barwise & John Etchemendy (1998). Computers, Visualization, and the Nature of Reasoning. In Terrell Ward Bynum & James Moor (eds.), The Digital Phoenix: How Computers Are Changing Philosophy. Blackwell Publishers 93--116.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  44
    Jon Barwise (1991). Review: Laurence R. Horn, A Natural History of Negation. [REVIEW] Journal of Symbolic Logic 56 (3):1103-1104.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32.  24
    Jon Barwise & Lawrence S. Moss (1998). Modal Correspondence for Models. 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  
  33.  9
    Jon Barwise (1977). On Moschovakis Closure Ordinals. Journal of Symbolic Logic 42 (2):292-296.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  34.  11
    Jon Barwise & John Etchemendy (1996). Heterogeneous Logic. In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  48
    Jon Barwise (1999). Critical Studies / Book Reviews. Philosophia Mathematica 7 (2):238-240.
  36.  19
    Jon Barwise (1969). Applications of Strict Π11 Predicates to Infinitary Logic. Journal of Symbolic Logic 34 (3):409 - 423.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  37.  26
    Jon Barwise & Jerry Seligman (1994). The Rights and Wrongs of Natural Regularity. Philosophical Perspectives 8:331-364.
  38.  2
    Jon Barwise & Paul Eklof (1970). Infinitary Properties of Abelian Torsion Groups. Annals of Mathematical Logic 2 (1):25-68.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  39.  9
    Jon Barwise & Eric Hammer (1996). Diagrams and the Concept of Logical System. In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  40. David Barker-Plummer, Jon Barwise & John Etchemendy (2007). Tarski's World: Revised and Expanded. 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  
  41.  19
    Jon Barwise & Johan van Benthem (1999). Interpolation, Preservation, and Pebble Games. 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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  42.  15
    Jon Barwise & Yiannis N. Moschovakis (1978). Global Inductive Definability. 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  
  43.  17
    John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis (1979). The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 44 (3):469-480.
  44.  9
    Jon Barwise (1990). Consistency and Logical Consequence. In J. Dunn & A. Gupta (eds.), Truth or Consequences. Kluwer 111--122.
  45.  17
    Jon Barwise, Robert Soare & Terrence Millar (1983). Meeting of the Association for Symbolic Logic: Milwaukee, 1981. Journal of Symbolic Logic 48 (2):514-518.
  46. Jon Barwise & John Etchemendy (1994). Hyperproof: For Macintosh. Center for the Study of Language and Inf.
     
    Export citation  
     
    My bibliography   2 citations  
  47.  16
    Jon Barwise, Kenneth Kunen & Joseph Ullian (1978). Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. Journal of Symbolic Logic 43 (2):365-372.
  48.  6
    Jon Barwise (1983). Information and Semantics. Behavioral and Brain Sciences 6 (1):65.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49. Abraham Robinson, Jon Barwise & J. E. Fenstad (1975). Forcing in Model Theory. Journal of Symbolic Logic 40 (4):633-634.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  50.  6
    S. L. R., Jon Barwise & John Etchemendy (1994). Turing's World 3.0. An Introduction to Computability Theory. Philosophical Quarterly 44 (175):276.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 98