Mathematical Logic Webinar

The liar and the sorites: Towards a uniform arithmetical treatment

Transmissão através de Videoconferência

Walter Dean (Department of Philosophy - University of Warwick)

The unification of the paradoxes of truth and vagueness has been a topic of recurrent philosophical interest (e.g. McGee 1990, Tappenden 1993, Field 2003/2008). I will present a sequence of observations which illustrate how the liar and sorites paradoxes are formally related, culminating in the claim that they give rise to similar sorts of mathematical incompleteness phenomena. A central tool will be the use of the arithmetized completeness theorem to provide interpretations of putatively paradoxical notions within the language of first-order arithmetic.

Zoom Meeting | ID da reunião: 890 8479 3299 - Senha de acesso: 409604

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
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.

Mathematical Logic Seminar, por Paulo Guilherme Santos (ISCAL and CMAFcIO).

Palestra por Bruno Baptista (RedHat).

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"

Dia 20 de maio, pelas 18h30, na sala 6.2.33 de Ciências (com transmissão online).

Seminário do Centro de Física Teórica e Computacional, por Maxim Efremov (German Aerospace Center - DLR, Institute of Quantum Technologies, Ulm, Germany).

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

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

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

Á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).

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).

Seminário de Formação Avançada em Jardins, Paisagens e Ambiente, por André Murgia (Università degli Studi di Cagliari).

Seminário Helena Avelar de Astronomia e Astrologia Antiga, por Francisco Malta Romeiras (Universidade de Lisboa).

Título do prémio

As candidaturas decorrem até ao dia 31 de maio.

O objetivo deste workshop é juntar especialistas portugueses e espanhóis em história política, cultural, científica e marítima do século XVI que, num ambiente informal, irão debater a importância deste intercâmbio.

Inscrições até 24 de maio.

Título do programa e logótipos das entidades organizadoras, sobre fotografia do espaço

Candidaturas até 03 de junho.

Pormenor de linguagem corporal (braços e mãos) de pessoa a dialogar

Ação de formação para docentes e investigadores de Ciências.

Criança a segurar num globo terrestre

A conferência é dedicada ao tema "Desafios em Saúde Planetária: Capacitar Comunidades para a Mudança".

Título/data/local do evento, logótipos da Rede MAR/ULisboa e fotografia de zona costeira

Candidaturas até 31 de maio.

Pormenor de duas pessoas a trabalharem em frente a um ecrã de computador

As inscrições para a edição de 2024 decorrem até às 17h do dia 02 de junho de 2024. A formação destina-se a todos os docentes e investigadores da ULisboa.

Feixes luminosos

Envio de propostas até 20 de junho.

Following the 9th International Congress on Mathematics and Computation in Music (MCM2024), that will take place at the University of Coimbra, the 18-21 June 2024, the Centro de Matemática, Aplicações Fundamentais e Investigação Operacional, da Faculdade de Ciências da Univers

Título/data/local do evento e imagem representativa de pessoa a trabalhar num mundo tecnológico

As Jornadas Científicas 2024 da Universidade de Lisboa são dedicadas ao tema “Impacto Atual e Futuro da Inteligência Artificial no Trabalho”.

Título/data/local do evento, sobre a Tabela Periódica

This year's program will cover two plenary sessions hosted by Susete Pinteus and Hugo Miranda, complemented by oral presentations, flash talks, and poster communications. Finally, a round table discussion will take place at the end of our meeting.

Páginas