Mathematical Logic Seminar

Choice in the Iterative Conception

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

Por Bruno Jacinto e Beatriz Souza (Universidade de Lisboa).

The iterative conception is arguably the best worked out conception of set available. What is the status of the Axiom of Choice, presumably the most controversial of ZFC's axioms, under this conception? Boolos argues that the iterative conception doesn't justify Choice. We show that Boolos's argument overgenerates. For, if cogent, it would also imply -- contrary to what Boolos advocates -- that the axioms of Pairing, Union, Separation and Powerset are not justified by the iterative conception. In addition, we offer a plural formulation of Boolos's stage theory  (a formalization of the iterative conception) and show that prima facie plausible principles of the logic of plurals imply, together with plural stage theory, Choice as well as Pairing, Union, Separation and Powerset.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
“Coroa de Flores” cósmica

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Federica Loiacono (INAF OAS Bologna, Italy).

Logótipo do LIP Summer Internship Program

Um programa destinado a estudantes de Física e Engenharia com interesse em investigação científica e tecnológica, com candidaturas até 15 de maio (nova data).

Seminário de Análise e Equações Diferenciais, por João Pedro Ramos (Instituto Nacional de Matemática Pura e Aplicada).

Título/data/local do evento

No Dia Nacional dos Cientistas, o conhecimento não risca fronteiras.

O Museu Nacional de História Natural e da Ciência da Universidade de Lisboa celebra a Noite Europeia dos Museus (17 de maio) e o Dia Internacional dos Museus (18 de maio). Nestes dias, os Museus abrem as portas e convidam os cidadãos a conhecer os seus acervos, coleções, exposições e atividades.

Seminário do Centro de Física Teórica e Computacional, por João Amaral (Department of Physics and CICECO, University of Aveiro, Portugal).

Bodião-limpador "em ação"

Seminário Doutoral II (Doutoramento em Biologia), por Beatriz Palinhos Pereira.

Seminário de Análise e Equações Diferenciais, por Wladimir Neves (Universidade Federal do Rio de Janeiro).

Seminário de Lógica Matemática, por Joaquim Waddington (UERJ/UCL).

Título/data/local do evento, logótipos das entidades organizadoras e fotografia de peixe

The event aims to facilitate the exchange of information and knowledge among professionals to advance the understanding, collaboration and capabilities of aquaculture to respond to the impact of climate change in a rapidly changing global environment.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

22 de maio - dois dos doze finalistas da competição são alunos de CIÊNCIAS.

Seminário de Análise e Equações Diferenciais, por Itamar Oliveira (University of Birmingham).

Pintura abstrata azul e rosa

Seminário de Análise e Equações Diferenciais, por Leonid Berlyand (Penn State University).

Technovation Girls Challenge Portugal - Final

Ciências acolhe o evento final do Programa Technovation Girls Challenge Portugal.

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Pier-Stefano Corasaniti (Observatoire de Paris-Meudon, France).

Um programa estruturado que combina discussões em grupo, exploração de carreira e workshops informativos, com inscrições até 23 de maio.

Logótipo do EVM 2025

Candidaturas até 28 de maio.

Uma oportunidade para fortalecer a cultura de segurança e bem-estar em CIÊNCIAS.

Seminário no âmbito do Doutoramento em Biologia e Ecologia das Alterações Globais, por Pierina Jocelyn Mendoza Yengle.

Uma oportunidade única para interagir com a comunidade global de computação científica.

Logótipo Moodle

Ação de formação para docentes e investigadores de CIÊNCIAS.

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do evento.

Logótipo Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Título/data/local do evento e iconografia representativa de energias renováveis

Inscrições até 16 de maio! Junta-te a esta revolução energética e faz a diferença!

Páginas