David Makinson on Classical Methods for Non-Classical Problems
The volume analyses and develops David Makinsonas efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinsonas 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 ainferential preferential methoda, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinsonas 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.A fundamental problem of deontic logic is to reconstruct it in accord with the philosophical position that norms direct rather ... non-Horn conditions for nonmonotonic inference operationsa Journal of Logic and Computation 7 (1997) 605a632.
| Title | : | David Makinson on Classical Methods for Non-Classical Problems |
| Author | : | Sven Ove Hansson |
| Publisher | : | Springer Science & Business Media - 2013-12-20 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
