7 events found.
Notice
No events scheduled for 9th June 2024.
Notice
No events scheduled for 10th June 2024.
Notice
No events scheduled for 12th June 2024.
Notice
No events scheduled for 13th June 2024.
Notice
No events scheduled for 14th June 2024.
Notice
No events scheduled for 15th June 2024.
Week of Events
Monday, June 10, 2024
No events on this day.
Tuesday, June 11, 2024
No events on this day.
Wednesday, June 12, 2024
-
June 12, 2024 -Metaphysics and Logic Seminar: Isaac Wilhelm (National University of Singapore)
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 the purposes of metaphysical theorizing, a different language would be better: the calculus of constructions. Since this language—like many pure type systems—allows for quantification over…
Thursday, June 13, 2024
No events on this day.
Friday, June 14, 2024
No events on this day.
Saturday, June 15, 2024
No events on this day.
Sunday, June 16, 2024
No events on this day.