David Makinson on Classical Methods for Non-Classical Problems
Editors: Hansson, Sven Ove (Ed.)
Free Preview- Offers a collection of analyses, discussions and interpretations on celebrated logician, David Makinson’s, work bridging classical and non-classical logic
- Highlights the areas of logic in which Makinson had significant influence
- Provides a short autobiography by Makinson which details his intellectual encounters and inspirations as well as his candid views on the role of logic in philosophy
Buy this book
- 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 unusually explicit statement on his views on the (limited but important) role of logic in philosophy.
- Reviews
-
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)
- Table of contents (18 chapters)
-
-
Preview
Pages 3-10
-
David Makinson and the Extension of Classical Logic
Pages 11-18
-
A Tale of Five Cities
Pages 19-32
-
Safe Contraction Revisited
Pages 35-70
-
A Panorama of Iterated Revision
Pages 71-94
-
Table of contents (18 chapters)
- Download Preface 1 PDF (70 KB)
- Download Sample pages 2 PDF (133.6 KB)
- Download Table of contents PDF (94.5 KB)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- David Makinson on Classical Methods for Non-Classical Problems
- Editors
-
- Sven Ove Hansson
- Series Title
- Outstanding Contributions to Logic
- Series Volume
- 3
- Copyright
- 2014
- Publisher
- Springer Netherlands
- Copyright Holder
- Springer Science+Business Media Dordrecht
- eBook ISBN
- 978-94-007-7759-0
- DOI
- 10.1007/978-94-007-7759-0
- Hardcover ISBN
- 978-94-007-7758-3
- Softcover ISBN
- 978-94-024-0663-4
- Series ISSN
- 2211-2758
- Edition Number
- 1
- Number of Pages
- XII, 433
- Number of Illustrations
- 16 b/w illustrations
- Topics
