David Makinson on Classical Methods for Non-Classical Problems

David Makinson on Classical Methods for Non-Classical Problems
Author :
Publisher : Springer Science & Business Media
Total Pages : 432
Release :
ISBN-10 : 9789400777590
ISBN-13 : 9400777590
Rating : 4/5 (590 Downloads)

Book Synopsis David Makinson on Classical Methods for Non-Classical Problems by : Sven Ove Hansson

Download or read book David Makinson on Classical Methods for Non-Classical Problems written by Sven Ove Hansson and published by Springer Science & Business Media. This book was released on 2013-12-20 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


David Makinson on Classical Methods for Non-Classical Problems Related Books

David Makinson on Classical Methods for Non-Classical Problems
Language: en
Pages: 432
Authors: Sven Ove Hansson
Categories: Philosophy
Type: BOOK - Published: 2013-12-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapter
A New Perspective on Nonmonotonic Logics
Language: en
Pages: 367
Authors: Dov M. Gabbay
Categories: Mathematics
Type: BOOK - Published: 2016-11-05 - Publisher: Springer

DOWNLOAD EBOOK

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an
Descriptor Revision
Language: en
Pages: 246
Authors: Sven Ove Hansson
Categories: Philosophy
Type: BOOK - Published: 2017-11-26 - Publisher: Springer

DOWNLOAD EBOOK

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of p
Automated Reasoning with Analytic Tableaux and Related Methods
Language: en
Pages: 476
Authors: Anupam Das
Categories: Computers
Type: BOOK - Published: 2021-08-31 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, hel
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Language: en
Pages: 591
Authors: Ivo Düntsch
Categories: Philosophy
Type: BOOK - Published: 2021-09-24 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographic