A01=Rod Girle
accessibility
advanced modal logic applications
Alethic Modality
Argument Forms
Author_Rod Girle
axiom
Axiom Schema
Category=QDTL
Classical Propositional Logic
conditional reasoning
Deontic Logic
doxastic
Doxastic Logics
Dynamic Logic
Epistemic Logic
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Existential Import
Free Logic
Lewis Systems
Material Conditional
Modal Logics
Modal Predicate Logic
Natural Deduction System
normal
Normal Modal Logics
Null Assumption
philosophical analysis logic
possible worlds semantics
predicate
Predicate Logic
propositional
Propositional Letter
Propositional Logic
Propositional Modal Logics
quantification in logic
relation
rules
S5 Agent
schema
Standard Predicate Logic
Standard Propositional Logic
temporal reasoning systems
tree
Tree Rules
truth tree method
Product details
- ISBN 9781844652082
- Weight: 340g
- Dimensions: 156 x 234mm
- Publication Date: 20 Oct 2009
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
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.
Rod Girle is Associate Professor of Philosophy at the University of Auckland, New Zealand.
