Seminário de Lógica Matemática

One, and Only One

Sala 6.2.33, FCUL, Lisboa

Por Elia Zardini (Universidade de Lisboa).

Abstract: Standard non-classical (i.e. non-substructural) solutions to the semantic paradoxes of truth deny either the law of excluded middle or the law of non-contradiction; in so doing, they either reject both the truth of a paradoxical sentence and its falsity or accept both the truth of a paradoxical sentence and its falsity. In this sense, both kinds of solutions agree that paradoxical sentences are inconsistent—that such sentences cannot coherently be assigned one and only one truth value. This pattern extends from the semantic paradoxes of truth to the semantic paradoxes of reference: when faced with at least certain particularly recalcitrant paradoxes of naive reference, both kinds of solutions are forced to claim that the paradoxical singular terms in question are inconsistent—that they cannot coherently be assigned one and only one referent. I’ll argue that, contrary to what both kinds of solutions require, under plausible assumptions paradoxical singular terms can be constructed that are forced to refer to a unique object. By considering these and other more traditional paradoxes, I’ll then show how my favoured non-contractive solution to the semantic paradoxes, which generally treats paradoxical entities as consistent rather than as inconsistent, can be so deployed as to offer a unified solution to the semantic paradoxes of truth and to those of reference and definability.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
titulo e data do evento

A major vehicle to bring together the national Physical Chemistry community.

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

Logótipo do EVM 2024

Por Giosuè Muratore (DM Ciências ULisboa e CMAFcIO).

Logótipo do EVM 2024

Por Pedro Duarte (DM Ciências ULisboa, CMAFcIO).

Título do programa, sobre mosaico de fotografias de jovens cientistas

As candidaturas encontram-se encerradas. Obrigada aos quase 80 candidatos/as!

Fotografia de ilha

Seminários Doutorais no âmbito da disciplina de Projeto de Investigação (Doutoramento em Ciências do Mar).

Logótipo do EVM 2024

Por Maria Manuel Torres (DM Ciências ULisboa e CMAFcIO).

Seminário do Centro de Matemática, Aplicações Fundamentais e Investigação Operacional, por Baptiste Claustre (aluno ENS Lyon, estagiário CMAFcIO).

Logótipo do EVM 2024

Por: Jorge Buescu (DM Ciências ULisboa e CMAFcIO).

Titulo e data do evento, com imagem de ponte sobre o tejo

Um evento organizado no âmbito da Ação COST EURO-MIC, de cujo Comitê de Gestão Elisabete Silva, líder do Bioactive and Multifunctional Materials Lab do BioISI, faz parte.

Logótipo do EVM 2024

Por Jean-Baptiste Casteras (DM Ciências ULisboa e CMAFcIO).

Chegou a hora: os participantes do Programa Ser Cientista vão apresentar os projetos que desenvolveram ao longo de uma semana, acompanhados por docentes e investigadores de CIÊNCIAS. E todos podem assistir!

Imagem do evento

Extended enrolement date until July 12th.

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Are you ready for this year's edition?

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.