Dr. Michael Titelbaum (Winsconsin-Madison)
Date: 27 septembre 2019, 10h-12h
Salle/Room: 422, Stone Castle, (2910 Édouard-Montpetit, Université de Montréal)
Résumé/Abstract: 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.