Sumários
A teoria trivalente da vagueza
12 Março 2026, 11:00 • Ricardo Santos
Ausência de
limites exactos. Casos de fronteira como objectos indeterminados: nem definidamente
positivos nem definidamente negativos; predicações nem verdadeiras nem falsas.
A lógica trivalente K3: tabelas de verdade trivalentes e semântica dos quantificadores.
Opções para definir a consequência semântica. (i) Consequência como preservação
da verdade em todas as interpretações. O diagnóstico resultante: o sorites é
válido, mas a premissa maior é indeterminada. A negação da premissa maior
também é indeterminada. (ii) Consequência como preservação da não-falsidade. O
diagnóstico resultante: o sorites é inválido.
A teoria epistémica da vagueza
10 Março 2026, 11:00 • Ricardo Santos
Epistemicismo: uma teoria da vagueza como forma de ignorância. Os predicados vagos têm um limite exacto desconhecido. A premissa maior do sorites é falsa (e a sua negação verdadeira); a bivalência e a lógica clássica são preservadas. Explicação da incognoscibilidade do limite: o significado é determinado pelo uso (de todos os falantes competentes); conhecimento inexacto e margem de erro. Redescrição dos casos de fronteira como objectos acerca dos quais não podemos saber de que lado do limite se encontram. A implausibilidade do epistemicismo.
Revisão da lógica de predicados (conclusão). O problema da vagueza.
5 Março 2026, 11:00 • Ricardo Santos
Dedução natural: regras para os quantificadores e para a identidade. Sanidade e completude da lógica de primeira ordem. Incompletude da lógica de segunda ordem. Formalização e axiomatização da aritmética. O teorema de Gödel.
O problema da vagueza. Exemplos de vagueza e exemplos de precisão. Vagueza como tolerância a pequenas diferenças e ausência de limites exactos. As consequências absurdas do paradoxo sorites.
Revisão da lógica de predicados (continuação).
3 Março 2026, 11:00 • Ricardo Santos
Exemplos de formalização na lógica de predicados. A semântica. A noção de interpretação: domínio de objectos, referências dos nomes e extensões dos predicados. Condições de verdade de fórmulas complexas. Exercícios com interpretações. Consequência semântica e verdades lógicas. Dedução natural: regras para os quantificadores.
Sanidade e completude. Revisão da lógica de predicados de primeira ordem.
26 Fevereiro 2026, 11:00 • Ricardo Santos
Exercícios de dedução natural. Sanidade e completude de um sistema dedutivo (relativamente à semântica dada). A linguagem formal da lógica de predicados de primeira ordem.