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—“compositional 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 metaphysics and epistemology of logic. And I will make a tentative proposal for how compositional facts come to be known.
Referent/Referentin
Prof. Dr. Michael G. Titelbaum
Veranstalter
Institut für Philosophie
Prof. Dr. Feest und Prof. Dr. Frisch
Termin
14. Juni 201916:15 Uhr - 18:00 Uhr
Ort
Institut für PhilosophieGeb.: 1146
Raum: B313
B313
Im Moore (Hinterhaus) 21
30167 Hannover