ABSTRACT
The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and Philosophy" places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. In part 1 of the book, the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission.
TABLE OF CONTENTS
chapter |10 pages
Argument and modality
part |126 pages
Formal systems
chapter |15 pages
A simple modal logic
chapter |24 pages
The normal modal logics
chapter |16 pages
The non-normal modal logics
chapter |19 pages
Natural deduction and axiomatics
chapter |19 pages
Conditional logic
chapter |20 pages
Modal predicate logics
chapter |11 pages
Quantifiers and existence
part |93 pages
Applications