id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
en-wikipedia-org-4945		Formal epistemology - Wikipedia			.html	text/html	1410	182	41	This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Formal epistemology uses formal methods from decision theory, logic, probability theory and computability theory to model and reason about issues of epistemological interest. The focus of formal epistemology has tended to differ somewhat from that of traditional epistemology, with topics like uncertainty, induction, and belief revision garnering more attention than the analysis of knowledge, skepticism, and issues with justification. Carnegie Mellon University's Philosophy Department hosts an annual summer school in logic and formal epistemology. Horacio Arló-Costa, Carnegie Mellon, Philosophy (Bayesian epistemology, epistemic logic, belief revision, conditionals, rational choice, normative and behavioral decision theory) Hendricks Copenhagen and Columbia, Philosophy (epistemic logic, formal learning theory, information processing and analysis of democracy) Franz Huber (formal epistemology, philosophy of science, philosophical logic) Isaac Levi Columbia, Philosophy (belief revision, decision theory, probability)	./cache/en-wikipedia-org-4945.html	./txt/en-wikipedia-org-4945.txt