Sumários
Problemas da teoria clássica da condicional material
8 Fevereiro 2024, 12:30 • Ricardo Santos
A teoria clássica da condicional material. Dois problemas bem conhecidos: (i) origina os paradoxos da condicional material; (ii) não se aplica às condicionais contrafactuais. A distinção entre condicionais indicativas e contrafactuais (ou conjuntivas). A explicação pragmática (de Grice) para os paradoxos da condicional material.
Dedução natural
5 Fevereiro 2024, 12:30 • Ricardo Santos
A dedução natural para a lógica proposicional clássica. Sistema com 10 regras de inferência. Exercícios. A teoria da condicional material (ou “teoria da ferradura”) como parte central da lógica proposicional clássica.
Lógica proposicional: axiomas e demonstrações axiomáticas
1 Fevereiro 2024, 12:30 • Ricardo Santos
O sistema axiomático para a lógica proposicional clássica. A sanidade e a completude do sistema axiomático: coincidência extensional entre as noções de teorema lógico e de verdade lógica. Desenvolvimentos do sistema axiomático: o uso de premissas (generalizando a noção de consequência sintáctica) e o teorema da dedução. Impossibilidade de fazer demonstrações por redução ao absurdo.
Lógica proposicional clássica
29 Janeiro 2024, 12:30 • Ricardo Santos
A lógica proposicional clássica (continuação). A linguagem formal. A semântica. Exercícios sobre a semântica. Um sistema axiomático: três axiomas (esquemas) e uma regra de inferência (modus ponens).
A lógica como teoria da consequência
25 Janeiro 2024, 12:30 • Ricardo Santos
A lógica como teoria da consequência. Exemplos da relação de consequência. Alguns traços da noção intuitiva de consequência: preservação da verdade, formalidade e necessidade. Três abordagens à lógica: descritiva, normativa-revisionista e a lógica-como-modelo. As teorias lógicas como modelos matemáticos, com três componentes principais: uma linguagem formal (sintaxe), uma semântica e um sistema dedutivo. Breve revisão da lógica proposicional clássica.