Hellenic-Romanian Logic and Computation Seminar 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-fxy Abstract: 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. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCnPN0OmB92VqCudvxiq64g20Jey0o6ofRWwi-FUOB4PA%40mail.gmail.com.
