000 04542nam a22004935i 4500
001 978-94-007-7759-0
003 DE-He213
005 20140220082533.0
007 cr nn 008mamaa
008 131220s2014 ne | s |||| 0|eng d
020 _a9789400777590
_9978-94-007-7759-0
024 7 _a10.1007/978-94-007-7759-0
_2doi
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
082 0 4 _a160
_223
100 1 _aHansson, Sven Ove.
_eeditor.
245 1 0 _aDavid Makinson on Classical Methods for Non-Classical Problems
_h[electronic resource] /
_cedited by Sven Ove Hansson.
264 1 _aDordrecht :
_bSpringer Netherlands :
_bImprint: Springer,
_c2014.
300 _aXII, 433 p. 16 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aOutstanding Contributions to Logic,
_x2211-2758 ;
_v3
505 0 _aPreface -- 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.
520 _aThe 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.
650 0 _aPhilosophy (General).
650 0 _aLogic.
650 0 _aComputer science.
650 0 _aLogic, Symbolic and mathematical.
650 1 4 _aPhilosophy.
650 2 4 _aLogic.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aTheoretical Languages.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9789400777583
830 0 _aOutstanding Contributions to Logic,
_x2211-2758 ;
_v3
856 4 0 _uhttp://dx.doi.org/10.1007/978-94-007-7759-0
912 _aZDB-2-SHU
999 _c94109
_d94109