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
Título/data do evento e composição de imagens de símios

Workshop do Centro de Estatística e Aplicações da Universidade de Lisboa, por Ben Stevenson (University of Auckland, New Zealand).

Talk @DI, por Nuno Paiva (Parlamento Europeu).

Título e datas de candidatura do programa, sobre um padrão em tons de roxo e laranja

Submissão de candidaturas até 14 de maio.

Título/data/local do evento e fotografia do orador

Conferência por Jordi Segalàs (professor associado na Universidade Politécnica de Catalunya - UPC Barcelona Tech; coordenador do grupo de investigação sobre Educação para a Sustentabilidade e Tecnologia).

Seminário do Centro de Física Teórica e Computacional, por Julian Oberdisse (Laboratoire Charles Coulomb - L2C, University of Montpellier, CNRS, France).

O workshop pretende levar à discussão as coleções botânicas, em particular as de botânica económica, mostrando diferentes perspetivas e olhares sobre as coleções e qual o seu papel na ciência e nas artes.

Título/data/local/orador do evento

Lisbon AI Seminar, por Francisco Laranjinha (CFCUL/RG2).

Título do curso

Curso Avançado CEAUL / Gades Solutions.

Colóquio de Matemática, por Guy Bouchitté (Université de Toulon).

Logótipo do LIP Summer Internship Program e fotografia de jovem investigador

Os estágios podem ter uma duração entre duas semanas e dois meses e realizam-se nos três polos do LIP - candidaturas até 15 de maio.

Os oradores plenários irão falar sobre a importância da interdisciplinaridade de forma acessível para todos, estando previstas palestras e apresentação de pósteres por alunos.

Earth Systems Seminar, por Nuno Pimentel (Geology Department and Instituto Dom Luiz, Faculdade de Ciências da Universidade de Lisboa; Geoparque OESTE - Scientific Coordinator).

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por João Carreira (Deepmind).

Logótipo do EVM 2024

Candidaturas até 15 de maio.

Um evento dirigido aos alunos do ensino secundário, consistindo numa palestra sobre a microscopia e em visitas aos laboratórios de microscopia/demonstrações experimentais simples.

Seminário do Laboratório de Instrumentação e Física Experimental de Partículas, por Pedro Assis (LIP).

Título do evento, acompanhado de representações de espécies animais/vegetais e dos logótipos dos organizadores

A comunidade de Ciências, em conjunto com especialistas de diferentes grupos taxonómicos, inventaria e regista toda a biodiversidade que consiga observar.

O MUHNAC celebra o Dia Internacional dos Museus com um programa de atividades gratuitas com o mote da edição de 2024: Museus, Educação e Investigação.

Exposição "Formas & Fórmulas"

A sessão destina-se essencialmente (mas não exclusivamente) a quem está a terminar um Mestrado em Matemática ou área afim.

Árvore florida

A minha Jornada pela Matemática: Descobertas, Escolhas e Desafios, por Ana Catarina Monteiro - estudante do Mestrado em Matemática (Licenciatura: Matemática).

Logótipos TWIN2PIPSA/União Europeia e título do evento

This workshop is open to all CIÊNCIAS ULisboa community - registration is mandatory.

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por Hugo Penedones (Inductiva).

O workshop contribui para aproximar a Ciência e as Políticas Públicas na construção de políticas informadas por evidências.

Composição com os nomes das Universidades participantes

Candidaturas até 25 de maio (mobilidades no 1.º semestre).

Título do prémio

As candidaturas decorrem até ao dia 31 de maio.

Páginas