Morphisms between Aristotelian Diagrams by Alex De Klerck, LUWebinar, Nov 15, 4pm, Paris-Geneva-Rome

15 views
Skip to first unread message

jean-yves beziau

unread,
Nov 13, 2023, 9:29:12 AM11/13/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
The next session of the Logica Universalis Webinar will be November 15 at 4pm CET (Meio dia em Brasília)
>----------------------------------------------------
Speaker:  Alexander De Klerck,  KU Leuven, Belgium
Title  "Morphisms between Aristotelian Diagrams"
Abstract: In logical geometry, Aristotelian diagrams are studied in a
precise and systematic way. Although there has recently been a good
amount of progress in logical geometry, it is still unknown which underlying
mathematical framework is best suited for formalizing the study of
these diagrams. Hence, in this paper, the main aim is to formulate such
a framework, using the powerful language of category theory. We build
multiple categories, which all have Aristotelian diagrams as their objects,
while having different kinds of morphisms between these diagrams.
The categories developed here are assessed according to their ability to
generalize previous work from logical geometry as well as their interesting
category-theoretical properties. According to these evaluations,
the most promising category has as its morphisms those functions on
fragments that increase in informativity on both the opposition and implication
relations. Focusing on this category can significantly increase
the effectiveness of further research in logical geometry.
https://www.springer.com/journal/11787/

Associate organization/project:
STARTDIALOG  (ERC project) - Towards a Systematic Theory of Aristotelian Diagrams in Logical Geometry
https://www.lorenzdemey.eu/startdialog
presented by its director Lorenz Demey 

Chair: Srećko Kovač, Editorial Board LU

Everybody is welcome to join, register here:
Jean-Yves Beziau
Editor-in-Chief Logica Universalis
Organizer Logica Universalis Webinar





Reply all
Reply to author
Forward
0 new messages