David Makinson on classical methods for non-classical problems

Description

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources of classical logic. Among the contributions included in the volume, one chapter focuses on the “inferential preferential method”, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson’s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the (limited but important) role of logic in philosophy. Front Matter....Pages i-xii Front Matter....Pages 1-1 Preview....Pages 3-10 David Makinson and the Extension of Classical Logic....Pages 11-18 A Tale of Five Cities....Pages 19-32 Front Matter....Pages 33-33 Safe Contraction Revisited....Pages 35-70 A Panorama of Iterated Revision....Pages 71-94 AGM, Ranking Theory, and the Many Ways to Cope with Examples....Pages 95-118 Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change....Pages 119-141 Epistemic Reasoning in Life and Literature....Pages 143-153 Front Matter....Pages 155-155 New Horn Rules for Probabilistic Consequence: Is $$\mathrm{O}{+}$$ O + Enough?....Pages 157-166 Non-Monotonic Logic: Preferential Versus Algebraic Semantics....Pages 167-193 Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics....Pages 195-221 Front Matter....Pages 223-223 Abstract Interfaces of Input/Output Logic....Pages 225-262 Intuitionistic Basis for Input/Output Logic....Pages 263-286 Reasoning About Permission and Obligation....Pages 287-333 Norm Change in the Common Law....Pages 335-355 Front Matter....Pages 357-357 Intelim Rules for Classical Connectives....Pages 359-382 Relevance Logic as a Conservative Extension of Classical Logic....Pages 383-398 Front Matter....Pages 399-399 Reflections on the Contributions....Pages 401-420 Back Matter....Pages 421-433