FLF5150 - LÓGICA (Teoria de Modelos)

Propaganda
Universidade de São Paulo
Faculdade de Filosofia, Letras e Ciências Humanas
____________________________________________________________________
FFLCH
Programa de Pós-Graduação – Área de Filosofia
PROGRAMA DE PÓS-GRADUAÇÃO – ÁREA FILOSOFIA
FLF5150 - LÓGICA (Teoria de Modelos)
Prof. Dr. Rodrigo Bacellar
Nº de créditos: 08
Duração: 12 semanas
PROGRAMA
DESCRIÇÃO
Tópicos em teoria de modelos. O foco inicial será a lógica clássica de primeira ordem,
mas talvez tratemos também de outros casos, como lógica de segunda ordem, lógica
infinitária, e lógica modal.
OBSERVAÇÕES
(1) Conhecimento de lógica elementar será pressuposto.
(2) Para participantes que queiram fazer um estudo preliminar antes do começo do
semestre, é sugerida a leitura dos Capítulos 1 e 3 do livro First-Order Logic de P.
Lindström. (O Cap. 3 não depende do Cap. 2.)
CRITÉRIO DE AVALIAÇÃO
Trabalho escrito.
Av.Prof. Luciano Gualberto, 315 – sala 1007
Cidade Universitária
05508-900 – São Paulo - SP
Fone/Fax
(0XX11) 3031.2431
(0XX11) 3091.3709
(0XX11) 3091.3761
(0XX11) 3091.3765
Home page: http://www.fflch.usp.br
e-mail: [email protected]
[email protected]
[email protected]
[email protected]
Universidade de São Paulo
Faculdade de Filosofia, Letras e Ciências Humanas
____________________________________________________________________
FFLCH
Programa de Pós-Graduação – Área de Filosofia
BIBLIOGRAFIA
(A lista abaixo inclui apenas algumas referências gerais. Indicações bibliográficas mais
detalhadas serão fornecidas no decorrer do curso.)
J. Barwise & S. Feferman (eds.), Model-Theoretic Logics. (Disponível na Internet.)
C. C. Chang & H. J. Keisler, Model Theory, 3rd ed.
W. Hodges, Model Theory.
W. Hodges, A Shorter Model Theory.
G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic.
H. J. Keisler, Model Theory for Infinitary Logic.
P. Lindström, First-Order Logic. (Disponível na Internet.)
J. R. Shoenfield, Mathematical Logic.
Av.Prof. Luciano Gualberto, 315 – sala 1007
Cidade Universitária
05508-900 – São Paulo - SP
Fone/Fax
(0XX11) 3031.2431
(0XX11) 3091.3709
(0XX11) 3091.3761
(0XX11) 3091.3765
Home page: http://www.fflch.usp.br
e-mail: [email protected]
[email protected]
[email protected]
[email protected]
Download