06546nam 22006255 450 991025535320332120230126214529.03-319-20451-310.1007/978-3-319-20451-2(CKB)3710000000735055(DE-He213)978-3-319-20451-2(MiAaPQ)EBC6315659(MiAaPQ)EBC5577194(Au-PeEL)EBL5577194(OCoLC)1066184642(EXLCZ)99371000000073505520160607d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierReadings in Formal Epistemology Sourcebook /edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XXIII, 937 p. 135 illus.) Springer Graduate Texts in Philosophy,2627-6046 ;13-319-20450-5 Includes bibliographical references and index.Introduction -- 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.This 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.Springer Graduate Texts in Philosophy,2627-6046 ;1EpistemologyMathematical logicGame theoryEpistemologyhttps://scigraph.springernature.com/ontologies/product-market-codes/E13000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Game Theory, Economics, Social and Behav. Scienceshttps://scigraph.springernature.com/ontologies/product-market-codes/M13011Epistemology.Mathematical logic.Game theory.Epistemology.Mathematical Logic and Formal Languages.Game Theory, Economics, Social and Behav. Sciences.121Arló-Costa Horacioedthttp://id.loc.gov/vocabulary/relators/edtHendricks Vincent Fedthttp://id.loc.gov/vocabulary/relators/edtvan Benthem Johanedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910255353203321Readings in Formal Epistemology2537107UNINA