160,49 €*
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
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.
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.
Offers a collection of analyses, discussions and interpretations on celebrated logician, David Makinson's, work bridging classical and non-classical logic
Highlights the areas of logic in which Makinson had significant influence
Provides a short autobiography by Makinson which details his intellectual encounters and inspirations as well as his candid views on the role of logic in philosophy
Includes supplementary material: [...]
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.
Erscheinungsjahr: | 2014 |
---|---|
Fachbereich: | Allgemeines |
Genre: | Philosophie |
Jahrhundert: | Antike |
Rubrik: | Geisteswissenschaften |
Thema: | Lexika |
Medium: | Buch |
Reihe: | Outstanding Contributions to Logic |
Inhalt: |
xii
433 S. 16 s/w Illustr. 433 p. 16 illus. |
ISBN-13: | 9789400777583 |
ISBN-10: | 9400777582 |
Sprache: | Englisch |
Ausstattung / Beilage: | HC runder Rücken kaschiert |
Einband: | Gebunden |
Redaktion: | Hansson, Sven Ove |
Herausgeber: | Sven Ove Hansson |
Hersteller: |
Springer Netherland
Springer Netherlands Outstanding Contributions to Logic |
Maße: | 241 x 160 x 30 mm |
Von/Mit: | Sven Ove Hansson |
Erscheinungsdatum: | 10.01.2014 |
Gewicht: | 0,834 kg |
Offers a collection of analyses, discussions and interpretations on celebrated logician, David Makinson's, work bridging classical and non-classical logic
Highlights the areas of logic in which Makinson had significant influence
Provides a short autobiography by Makinson which details his intellectual encounters and inspirations as well as his candid views on the role of logic in philosophy
Includes supplementary material: [...]
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.
Erscheinungsjahr: | 2014 |
---|---|
Fachbereich: | Allgemeines |
Genre: | Philosophie |
Jahrhundert: | Antike |
Rubrik: | Geisteswissenschaften |
Thema: | Lexika |
Medium: | Buch |
Reihe: | Outstanding Contributions to Logic |
Inhalt: |
xii
433 S. 16 s/w Illustr. 433 p. 16 illus. |
ISBN-13: | 9789400777583 |
ISBN-10: | 9400777582 |
Sprache: | Englisch |
Ausstattung / Beilage: | HC runder Rücken kaschiert |
Einband: | Gebunden |
Redaktion: | Hansson, Sven Ove |
Herausgeber: | Sven Ove Hansson |
Hersteller: |
Springer Netherland
Springer Netherlands Outstanding Contributions to Logic |
Maße: | 241 x 160 x 30 mm |
Von/Mit: | Sven Ove Hansson |
Erscheinungsdatum: | 10.01.2014 |
Gewicht: | 0,834 kg |