Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- Acknowledgements
- 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 The natural semantics of vagueness (with Joshua D. K. Brown)
- 16 Modal logic
- Summary
- References
- Index
Acknowledgements
Published online by Cambridge University Press: 05 June 2014
- Frontmatter
- Dedication
- Contents
- Preface
- Acknowledgements
- 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 The natural semantics of vagueness (with Joshua D. K. Brown)
- 16 Modal logic
- Summary
- References
- Index
Summary
- Type
- Chapter
- Information
- What Logics MeanFrom Proof Theory to Model-Theoretic Semantics, pp. xv - xviPublisher: Cambridge University PressPrint publication year: 2013