6FIL082

1
UNIVERSIDADE ESTADUAL DE LONDRINA
PROGRAMA DE DISCIPLINA
CENTRO: CCH
DEPARTAMENTO: DEPARTAMENTO DE FILOSOFIA
ANO LETIVO
2012
DADOS SOBRE A DISCIPLINA
CÓDIGO
6FIL082
NOME
LOGICA I
CURSO
FILOSOFIA
CARGA HORÁRIA
ANUAL/SEMESTRAL
T
P
TOTAL
ANUAL
60 h
-
60 h
72 aulas
SÉRIE
1ª
SEM/OFERTA
HABILITAÇÃO
EMENTA
Problemas e conceitos fundamentais da lógica clássica proposicional de Aristóteles e suas regras dedutivas.
Elementos da formação histórica da Lógica e sua formalização a partir da axiomatização da silogística aristotélica.
OBJETIVO GERAL
O curso pretende introduzir e discutir as questões concernentes ao paradigma aristotélico da lógica clássica
proposicional e suas regras dedutivas, desenvolvendo uma análise concisa de sua constituição histórica com
enfoque em três aspectos fundamentais: a crítica de Aristóteles à concepção platônica da univocidade do ser nas
Categorias, sua teoria da predicabilidade no De Interpretatione e a estruturação axiomática da silogística
empreendida nos Primeiros Analíticos. Por meio desta análise introdutória serão destacados, em linhas gerais, os
problemas e conceitos fundamentais da formalização da lógica inaugurada por Aristóteles, tendo por base a
concepção extensivista da relação predicativa. À luz deste referencial, serão destacados os conceitos lógicooperacionais no uso argumentativo/demonstrativo da linguagem, particularmente aqueles que se referem à
validade do raciocínio lógico-dedutivo.
CONTEÚDO PROGRAMÁTICO
UNIDADE A: O conceito e o problema da lógica formal: a investigação lógica como reflexão descritivo-normativa
sobre os princípios de validade das formas argumentativas dedutivas.
(A1) A análise do discurso argumentativo na perspectiva da lógica proposicional clássica de orientação aristotélica.
Inferências imediatas e mediatas. Dedução e indução.
(A2) Função e forma lógica dos argumentos dedutivos. Validade e verdade na análise lógica: a noção de
conseqüência lógica e a legitimidade argumentativa das construções dedutivas. A relação entre a validade da
argumentação e a verdade das enunciações. O caráter formal da necessidade lógica do discurso argumentativo: a
validade como conceito formal.
UNIDADE B: A problemática lógica na história da filosofia: aspectos gerais.
(B1) Formas históricas ocidentais da lógica formal.
(B2) Crítica às abordagens historiográficas da lógica formal. A ausência de uma linearidade contínua e progressiva
no desenvolvimento da lógica formal no Ocidente. A unicidade da problemática lógica fundamental e a
multiplicidade de sistemas lógico-formais.
UNIDADE C: Tríplice caracterização histórico-filosófica da formação do paradigma lógico-aristotélico.
(C1) A oposição entre retóricos e dialéticos no século V a.C acerca da arte da argumentação: as perspectivas
sofística e dogmática acerca do problema da racionalidade do discurso enunciativo e do conceito de verdade.
(C2) A questão da articulação do discurso enunciativo com a realidade: oposição entre os dialéticos ou dogmáticos
da Academia, de tradição eleática, e os sofistas ou retóricos. Os paradoxos eleatas e sofistas acerca da
predicabilidade.
2
UNIVERSIDADE ESTADUAL DE LONDRINA
(C3) A crítica platônica à impossibilidade do não-ser da radicalização eleática: a busca de inteligibilidade do
múltiplo e a possibilidade de predicação não-idêntica. O conceito de enunciado de Platão.
UNIDADE D: A teoria da predicabilidade de Aristóteles no De Interpretatione.
(D1) Aspectos gerais sobre a crítica de Aristóteles em Categorias.
(D2) O conceito de enunciado de Aristóteles: a ambigüidade essencial à predicação e a complexidade inerente à
afirmação e à negação. A crítica aristotélica à interpretação unívoca apresentada por Platão ao verbo “ser” no
funcionamento semântico do enunciado.
(D3) A dupla perspectiva da solução de Aristóteles e a constituição do paradigma lógico-aristotélico na superação
da oposição entre retóricos e dialéticos acerca da predicabilidade e do uso racional da linguagem.
UNIDADE E: Análise lógica dos termos e das proposições categóricas.
(E1) As propriedades lógicas dos termos proposicionais: compreensão e extensão. O conceito de distribuição. A
verdade como propriedade da relação predicativa entre os termos proposicionais.
(E2) A interpretação extensivista da relação predicativa. Quantidade e qualidade das proposições categóricas.
Classificação das proposições categóricas de acordo com a quantidade e qualidade: as quatro formas típicas de
proposições categóricas. Representação diagramática das proposições: diagramas de Euler e de Venn. Módulo I
(exercitação sobre proposições categóricas).
(E3) As relações lógicas entre as proposições categóricas: a teoria das oposições lógicas. O quadro tradicional das
oposições lógicas. Módulo II (exercitação sobre oposições lógicas).
(E4) A teoria das conversões lógicas das proposições categóricas. Módulo III (exercitação sobre conversões lógicas).
UNIDADE F: A teoria do silogismo de Aristóteles nos Primeiros Analíticos.
(F1) A demonstração geométrica de Elementos de Euclides como paradigma da construção axiomática da
silogística. A formalização da lógica iniciada por Aristóteles. Estrutura formal do silogismo. A caracterização
sintática do silogismo (modos e figuras). O problema do fundamentum divisionis das figuras do silogismo a partir
da introdução da figura galena.
(F2) O projeto lógico de Aristóteles nos Primeiros Analíticos: a demonstração da validade das formas silogísticas
pelo método da redução. O nucleamento das formas perfeitas (modos axiomáticos de primeira figura) e a
demonstração da validade das formas imperfeitas das demais figuras pelo método da redução direta e indireta.
Método do contra-exemplo para demonstração da invalidade das formas silogísticas. Desdobramentos posteriores
da lógica de orientação aristotélica: aspectos gerais.
(F3) Outras formas de demonstração da validade das formas silogísticas: as regras silogísticas elaboradas pelos
lógicos escolásticos a partir do método de redução de Aristóteles e as representações diagramáticas de J.Venn.
Módulo IV (exercitação sobre silogismo)
PROCEDIMENTOS DE ENSINO
O curso será desenvolvido através de: a) aulas expositivas nas quais serão analisados e discutidos os aspectos
fundamentais do conteúdo programático, apoiando-se nos textos recomendados para leitura e estudo dirigido e
na pesquisa; b) de aulas práticas interativas para exercitação; c) de atividades extra-aula de grupos de trabalho
para exercitação dos módulos, sob o acompanhamento de monitoria; d) de estudo dirigido individual e pesquisa
bibliográfica.
FORMAS E CRITÉRIOS DE AVALIAÇÃO
A avaliação será realizada mediante 01 trabalho monográfico e 03 (provas) provas individuais para diagnosticar o
desempenho do/a aluno/a na assimilação dos conteúdos teóricos e práticos desenvolvidos em sala de aula e
aprofundados nas atividades orientadas de estudo, pesquisa e exercitação.
CRONOGRAMA
Carga horária: 60 horas / 72 aulas
3
UNIVERSIDADE ESTADUAL DE LONDRINA
MÊS
FEVEREIRO
DIAS
CONTEUDOS
UNIDADES
29
INTRODUÇÃO DO CURSO
04 - 14
21 - 28
04
11 – 18 - 25
02
09 - 16
23 - 30
06 - 13
20 - 27
A1 – A2
B1
B2
C1 – C2 – C3
C3
D1 – D2
E1 – E2
E3
E4
UNIDADE A
JULHO
04
AVALIAÇÃO 1
PROVA MODULOS I/II
AGOSTO
02 – 09 – 16 – 23 - 30
F1
UNIDADE F
SETEMBRO
06
13 – 20 - 27
AVALIAÇÃO 2
F2
PROVA MODULOS II/III
OUTUBRO
04 – 11 – 18 - 25
F3
UNIDADE F
01 – 08 - 22
29
29
06
13
F3
AVALIAÇÃO 3
AVALIAÇÃO 4
FECHAMENTO CURSO
EXAME FINAL
MARÇO
ABRIL
MAIO
JUNHO
NOVEMBRO
DEZEMBRO
UNIDADE B
UNIDADE C
UNIDADE D
UNIDADE E
PROVA MODULO IV
ENTREGA DO TRABALHO
OBS: Serão desenvolvidas atividades complementares de estudos e exercitação com monitores aos sábados ou em
outros horários nos dias das semanas.
BIBLIOGRAFIA BÁSICA
ANGIONI, Lucas. Introdução à teoria da predicação em Aristóteles. Campinas: Editora da Unicamp, 2005.
ARISTÓTELES, Organon. Tradução Edson Bini. Bauru, SP: EDIPRO, 2005.
ARISTÓTELES, Organon. Lisboa: Guimarães Editores, 1985.
BLANCHÉ, Robert. História da Lógica: de Aristóteles a Bertrand Russell. Lisboa: Edições 70, 1985.
BOCHENSKI, Innocentius Mariae. História de la lógica formal. Madrid: Gredos, 1966. Tradução espanhola por
Millan Bravo Lozano do original Formale Logik. Freiburg/Muchen: Verlag Karl Alber, 1956.
COPI, Irving M. Introdução à Lógica. SP: Mestre Jou, 1974.
GARCIA, Bianco Z. A lógica do silogismo: elementos de silogística a partir dos Primeiros Analíticos de Aristóteles
e seu desenvolvimento posterior. Londrina: EDUEL, 2001.
KNEALE, W. & KNEALE, M. O Desenvolvimento da Lógica. 3ª ed. Lisboa: Gulbenkian, 1991.
PLATÃO. Górgias ou Da Oratória. in: Diálogos. vol. I. Tradução Edson Bini. Bauru: EDIPRO, 2007
PLATÃO. Parmênides in: Diálogos. vol. IV. Tradução Edson Bini. Bauru: EDIPRO, 2007
PLATÃO. Sofista. in: Diálogos. vol. II. Tradução Edson Bini. Bauru: EDIPRO, 2007
PLATÃO. Teeteto. in: Diálogos. vol. I. B Tradução Edson Bini. auru: EDIPRO, 2007
PLATÃO. Teeteto-Crátilo. Trad. de Carlos Alberto Nunes. Belém, Universidade federal do Pará, 1996.
SALMON, Wesley C. Lógica. 3ª. ed. RJ: Zahar, 1973.
BIBLIOGRAFIA COMPLEMENTAR
ARISTÓTELES. Arte retórica. São Paulo: Difusão Européia do Livro, 1964.
ARISTÓTELES. Metafísica IV e VI, trad. de Lucas Angioni. Campinas: IFCH, 2001.
AUBENQUE, Pierre (dir.). Concepts et catégories dans la pensée antique. Paris: VRIN, 1980.
AUBENQUE, Pierre. Le problème de l'être chez Aristote, Paris, Presses Universitaires de France, 1962
BARNES, Jonathan (org.). The Cambridge Companion to Aristotle. Cambridge: Cambridge University Press, 1995.
BASTOS, Cleverson L. e KELLER, Vicente. Aprendendo lógica. 2º edição. Petrópolis: Vozes, 1993.
4
UNIVERSIDADE ESTADUAL DE LONDRINA
BLANCHÉ, Robert e DUBUCS, Jacques-Paul. La Logique et son Histoire. Paris: Armand Colin, 1996. (edição
portuguesa: BLANCHÉ, Robert e DUBUCS, Jacques-Paul. História da Lógica. Lisboa: Edições 70, 2001.)
BLANCHÉ, Robert. Introduction à la logique contemporaine. Paris: Armand Collin, 1957.
BOLL, Marcel e Reinhart, Jacques. Historie de la logique. 8º edição.Paris: Presses Universitaires de France, 1980
(tradução: História da Lógica. Lisboa: Edições 70, 1992)
BRÉHIER, Émile. História da Filosofia. vol. I. São Paulo: Mestre Jou, 1977. pp. 139-163. Aristóteles e o Liceu (I a
VI).
CASSIN, Bárbara. O efeito sofístico. São Paulo: editora 34, 2005.
COHEN, Morris y NAGEL, Ernest. Introducción a la lógica y ao método científico. vol. I. Lógica Formal. Buenos
Aires: Amorrortu ed., 1971.
FINGERMANN, Gregório. Lógica: y el teoria del conocimiento. 24º edição. Buenos Aires: El Ateneo, 1974.
GOLDSCHMIDT, V. A religião de Platão. Difel, 1990.
GOLDSCHMIDT, V. Les dialogues de Platon: structure et méthode dialéctique. Paris PUF, 1991.
HAACK, Susan. Filosofia das Lógicas. São Paulo: Editora UNESP, 2002
IMBERT, Claude. Pour une histoire de la logique. Un héritage platonicien. Paris: P.U.F., 1999.
LIARD, Louis. Lógica. 5º edição. SP: Cia. Ed. Nacional, 1979.
LUKASIEWICZ, Jan. Silogística de Aristóteles: desde el punto de vista de la logica formal moderna. Madrid:
Tecnos, 1977. (LUKASIEWICZ, Jan. Aristotle's Syllogistic From the Standpoint of Modern Logic. Oxford: Clarendon
Press, 1951.)
MARTIN, Roger Logique Contemporaine et Formalisation. Paris: Presses Universitaires de France, 1964. pp. 1338. (Chapitre premier: De la logique d’Aristote a la formalisation contemporaine).
MARITAIN, Jacques. Elementos de Filosofia. Vol. II: A ordem dos conceitos – Lógica Menor (Lógica Formal). 6ª.
Ed. Rio de Janeiro: Agir Editora, 1970.
MARQUES, Marcelo P. Platão, pensador da diferença. Uma leitura do Sofista. Belo Horizonte: Ed. UFMG, 2006.
PEREIRA, O. Porchat. Ciência e dialética em Aristóteles. São Paulo: Ed. UNESP, 2001
PLATÃO. Protágoras. Lisboa. Relógio D`Agua. 1999.
PLATÃO. Parmênides. In: PLATÃO. Diálogos: Parmênides, Filebo. Vol. VIII. Trad. Carlos Alberto Nunes. Belém,
EDUFPA, 1974.
PRIOR, A. História de la Lógica. Madrid: Tecnos, 1976.
ROSS, David. Aristóteles. 3ª. ed. Lisboa: D. Quixote, 1987. pp. 31-69. (A lógica de Aristóteles).
SCHAERER, R. La Question Platonicienne. Paris: J. Vrin, 1938.
SCHOLZ, Heinrich. Esquisse d’une histoire de la Logique. Paris: Aubier-Montaigne, 1968.
SOULEZ, Antonia. La grammaire philosophique chez Platon. Paris: P.U.F., 1991.
TOULMIN, Stephen E. Os usos do argumento. São Paulo: Martins Fontes, 2001.
TRICOT, J. Traité de logique formelle. Paris: J.Vrin, 1966.
VOLPE, Galvano Della. A Lógica como Ciência Histórica. Lisboa: Edições 70, 1984.
__________________________________________________
Prof. Dr. Bianco Zalmora Garcia
Aprovado pelo Departamento em:
Aprovado pelo Colegiado em:
_____/__________/______
_____/__________/______
_____________________________
____________________________
Chefe do Departamento
Coordenador do Colegiado