An Overview of Formal Epistemology (links)

The branch of philos­o­phy called for­mal episte­mol­ogy has very similar in­ter­ests to those of the Less Wrong com­mu­nity. For­mal episte­mol­o­gists mostly work on (1) math­e­mat­i­cally for­mal­iz­ing con­cepts re­lated to in­duc­tion, be­lief, choice, and ac­tion, and (2) ar­gu­ing about the foun­da­tions of prob­a­bil­ity, statis­tics, game the­ory, de­ci­sion the­ory, and al­gorith­mic learn­ing the­ory.

Those who value the ne­glected virtue of schol­ar­ship may want to study for them­selves the ar­gu­ments that have lead schol­ars ei­ther to­ward or against the very par­tic­u­lar po­si­tions on for­mal­iz­ing lan­guage, de­ci­sion the­ory, ex­pla­na­tion, and prob­a­bil­ity typ­i­cally en­dorsed at Less Wrong. As such, here’s a brief overview of the field by way of some helpful links: