David Makinson on Classical Methods for Non-Classical Problems

Sven Ove Hansson

ISBN 10: 9402406638 / ISBN 13: 9789402406634

Editore: Springer, Springer Netherlands, 2016

Riguardo questo articolo

Druck auf Anfrage Neuware - Printed after ordering - 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.

Codice articolo 9789402406634

Dati bibliografici

• Titolo: David Makinson on Classical Methods for Non-Classical Problems
• Editore: Springer, Springer Netherlands
• Data di pubblicazione: 2016
• Lingua: Inglese
• ISBN 10: 9402406638
• ISBN 13: 9789402406634
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 25 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 25 millimetri di profondità
• Peso: 674 grammi

Descrizione articolo

Riassunto

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.

Dalla quarta di copertina

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.