© 2014

David Makinson on Classical Methods for Non-Classical Problems

  • Sven Ove Hansson

Part of the Outstanding Contributions to Logic book series (OCTR, volume 3)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Introductory

    1. Front Matter
      Pages 1-1
    2. Sven Ove Hansson
      Pages 3-10
    3. Sven Ove Hansson, Peter Gärdenfors
      Pages 11-18
    4. David Makinson
      Pages 19-32
  3. Logic of Belief Change

    1. Front Matter
      Pages 33-33
    2. Hans Rott, Sven Ove Hansson
      Pages 35-70
    3. Pavlos Peppas
      Pages 71-94
    4. Rohit Parikh
      Pages 143-153
  4. Uncertain Reasoning

  5. Normative Systems

    1. Front Matter
      Pages 223-223
    2. Audun Stolpe
      Pages 225-262
    3. Xavier Parent, Dov Gabbay, Leendert van der Torre
      Pages 263-286
    4. Jörg Hansen
      Pages 287-333
    5. John Horty
      Pages 335-355

About this book


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 unsually explicit statement on his views on the (limited but important) role of logic in philosophy.


AGM and ranking theory Bayesian theory of second-order uncertainty Belief change Belief revision Classical logic Epistemic reasoning in life and literature Interfaces of input/output logic New Horn rules for probabilistic consequence Non-monotonic logic Norm change in the common law Permission and obligation Relevance logic as extension of classical logic Rules for classical connectives Safe contraction Theories of belief revision Uncertain reasoning

Editors and affiliations

  • Sven Ove Hansson
    • 1
  1. 1.Royal Institute of Technology (KTH) Div. PhilosophyStockholmSweden

Bibliographic information


From the reviews:

“A fine bunch of authors present papers about the present status of the fields of work of an outstanding logician, David Makinson, in this book. … I think that graduate students and researchers in the area of logic and artificial intelligence will especially benefit from reading this book, for the perspective it provides on what one should work on in these areas (tools and techniques) and how one should work in these areas (with clarity and precision).” (K. Lodaya, Computing Reviews, May, 2014)