Being Good & Being Logical: Philosophical Groundwork for a New Deontic Logic
We all reason about what we ought to do, what should be, and what is permissible, but neither Standard Deontic Logic (SDL) nor its more recent variants adequately represent the principles of our deontic reasoning. In this groundbreaking new work, author James Forrester first explores the shortcomings of standard deontic systems, and concludes that we need a new type of deontic logic; in the second part of the book, he presents a new deontic logic and semantics that fit our deontic reasoning better than standard systems. Finally, in a third section, Forrester sketches some original implications of his new deontic logic for practical reasoning. This book will be of interest to all philosophers, especially those with an interest in questions of moral and practical reasoning.
10 pages matching existential quantification in this book
Results 1-3 of 10
What people are saying - Write a review
We haven't found any reviews in the usual places.
What Is Deontic Logic
What Is Left for Deontic Logic?
Ought to Be and Ought to Do
9 other sections not shown
action affairs appropriately penalized APsa APsa>-counterparts APsa>-normal worlds Aqvist's argument assert axioms backward translation boom boxes branching worlds Chisholm's paradox claim conclusion contingent counterpart deontic alternative worlds deontic logicians deontic operator deontic reasoning deontic semantics deontic statements deontically accessible worlds duty epistemic equivalent existence existential quantification false follows Geach Hence Hintikka holds imply inference rules intensional Jane Kant's Principle least living wage logically necessary modal modal logic modus ponens moral moral realism murder negative rights normal obligation obligatory ODsF of'ought opaque context optimal worlds ordinary deontic thought p>-counterpart permissible person possible and accessible possible worlds practical reasoning premisses prescriptive principle of backward problems propositional calculus quantified real world SDL semantics SDLR3 SDLS1 SDLS2 SDLT1 SDLT2 SDLT3 SDLT4 SDLT5 SDLT6 SDLT7 sentence square the circle standard deontic logic starving poor suppose theorem true truth urn models world w0