UNIVERSIDADE ESTADUAL
DE CAMPINAS
INSTITUTO DE FILOSOFIA
E CIÊNCIAS HUMANAS
DISCIPLINA DE
PÓS-GRADUAÇÃO
HF001-G – Introdução
à Lógica -1º Semestre/2014
Prof. Walter Alexandre
Carnielli
Dr. Rodrigo de
Alvarenga Freire (assistente)
Terças-feiras, 14:00-18:00, sala 204, CLE-Unicamp
PROGRAMA:
Introdução às
grandes questões da Lógica Formal; Indução e Recursão Lógica
Proposicional Clássica (LPC) ;
Assinatura e Linguagem; Semântica de LPC ; Sistemas Dedutivos par
LPC: Axiomática, Dedução
Natural e Tableaux Analíticos; Teoremas de Corretude, Completude, Substituição, Formas
Normais, Decidibilidade; Lógica de Predicados (LQ); Quantificadores;
Semântica de LQ:
Estruturas e Interpretação; Sistemas Dedutivos para LQ: Axiomática,Dedução Natural e
Tableaux Analíticos; Indecidibilidade.
EMENTA:
Elementos de Lógica de
primeira ordem, abordando detalhadamente o cálculo proposicional clássico e
apresentando as principais técnicas metalógicas. Estudo detalhado
de cálculo de predicados clássico.
Teorias de primeira ordem. Caracterização, completude e
compacidade.
Decidibilidade e
indecidibilidade.
BIBLIOGRAFIA:
1) Texto principal:
Herbert B. Enderton. “A
Mathematical Introduction to Logic”,
Second Edition,
Academic Press, 2001
Homepage com erratas,
comentários etc.:
Textos auxiliares
recomendados:
2) Walter A. Carnielli,
Marcelo E. Coniglio
e Ricardo Bianconi “Lógica e Aplicações:
Matemática, Ciência da
Computação e Filosofia”
(Versão Preliminar -
Capítulos 1 a 5)
http://www.cle.unicamp.br/prof/coniglio/LIVRO.pdf
3) Neil Tennant.
Natural Logic. Edinburgh UP 1978, 1990.
Livremente acessível
em http://people.cohums.ohio-state.edu/tennant9/Natural Logic.pdf
4) Paul Teller. A
Modern Formal Logic Primer. Prentice Hall, 1989.
Livremente acessível
em tellerprimer.ucdavis.edu