Sökt på: Jon Barwise
totalt 22 träffar
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 …
Situationen und Einstellungen
Syntax and Semantics of Infinitary Languages
The Situation in Logic
Situation Theory and situation semantics are recent approaches to language and information, approaches first formulated by Jon Barwise and John Perry in Situations and Attitudes …
Hyperproof
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 …
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 …
Vicious Circles
Circular analyses of philosophical, linguistic, or computational phenomena have been attacked on the assumption that they conflict with mathematical rigour. Barwise and Moss have …
Information Flow
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 …