Book contents
- Frontmatter
- Contents
- Preface
- Introduction: What Is Modal Logic?
- 1 The System K: A Foundation for Modal Logic
- 2 Extensions of K
- 3 Basic Concepts of Intensional Semantics
- 4 Trees for K
- 5 The Accessibility Relation
- 6 Trees for Extensions of K
- 7 Converting Trees to Proofs
- 8 Adequacy of Propositional Modal Logics
- 9 Completeness Using Canonical Models
- 10 Axioms and Their Corresponding Conditions on R
- 11 Relations between the Modal Logics
- 12 Systems for Quantified Modal Logic
- 13 Semantics for Quantified Modal Logics
- 14 Trees for Quantified Modal Logic
- 15 The Adequacy of Quantified Modal Logics
- 16 Completeness of Quantified Modal Logics Using Trees
- 17 Completeness Using Canonical Models
- 18 Descriptions
- 19 Lambda Abstraction
- Answers to Selected Exercises
- Bibliography of Works Cited
- Index
9 - Completeness Using Canonical Models
Published online by Cambridge University Press: 09 January 2010
- Frontmatter
- Contents
- Preface
- Introduction: What Is Modal Logic?
- 1 The System K: A Foundation for Modal Logic
- 2 Extensions of K
- 3 Basic Concepts of Intensional Semantics
- 4 Trees for K
- 5 The Accessibility Relation
- 6 Trees for Extensions of K
- 7 Converting Trees to Proofs
- 8 Adequacy of Propositional Modal Logics
- 9 Completeness Using Canonical Models
- 10 Axioms and Their Corresponding Conditions on R
- 11 Relations between the Modal Logics
- 12 Systems for Quantified Modal Logic
- 13 Semantics for Quantified Modal Logics
- 14 Trees for Quantified Modal Logic
- 15 The Adequacy of Quantified Modal Logics
- 16 Completeness of Quantified Modal Logics Using Trees
- 17 Completeness Using Canonical Models
- 18 Descriptions
- 19 Lambda Abstraction
- Answers to Selected Exercises
- Bibliography of Works Cited
- Index
Summary
Not all the systems mentioned in this book have been shown to be complete, only the ones for which a method has been described for converting trees into proofs. In this section, a more powerful strategy for showing completeness will be presented that applies to a wider range of propositional modal logics. It is a version of the so-called Henkin or canonical model technique, which is widely used in logic. This method is more abstract than the method of Chapter 8, and it is harder to adapt to systems that include quantifiers and identity, but a serious student of modal logic should become familiar with it. The fundamental idea on which the method is based is the notion of a maximally consistent set. Maximally consistent sets play the role of possible worlds. They completely describe the facts of a world by including either A or ∼A (but never both) for each sentence A in the language.
The Lindenbaum Lemma
A crucial step in demonstrating completeness with such maximally consistent sets is to prove the famous Lindenbaum Lemma. To develop that result, some concepts and notation need to be introduced. When M is an infinite set of sentences, ‘M, A’ indicates the result of adding A to the set M, and ‘M ⊢S C’ indicates that there is a finite list H formed from some of the members of M, such that H ⊢S C. Set M′ is an extension of M, provided that every member of M is a member of M′.
- Type
- Chapter
- Information
- Modal Logic for Philosophers , pp. 195 - 210Publisher: Cambridge University PressPrint publication year: 2006