Intensional Classes and Intuitionistic Topoi

Louvain-La-Neuve

17 février 2021

15h00 - 17h00

ZOOM

The Institut supérieur de philosophie of the UCLouvain, the research centre CEFISES, and the FNRS contact group OLOFOS ((Onto-)LOgical Frameworks Of Science) are very happy to invite everyone interested to the (due to Covid-19) online only third ordinary meeting of this year’s OLOFOS seminar with the overarching theme “Formal analysis of modality and pragmatics in science and mathematics”.

Date and time: 17/2/2021, 15:00-17:00 CET

Neil Barton, University of KonstanzSpeaker: Neil Barton (University of Konstanz)

Commentator: Stéphanie Ponsar (UCLouvain)

Title: Intensional Classes and Intuitionistic Topoi.

Zoom link: https://us02web.zoom.us/j/82876282266Meeting ID: 828 7628 2266. To register, please contact Peter Verdée (peter.verdee@uclouvain.be)

Abstract:

A popular view in the philosophy of set theory is that of *potentialism*: the position that the set-theoretic universe unfolds as more sets come into existence or become accessible to us. A difficult question for the potentialist is to explain how *classes* (understood as intensional entities) behave on this framework, and in particular what logic governs them. In this talk we'll see how category-theoretic resources can be brought to bear on this issue. I'll first give a brief introduction to topos theory, and then I'll explain how (drawing on work of Lawvere) we can think of intensional classes for the potentialist as given by a functor category. I'll suggest some tentative directions for research here, including the possibility that this representation indicates that the logic of intentional classes should be intuitionistic rather than classical, and that the strength of the intuitionistic logic is dependent upon the partial order on the worlds.

 

 

Categories Events: