Jon Barwise - Böcker

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 th...

Läs mer »

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. Despite the antiquity of the famous Liar Paradox, and...

Läs mer »

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 ...

Läs mer »

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 se...

Läs mer »

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 ca...

Läs mer »

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 ca...

Läs mer »

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 ca...

Läs mer »

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 (1983). The present volume collects some of Barwise's papers wri...

Läs mer »

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 the...

Läs mer »

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 the...

Läs mer »

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. A...

Läs mer »

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. A...

Läs mer »

Circular analyses of philosophical, linguistic, or computational phenomena have been attacked on the assumption that they conflict with mathematical rigour. Barwise and Moss have undertaken to prove this assumption false. This volume is concerned ...

Läs mer »

Circular analyses of philosophical, linguistic, or computational phenomena have been attacked on the assumption that they conflict with mathematical rigour. Barwise and Moss have undertaken to prove this assumption false. This volume is concerned ...

Läs mer »

"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 flu...

Läs mer »

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, mathematics, and computer science) to a first graduate logic course. The accom...

Läs mer »

The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of textbook, desktop, and online materials. This package is sure to be...

Läs mer »

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 sentent...

Läs mer »

Frontmatter -- Vorwort der Originalausgabe -- Vorwort der Übersetzerin -- Inhalt -- Teil A: Einführung -- 1. Situationen als Bedeutungsträger -- 2. Daten für eine Theorie der sprachlichen Bedeutung -- Teil ¿: Eine Theorie der Situationen -- 3. Abs...

Läs mer »

Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible ordinals.- An algebraic proof of the barwise compact...

Läs mer »