Sökt på: Jon Barwise
totalt 22 träffar
Language, Proof, and Logic
This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, …
Logical Reasoning with Diagrams
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 …
The Syntax and Semantics of Infinitary Languages
Tarski's World: Revised and Expanded
"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 …
Admissible Sets and Structures
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 …
Situations and Attitudes
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 …
Logical Reasoning with Diagrams and Sentences
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of …
Non-well-founded Sets
Papers in Honor of Jon Barwise
Jon Barwise (1942-2000) was a noted scholar of mathematical logic and philosophy who served on the faculties of Yale University, the University of Wisconsin, Stanford University …
Situation Theory and Its Applications
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 …