http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.ht Monday 18th of May at 18.00 GR/RO time
Title: Categorical Grounding: Bridging Metaphysical Grounding with Categorical Logic.
Speaker: George Ricean
HRLogicComputSeminar#1
Monday, May 18 · 6:00 – 7:00pm
Time zone: Europe/Bucharest
Google Meet joining info
Video call link:
https://meet.google.com/fse-mcda-fxyAbstract:
Modern metaphysics has shifted focus from mere existence to metaphysical grounding: the study of what is "prior to" or "more fundamental than" something else. While grounding is traditionally defined by its hyperintensionality and its status as a strict partial order, its plurality of approaches underlines a need for a unifying principle; solving this issue within the framework of category theory remains under-analyzed. This presentation explores the application of grounding’s formal logics within the framework of categorical logic and some strategies on how the gap can be bridged.
Bio:
George Ricean is a Master’s student in Philosophy at Università degli Studi di Padova, where his research focuses on applications of categorical logic in philosophy. He previously earned his B.A. in Philosophy from Babeș-Bolyai University with a thesis on Lawvere's fixed-point theorem.