Sumários
O problema da vagueza.
18 Março 2024, 12:30 • Ricardo Santos
Introdução ao problema da vagueza. Caracterização da vagueza. Exemplos paradigmáticos de predicados sem limites exactos de aplicação. A tolerância a pequenas diferenças. Análise do paradoxo sorites. Serão os casos de fronteira casos de indeterminação ou de ‘nem verdadeiro nem falso’? As tabelas da lógica trivalente.
Comparação entre condicional material, condicional estrita e condicional de Stalnaker.
11 Março 2024, 12:30 • Ricardo Santos
Comparação entre a condicional material, a condicional estrita e a condicional de Stalnaker. Pontos fortes e pontos fracos de cada candidata. Razões para pensar que a condicional material é demasiado fraca, enquanto a condicional estrita é demasiado forte. Análise probabilista da inferência de “p ou q” para “se não p então q”. Críticas de David Lewis à lógica de Stalnaker: empates entre mundos (igualmente próximos) e casos em que, para cada mundo próximo, há sempre outro ainda mais próximo. Os contra-exemplos de McGee ao modus ponens.
A lógica condicional de Stalnaker
7 Março 2024, 12:30 • Ricardo Santos
Aparentes contra-exemplos a formas de inferência que tanto a lógica clássica como a lógica da condicional estrita validam: silogismo hipotético, reforço da antecedente, contraposição. A lógica condicional de Stalnaker. A relação de semelhança ou proximidade entre mundos (permitindo definir uma função “o mundo mais próximo de w em que p é verdadeira”) e as condições de verdade da condicional: a consequente é verdadeira no mundo mais próximo em que a antecedente é verdadeira.
Exercícios de lógica modal. A condicional estrita.
4 Março 2024, 12:30 • Ricardo Santos
Exercícios de lógica modal proposicional: testes com árvores e construção de contra-modelos. A condicional material (de Frege e Russell) vs. a condicional estrita (de C. I. Lewis): formas de inferência que deixam de ser válidas. Os paradoxos da condicional estrita. A defesa de C. I. Lewis.