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]