MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE GOIÁS PRÓ-REITORIA DE PÓS-GRADUAÇÃO FF - FACULDADE DE FILOSOFIA PÓS EM FILOSOFIA UNIDADE ACADÊMICA RESPONSÁVEL: FACULDADE DE FILOSOFIA NOME DA DISCIPLINA: Tópicos de Lógica e Filosofia da Linguagem: Filosofia da Lógica. Filosofia, Análise e Síntese ANO: IIo Sem. 2016 CURSO: Filosofia PROFESSOR RESPONSÁVEL: Wagner de Campos Sanz CARGA HORÁRIA SEMESTRAL: 60 ha CARGA HORÁRIA SEMANAL*: 4 ha (CH/Teórica: 4ha CH/Prática: ) * Se a disciplina for compreendida de parte teórica e prática, as respectivas cargas horárias deverão ser discriminadas. PRÉ-REQUISITOS E/OU CO-REQUISITOS (se houver): RECOMENDAÇÕES: EMENTA: Análise e síntese e sua relação com a lógica e a linguagem. I – OBJETIVO GERAL: Abordar os conteúdos de lógica - cálculo de predicados e proposicional – a partir do conceito de análise e problema. II – OBJETIVO ESPECIFÍCO: Caracterizar a noção de validade para a lógica de primeira ordem desde a perspectiva da análise; abordar o conceito de constante lógica a partir do conceito de problema; examinar o cálculo de dedução natural proposicional e de predicados como um cálculo de problemas. III – CONTEÚDO PROGRAMÁTICO: 1) Kolmogorov – lógica como solução de problemas 2) Análise e síntese na Filosofia 3) Análise como método de descobrimento 4) Conhecimento e hipóteses: a questão do método IV – METODOLOGIA: Aulas expositivas, apresentação de seminário pelos alunos. V – AVALIAÇÃO: Do seminário acompanhado do respectivo “paper”. VI – BIBLIOGRAFIA: Cellucci, C. Rethinking Logic. Logic in Relation to Mathematics, Evolution, and Method, Springer, Dordrecht 2013. Kolmogorov, A. On the interpretation of Intuitionistic logic, págs. 328-334 em From Brouwer to Hilbert, ed. P. Mancosu, Oxford Press, 1998 (tradução de Zur deutung der intuitionistichen logik, Mathematische Zeitschrift 35, 1932, págs. 58-65) Prawitz, D. Natural Deduction, Almqvist & Wechsel, 1965. Youschkevitch, A.P. A.N.Kolmogorov: Historian and philosopher of mathematics on the occasion of his 80th birfhday, Historia Mathematica, 10 (4): 383–395, 1983 Faculdade de Filosofia - Universidade Federal de Goiás - Caixa Postal 131, Campus Samambaia - 74001 970, Goiânia – GO, Brasil Fone/Fax: (62) 3521-1164 MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE GOIÁS PRÓ-REITORIA DE PÓS-GRADUAÇÃO FF - FACULDADE DE FILOSOFIA PÓS EM FILOSOFIA Van Atten, M. The development of intuitionistic logic, Stanford Encyclopedia of Philosophy. Veloso, P. Aspectos de uma teoria geral de problemas, Cadernos de História e Filosofia da Ciência 7/1984, CLE, Unicamp. Faculdade de Filosofia - Universidade Federal de Goiás - Caixa Postal 131, Campus Samambaia - 74001 970, Goiânia – GO, Brasil Fone/Fax: (62) 3521-1164