Mathematical Logic Seminar

Sets as Properties

Sala 6.2.33, Ciências ULisboa (com transmissão via Zoom)

Por Bruno Jacinto (Universidade de Lisboa).

According to the iterative conception of set, sets are “built in stages” in a process to be pursued “as far as possible”. It is notoriously difficult to make sense of the “building” analogy unless the mind-dependence of sets is accepted. In this talk I will sketch the sets as properties view, according to which set theory is nothing but a part of cumulative (modal) type theory. I will offer some reasons for thinking that the sets as properties view, broadly based on (Linnebo & Rayo 2012, Degen & Johannsen 2000) delivers a more satisfactory realist understanding of the iterative conception, and its "building" analogy, than those presently available. In addition, I will address Button and Trueman’s (2022) “no bootstrapping" objection to the sets as properties view, and show how my reply paves the way to a neoRussellian form of logicism about set theory.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Gotas de água

O curso visa capacitar os formandos para a aplicação dos índices de qualidade ecológica utilizados na avaliação da qualidade ambiental em sistemas de transição, no âmbito da Diretiva Quadro da Água (DQA).

The conference aims to bring together key experts in the Medical Microwave Imaging (MMWI) field and will include invited talks, presentations and posters of peer-reviewed abstracts and conference papers, and workshops in satellite areas of research that are of interest to MMWI research.

Páginas