Modal Logic: An IntroductionA textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student. |
Contents
IX | 25 |
X | 32 |
XI | 34 |
XII | 39 |
XIII | 41 |
XIV | 45 |
XV | 49 |
XVI | 51 |
XVII | 53 |
XVIII | 59 |
XX | 61 |
XXI | 62 |
XXII | 64 |
XXIII | 65 |
XXIV | 67 |
XXV | 71 |
XXVI | 76 |
XXVII | 82 |
XXVIII | 85 |
XXIX | 90 |
XXX | 95 |
XXXI | 98 |
XXXII | 100 |
XXXIII | 104 |
XXXIV | 105 |
XXXV | 111 |
XXXVI | 113 |
XXXVII | 114 |
XXXVIII | 121 |
XXXIX | 125 |
XL | 130 |
XLI | 131 |
XLII | 140 |
XLIII | 147 |
XLIV | 155 |
XLV | 157 |
XLVI | 160 |
XLVII | 162 |
L | 165 |
LI | 169 |
LII | 170 |
LIII | 171 |
LXII | 192 |
LXIII | 193 |
LXIV | 195 |
LXV | 198 |
LXVII | 200 |
LXIX | 202 |
LXX | 205 |
LXXI | 207 |
LXXII | 210 |
LXXIII | 214 |
LXXIV | 217 |
LXXV | 220 |
LXXVI | 223 |
LXXVIII | 225 |
LXXIX | 227 |
LXXX | 229 |
LXXXI | 231 |
LXXXII | 233 |
LXXXIII | 234 |
LXXXIV | 240 |
LXXXV | 245 |
LXXXVI | 246 |
LXXXVII | 248 |
XC | 250 |
XCI | 252 |
XCII | 255 |
XCIII | 257 |
XCIV | 260 |
XCV | 261 |
XCVI | 264 |
XCVIII | 266 |
XCIX | 268 |
C | 270 |
CI | 272 |
CII | 275 |
CIV | 276 |
278 | |
281 | |
283 | |
287 | |
Other editions - View all
Common terms and phrases
A₁ algebraic models aRẞ atomic sentences axiomatization binary relation C₁ canonical minimal model canonical standard model chapter class of minimal class of models class of standard classical modal logic closed under intersections closed under RM closed under subsentences contains Df contains the unit countermodel define deontic alternative deontic logic determination theorems diagramed in figure distinct modalities equivalence relation equivalent euclidean example filtration following schemas following theorem hence iff it contains inductive hypothesis KD-system Lindenbaum's lemma means modal algebra negation normal extensions normal iff normal K5-system normal modal logic normal system P₁ possible world proof of theorem proper canonical standard propositional logic quasi-filter reader relation rules of inference serial set of sentences sound with respect suppose symmetric system of modal systems in figure T-filtration tautology theorem 3.5 theorem holds theorem of S5 theorems and rules true truth conditions