Title David Makinson on classical methods for non-classical problems / Sven Ove Hansson, editor

Published Dordrecht : Springer, [2014]

Table of Contents
pt. I	Introductory
	Preview / Sven Ove Hansson					3
	David Makinson and the Extension of Classical Logic / Peter Gardenfors					11
	A Tale of Five Cities / David Makinson					19
pt. II	Logic of Belief Change
	Safe Contraction Revisited / Sven Ove Hansson					35
	A Panorama of Iterated Revision / Pavlos Peppas					71
	AGM, Ranking Theory, and the Many Ways to Cope with Examples / Wolfgang Spohn					95
	Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change / Edwin Mares					119
	Epistemic Reasoning in Life and Literature / Rohit Parikh					143
pt. III	Uncertain Reasoning
	New Horn Rules for Probabilistic Consequence: Is O+ Enough? / James Hawthorne					157
	Non-Monotonic Logic: Preferential Versus Algebraic Semantics / Karl Schlechta					167
	Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics / Hykel Hosni					195
pt. IV	Normative Systems
	Abstract Interfaces of Input/Output Logic / Audun Stolpe					225
	Intuitionistic Basis for Input/Output Logic / Leendert van der Torre					263
	Reasoning About Permission and Obligation / Jorg Hansen					287
	Norm Change in the Common Law / John Horty					335
pt. V	Classical Resources
	Intelim Rules for Classical Connectives / David Makinson					359
	Relevance Logic as a Conservative Extension of Classical Logic / David Makinson					383
pt. VI	Responses
	Reflections on the Contributions / David Makinson					401
	Appendix: David Makinson: Annotated List of Publications					421

Click on the following:
Springer Humanities Social Sciences and Law eBooks
Springer eBooks

Copies

Description 1 online resource Series Outstanding contributions to logic ; volume 3 Outstanding contributions to logic ; 3. Contents Preface -- Contributors -- Introductory -- Chapter 1. Sven Ove Hansson: Preview -- Chapter 2. Sven Ove Hansson and Peter Gärdenfors: 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. Jörg 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 Summary 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 Bibliography Includes bibliographical references Notes Print version record Subject Makinson, David, 1941- SUBJECT Makinson, David, 1941- fast Subject Logic. Computer science. Logic, Symbolic and mathematical. Philosophy. Electronic data processing. data processing. computer science. philosophy. PHILOSOPHY -- Logic. Droit. Sciences sociales. Sciences humaines. Electronic data processing Computer science Logic Logic, Symbolic and mathematical Philosophy Form Electronic book Author Hansson, Sven Ove, 1951- editor. ISBN 9789400777590 9400777590

  Permalink