Modal Logics and PhilosophyIn Part 1 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. Accessible, authoritative, and assured, Modal Logics and Philosophy requires no more background than the completion of a standard introductory logic course. It will be welcomed not only by students looking for a bridge between introductory logic texts and the high-level technical literature but as a guide to, and exploration of, work at the forefront of logic and philosophy. |
Other editions - View all
Common terms and phrases
actual world alethic logics alethic modalities approach to modal Axiomatic proof systems Board before April compatible with q contains the bottom contingent translates correct translation Departmental meeting diamond and box Dyadic operators equivalences Faculty Board formula of modal giant squids live Kripke logic and ordinary logical possibility logical truth logicians mammal metatheory text modal operator modal predicate logics modal terms modal truth trees monadic necessarily true negation normal modal logics object language ordinary English ordinary propositional logic possibility and necessity possible worlds approach possible worlds logics possible worlds semantics premises necessarily implies propositional logic rule propositional modal logic Propositional translation constants Propositional variables q translates raining iff relationship between modal Rod Girle standard propositional logic standardly translated strict implication symbol tautologies temporal logic tense logic text for modal tick off formulas Tiger translate argument translates to 0p truth of modal truth-tree θα Πα ор