90 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.
     
    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.
     
    My bibliography  
     
    Export citation  
  5. Jon Barwise (2000). Jon Barwise. Logic Journal of the Igpl 8 (4):377-378.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Jon Barwise (1999). Critical Studies / Book Reviews. Philosophia Mathematica 7 (2):238-240.
  7. 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  
  8. Jon Barwise & John Etchemendy (1999). Language, Proof and Logic. Seven Bridges Press.
  9. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Jon Barwise & Johan van Benthem (1999). Preservation, Interpolation, and Pebble Games. Journal of Symbolic Logic 64:884-903.
     
    My bibliography  
     
    Export citation  
  11. 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).
  12. 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  
     
    My bibliography  
     
    Export citation  
  13. 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  
  14. Jon Barwise (1997). The New Sciences. Journal of Logic Language and Information 6:217-218.
     
    My bibliography  
     
    Export citation  
  15. 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  
  16. 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)  
     
    My bibliography  
     
    Export citation  
  17. 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  
  18. Jon Barwise (1996). The Right Things for the Right Reasons. In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. 15.
     
    My bibliography  
     
    Export citation  
  19. 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  
  20. 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  
  21. 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  
  22. 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  
  23. Jon Barwise, Dov Gabby & Chrysafis Hartonas (1995). On the Logic of Information Flow. 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  
     
    My bibliography  
     
    Export citation  
  24. Jon Barwise & John Etchemendy (1994). Hyperproof: For Macintosh. Center for the Study of Language and Inf.
     
    My bibliography  
     
    Export citation  
  25. Jon Barwise & Jerry Seligman (1994). The Rights and Wrongs of Natural Regularity. Philosophical Perspectives 8:331-364.
  26. 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.
  27. 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)  
     
    My bibliography  
     
    Export citation  
  28. 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  
  29. Jon Barwise (1993). Everyday Reasoning and Logical Inference. Behavioral and Brain Sciences 16 (2):337.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Jon Barwise & John Etchemendy (1993). The Language of First-Order Logic Including the Macintosh Version of Tarski's World 4.0. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  31. Jon Barwise & John Etchemendy (1993). Turing's World 3.0 for the Macintosh an Introduction to Computability Theory.
  32. Jon Barwise & John Etchemendy (1993). Tarski's World Version 4.0 for Ms Windows.
     
    My bibliography  
     
    Export citation  
  33. 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.
     
    My bibliography  
     
    Export citation  
  34. Jon Barwise & John Etchemendy (1992). The Language of First-Order Logic Including the Ibm-Compatible Windows Version of Tarski's World 4.0. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  35. Jon Barwise & John Etchemendy (1992). The Language of First-Order Logic, Including the Macintosh™ Tarski's World. Studia Logica 51 (1):145-147.
     
    My bibliography  
     
    Export citation  
  36. 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  
  37. 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.
  38. 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.
  39. 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  
  40. Jon Barwise & Conference on Situation Theory and its Applications (1991). Situation Theory and its Applications. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  41. Jon Barwise & John Etchemendy (1991). Tarski's World 3.0 Including the Macintosh Program. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  42. 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  
  43. Kären Wieckert, Nino Cocchiarella & Jon Barwise (1991). Book Reviews. [REVIEW] Minds and Machines 1 (3):343-353.
  44. Jon Barwise (1990). Consistency and Logical Consequence. In J. Dunn & A. Gupta (eds.), Truth or Consequences. Kluwer. 111--122.
  45. Jon Barwise & John Etchemendy (1990). The Language of First-Order Logic Including the Program Tarski's World. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  46. Jon Barwise & John Etchemendy (1990). Turing's World. Journal of Symbolic Logic 55 (1):370-371.
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. 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  
  48. 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  
     
    My bibliography  
     
    Export citation  
  49. John Etchemendy & Jon Barwise (1989). Model-Theoretic Semantics. In Michael I. Posner (ed.), Foundations of Cognitive Science. Mit Press. 207--243.
  50. 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 90