Book contents
- Frontmatter
- Contents
- Preface to the Second Edition
- 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 Relationships 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
- 20 Conditionals
- Answers to Selected Exercises
- Bibliography of Works Cited
- Index
17 - Completeness Using Canonical Models
Published online by Cambridge University Press: 05 June 2014
- Frontmatter
- Contents
- Preface to the Second Edition
- 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 Relationships 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
- 20 Conditionals
- Answers to Selected Exercises
- Bibliography of Works Cited
- Index
Summary
Here we give completeness proofs for many quantified modal logics, using a variant of the method of maximally consistent sets. Although the previous chapter already established completeness for many quantified modal logics using the tree method, there are good reasons for covering the method of maximally consistent sets as well. First, this is the standard approach to obtaining completeness results, so most students of modal logic will want some understanding of the method. Second, the tree method applied only to those systems for which it was shown how to convert a tree into a proof. The method of maximally consistent sets applies to more systems, though it has limitations described below in Section 17.2.
How Quantifiers Complicate Completeness Proofs
One might expect that proving completeness of quantified modal logic could be accomplished by simply “pasting together” standard results for quantifiers with those for propositional modal logic. Unfortunately, it is not so easy. In order to appreciate the problems that arise, and how they may be overcome, let us first review the strategies used to show completeness for propositional modal logic with maximally consistent sets. Then it will be possible to outline the difficulties that arise when quantifiers are added.
- Type
- Chapter
- Information
- Modal Logic for Philosophers , pp. 363 - 382Publisher: Cambridge University PressPrint publication year: 2013