Lógica I (FIL 120)
Professor Desidério Murcho
Departamento de Filosofia
Universidade Federal de Ouro Preto
Segundo semestre de 2011
Sextas-feiras, 08:20-10:00, 10:20-12:00
Elementos de lógica informal
Estudo complementar
- A Fundação da Lógica (Anthony Kenny)
- Algumas Noções de Lógica (António Aníbal Padrão)
- Argumento de autoridade (Desidério Murcho)
- Lógica Informal (Aires Almeida)
- Lógica Informal (Desidério Murcho)
- O Que é a Argumentação? (Anthony Weston)
- O Que é a Lógica? (W. H. Newton-Smith)
- Os Instrumentos do Ofício (Cornman, Lehrer e Pappas)
- Validade: O Que se Segue do Quê? (Graham Priest)
Introdução à lógica formal
Lógica proposicional clássica
- Lição 6
- O argumento moral de Kant
- Introdução à dedução natural proposicional
- Regras primitivas
- Lição 7
- Regras derivadas
- Exercícios resolvidos
- Exercícios complementares
- Exercícios resolvidos
Prova 1
Lógica de predicados clássica
- Lição 8
- Exemplos de formalização (Matheus Silva)
- Exercícios resolvidos (Matheus Silva)
- Regras primitivas e derivadas
- Exercícios parcialmente resolvidos (pp. 182-184)
- Lição 9
Prova 2
Aviso
A prova 2 foi adiada para o dia 14 de Dezembro, quarta-feira, às 8:20, porque o IFAC estará fechado na sexta-feira, devido ao feriado da cidade. O exame especial foi também adiado para dia 23, às 8:20, para dar mais tempo para estudar.
Ensino
Materiais das disciplinas que lecciono no Departamento de Filosofia da Universidade Federal de Ouro Preto.
Ligações
- Biblioteca
- Crítica
- Dicionário Escolar de Filosofia
- Livraria Cultura
- Livraria Saraiva
- Livraria Fnac
- Internet Encyclopedia of Philosophy
- Stanford Encyclopedia of Philosophy
