Metaphysics and Logic Seminar: Isaac Wilhelm (National University of Singapore)
Title: Talk About Types Abstract: Many metaphysical theories of identity, existence, and so on, are formulated using higher-order languages like the simply typed lambda calculus. But as I argue, for…