Sumários
Material conditionals and strict conditionals
7 Abril 2026, 11:00 • Ricardo Santos
Indicative conditionals
vs. subjunctive/counterfactual conditionals. Definition of material
conditionals, and the paradoxes of material implication. Several defenses of
the material implication (Grice, Thomson). Semantics for the logic S5, and the
strict conditional on S5. Analysis of some paradoxes of the material
conditional that are not theorems for the strict conditional. (Lecturer:
Nicholas Ferenz.)
A teoria supervalorativista da vagueza
24 Março 2026, 11:00 • Ricardo Santos
Motivação para a semântica
supervalorativista: a vagueza como “indecisão semântica” (quanto a qual dos
modelos clássicos é o correcto). Os modelos clássicos como maneiras de
“precisar” a linguagem. As conectivas definidas classicamente em cada
“precisão”. A verdade definida como super-verdade (i.e. verdade em todas as
precisões) e a falsidade como super-falsidade. O resultado: um sistema de
lógica clássica, com falhas de valor de verdade e conectivas
não-verofuncionais. O diagnóstico proposto para o sorites: a premissa indutiva
não é verdadeira; há um princípio, próximo da premissa indutiva, mas formulado
com o operador “determinadamente”, que é verdadeiro. O uso do operador D
(“determinadamente”) para caracterizar os casos de fronteira e para expressar o
facto de que um predicado é vago (no sentido em que não tem limites exactos de
aplicação). A vagueza de ordem superior.
Vagueza: a teoria dos graus de verdade
19 Março 2026, 11:00 • Ricardo Santos
Generalização da lógia trivalente (de Lukasiewicz) para uma
lógica com infinitos (incontáveis) valores de verdade, representando graus de
verdade. As condições de verdade das conectivas e dos quantificadores. As duas
definições possíveis de consequência semântica. O diagnóstico proposto para o
sorites: argumento válido com premissas quase perfeitamente verdadeiras e
conclusão perfeitamente falsa; ou argumento inválido. Avaliação crítica da
abordagem gradativa ao sorites: Também implica fronteiras exactas ou transições
abruptas? Avalia incorrectamente afirmações complexas envolvendo casos de
fronteira? Análise de potenciais contra-exemplos.
Vagueza: avaliação crítica da teoria epistémica e das teorias trivalentes
17 Março 2026, 11:00 • Ricardo Santos
A lógica
trivalente com a consequência definida como preservação da não-falsidade; e o
diagnóstico resultante: o modus ponens e, com ele, o próprio sorites são
inválidos. Avaliação crítica, e comparativa, das soluções disponíveis: epistémica,
trivalente-1 e trivalente-2. A invalidade do modus ponens é um custo excessivo?
As soluções trivalentes também estão comprometidas com a existência de limites
exactos? Será possível descrever correctamente uma série sorítica (e.g. de
homens altos/não-altos) sem recorrer a nenhum tipo de limite? Os graus de
verdade (i.e. uma infinidade de valores entre 1 e 0) evitam a postulação de
limites?