https://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.html
On Mon, May 18, 2026 at 5:12 AM jean-yves beziau <[email protected]> wrote: > 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/CAF2zFLAW7po2iYurjqQRTUDMJ5q9-B75cAW6fxtpyVLG2miWOA%40mail.gmail.com.
