This workshops intends to gather people working in the intersection between set theory and philosophy of mathematics and to present and discuss their work.
EVENTS
This conference is intended to investigate recent proposals for characterizing and solving paradoxes. More precisely, the aim is to create a bridge between the truth-theoretic, set-theoretic, and proof-theoretic traditions in the analysis of paradoxes.
Site do Evento
Este projeto tem como objetivo o esclarecimento da noção de não-normalidade na lógica modal. Este tema é abordado de uma perspectiva ambos semântica e sintática. Por um lado será indagado sobre a possibilidade de oferecer uma definição de não-normalidade que permita um tratamento uniforme de resultados de completude e correção. Por outro lado será indagado sobre as peculiaridades que os…
For the Cantor centenary are organized three mini-courses on the main topic of: large cardinals, Robinson forcing, and Forcing Axioms.
Site do Evento