Philosophy of Logic, Mathematics, and Physics Graduate Conference
June 9-10, 2016
Western University, Stevenson Hall, Room 1145
With Keynote Address from James Ladyman (University of Bristol)
“Ideas of Identity: applying Homotopy Type Theory in the philosophy of logic, mathematics and physics”
Held in conjunction with the Information-Theoretic Interpretations of Quantum Mechanics conference (June 11-12, 2016)
June 9, 2016
| 9:30 am | Nicholas DiBella (Stanford University) | “The Paradox of Non-Conglomerability is a Paradox for Everyone” |
| 10:45 am | Andre Curtis-Trudel (University of Calgary) | “Is Church’s Thesis and Explication?” |
| 11:45 am | Lunch | |
| 1:00 pm | Alferdo Watkins (UNC Chapel Hill) | “Mathematical Reduction, Treating as, and Abstraction: An Immanent Structuralist Explanation” |
| 2:15 pm | Patrick Walsh (Carnegie Mellon University) | “Categorical Harmony and Path Induction” |
| 3:30 pm | Keynote Address: James Ladyman | “Ideas of Identity: applying Homotopy Type Theory in the philosophy of logic, mathematics and physics” |
| 7 pm | Dinner |
June 10, 2016
| 9:30 am | Eric Walker (UC Riversiide) | “Frege’s Ideography: What it is supposed to Express and How” |
| 10:45 am | Adam Simon (Stanford University) | “What are Y’all Even Tonking about?” |
| 11:45 am | Lunch | |
| 1:00 pm | Fabio Ceravolo (University of Leeds) | “Familiar Sortals with Relativistic Composition” |
| 2:15 pm | Neil Dewar (Oxford University) | “Maxwell-Cartan Gravitation” |
| 3:15 pm | Awarding of the Robert K. Clifton Memorial Book Prize | Winner: Neil Dewar |
This conference is supported by The Rotman Institute of Philosophy, The Department of Philosophy, The Faculty of Arts and Humanities, The Faculty of Social Sciences, the Social Sciences and Humanities Research Council of Canada, and the Oxford University Press for donating the Robert K. Clifton Memorial Book Prize.
Organizers
Adam Koberinski (chair), Melissa Jacquart, Nathan Moore, Tom De Saegher, Philippos Papayannopoulos, Marie Gueguen, Yousuf Hasan, Peter Verveniotis.