Seminário de Lógica Matemática

Generalizing Fuzzy Logic for Semantic Paradoxes (and Vagueness)

Sala 6.2.33, FCUL, Lisboa

Por Hartry Field (New York University).

Abstract: Lukasiewicz continuum-valued logic has been popular in dealing with vagueness, and prominent logicians (e.g. Thoralf Skolem and C. C. Chang) have been very interested in its application to the semantic, property-theoretic and set-theoretic paradoxes. But it isn’t ultimately workable for either. This talk will sketch how to generalize it to make it work (not for set theory, because of extensionality, but for truth and properties, and also for vagueness). The resulting theory is more powerful than Kripke's in that it treats conditionals and restricted (as well as unrestricted) quantifiers. I’ll avoid technical details, but give enough of the idea so that those technically inclined shouldn’t have much problem filling them in. There will also be a bit of discussion of why we need two kinds of conditionals.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título "Para um ensino humanista das ciências" e logótipos das entidades organizadoras

O evento tem como tema principal "Para um ensino humanista das ciências" e conta com a participação de vários professores de CIÊNCIAS.

Microplásticos em suspensão no oceano

O curso tem como objetivo dar formação sobre a problemática da contaminação por detritos de plástico dos nossos ecossistemas, bem como alertar para os potenciais efeitos deletérios nos organismos - candidaturas até 22 de março.

Banner do Dia de Ciências 2025

A 29 de abril assinalamos o 114.º aniversário de CIÊNCIAS.

Junte-se a nós no Grande Auditório de CIÊNCIAS para uma tarde de celebração que reúne toda a comunidade da Faculdade.

Logótipo C-Academy

O curso oferece uma base sólida sobre os fundamentos e práticas essenciais para proteger sistemas e dados num mundo cada vez mais digital - candidaturas até 13 de abril.

Fotografia de fábrica a emitir poluição para a atmosfera

The course aims at enabling the participants to use different methods to measure the impacts of pollutants on ecosystems.

Um concurso de programação dirigido aos alunos do ensino secundário (11.º e 12.º anos), que visa promover a prática e o gosto pela programação.

Banner Dia Aberto de CIÊNCIAS 2025.

Bem-vindos a Ciências ULisboa!

Fotografia de Chapim-azul

The goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity.

Ação de formação para docentes e investigadores de CIÊNCIAS.

Químico a escrever fórmulas num quadro

Curso acreditado para efeitos de progressão na carreira dos professores do Ensino Básico e Secundário do Grupo 510 (CCPFC/ACC-118288/22), com candidaturas até 18 de maio.

Título da conferência, sobre um quadro de ardósia

A conferência decorre nos dias 26 e 27 de junho - mais informações brevemente disponíveis.

Computability in Europe (CiE) is an interdisciplinary series of international conferences organised by the Association Computability in Europe (ACiE).

Composição de imagens relativas à área das ciências forenses

O curso visa dotar os formandos, com formação universitária nas mais diversas áreas do saber, com os conhecimento necessários à integração de equipas profissionais multidisciplinares nas áreas Médico-Legais e Forenses, em Laboratórios ou Serviços Médico-Legais e Forenses.

Cientista a trabalhar com tubos de ensaio

Este curso forma profissionais para atividade na área das Análises Clínicas ou Patologia Clínica. Irão adquirir os conhecimentos essenciais à integração de equipas profissionais multidisciplinares na área das Análises Clínicas/Patologia Clínica, em laboratórios privados, públicos, hospitalares ou do Estado.

Páginas