David Makinson on Classical Methods for Non-Classical Problems
Free delivery worldwide
Available. Expected delivery to the United States in 10-15 business days.
Not ordering to the United States? Click here.
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.
show more
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.
show more
Product details
- Hardback | 433 pages
- 155 x 235 x 25.4mm | 7,922g
- 10 Jan 2014
- Springer
- Dordrecht, Netherlands
- English
- 2014 ed.
- 16 Illustrations, black and white; XII, 433 p. 16 illus.
- 9400777582
- 9789400777583
Other books in this series
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
03 May 2018
Paperback
US$123.83
Ewa Orlowska on Relational Methods in Logic and Computer Science
01 Jan 2019
Hardback
US$147.01 US$169.99
Save US$22.98
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
13 Feb 2018
Hardback
US$165.20 US$179.99
Save US$14.79
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
03 Apr 2018
Hardback
US$201.24
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
09 Mar 2017
Hardback
US$196.44
Graham Priest on Dialetheism and Paraconsistency
02 Jan 2020
Hardback
US$141.04 US$169.99
Save US$28.95
Back cover copy
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.
show more
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.
show more
Table of contents
Preface.- Contributors.- Introductory.- Chapter 1. Sven Ove Hansson: Preview.- Chapter 2. Sven Ove Hansson and Peter Gardenfors: David Makinson and the extension of classical logic.- Chapter 3. David Makinson: A tale of five cities.- I. Logic of Belief Change.- Chapter 4. Hans Rott and Sven Ove Hansson: Safe contraction revisited.- Chapter 5. Pavlos Peppas: A panorama of iterated revision.- Chapter 6. Wolfgang Spohn: AGM, ranking theory and the many ways to cope with examples.- Chapter 7. Edwin Mares: Liars, lotteries and prefaces: two paraconsistent theories of belief revision.- Chapter 8. Rohit Parikh: Epistemic reasoning in life and literature.- II. Uncertain Reasoning.- Chapter 9. James Hawthorne: New Horn rules for probabilistic consequence: Is O+ enough?.- Chapter 10. Karl Schlechta: Non-monotonic logic: preferential vs. algebraic semantics.- Chapter 11. Hykel Hosni: Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics.- III. Normative Systems.- Chapter 12. Audun Stolpe: Abstract interfaces of input/output logic.- Chapter 13. Xavier Parent, Dov Gabbay and Leendert van der Torre: Intuitionistic basis for input/output logic.- Chapter 14. Joerg Hansen: Reasoning about permission and obligation.- Chapter 15. John Horty: Norm change in the common law.- IV. Classical Resources.- Chapter 16. David Makinson: Intelim rules for classical connectives.- Chapter 17. David Makinson: Relevance logic as a conservative extension of classical logic.- V. Responses.- Chapter 18. David Makinson: Reflections on contributions.- Bibliographical.- David Makinson's publications.- Index.
show more
show more
Review Text
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)
show more
"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)
show more
Review quote
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)
show more
"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)
show more
