Lógica I (FIL 120)

Professor Desidério Murcho

Universidade Federal de Ouro Preto
Departamento de Filosofia

Horário: quintas-feiras, 08:00-09:40, 10:00-11:40

1. Programa, avaliação e bibliografia
2. O Que é a Filosofia?
3. Primeira aula
   • A Filosofia não é Adversarial (Richard E. Creel)
   • Filosofia e Crítica (Bertrand Russell)
   • O Que é Estudar Filosofia? (Nigel Warburton)
   • A Interrupção Voluntária do Pensamento
   • A Natureza da Filosofia e o seu Ensino
   • Ensinar Filosofia (Jack MacIntosh)
   • Pseudofilosofia (Nicholas Rescher)
4. Introdução à lógica
   • A Política e a Língua Inglesa (George Orwell)
   • Sobre a Liberdade (J. S. Mill)
5. Segunda aula
6. Lógica informal
7. Terceira aula
8. Quarta aula
   • Tabelas de verdade e inspetores de circunstâncias (Matheus Silva)
   • Exercícios resolvidos do capítulo 2 (Matheus Silva)
9. Árvores lógicas
10. Regras de árvores de lógica proposicional
    • Exercícios resolvidos de árvores de lógica proposicional (Mateus Silva e Mayra Moreira)
    • Tree proof generator
11. Regras primitivas e derivadas de dedução natural proposicional
    • Estratégias informais para fazer derivações (Matheus Silva)
    • Exercícios resolvidos de lógica proposicional (Matheus Silva)
    • Exercícios resolvidos do capítulo 3 (Matheus Silva)
12. Prova-modelo 1
    • Resolução da prova-modelo 1 (Mayra Moreira)
13. Linguagem de predicados
14. Exemplos de formalização com linguagem quantificada (Matheus Silva)
15. Lógica de predicados: Exercícios resolvidos (Matheus Silva)
16. Regras de árvores de lógica de predicados
    • Exercícios resolvidos de árvores semânticas (Matheus Silva)
    • Exercícios resolvidos de árvores semânticas (Matheus Silva)
17. Lógica de predicados: Regras primitivas e derivadas
    • Lógica de predicados com identidade: Exercícios parcialmente resolvidos (pp. 182-184)
18. Aspectos da Lógica Silogística
19. Prova-modelo 2
    • Notas da prova 2
20. Prova-modelo do exame especial