Talk: Michael Titelbaum (Wisconsin)
The Logical Firmament
Most work in the epistemology of logic asks how inferential rules are known, and how individual steps in a proof are justified. But what happens when single steps are composed into a complex derivation? A new set of facts—“combinational facts”—come into play, which have been undertheorized despite being at the heart of such phenomena as logical non-omniscience. I will ask how recognition of these facts might alter our epistemology of logic. And I will make a tentative proposal for how combinational facts come to be known.