FLF5168 Lógica

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
FLF5168 Lógica (Tópicos de Lógica Formal)
Prof. Dr. Rodrigo Bacellar
Nº de créditos : 08
Duração: 12 semanas
PROGRAMA
DESCRIÇÃO:
O escopo do curso inclui tanto lógica clássica quanto lógica modal (sempre baseada em
S5); e em cada um dos dois casos, tanto lógica proposicional quanto lógica de
predicados, tanto sistemas finitários quanto sistemas infinitários, e tanto abordagem de
lógica geral (com ênfase semântica mais que sintática) quanto abordagem de ‘teoria de
funções’ (funções de verdade, funções modais, quantificadores generalizados, etc.). –
Dentro deste escopo (bastante amplo), tópicos serão selecionados de acordo com a
inclinação do momento e os interesses dos participantes.
BIBLIOGRAFIA:
C. C. Chang & H. J. Keisler, Model Theory, 3rd ed., 1990.
A. Church, Introduction to Mathematical Logic, 2nd ed., 1956.
J. N. Crossley & L. Humberstone, ‘The logic of “actually”’, Reports on Mathematical Logic
1977.
K. Fine, For Some Proposition and So Many Possible Worlds, Ph.D. thesis, University of
Warwick, 1969.
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
K. Fine, ‘Propositional quantifiers in modal logic’, Theoria 1970.
K. Fine, ‘Model theory for modal logic’, JPL 1978, 1981.
K. Fine, ‘Failures of the interpolation lemma in quantified modal logic’, JSL 1979.
M. Fitting, Proof Methods for Modal and Intuitionistic Logics, 1983.
R. Fraïssé, Course of Mathematical Logic, 2 vols., 1974.
R. Fraïssé, Theory of Relations, 2nd ed., 2000.
J. Hintikka, ‘Distributive normal forms in the calculus of predicates’, Acta Philosophica
Fennica 1953.
J. Hintikka, ‘Distributive normal forms in first-order logic’, in Crossley & Dummett (eds.),
Formal Systems and Recursive Functions, 1965.
G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic, 1996.
L. Humberstone, The Connectives, 2011.
H. J. Keisler, Model Theory for Infinitary Logic, 1971.
S. Kripke, ‘A completeness theorem in modal logic’, JSL 1959.
S. Kripke, ‘Semantical considerations on modal logic’, Acta Philosophica Fennica 1963.
P. Lindström, First-Order Logic, 2006.
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
G. Massey, ‘The theory of truth tabular connectives, both truth functional and modal’, JSL
1966.
V. McGee, ‘Logical operations’, JPL 1996.
E. Post, The Two-Valued Iterative Systems of Mathematical Logic, 1941.
W. V. Quine, ‘Variables explained away’ (1960), in his Selected Logic Papers.
W. V. Quine, ‘Algebraic logic and predicate functors’ (1976), in his Ways of Paradox, rev.
ed.
R. Smullyan, First-Order Logic, 1968.
T. Williamson, ‘Necessitism, contingentism, and plural quantification’, Mind 2010.
T. Williamson, Modal Logic as Metaphysics, 2013.
CRITÉRIO DE AVALIAÇÃO:
Trabalho escrito.
OBSERVAÇÃO:
Conhecimento de lógica elementar será pressuposto.
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