Can "ought" be derived from "is"? This text presents a systematic investigation of this time-honoured philosophical problem by means of modern alethic-deontic predicate logic. Two comprehensive introductory chapters into the philosophical and logical foundations make the text understandable for non-logicians, ethicists, social scientists and students of philosophy. New in this study are two topics: relevance and metalogical generality. It turns out that "is-ought" inferences indeed exist, but they are all irrelevant in a precise logical sense. New proof techniques allow the establishment of this result for very broad classes of logics. A profound philosophical investigation of the question of analytical or strongly intersubjective is-ought bridge principles supplements the logical study. The final results imply incisive limitations for the justifiability of ethics as opposed to empirical science.
1. Philosophical Background and Program of the Study.- 2. The Logical Background: A.D.1-Logics.- 3. The Logical Explication of Hume’s Thesis.- 4. The General Hume Thesis GH.- 5. The Special Hume Thesis SH.- 6. Weakened Versions of Hume’s Thesis in A.D.I-Logics with Bridge Principles.- 7. A.D.1-Logics with Weak Alethic Fragments: ? as a Subjective Propositional Attitude.- 8. Generalizations.- 9. Some Applications to Ethical Arguments.- 10. The Problems of Identity and Existence.- 11. Are There Analytic Bridge Principles? A Philosophical Investigation.- 12. Are Synthetic Bridge Principles Scientifically Justifiable?.- A.1 Interchange of substitution for predicates and for individual variables.- A.2 Transitivity of predicate substitutions.- A.5 Preservation of frame-validity under ?-substitution.- A.6 Advancing ?-, a- and d-rule.- A.7 Model-completeness for a.d.l-logics.- A.8 Singleton frames for a.d.1-logics which are not propositionally representable.- A.9 Canonical a.0-logics with incomplete 1-counterparts.- A.10 Canonicity transfer from a.0- to a.1-logics.- A.11 Canonicity transfer from monomodal to combined bimodal 1-logics.- A.12 Halldéncompleteness and the Bolzano-criterion.- A.13 Correspondence and canonicity for (N1-5).- A.14 Domains of j.1.-models.- A.16 Characterization of a.d.(G)2-logics.- A.17 Admissibility of (?GR).- Table of Definitions, Lemmata, Propositions, Theorems, Corollaries, Facts, Figures and Problems.- Notes.
'... anyone interested in deontic logic should benefit from the insights of this book. ... the work is clearly written and excellently edited.' History and Philosophy of Logic, 19 (1998)