HG510 A- Tópicos Especiais de Lógica I

"Introdução à Lógica Modal para Filósofos"
5ªs -feiras -14h00 às 18h00, sala 206, CLE-Unicamp

Prof. Walter  Carnielli

PED  Pedro Lemos, doutorando.

Disciplina de Graduação- Departamento de  Filosofia, Unicamp

1. Semestre de 2014

Material para o curso:

1)Walter Carnielli and Claudio Pizzi (with the assistance of Juliana Bueno-Soler). Modalities and Multimodalities. Springer, 2008.

Disponível em:

https://dl.dropboxusercontent.com/u/6465890/HF007%20Logicas%20Nao-Classicas/Modalities%20and%20Multimodalities-Chapters1-4.pdf

2)Saul A. Kripke. "Naming and Necessity" 

 Harvard University Press, 1981

Lecture 1 (pgs 22 a 70)

Após várias semanas de uma criteriosa introdução sobre Lógicas Modais (sintaxe e semântica) e seus problemas, estudaremos os argumentos de Kripke em “Naming and Necessity”, explorando a noção de designação rígida de nomes próprios, e a separação entre os conceitos de “a priori/analítico”, e o conceito de “necessário”.

Disponível em:

http://tinyurl.com/lecture-1-kripke

3)David Kaplan. Demonstratives - An Essay on the Semantics, Logic, Metaphysics, and Epistemology of Demonstratives and others Indexicals, de 1977 (em Almog, J., Perry, J. e Wettstein, H. (eds.) Themes from Kaplan, New York, Oxford: Oxford University Press, 1989).

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