72 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. David Barker-Plummer, Jon Barwise & John Etchemendy (2007). Tarski's World: Revised and Expanded. Center for the Study of Language and Inf.
    No categories
     
    My bibliography  
     
    Export citation  
  4. Jon Barwise & John Etchemendy (2002). Language, Proof and Logic: Text and Cd. Center for the Study of Language and Inf.
    No categories
     
    My bibliography  
     
    Export citation  
  5. Jon Barwise (1999). Critical Studies / Book Reviews. Philosophia Mathematica 7 (2):238-240.
  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 (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Jon Barwise & John Etchemendy (1999). Language, Proof and Logic. Seven Bridges Press.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. 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  
  9. Jon Barwise & Johan van Benthem (1999). Preservation, Interpolation, and Pebble Games. Journal of Symbolic Logic 64:884-903.
     
    My bibliography  
     
    Export citation  
  10. 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  
  11. 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  
  12. 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  
  13. Jon Barwise (1997). The New Sciences. Journal of Logic Language and Information 6:217-218.
     
    My bibliography  
     
    Export citation  
  14. 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  
  15. 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  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. Jon Barwise & John Etchemendy (1994). Hyperproof: For Macintosh. Center for the Study of Language and Inf.
    No categories
     
    My bibliography  
     
    Export citation  
  23. 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  
  24. 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  
  25. 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  
  26. 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  
  27. Jon Barwise (1993). Everyday Reasoning and Logical Inference. Behavioral and Brain Sciences 16 (2):337.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. Jon Barwise & John Etchemendy (1992). The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for Use with Ibm-Compatible Computers. [REVIEW] Center for the Study of Language and Inf.
    No categories
     
    My bibliography  
     
    Export citation  
  29. Jon Barwise, Jean Mark Gawron, Gordon Plotkin & Syun Tutiya (eds.) (1992). Situation Theory and its Applications, Volume 2. Center for the Study of Language and Inf.
    No categories
     
    My bibliography  
     
    Export citation  
  30. 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.
  31. 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  
  32. 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  
  33. 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  
  34. Kären Wieckert, Nino Cocchiarella & Jon Barwise (1991). Book Reviews. [REVIEW] Minds and Machines 1 (3):343-353.
  35. 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  
  36. 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  
  37. Jon Barwise (1989). The Situation in Logic. Center for the Study of Language and Inf.
    No categories
     
    My bibliography  
     
    Export citation  
  38. 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  
  39. 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  
  40. 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)  
     
    My bibliography  
     
    Export citation  
  41. Jon Barwise (1987). Unburdening the Language of Thought. Mind and Language 2 (1):82-96.
  42. Jon Barwise (1986). Information and Circumstance. Notre Dame Journal of Formal Logic 27 (July):324-338.
  43. 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.
  44. Jon Barwise & John Perry (1985). Shifting Situations and Shaken Attitudes. Linguistics and Philosophy 8 (1):105--161.
  45. Jon Barwise (1983). Information and Semantics. Behavioral and Brain Sciences 6 (1):65.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Jon Barwise & John Perry (1983). Situations and Attitudes. Mit Press.
  47. Jon Barwise, Robert Soare & Terrence Millar (1983). Meeting of the Association for Symbolic Logic: Milwaukee, 1981. Journal of Symbolic Logic 48 (2):514-518.
  48. 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.
  49. 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  
  50. Jon Barwise (1981). Scenes and Other Situations. Journal of Philosophy 78 (7):369-397.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 72