LEADER 06546nam 22006255 450 001 9910255353203321 005 20230126214529.0 010 $a3-319-20451-3 024 7 $a10.1007/978-3-319-20451-2 035 $a(CKB)3710000000735055 035 $a(DE-He213)978-3-319-20451-2 035 $a(MiAaPQ)EBC6315659 035 $a(MiAaPQ)EBC5577194 035 $a(Au-PeEL)EBL5577194 035 $a(OCoLC)1066184642 035 $a(EXLCZ)993710000000735055 100 $a20160607d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aReadings in Formal Epistemology $eSourcebook /$fedited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XXIII, 937 p. 135 illus.) 225 1 $aSpringer Graduate Texts in Philosophy,$x2627-6046 ;$v1 311 $a3-319-20450-5 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- 1. Agency and interaction: what we are and what we do in formal epistemology; Jeffrey Helzner and Vincent F. Hendricks -- Part 1. Bayesian Epistemology: Introduction -- 2. Truth and probability; Frank P. Ramsey -- 3. Probable knowledge; Richard C. Jeffrey -- 4. Fine-­?grained opinion, probability and the logic of full belief; Bas C. van Fraassen -- 5. A theory of higher order probabilities; Haim Gaifman -- 6. On indeterminate probabilities; Isaac Levi -- 6. On indeterminate probabilities; Isaac Levi -- 7. Why I am not a Bayesian; Clark Glymour -- 8. A mistake in dynamic coherence arguments? Brian Skyrms -- 9. Some problems for conditionalization and reflection; Frank Arntzenius -- 10. Stopping to reflect; Mark J. Schervish, Teddy Seidenfeld and Joseph B. Kadane --  Part II. Belief Change: Introduction -- 11. On the logic of theory change: partial meet contraction and revision functions; Carlos Alchourrón, Peter Gärdenfors and David Makinson -- 12. Theory contraction and base contraction unified; Sven Ove Hansson -- 13. How infallible but corrigible full belief is possible; Isaac Levi -- 14. Belief contraction in the context of the General Theory of Rational Choice; Hans Rott -- 15. A survey of ranking theory; Wolfgang Spohn -- Part III. Decision Theory: Introduction -- 16. Allais's Paradox; Leonard Savage -- 17. Decision theory without 'independence' or without 'ordering'; Teddy Seidenfeld -- 18. Ambiguity and the Bayesian paradigm; Itzhak Gilboa and Massimo Marinacci -- 19. State dependent utilities; Mark J. Schervish, Teddy Seidenfeld and Joseph B. Kadane -- 20. Causal decision theory; James M. Joyce and Allan Gibbard -- 21. Advances in prospect theory: cumulative representation of uncertainty; Amos Tversky and Daniel Kahnemann -- Part IV. Logics of Knowledge and Belief: Introduction -- 22. Epistemology without knowledge and without belief; Jaakko Hintikka -- 23. Epistemic operators; Fred Dretske -- 24. Elusive knowledge; David Lewis -- 25. Knowledge and skepticism; Robert Nozick -- 26. On logics of knowledge and belief; Robert Stalnaker -- 27. Sentences, belief and logical omniscience, or what does deduction tell us? Rohit Parikh -- 28. The logic of justification; Sergei Artemov -- 29. Learning theory and epistemology; Kevin T. Kelly -- 30. Some computational constraints in epistemic logic; Timothy Williamson -- Part V. Interactive Epistemology: Introduction -- 31. Convention (an excerpt); David Lewis -- 32. Three views of common understanding; Jon Barwise -- 33. The logic of public announcements, common knowledge and private suspicions; Alexandru Baltag, Lawrence S. Moss and S?awomir Solecki -- 34. A qualitative theory of dynamic interactive belief revision; Alexandru Baltag and Sonja Smets -- 35. Agreeing to disagree; Robert J. Aumann -- 36. Epistemic conditions for Nash equilibrium; Robert J. Aumann and Adam Brandenburger -- 37. Knowledge, belief and counterfactual reasoning in games; Robert Stalnaker -- 38. Substantive rationality and backward induction; Joseph Y. Halpern. 330 $aThis volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic. 'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction ? and it does so using methods from logic, probability, computability, decision and game theory. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology. 410 0$aSpringer Graduate Texts in Philosophy,$x2627-6046 ;$v1 606 $aEpistemology 606 $aMathematical logic 606 $aGame theory 606 $aEpistemology$3https://scigraph.springernature.com/ontologies/product-market-codes/E13000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aGame Theory, Economics, Social and Behav. Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/M13011 615 0$aEpistemology. 615 0$aMathematical logic. 615 0$aGame theory. 615 14$aEpistemology. 615 24$aMathematical Logic and Formal Languages. 615 24$aGame Theory, Economics, Social and Behav. Sciences. 676 $a121 702 $aArló-Costa$b Horacio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHendricks$b Vincent F$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $avan Benthem$b Johan$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910255353203321 996 $aReadings in Formal Epistemology$92537107 997 $aUNINA