121 found
Order:
  1. Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
  2.  7
    Inquiry.Jon Barwise & Robert C. Stalnaker - 1986 - Philosophical Review 95 (3):429.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   243 citations  
  3.  75
    A Natural History of Negation.Jon Barwise & Laurence R. Horn - 1991 - Journal of Symbolic Logic 56 (3):1103.
  4.  12
    Situations and Attitudes.Nino B. Cocchiarella, Jon Barwise & John Perry - 1983 - Journal of Symbolic Logic 51 (2):470.
  5.  9
    Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.
  6.  19
    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  
     
    Bookmark   79 citations  
  7. Situations and Attitudes.Jon Barwise & John Perry - 1983 - MIT Press.
  8.  12
    Admissible Sets and Structures: An Approach to Definability Theory.Jon Barwise - 1975 - Springer Verlag.
  9.  57
    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.
  10. Situation Theory and its Applications.Jon Barwise & Conference on Situation Theory and its Applications - 1991
     
    Export citation  
     
    Bookmark   46 citations  
  11. The Situation in Logic.Jon Barwise - 1991 - Studia Logica 50 (1):163-163.
     
    Export citation  
     
    Bookmark   59 citations  
  12. 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  
     
    Bookmark   25 citations  
  13.  17
    The Liar: An Essay on Truth and Circularity.Vann McGee, Jon Barwise & John Etchemendy - 1991 - Philosophical Review 100 (3):472.
  14. Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 1985
     
    Export citation  
     
    Bookmark   30 citations  
  15.  4
    Information Flow. The Logic of Distributed Systems.Jon Barwise & Jerry Seligman - 1998 - Erkenntnis 49 (3):397-401.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  16.  69
    Information and Circumstance.Jon Barwise - 1986 - Notre Dame Journal of Formal Logic 27 (July):324-338.
  17.  2
    Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
    Direct download  
     
    Export citation  
     
    Bookmark   57 citations  
  18.  96
    On Branching Quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.
  19.  20
    Language, Proof and Logic.Jon Barwise & John Etchemendy - 1999 - Seven Bridges Press.
  20. Scenes and Other Situations.Jon Barwise - 1981 - Journal of Philosophy 78 (7):369-397.
  21. Semantic Innocence and Uncompromising Situations.Barwise Jon & Perry John - 1981 - Midwest Studies in Philosophy 6 (1):387-404.
  22.  4
    Non-Well-Founded Sets.Peter Aczel & Jon Barwise - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  23.  66
    Situations and Attitudes.Jon Barwise & John Perry - 1983 - Noûs 25 (5):743-770.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24.  4
    Language, Proof and Logic.Jon Barwise, John Etchemendy, Gerard Allwein & Dave Barker-Plummer - 2001 - Bulletin of Symbolic Logic 7 (3):377-379.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  25.  78
    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  
     
    Bookmark   13 citations  
  26.  4
    Handbook of Mathematical Logic.Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra & J. R. Shoenfield - 1984 - Journal of Symbolic Logic 49 (3):971-975.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  27.  49
    Infinitary Logic and Admissible Sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.
  28.  8
    Toward the Rigorous Use of Diagrams in Reasoning About Hardware.Steven D. Johnson, Jon Barwise & Gerard Allwein - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
  29.  70
    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   12 citations  
  30.  14
    Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668.
  31.  52
    Handbook of Mathematical Logic.Jon Barwise (ed.) - 1977 - North-Holland.
  32.  13
    Everyday Reasoning and Logical Inference.Jon Barwise - 1993 - Behavioral and Brain Sciences 16 (2):337-338.
  33. Shifting Situations and Shaken Attitudes.Jon Barwise & John Perry - 1985 - Linguistics and Philosophy 8 (1):105--161.
  34.  22
    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  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  35.  9
    Formal Philosophy. Selected Papers of Richard Montague. Edited and with an Introduction by Thomason Richmond H.. Yale University Press, New Haven and London 1974, 369 Pp. [REVIEW]Jon Barwise & Julius Moravcsik - 1982 - Journal of Symbolic Logic 47 (1):210-215.
  36.  8
    Barry E. Jacobs, Applied Database Logic I: Fundamental Database Issues, Prentice-Hall, Englewood Cliffs, N.J., 1985, Xviii + 334 Pp. [REVIEW]Jon Barwise - 1989 - Journal of Symbolic Logic 54 (2):627-628.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  3
    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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38. Hyperproof: For Macintosh.Jon Barwise & John Etchemendy - 1994 - Center for the Study of Language and Inf.
     
    Export citation  
     
    Bookmark   6 citations  
  39. 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  
     
    Bookmark   9 citations  
  40.  27
    Heterogeneous Logic.Jon Barwise & John Etchemendy - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
  41.  11
    Situations and Attitudes.Jon Barwise & John Perry - 1983 - Philosophical Quarterly 36 (143):292-296.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  42.  5
    Admissible Sets and Structures. An Approach to Definability Theory.Jon Barwise - 1978 - Journal of Symbolic Logic 43 (1):139-144.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  43.  12
    On Moschovakis Closure Ordinals.Jon Barwise - 1977 - Journal of Symbolic Logic 42 (2):292-296.
  44.  31
    The Rights and Wrongs of Natural Regularity.Jon Barwise & Jerry Seligman - 1994 - Philosophical Perspectives 8:331-364.
  45.  85
    Unburdening the Language of Thought.Jon Barwise - 1987 - Mind and Language 2 (1):82-96.
  46.  24
    An Introduction to Recursively Saturated and Resplendent Models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
  47.  9
    Frege Structures and the Notions of Proposition, Truth and Set.Peter Aczel, Jon Barwise, H. Jerome Keisler & Kenneth Kunen - 1986 - Journal of Symbolic Logic 51 (1):244-246.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  48.  4
    Hanf Numbers for Fragments of L ∞Ω.Jon Barwise & Kenneth Kunen - 1984 - Journal of Symbolic Logic 49 (1):315-315.
  49.  5
    Infinitary Properties of Abelian Torsion Groups.Jon Barwise & Paul Eklof - 1970 - Annals of Mathematical Logic 2 (1):25-68.
  50.  22
    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   4 citations  
1 — 50 / 121