LEADER 01028nam 2200361Ia 450 001 996385292603316 005 20221108081139.0 035 $a(CKB)1000000000609680 035 $a(EEBO)2240962063 035 $a(UtSlPG)37302 035 $a(OCoLC)12290984 035 $a(EXLCZ)991000000000609680 100 $a19850722d1696 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 13$aAn account of the growth of deism in England$b[electronic resource] 210 $aLondon $cPrinted for the author$d1696 215 $a32 p 300 $aAttributed to W. Stephens. Cf. Wing. 300 $aReproduction of original in Huntington Library. 330 $aeebo-0113 606 $aDeism$vEarly works to 1800 615 0$aDeism 700 $aStephens$b William$fd. 1718.$01006760 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bUMI 801 2$bWaOLN 906 $aBOOK 912 $a996385292603316 996 $aAn account of the growth of deism in England$92317628 997 $aUNISA LEADER 05374nam 22006975 450 001 9910484846003321 005 20220413213625.0 010 $a94-007-7759-0 024 7 $a10.1007/978-94-007-7759-0 035 $a(CKB)3710000000078950 035 $a(EBL)1636828 035 $a(OCoLC)871175593 035 $a(SSID)ssj0001090536 035 $a(PQKBManifestationID)11657123 035 $a(PQKBTitleCode)TC0001090536 035 $a(PQKBWorkID)11021019 035 $a(PQKB)11646079 035 $a(MiAaPQ)EBC1636828 035 $a(DE-He213)978-94-007-7759-0 035 $a(PPN)176130136 035 $a(EXLCZ)993710000000078950 100 $a20131220d2014 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDavid Makinson on classical methods for non-classical problems /$fedited by Sven Ove Hansson 205 $a1st ed. 2014. 210 1$aDordrecht :$cSpringer Netherlands :$cImprint: Springer,$d2014. 215 $a1 online resource (432 p.) 225 1 $aOutstanding Contributions to Logic,$x2211-2758 ;$v3 300 $aDescription based upon print version of record. 311 $a94-007-7758-2 320 $aIncludes bibliographical references. 327 $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. 330 $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. 410 0$aOutstanding Contributions to Logic,$x2211-2758 ;$v3 606 $aLogic 606 $aLogic, Symbolic and mathematical 606 $aLinguistics 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aTheoretical Linguistics$3https://scigraph.springernature.com/ontologies/product-market-codes/N46000 615 0$aLogic. 615 0$aLogic, Symbolic and mathematical. 615 0$aLinguistics. 615 14$aLogic. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 615 24$aTheoretical Linguistics. 676 $a511.3 702 $aHansson$b Sven Ove$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484846003321 996 $aDavid Makinson on classical methods for non-classical problems$92817572 997 $aUNINA