Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- 1 Aims and Ends
- 2 Technical Preliminaries
- 3 Predicates and Conceptual Analysis
- 4 Paradoxes over Logic
- 5 ATheory of Expressions
- 6 The Paradoxes
- 7 Possible-Worlds Semantics
- 8 An ExpressiveTheory of Expressions
- 9 Consistency, Denotation, and Arithmetic
- 10 Formal Language
- 11 Formal Truth
- 12 Generalizations and Intensionality
- Bibliography
- Index
5 - ATheory of Expressions
Published online by Cambridge University Press: 17 October 2024
- Frontmatter
- Dedication
- Contents
- Preface
- 1 Aims and Ends
- 2 Technical Preliminaries
- 3 Predicates and Conceptual Analysis
- 4 Paradoxes over Logic
- 5 ATheory of Expressions
- 6 The Paradoxes
- 7 Possible-Worlds Semantics
- 8 An ExpressiveTheory of Expressions
- 9 Consistency, Denotation, and Arithmetic
- 10 Formal Language
- 11 Formal Truth
- 12 Generalizations and Intensionality
- Bibliography
- Index
Summary
A simple basic axiomatic theory of syntax is developed. It allows us to prove Gödel’s celebrated diagonal lemma in a simple and straightforward way.
- Type
- Chapter
- Information
- The Road to ParadoxA Guide to Syntax, Truth and Modality, pp. 55 - 74Publisher: Cambridge University PressPrint publication year: 2024