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
Computador portátil a projetar imagem de sequência biológica

Curso com candidaturas até 12 dezembro.

Workshop sobre Arqueologia Histórica, Ciências Ambientais e Trabalho em Comunidade.

Estudantes

As candidaturas decorrem até 08 de janeiro.

Titulo do prémio e pormenor da Ponte Vasco da Gama

As candidaturas decorrem até 09 de janeiro.

Representação de pessoa a interagir com tecnologia

O curso introduz o conceito de Digital Twins e a sua aplicação estratégica no contexto do serviço público, com foco na modernização digital, otimização de processos e apoio à decisão - candidaturas até 11 de janeiro.

Bola de cristal colocada no solo

Curso com candidaturas até 19 de dezembro.

Imagem exemplificativa da área da deteção remota

Este curso avançado tem como objetivo fornecer acesso e ferramentas para a aquisição e processamento de dados de deteção remota para diferentes aplicações, usando imagens multiespectrais de satélite, drone, terrestres e LiDAR, com foco na caracterização da vegetação e da paisagem, bem como das suas mudanças ao longo do tempo - candidaturas até 19 de dezembro.

Duas pessoas a interagirem num contexto de realidade virtual

O curso explora o potencial da Realidade Virtual (VR) e Aumentada (AR) como ferramentas inovadoras nos processos de onboarding e desenvolvimento de competências - candidaturas até 25 de janeiro.

Ana Rita Lopes

As candidaturas decorrem até 30 de janeiro.

Ginásio "inundado" de tecnologia

Um programa único na Europa, com o objetivo de capacitar para a integração crítica, segura e eficaz de ferramentas digitais na intervenção clínica - candidaturas até 16 de janeiro.

Imagem abstrata

Neste curso, será promovida uma abordagem multidisciplinar, apresentando as descobertas mais recentes sobre o tema e desafiando a forma tradicional de considerar as associações simbióticas como exceções e não como a regra - candidaturas até 09 de janeiro.

As inscrições são grátis para funcionários e estudantes de CIÊNCIAS e da FCiências.ID, mediante a utilização do código CIENCIASFREE. 

O workshop propõe promover a partilha de estratégias metodológicas que permitam transformar as ferramentas de inteligência artificial em apoios qualificados ao trabalho docente, assegurando que complementam, e nunca substituem, a intervenção profissional, o rigor pedagógico e a intencionalidade do professor.

Pessoas a analisarem dados

Candidaturas até 13 de fevereiro.

Um curso prático, limitado a um pequeno número de participantes, destinado a quem procura formação básica em teoria e estatística macroecológica e deseja familiarizar-se com algumas das potenciais utilizações de vários métodos avançado - candidaturas até 13 de fevereiro.