universidade federal do rio grande do norte

UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
CENTRO DE CIÊNCIAS HUMANAS, LETRAS E ARTES
DEPARTAMENTO DE FILOSOFIA
PLANO DE CURSO
DISCIPLINA: LOGICA - FIL0103
CRÉDITOS: 04
PRÉ-REQUISITOS:
CO-REQUISITOS: DOCENTE: Maria da Paz Nunes de Medeiros
CARGA-HORÁRIA: 60 horas/aulas
OBJETIVOS GERAIS
Introduzir os principais conceitos da lógica que possibilite o domínio de
técnicas dedutivas básicas.
EMENTA
Introdução à teoria geral da demonstração, a partir da lógica tradicional.
PROGRAMA
1 - Desenvolvimento histórico da lógica
2 - Lógica e argumentação
2.1 - Validade, forma e correção
2.2 - Argumentos indutivos e dedutivos
3 - A sintaxe do cálculo de predicados
3.1 - Linguagem de primeira ordem
3.2 - Proposições categóricas
4 - Interpretações e valorações
4.1- A lógica proposicional
4.2 - Funções de verdade
4.3 - Tautologia, contradição e contingência
5 - Dedução Natural
5.1 - Regras de inferência
5.2- Teoremas
METODOLOGIA
a) De ensino: aulas expositivas, aplicação de exercícios e discussões.
b) De avaliação: três provas escritas em sala de aula.
REFERÊNCIAS
Bibliografia Básica
MORTARI, C. Introdução à lógica. São Paulo: UNESP, 2001.
Bibliografia Complementar
BARWISE, J & ETCHEMENDY, J. Language, Proof and Logic. Stanford & New
York, 2000. MENDELSON, E.Introduction to Mathematical Logic. 4ª ed.
California: Wadsworth, 1987. NAHRA, Cinara & WEBER, Ivan Hugo. Através da
Lógica. 3ª ed. Petrópolis: Vozes, 1998 NOLT, J. & ROHATYN, D. Lógica. São
Paulo: McGraw-Hill, 1991.