David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic)

Sven Ove Hansson, Peter Gardenfors, David Makinson, Hans Rott, Pavlos Peppas, Wolfgang Spohn, Edwin Mares, Rohit Parikh, James Hawthorne, Karl Schlechta, Hykel Hosni, Audun Stolpe, Xavier Parent, Dov Gabbay, Leendert van der Torre, Jorg Hansen, and John Horty.

ISBN 10: 9400777582 / ISBN 13: 9789400777583

Editore: Springer, 2014

Riguardo questo articolo

2014 Springer hardcover edition. Light reading wear else very good condition.

1. Preview by Sven Ove Hansson
2. David Makinson and the Extension of Classical Logic by Sven Ove Hansson and Peter Gardenfors
3. A Tale of Five Cities by David Makinson
4. Safe Contraction Revisited by Hans Rott and Sven Ove Hansson
5. A Panorama of Iterated Revision by Pavlos Peppas
6. AGM, Ranking Theory, and the Many Ways to Cope with Examples by Wolfgang Spohn
7. Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change by Edwin Mares
8. Epistemic Reasoning in Life and Literature by Rohit Parikh
9. New Horn Rules for Probabilistic Consequence: Is O+ Enough? by James Hawthorne
10. Non-Monotonic Logic: Preferential Versus Algebraic Semantics by Karl Schlechta
11. Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics by Hykel Hosni
12. Abstract Interfaces of Input/Output Logic by Audun Stolpe
13. Intuitionistic Basis for Input/Output Logic by Xavier Parent, Dov Gabbay and Leendert van der Torre
14. Reasoning About Permission and Obligation by Jorg Hansen
15. Norm Change in the Common Law by John Horty
16. Intelim Rules for Classical Connectives by David Makinson
17. Relevance Logic as a Conservative Extension of Classical Logic by David Makinson
18. Reflections on the Contributions by David Makinson.

Codice articolo LS-X0D3-N54S

Dati bibliografici

• Titolo: David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic)
• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 9400777582
• ISBN 13: 9789400777583
• Rilegatura: Hardcover
• Condizione: Very Good

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.