The Formal Epistemology Project. tr 2008, 2 (12).