James Garson

What Logics Mean

From Proof Theory to Model-Theoretic Semantics

• Gebundenes Buch

Produktbeschreibung

This book explains how the meanings of the symbols of logic are determined by the rules that govern them.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 302
• Erscheinungstermin: 8. April 2014
• Englisch
• Abmessung: 250mm x 175mm x 21mm
• Gewicht: 704g
• ISBN-13: 9781107039100
• ISBN-10: 110703910X
• Artikelnr.: 40046969

Autorenporträt

James W. Garson is Professor of Philosophy at the University of Houston. He is the author of Modal Logic for Philosophers, 2nd edition (Cambridge University Press, 2013).

Inhaltsangabe

Preface
1. Introduction to model-theoretic inferentialism
2. Deductive expression
3. Local expression
4. Global expression
5. Intuitionistic semantics
6. Conditionals
7. Disjunction
8. Negation
9. Supervaluations and natural semantics
10. Natural semantics for an open future
11. The expressive power of sequent calculi
12. Soundness and completeness for natural semantics
13. Connections with proof-theoretic semantics
14. Quantifiers
15. Natural semantics and vagueness
16. Modal logic
Summary.