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
10 - Formal Language
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
It is investigated what it means for formulae of the syntax to express informal concepts. The Gödel incompleteness theorems and related results are proved for the syntax theory.
- Type
- Chapter
- Information
- The Road to ParadoxA Guide to Syntax, Truth and Modality, pp. 233 - 290Publisher: Cambridge University PressPrint publication year: 2024