LÓGICA Prof. Marco Antônio Sousa Alves Contato: [email protected] Bibliografia: https://www.dropbox.com/sh/153qup46rtf2a95/9Wmha_lxe2013-2 FG.01.02 Lógica – Ementa 1- Questões introdutórias: definição, objeto de estudo e divisão da lógica; Reconhecimento e elaboração de argumentos; verdade e validade; o ponto de vista formal; teoria da argumentação (lógica, retórica e dialética); Filosofia da lógica. 2- Elementos de lógica tradicional: as proposições categóricas; a doutrina do silogismo; avaliação da validade com diagramas; limites e deficiências da lógica aristotélica. 3- Elementos de lógica clássica: cálculo proposicional (operadores lógicos, tabelas de verdade e dedução natural); cálculo de predicados ou de lógica de primeira ordem (linguagem, quantificadores e noções de cálculo de predicados); extensões e alternativas à lógica clássica. *** Unidades programáticas: 1. Questões introdutórias 2. História da Lógica: elementos de lógica tradicional 3. CPC – Cálculo proposicional clássico ou cálculo sentencial 4. CQC – Cálculo quantificacional clássico ou de predicados de primeira ordem 5. Para além da lógica clássica elementar: extensões, complementos e alternativas *** Consistência. Argumento. Lógica e linguagem i. Perspectivas lógica. predicados. Questões introdutórias 1. Lógica informal e pensamento crítico iii. Princípio da não-contradição iv. Lógica e Razão ii. Princípio da identidade ii. Lógica e Teoria da Argumentação i. A forma canônica de um argumento ii. Linguagem natural e artificial ii. Verdade e Validade 5. Termos singulares. Linguagem-objeto e metalinguagem iii. O que é lógica? Caminhos adotados e equívocos a serem evitados. Generalizações e previsões indutivas 2. Leis do pensamento i. Forma lógica 6. semântica e pragmática 8. Algumas questões de filosofia da lógica i. Definições introdutórias i. raciocínio e inferência 1. Relativização da lógica e princípios pragmáticos da razão 9. Princípio do terceiro excluído iii. Falácias . intensão e conceito 4. sólidos e bons 7. contradição e tautologia v.Programa: 1. Ambigüidade e vagueza iv. Lógica e Realidade iii. retórica e dialética ii. Dedução e indução 11. Argumentos válidos. Argumentos não-dedutivos 1. sentença e enunciado iii. Analogia 3. Sintaxe. Proposição. Argumentos causais 10. extensão. 2. Lógica e Pensamento 3. Teorema de incompletude de Gödel 2. Relação entre lógica e matemática: o projeto logicista ii. Noções de lógicas heterodoxas ou não-clássicas i. Proposições categóricas ii. Quadro de oposições iii.2. Lógica deôntica iv. Lógica intuicionista vi. Lógica temporal iii. A construção da lógica clássica (séc. Linguagem da lógica de primeira ordem 3. Poder e limite da lógica proposicional 2. Teoria do silogismo v. Grande lógica: teoria dos conjuntos e cálculo de predicados de ordem superior i. Tabelas de verdade e inspetores de circunstâncias 4. Lógica aristotélica i. Poder e limite da lógica de predicados 2. XIX-XX) i. Paradoxos lógicos ii. Lógica paraconsistente *** . CPC – Cálculo proposicional clássico ou cálculo sentencial 1. Frege e Russell 3. CQC – Cálculo quantificacional clássico ou de predicados de primeira ordem 1. complementos e alternativas 1. Lógica modal ii. Lógica epistêmica v. Dedução natural 4. Noções básicas de cálculo de predicados 5. Lógica polivalente e difusa viii. Operadores lógicos 3. Diagramas de Venn iv. Lógica relevante vii. Boole. Para além da lógica clássica elementar: extensões. História da Lógica: elementos de lógica tradicional 1. Limites e deficiências 2. com/. Prova individual. (cap. Introdução à lógica. Conceitos fundamentais de lógica. In: O lugar da lógica na filosofia. DA COSTA. 3: Preliminares.com/. Abílio. In: A arte de argumentar. Conceitos. validade e forma lógica. 2011. .com/. lógica e linguagem. p. Cap. 1: Introdução. Paulo.com/. Newton. São Paulo: HUCITEC/EdUSP. Paulo. MORTARI.Questões introdutórias Bibliografia básica: ALMEIDA. Desidério. 31-41). p. RODRIGUES. Cezar. “Lógica e Argumentação”. Desidério. (Cap. 16-30. Lógica. sem consulta. 1980 (cap I: Razão. 1: Verdade. 1ª Prova: em dupla. Disponível em http://criticanarede. *** Bibliografia UNIDADE I . Lógica Informal. Anthony. Disponível em http://criticanarede. p. Disponível em http://criticanarede. (Manuscrito). p. Cap. São Paulo: WMF Martins Fontes. Universidade Federal de Ouro Preto. Introdução à lógica. WESTON. RUAS. UNESP. Disponível em http://criticanarede. o • Valor: 30 pontos Prova Final: individual.com/.Sistema de Avaliação Total de pontos distribuídos: 100 (cem) • • Listas de exercícios: 5 (cinco) pontos cada [Total de 8 listas: 40 pontos]. 2001. sem consulta e com matéria cumulativa. Disponível em http://criticanarede. 1-15. MURCHO. sobre as unidades 3 e 4. RODRIGUES. 17-64). com consulta. p. RUAS. Aires. juízos e raciocínios. 15-25). o Valor: 30 pontos Exame Especial: o o Apenas para os alunos que não obtiverem o mínimo necessário para aprovação (60%). 2: Lógica e argumentos. Conceitos básicos de lógica. São Paulo: Ed. Abílio. sobre as unidades 1 e 2. Ensaio sobre os fundamentos da lógica. “O que é a argumentação”. MURCHO. John. In: SALLES. 3: As frases e o que elas dizem. 15-48). Plenárias da ANPOF 2004/2006. Belo Horizonte: Programa de Educação Tutorial (PET) Filosofia da UFMG. Cap. Desidério. p. New York: Random House. “A argumentação em filosofia”.). Considerações sobre o caráter crítico da filosofia.Bibliografia complementar: ALVES. p. Lógica. Mariluze Ferreira de. 2006. Part III: Inductive logic. semântica e pragmática. CHATEAUBRIAND. V: Sintaxe. 1-24). Lisboa: Teorema. 32-38. In: Logical Forms (versão em português de Guido Imaguire). Novo dicionário de lógica. In: Lógica: um curso introdutório. SAINSBURY. ANDRADE E SILVA. ontologia e epistemologia”. Belo Horizonte: Ed. João. BORG. Merrie. (cap. James. (Part I: Informal logic. Graham. MEYER. In: Logical forms. CREWS-ANDERSON. . São Paulo: EdUNESP. Paulo Roberto. Lisboa: Plátano. Desidério. PRIEST. o que se segue do que”. Oxford University Press. Filosofia das lógicas. 2006.com/.com/. 2003 (cap. PRIEST. p. 102-107. 2005. p. pragmática e os fundamentos da argumentação. BRANQUINHO. HURLEY. Disponível em português em http://criticanarede. linguagem e argumentação. HAACK.com/. 1998. Graham. Nelson Gonçalves (ed. Critical Thinking and Informal Logic. 11ª ed. p. McGraw-Hill. BERGMANN. Desidério. Disponível em português em http://criticanarede. Rio de Janeiro: Pós-Moderno. Disponível em http://criticanarede. 2002. 1: Basic notions of logic. Dale. In: Arguing Well. p. MURCHO. Edinburgh University Press. João Carlos. Leo. p. 2012.com/. Paulo Roberto.com/. O lugar da lógica na filosofia. 1982. “Argumentação e lógica formal”. “Lógica e linguagem”. semântica. Lógica e Linguagem. 7: Argumentos nãodedutivos. 2009. 6. 2005. Blackwell Publishing. Desidério. A Companion to Philosophical Logic. Abílio. 11: Sintaxe. In: Lógica. 1968. Introdução à lógica. 509-643). 2007. Limites do papel da lógica na filosofia. NEWTON-SMITH. Disponível em http://criticanarede. Cap. Patrick J. (1ª Parte: Linguagem. Jack. “Symbolic logic and natural language”. In: Stanford Encyclopedia of Philosophy (versão original). 110-128). Disponível em http://criticanarede. 86-102). Lisboa: Gradiva. Irwing. RODRIGUES.com/. São Paulo: Mestre Jou. NELSON. Ernest. (Cap. COOK. 127-130). A Dictionary of Philosophical Logic. GOMES. p. SAUTTER. “Lógica. “Lógica informal”. 2004. H. Roy T. 2002 (cap. 1: Noções de lógica. “Lógica x Retórica x Dialética: diferentes abordagens da argumentação”. In: Comunicações apresentadas no I e II Encontro de Pesquisa em Filosofia da Universidade Federal de Minas Gerais. 1: Lógica e Argumentação. 2000. p. “Validade. Q. MCINERNY. Susan. LEPORE. Mark. Being Logical: A Guide to Good Thinking. HEGENBERG. MOOR. Disponível em português em http://criticanarede. In: A arte de argumentar. MURCHO. COPI. Cap. p. W. (cap. Logic: a very short introduction. 1-196. The logic book. GROARKE. Salvador: Quarteto Editora/ANPOF. 1998. 3ª ed. p. “Sobre o ensino de lógica”. D. Oswaldo. Introdução à lógica simbólica. 9-26. 2006. 19-138). 147-180. Wadsworth. MARGUTTI PINTO. (Manuscrito). Marco Antônio Sousa. p. Michel. Enciclopédia de termos lógico-filosóficos. In: JACQUETTE. “Lógica indutiva e lógica dedutiva”. Humanities-Ebooks. UFMG. Leonidas.com/. MURCHO. SHAND. Emma. São Paulo: Martins Fontes. MARGUTTI PINTO. MURCHO. Timothy A. A Concise Introduction to Logic. Disponível em http://criticanarede. Frank Thomas. Introdução à lógica. COPI. Madrid: Editorial Gredos. 6: Silogismos categóricos. Paulo Roberto. 1961. Stephen. Tradução de Edson Bini. Dale. UNIDADE II . A Companion to Philosophical Logic. São Paulo: Mestre Jou. MARGUTTI PINTO. coerência. In: História Concisa da Filosofia Ocidental .M. p. vol. O Desenvolvimento da Lógica. BOCHENSKI. Bibliografia complementar: . p. 1984. 1968. Anthony. Marisa. Marta. Órganon: Categorias. 87-101). SCHOLZ. 1962. Revista Kriterion. 11-23). p. (Cap. KENNY. 1951. Os usos do argumento. 1999. Amsterdam: North-Holland Publishing Co. 2008. LEAR. CUNHA. (Cap. Bauru: EDIPRO. Nílson. KNEALE. Disponível em http://criticanarede./ Historia de la lógica formal. “A fundação da lógica”. Jonathan. II: O Organon de Aristóteles. comunicação. Lisboa: Plátano. “Ancient Greek philosophical logic”. 25-114). William. Refutações sofísticas. Aires. “A lógica e os fundamentos da matemática”. Célia. 72. SMITH. 99107). Temas e Debates. Blackwell Publishing. 2001. “Lógica silogística”. In: A arte de pensar. Da interpretação.com/. p. 2003 (cap. Cambridge University Press. 159-181. Desidério.com/. MARGUTTI. 6: Lógica Aristotélica. n. 1961. In: JACQUETTE. Bibliografia complementar: ARISTÓTELES. p. • Sobre Frege. 5: Proposições categóricas. New York: Philosophical Library. Paula. Belo Horizonte: Autêntica. Anthony.História da Lógica • Sobre Aristóteles: Bibliografia básica: ALMEIDA..M. 1985. Lógica e linguagem cotidiana: verdade. Heinrich. Desidério. Disponível em http://criticanarede. 1. Pedro. 167-192).TOULMIN. Concise history of logic. MURCHO. Ancient formal logic. 2ª ed. p. I. University of Notre Dame Press. Lisboa: Fundação Calouste Gulbenkian. 139-166. BOCHENSKI. 1999. MURCHO. (Anexo A: Os silogismos aristotélicos. argumentação. Russel e a lógica clássica: Bibliografia básica: KENNY. 1994. Irwing. A contribuição dos Segundos Analíticos de Aristóteles para uma análise da argumentação. MACHADO. In: História concisa da filosofia ocidental. Cap. GALVÃO. 2002 (cap. “A Conceitografia de Frege: uma revolução na história da lógica”. O lugar da lógica na filosofia. XXV. KNEALE. Síntese Nova Fase. I. v. MATEUS. Paulo Roberto. São Paulo: Martins Fontes. Aristotle and Logical Theory. Tópicos. 21. Temas e Debates. 1980. p. A history of formal logic. 2005. TEIXEIRA. Analíticos anteriores. Analíticos posteriores. Robin. MURCHO. Patrick J. Michel. 1998. VIII: A lógica geral de Frege. Cap. Desidério. 11ª ed. p. 235262. Lógica e filosofia da linguagem. São Paulo: EdUSP. 2004. Lisboa: Teorema. Cap. 3. Merrie. Introdução à lógica simbólica. (Cap. RODRIGUES. Belo Horizonte: Ed. Cap. Abílio. 2001. 129-154.). Frege’s Logic. M. 2012. James. 35-48). (Cap. 2647). Introdução à lógica elementar. The logic book. São Paulo: Ed. (Cap. Handbook of the history of logic – vol. (Manuscrito). NELSON. J. DA COSTA. I: Frege e o recurso à formalização. 2004. Blackwell Publishing. Abílio. UNIDADE III . 21-48.BOCHENSKI. (cap. 380-441). (Cap. I. Introdução à lógica. 3: As principais expressões da lógica intersentencial. Nelson Gonçalves (ed. p. 3ª ed.. II: A síntese russelliana. “The rise of modern logic”. p. Concise history of logic. (ed. 1961. A history of formal logic. 7-23. Newton. 1998.M. 310-379. 89-138. BRANQUINHO. “Regras de dedução natural”. James Van. 13: Sistemas axiomáticos e sistemas formais. MOOR. 2: A lógica clássica. Lógica. GEORGE. KRAUSE. Indianapolis/Cambridge: Hackett Publishing. J. 49-70). p. In: JACQUETTE. 6: Propositional logic. Décio. Desidério. João. 15: Dedução natural (II). MACBETH. A Companion to Philosophical Logic. E. Beginning logic. Desidério.trecho). MURCHO. MARGUTTI PINTO. Enciclopédia de termos lógico-filosóficos . Rejane. GOMES. GABBAY. University of Notre Dame Press.). In: BRANQUINHO. Paulo Roberto. Gottlob. Porto Alegre: Ed. Lógica. Wadsworth. Cap. p. Bibliografia complementar: BERGMANN. 1988. MURCHO. p. cap. 2: Os alicerces da lógica proposicional clássica. Verdade e validade II – lógica sentencial. UNESP. DA COSTA. 3: O cálculo proposicional clássico. 2011. Marta. A Concise Introduction to Logic. Nelson Gonçalves (ed. p. p. KNEALE. UFMG. Paulo Roberto. 2-6: Sentential logic. p. Cap. 2006. Florianópolis: Núcleo de Epistemologia e Lógica UFSC. p. (cap. 49-88).. Danielle. (Cap. p. 2: As principais conectivas intersentenciais. Enciclopédia de termos lógico-filosóficos. Jack. LEMMON. 1-2: The propositional calculus. 2006. McGraw-Hill. CARRION. EVRA. Introdução à lógica simbólica. São Paulo: WMF Martins Fontes. 1962. New York: Philosophical Library. p. da Universidade / UFRGS. 226-234. 4: Avaliação de . 24-46). O Desenvolvimento da Lógica. p. SCHOLZ. (cap. Harvard University Press./ Historia de la lógica formal. p.3: The rise of modern logic from Leibniz to Frege. Belo Horizonte: Ed. Lisboa: Fundação Calouste Gulbenkian. São Paulo: Martins Fontes. Amsterdam: North-Holland Publishing Co. João. 2002 (cap. GOMES.CPC – Cálculo proposicional clássico ou cálculo sentencial Bibliografia básica: MARGUTTI PINTO. William. Heinrich. linguagem e argumentação. UFMG. (cap. p. p.). São Paulo: Martins Fontes. 25-245). (Cap. Cezar. Cap. WOODS. Notas de lógica. MEYER. Rolf. 2005. p. MORTARI. KNEALE. 1982. 1961. Newton. 1985. Dale. HURLEY.H. 2009. FREGE. 14: Dedução natural (I). 9: Valorações. 7: Natural deduction in propositional logic. 483-518). 263-267 . RODRIGUES. 2006. 1-91). Madrid: Editorial Gredos. 2006. 4: Forma lógica. p. RAUTENBERG. (Cap. Springer. dezembro 2004. A Concise Introduction to Logic. trecho . UFMG. 1988. 1998. Cezar. Springer. 6: A sintaxe do cálculo de predicados I. 79-86). Lógica. DA COSTA. LEMMON. A concise introduction to mathematical logic . 6: Aspectos da análise intra-sentencial. Merrie. HURLEY. (cap. 2003 (cap. (Cap. New York: Oxford University Press. p. 1: Firstorder logic. RAUTENBERG. p. ano 6. p. da Universidade / UFRGS. Cap. 263-304). 92-188). Marisa. MURCHO. Lisboa: Plátano. 246-545). 3-4: The predicate calculus. Desidério. 7-11: Predicate logic. O lugar da lógica na filosofia. (cap. Abílio. Indianapolis/Cambridge: Hackett Publishing. 5: Avaliação de argumentos intersentenciais complexos. 3965. 120-128). 18: Lógicas não clássicas. Bibliografia complementar: BERGMANN. Bibliografia complementar: . p. 2001. 442-508). p. Jack. (Cap. (Cap. O lugar da lógica na filosofia. Cap. 3ª ed. cap. Belo Horizonte: Ed. 2001. 8: Predicate logic. UNIDADE IV . p. McGraw-Hill. n. Wolfgang. Lisboa: Plátano. Patrick J.p. 3: Lógica ou lógicas?. RODRIGUES. lógicas: uma visão panorâmica”. 139-172. (Cap. 2006. 69-97. Beginning logic. 1972.p. p. Introdução à lógica simbólica. 4883). São Paulo: Ed. UNESP. Elementary logic. 7: A sintaxe do cálculo de predicados II. Caderno Dá Licença. Cap. 2009. The logic book. São Paulo: Ed. 1: Propositional logic. MURCHO. Paulo Roberto. James. 1998. CARRION. Introdução à lógica elementar. 98-119. J. 205-262. E. 11ª ed. Cap. 5. 41-90). 5: Lógica Clássica. p. p.argumentos intersentenciais simples. p.CQC – Cálculo quantificacional clássico ou de predicados de primeira ordem Bibliografia básica: MORTARI. p. 5: Lógica Clássica. 8: Interpretações. São Paulo: WMF Martins Fontes. Desidério. Wolfgang. p. 2009. MARGUTTI PINTO. Benson. UNIDADE V . NELSON. 349-390). Cezar. UNESP. p. Introdução à lógica. 5: Introdução ao CQC. Introdução à lógica. 1-40).Para além da lógica clássica elementar: extensões. 7: Métodos para avaliação de argumentos intra-sentenciais. 2011. Wadsworth. 2012. (Cap. p. 2003 (cap. Cap. Rejane. trecho . p. Porto Alegre: Ed. 173-204). (Cap. “Lógica. 66-77). A concise introduction to mathematical logic . MATES. MOOR. MORTARI. 61-68. complementos e alternativas Bibliografia básica: CUNHA. Newton. World Scientific Publishing. WANSING. D. Blackwell Publishing. Ensaio sobre os fundamentos da lógica. GABBAY. Dale. 2001. Filosofia das lógicas. Apostila de Lógica II: Sistemas formais clássicos e não-clássicos. MARGUTTI PINTO. 1980 (cap II: Lógicas não elementares e lógicas heterodoxas. p. 2002. Reidel Publishing. D. 1984. Essays on Non-Classical Logic. Handbook of Philosophical Logic. GUENTHNER. HAACK. Paulo Roberto. *** . JACQUETTE.DA COSTA. 2002. Susan.. semântica formal e metalógica. São Paulo: EdUNESP. 2006. Heinrich. F. vol II: Extensions of Classical Logic. A Companion to Philosophical Logic. 65-193). Newton. São Paulo: HUCITEC/EdUSP.