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

Celebrating Pedro Duarte's 60th birthday.

Fotografia de campo agrícola e parque eólico

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia de trator em campo agrícola

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia representativa de agricultura sustentável

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia de pessoa a pegar num Ouriço-do-mar

Seminário de Pós-Graduação no âmbito do Doutoramento em Biologia, por Inês Ventura.

As Jornadas Interinstitucionais de Inovação Pedagógica estão abertas a docentes do ensino superior com interesse no seu desenvolvimento profissional pedagógico.

Logótipo da Comissão Europeia e iconografia associada ao Horizon Europe

1.ª edição do curso Horizon Europe, para candidaturas futuras a projetos colaborativos - manifestações de interesse até 05 de setembro de 2022.

Título do evento e iconografia relacionada com a ciência e a saúde

O workshop visa sensibilizar jovens, adultos e idosos para a importância do movimento induzido pela música na saúde e na qualidade de vida sustentável.

Banner do concurso (inclui fotografia apresentada numa anterior edição)

Candidaturas até 30 de setembro de 2022.

Programa a disponibilizar.