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]