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.:

http://www.math.ucla.edu/~hbe/amil/

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