66 found
Sort by:
  1. Royce Carroll, Toh-Kyeong Ahn, John H. Aldrich, John Allman, James E. Alt, Julia Annas, Kenneth J. Arrow, Nicholas Bardsley, Jon Barwise & John Beatty (forthcoming). Capra, Frank 136 Carpenter, Malinda 308. Philosophy of the Social Sciences: Philosophical Theory and Scientific Practice.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. David F. Austin, Jon Barwise & John Perry (2008). Suggested Further Reading. In Aloysius Martinich (ed.), The Philosophy of Language. Oxford University Press. 78--468.
    No categories
     
    My bibliography  
     
    Export citation  
  3. Jon Barwise (1999). Critical Studies / Book Reviews. Philosophia Mathematica 7 (2):238-240.
  4. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Jon Barwise & John Etchemendy (1999). Language, Proof and Logic. Seven Bridges Press.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Jon Barwise & Johan van Benthem (1999). Preservation, Interpolation, and Pebble Games. Journal of Symbolic Logic 64:884-903.
     
    My bibliography  
     
    Export citation  
  8. Jon Barwise, Howard S. Becker, Chi Tat Chong, Herbert B. Enderton, Michael Hallett, C. Ward Henson, Harold Hodes, Neil Immerman, Phokion Kolaitis & Alistair Lachlan (1998). Association for Symbolic Logic. Bulletin of Symbolic Logic 4 (4).
     
    My bibliography  
     
    Export citation  
  9. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. 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)  
     
    My bibliography  
     
    Export citation  
  11. Jon Barwise (1997). The New Sciences. Journal of Logic Language and Information 6:217-218.
     
    My bibliography  
     
    Export citation  
  12. 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)  
     
    My bibliography  
     
    Export citation  
  13. 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.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  14. 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  
     
    My bibliography  
     
    Export citation  
  15. Jon Barwise (1996). The Right Things for the Right Reasons. In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. 15.
    No categories
     
    My bibliography  
     
    Export citation  
  16. Jon Barwise & John Etchemendy (1996). Heterogeneous Logic. In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. 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  
     
    My bibliography  
     
    Export citation  
  18. Elisabeth Engdahl, Dov Gabbay, U. Cambridge, Johan van Benthem, Jon Barwise, Robin Cooper, Jon Doyle, Brian Skyrms & U. Irvine (1996). Dag Westerstahl. Journal of Logic, Language, and Information 5:107-112.
     
    My bibliography  
     
    Export citation  
  19. Steven D. Johnson, Jon Barwise & Gerard Allwein (1996). Toward the Rigorous Use of Diagrams in Reasoning About Hardware. In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Jon Barwise & Jerry Seligman (1994). The Rights and Wrongs of Natural Regularity. Philosophical Perspectives 8:331-364.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. Doug Goldson, Steve Reeves, Jon Barwise & John Etchemendy (1994). The Language of First-Order Logic, Including the Macintosh Program Tarski's World. Philosophical Quarterly 44 (175):272.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. S. L. R., Jon Barwise & John Etchemendy (1994). Turing's World 3.0. An Introduction to Computability Theory. Philosophical Quarterly 44 (175):276.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Jon Barwise (1993). Constraints, Channels and the Flow of Information. In Peter Aczel, David Israel, Yosuhiro Katagiri & Stanley Peters (eds.), Situation Theory and its Applications Vol. 3. Csli.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  24. Jon Barwise (1993). Everyday Reasoning and Logical Inference. Behavioral and Brain Sciences 16 (2):337.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. Jon Barwise, William Ladusaw, Alice ter Meulen, Richard Oehrle & Richmond Thomason (1992). Logic and Linguistics Meeting: Santa Cruz, 1991. Journal of Symbolic Logic 57 (4):1498-1499.
  26. Jon Barwise, William Ladusaw, Alice ter Meulen, Richard Oehrle & Richmond Thomason (1992). Logic and Linguistics Meeting: Santa Cruz, 1991. Journal of Symbolic Logic 57 (4):1498-1499.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. 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)  
     
    My bibliography  
     
    Export citation  
  28. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  29. Kären Wieckert, Nino B. Cocchiarella & Jon Barwise (1991). Book Reviews. [REVIEW] Minds and Machines 1 (3):343-353.
  30. Jon Barwise (1990). Consistency and Logical Consequence. In J. Dunn & A. Gupta (eds.), Truth or Consequences. Kluwer. 111--122.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Jon Barwise (1989). Review: Barry E. Jacobs, Applied Database Logic I: Fundamental Database Issues. [REVIEW] Journal of Symbolic Logic 54 (2):627-628.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. John Etchemendy & Jon Barwise (1989). Model-Theoretic Semantics. In Michael I. Posner (ed.), Foundations of Cognitive Science. Mit Press. 207--243.
    No categories
     
    My bibliography  
     
    Export citation  
  33. Jon Barwise (1988). On the Circumstantial Relation Between Meaning and Content. In Umberto Eco (ed.), Meaning and Mental Representations. Bloomington: Indiana University Press. 496--23.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. 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 (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. Jon Barwise (1987). Unburdening the Language of Thought. Mind and Language 2 (1):82-96.
  36. Jon Barwise (1986). Information and Circumstance. Notre Dame Journal of Formal Logic 27 (July):324-338.
  37. 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.
  38. Jon Barwise & John Perry (1985). Shifting Situations and Shaken Attitudes. Linguistics and Philosophy 8 (1):105--161.
  39. Jon Barwise (1983). Information and Semantics. Behavioral and Brain Sciences 6 (1):65.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. Jon Barwise & John Perry (1983). Situations and Attitudes. Mit Press.
  41. Jon Barwise, Robert Soare & Terrence Millar (1983). Meeting of the Association for Symbolic Logic: Milwaukee, 1981. Journal of Symbolic Logic 48 (2):514-518.
  42. Jon Barwise, Robert Vaught & Yiannis Moschovakis (1983). Meeting of the Association for Symbolic Logic: San Francisco, 1981. Journal of Symbolic Logic 48 (2):505-513.
  43. Jon Barwise & Julius Moravcsik (1982). Review: Richmond H. Thomason, Formal Philosophy. Selected Papers of Richard Montague. [REVIEW] Journal of Symbolic Logic 47 (1):210-215.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Jon Barwise (1981). Scenes and Other Situations. Journal of Philosophy 78 (7):369-397.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  45. Jon Barwise & Robin Cooper (1981). Generalized Quantifiers and Natural Language. Linguistics and Philosophy 4 (2):159--219.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  46. Jon Barwise, Matt Kaufmann & Michael Makkai (1981). A Correction to “Stationary Logic”. Annals of Mathematical Logic 20 (2):231-232.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Jon Barwise & John Perry (1981). Situations and Attitudes. Journal of Philosophy 78 (11):668-691.
  48. Jon Barwise & John Perry (1981). Semantic Innocence and Uncompromising Situations. Midwest Studies in Philosophy 6 (1):387-404.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) (1980). The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    No categories
     
    My bibliography  
     
    Export citation  
  50. 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.
1 — 50 / 66