92 found
Order:
  1. Situations and Attitudes.Jon Barwise & John Perry - 1983 - Cambridge, Mass.: MIT Press. Edited by John Perry.
  2. (1 other version)Situations and Attitudes.Jon Barwise - 1981 - Journal of Philosophy 78 (11):668.
  3.  21
    Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 2017 - Cambridge University Press.
    This book brings together several directions of work in model theory between the late 1950s and early 1980s.
    Direct download  
     
    Export citation  
     
    Bookmark   65 citations  
  4.  62
    The Situation in Logic.Jon Barwise - 1988 - Cambridge, England: 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  
     
    Bookmark   132 citations  
  5. 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  
     
    Bookmark   128 citations  
  6. The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1987 - Oxford, England and New York, NY, USA: Oxford University Press USA. Edited by John Etchemendy.
    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 (...)
  7.  53
    Admissible sets and structures: an approach to definability theory.Jon Barwise - 1975 - New York: Springer Verlag.
  8.  63
    Inquiry.Jon Barwise - 1986 - Philosophical Review 95 (3):429.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   284 citations  
  9. A Natural History of Negation.Jon Barwise - 1991 - Journal of Symbolic Logic 56 (3):1103.
  10. Logical reasoning with diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - New York: 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 (2 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  11.  63
    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, ...
    Direct download  
     
    Export citation  
     
    Bookmark   54 citations  
  12. The Situation in Logic.Jon Barwise - 1991 - Studia Logica 50 (1):163-163.
     
    Export citation  
     
    Bookmark   119 citations  
  13.  28
    Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
    Direct download  
     
    Export citation  
     
    Bookmark   105 citations  
  14. (1 other version)Semantic Innocence and Uncompromising Situations.Jon Barwise & John Perry - 1981 - Midwest Studies in Philosophy 6 (1):387-404.
  15. (1 other version)Scenes and other situations.Jon Barwise - 1981 - Journal of Philosophy 78 (7):369-397.
  16. Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.
  17. On branching quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.
  18. (1 other version)The Liar. An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Mind 98 (391):451-453.
    No categories
     
    Export citation  
     
    Bookmark   73 citations  
  19. Information and circumstance.Jon Barwise - 1986 - Notre Dame Journal of Formal Logic 27 (July):324-338.
  20.  68
    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  
  21. (1 other version)Infinitary logic and admissible sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.
    In recent years much effort has gone into the study of languages which strengthen the classical first-order predicate calculus in various ways. This effort has been motivated by the desire to find a language which is(I) strong enough to express interesting properties not expressible by the classical language, but(II) still simple enough to yield interesting general results. Languages investigated include second-order logic, weak second-order logic, ω-logic, languages with generalized quantifiers, and infinitary logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  22. Shifting situations and shaken attitudes.Jon Barwise & John Perry - 1985 - Linguistics and Philosophy 8 (1):105--161.
  23. Constraints, Channels and the Flow of Information.Jon Barwise - 1993 - In Peter Aczel, David Israel, Yosuhiro Katagiri & Stanley Peters, Situation Theory and its Applications Vol. CSLI Publications. pp. 3-27.
  24.  38
    Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  25.  25
    Toward the rigorous use of diagrams in reasoning about hardware.Steven D. Johnson, Jon Barwise & Gerard Allwein - 1996 - In Gerard Allwein & Jon Barwise, Logical reasoning with diagrams. New York: Oxford University Press.
  26. Handbook of Mathematical Logic.Jon Barwise - 1979 - British Journal for the Philosophy of Science 30 (3):306-309.
     
    Export citation  
     
    Bookmark   29 citations  
  27.  74
    Heterogeneous logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise, Logical reasoning with diagrams. New York: Oxford University Press.
  28. 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 (6 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  29.  17
    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   13 citations  
  30.  60
    (1 other version)An introduction to recursively saturated and resplendent models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
  31.  59
    Everyday reasoning and logical inference.Jon Barwise - 1993 - Behavioral and Brain Sciences 16 (2):337-338.
  32.  73
    On Moschovakis closure ordinals.Jon Barwise - 1977 - Journal of Symbolic Logic 42 (2):292-296.
  33. 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 (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  34.  46
    Infinitary properties of abelian torsion groups.Jon Barwise & Paul Eklof - 1970 - Annals of Mathematical Logic 2 (1):25-68.
  35.  69
    The rights and wrongs of natural regularity.Jon Barwise & Jerry Seligman - 1994 - Philosophical Perspectives 8:331-364.
  36.  51
    Diagrams and the concept of logical system.Jon Barwise & Eric Hammer - 1996 - In Gerard Allwein & Jon Barwise, Logical reasoning with diagrams. New York: Oxford University Press.
  37.  44
    Forcing in Model Theory.Abraham Robinson, Jon Barwise & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  38.  28
    Hanf Numbers for Fragments of L ∞ω.Jon Barwise & Kenneth Kunen - 1984 - Journal of Symbolic Logic 49 (1):315-315.
  39. Model-theoretic Semantics.John Etchemendy & Jon Barwise - 1989 - In Michael I. Posner, Foundations of Cognitive Science. MIT Press. pp. 207--243.
  40. Unburdening the language of thought.Jon Barwise - 1987 - Mind and Language 2 (1):82-96.
  41.  33
    A correction to “stationary logic”.Jon Barwise, Matt Kaufmann & Michael Makkai - 1981 - Annals of Mathematical Logic 20 (2):231-232.
  42.  98
    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 (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43.  92
    Applications of strict π11 predicates to infinitary logic.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (3):409 - 423.
  44.  72
    Computers, visualization, and the nature of reasoning.Jon Barwise & John Etchemendy - 1998 - In Terrell Ward Bynum & James H. Moor, The Digital Phoenix: How Computers are Changing Philosophy. Cambridge: Blackwell. pp. 93--116.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  45. First-order logic.Jon Barwise - 1977 - In Handbook of mathematical logic. New York: North-Holland.
     
    Export citation  
     
    Bookmark   5 citations  
  46.  21
    On the circumstantial relation between meaning and content.Jon Barwise - 1988 - In Umberto Eco, Marco Santambrogio & Patrizia Violi, Meaning and Mental Representations. Indiana University Press. pp. 496--23.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  26
    On the Logic of Information Flow.Jon Barwise, Dov Gabby & Chrysafis Hartonas - 1995 - Logic Journal of the IGPL 3 (1):7-50.
    This paper is an investigation into the logic of information flow. The basic perspective is that logic flows in virtue of constraints and that constraints classify channels connecting particulars In this paper we explore some logics intended to model reasoning in the case of idealized information flow, that is, where the constraints involved are exceptionless. We look at this as a step toward the far more challenging task of understanding the logic of imperfect information flow, that is where the constraints (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  73
    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 (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  11
    The role of the Omitting Types Theorem in infinitary logic.Jon Barwise - 1981 - Archive for Mathematical Logic 21 (1):55-68.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  23
    The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
1 — 50 / 92