Modal logics and philosophy - Rod Girle

This textbook places emphasis on showing how useful a tool modal logic can be for formal philosophy, metaphysics, temporal reasoning, epistemics, the analysis of action and processes and ethical reasoning. Moving beyond propositional logic and predicate logic, modal logic gives the power to articulates and explore with precision philosophical arguments concerning possibility and necessity that are essential concepts in thought. This textbook is intended as an introductory study of modal logics with philosophy. In part 1 the reader is introduced to some standard systems of modal logic, emphasis being on world semantics for modal logics. Part 2 explores modal logic applications to profound philosophical issues.