Links para:
Apostila de lógica e argumentação:
http://filosofiaetc.sites.uol.com.br/log_arg.pdf
Lista de exercícios (1):
http://filosofiaetc.sites.uol.com.br/exercicios1.pdf
Lista de exercícios (2):
http://filosofiaetc.sites.uol.com.br/exercicios2.pdf
Os exercícios (1) e (2) serão feitos na próxima aula.
Fichamentos: entrega dia 3 de outubro.
1. A definição de verdade de Tarski
1.1. Os objetivos de Tarski: construir uma definição: (i) formalmente
correta, (ii) materialmente adequada, (iii) semântica e (iv) que
expresse a noção de verdade como correspondência;
1.2. A definição de verdade;
1.3. Crítica: a definição de Tarski não é semântica mas sim sintática.
2. Teorias de fazedores-de-verdade
2.1. As motivações;
2.2. As idéias fundamentais: as teses do necessitarianismo e do acarretamento;
2.3. Axiomas para uma teoria de fazedores-de-verdade.
3. Problemas de teorias de fazedores-de-verdade
3.1. O problema das verdades necessárias;
3.2. O problema do colapso dos fazedores-de-verdade;
3.3. Possíveis soluções: lógica relevante e lógica intuicionista.
