Get 2 top 10 audiobooks free with a LoveReading exclusive

LoveReading has teamed up with Audiobooks.com to give you the chance to get 2 free audiobooks when you sign up. Try it for 30 days for free with no strings attached. You can cancel anytime, although we're sure you'll love it. Click the button to find out more:

Find out more

Jon Barwise - Author

About the Author

Books by Jon Barwise

Perspectives in Logic Admissible Sets and Structures

Perspectives in Logic Admissible Sets and Structures

Author: Jon Barwise Format: Hardback Release Date: 02/03/2017

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Admissible set theory is a major source of interaction between model theory, recursion theory and set theory, and plays an important role in definability theory. In this volume, the seventh publication in the Perspectives in Logic series, Jon Barwise presents the basic facts about admissible sets and admissible ordinals in a way that makes them accessible to logic students and specialists alike. It fills the artificial gap between model theory and recursion theory and covers everything the logician should know about admissible sets.

Cambridge Tracts in Theoretical Computer Science Information Flow: The Logic of Distributed Systems

Cambridge Tracts in Theoretical Computer Science Information Flow: The Logic of Distributed Systems

Author: Jon Barwise, Jerry Seligman Format: Paperback / softback Release Date: 28/08/2008

Information is a central topic in computer science, cognitive science and philosophy. In spite of its importance in the 'information age', there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another. Drawing on ideas from mathematics, computer science and philosophy, this book addresses the definition and place of information in society. The authors, observing that information flow is possible only within a connected distribution system, provide a mathematically rigorous, philosophically sound foundation for a science of information. They illustrate their theory by applying it to a wide range of phenomena, from file transfer to DNA, from quantum mechanics to speech act theory.

Tarski's World

Tarski's World

Author: Jon Barwise Format: Mixed media product Release Date: 07/03/2008

Tarski's World is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The accompanying CD-ROM, compatible with both Macintosh and PC formats, includes a unique and effective corrective tool in the form of a game that methodically leads students back through any errors in sentences they have constructed, as well as a program for submitting homework to an automated grader. Intended as a supplement to a standard logic text, Tarski's World is an essential resource for helping students learn the language of logic.

Situations and Attitudes

Situations and Attitudes

Author: Jon Barwise, John Perry Format: Paperback / softback Release Date: 30/06/1999

In this provocative book, Barwise and Perry tackle the slippery subject of 'meaning', a subject that has long vexed linguists, language philosophers, and logicians. Meaning does not exist solely within words and sentences but resides largely in the situation and the attitudes brought to it by those involved. The authors present an unusually lucid treatment of important innovations in the field of natural semantics, contending that the standard view of logic (as derived from Frege, Russell, and work in mathematics and logic) is inappropriate for many of the uses to which it has been put by scholars. In Situations and Attitudes Barwise and Perry provide the basics of a realistic model-theoretic semantics of natural language, explain the main ideas of the theory, and contrast them with those of competing theories.

Cambridge Tracts in Theoretical Computer Science Information Flow: The Logic of Distributed Systems

Cambridge Tracts in Theoretical Computer Science Information Flow: The Logic of Distributed Systems

Author: Jon Barwise, Jerry Seligman Format: Hardback Release Date: 28/07/1997

Information is a central topic in computer science, cognitive science and philosophy. In spite of its importance in the 'information age', there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another. Drawing on ideas from mathematics, computer science and philosophy, this book addresses the definition and place of information in society. The authors, observing that information flow is possible only within a connected distribution system, provide a mathematically rigorous, philosophically sound foundation for a science of information. They illustrate their theory by applying it to a wide range of phenomena, from file transfer to DNA, from quantum mechanics to speech act theory.

Hyperproof For Macintosh

Hyperproof For Macintosh

Author: Jon Barwise, John Etchemendy Format: Paperback / softback Release Date: 30/06/1994

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 an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic.

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0

Author: Jon Barwise, John Etchemendy Format: Paperback / softback Release Date: 30/06/1993

The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.

Situation Theory and its Applications: Volume 2

Situation Theory and its Applications: Volume 2

Author: Jon Barwise, Jean Mark Goodwin, Gordon Plotkin, Syun Tutiya Format: Hardback Release Date: 30/06/1991

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as natural language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan.

Situation Theory and its Applications: Volume 2

Situation Theory and its Applications: Volume 2

Author: Jon Barwise, Jean Mark Goodwin, Gordon Plotkin, Syun Tutiya Format: Paperback / softback Release Date: 30/06/1991

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as natural language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan.

The Liar An Essay on Truth and Circularity

The Liar An Essay on Truth and Circularity

Author: Jon Barwise, John Etchemendy Format: Paperback / softback Release Date: 06/04/1989

This monograph purports to provide a solution to semantical paradoxes like the Liar. The authors base this solution on J. L. Austin's idea of truth, which is fundamental to situation semantics. They compare two models of language, propositions and truth, one based on Russell and the other on Austin, as they bear on the Liar Paradox. In Russell's view, a sentence expresses a proposition, which is true or not. According to Austin, however, there is always a contextual parameter - the situation the sentence is about - that comes between the sentence and proposition. The Austinian perspective proves to have fruitful applications to the analysis of semantic paradox. The authors show that, on this account, the liar is a genuine diagonal argument. This argument can be shown to have profound consequences for our understanding of some of the most basic semantical mechanisms at work in our language. Jon Barwise is, with John Perry, a co-founder of the Centre for the Study of Language and Information at Stanford.

The Syntax and Semantics of Infinitary Languages

The Syntax and Semantics of Infinitary Languages

Author: Jon Barwise Format: Paperback / softback Release Date: 01/01/1968