Modal Logics and Philosophy | |||

Girle (Rod) | |||

This Page provides (where held) the Abstract of the above Book and those of all the Papers contained in it. | |||

Colour-Conventions | Disclaimer | Books / Papers Citing this Book | Notes Citing this Book |

**BOOK ABSTRACT: **__Back Cover Blurb__

- Unlike most modal logic
^{1}textbooks which are both forbidding mathematically and short of philosophical discussion ,em>Modal Logics^{2}and Philosophy places its emphasis firmly on showing how useful modal logic^{3}can be as a tool for formal philosophy, metaphysics, temporal reasoning, epistemics, the analysis of action and processes, and ethical reasoning. Moving beyond prepositional logic and predicate logic. Rod Girle shows that modal logic^{4}offers the power to clearly articulate and explore philosophical arguments concerning possibility and necessity, concepts that are essential in our thought and usher in the notion of "possible worlds". - In Part 1 the reader is introduced to some standard systems of modal logic
^{5}and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics^{6}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^{7}to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission. - As the first text to combine an introduction to formal modal logic
^{8}with a presentation of its uses as a tool for philosophical analysis*Modal Logics*will be welcomed by non-logic and logic students alike.^{9}and Philosophy **Rod Girle**: is Senior Lecturer in Philosophy at the University of Auckland.- "Rod Girle is the best logic teacher that I know. All those who want a non-technical introduction to modal logic
^{10}and its applications, not just Rod's own students, will now be able to benefit from his outstanding pedagogic skills." …**Graham Priest**, University of Queensland - "
*Modal Logics*has the technical precision and rigour that is sometimes sacrificed to concern with philosophical logic. A book that will stand out amongst modal logic^{11}and Philosophy^{12}texts." …**Bernard Linsky**, University of Alberta

- This is a Second Level logic text. It introduces students to modal logic
^{13}as an extension of classical first-order logic. The emphasis is on introducing the object language and some of the applications of modal logic^{14}in philosophy and artificial intelligence^{15}. This text is not intended to be a metatheory text for modal logic^{16}. There are several excellent texts in that area (for example Brian F. Chellas,*Modal Logic*(Cambridge: Cambridge University Press, 1980) and "Hughes (G.E.) & Cresswell (Max J.) - A New Introduction to Modal Logic" (London: Routledge, 1996). My main focus will be on presenting the logics at an object language level, with a minimum of metatheory. The emphasis will be on the possible worlds semantics. There will be only a brief mention of axiom systems.^{17}: An Introduction - The idea is to present the languages of modal logic
^{18}in such a way that the various applications can be sensibly discussed, and arguments containing modal^{19}terms can be analysed. The aim is to present a relatively small range of logics and then introduce the discussion of alethic, temporal, dynamic, epistemic and deontic applications. - The logical "machinery" that is used is the machinery of semantic tableaux. I assume that students will be familiar with Jeffrey style truth-trees. The approach overall is semantic, with an informal presentation of Kripke style possible worlds semantics. Axiomatic proof systems and natural deduction systems appear in only one chapter.

- Acumen Publishing, Teddington, 2000.
- I have unfortunately ruined the first chapter and a half by copious annotation, not all of it useful.

"

"

"

"

"

"

"

"

"

"

"

"

- Blue: Text by me; © Theo Todman, 2021
- Mauve: Text by correspondent(s) or other author(s); © the author(s)

© Theo Todman, June 2007 - Jan 2021. | Please address any comments on this page to theo@theotodman.com. | File output: Website Maintenance Dashboard |

Return to Top of this Page | Return to Theo Todman's Philosophy Page | Return to Theo Todman's Home Page |