lógica – aulas - lógica tradicional aristotélica.doc

LóGICA – Aulas - Lógica tradicional aristotélica AULA 4: Considera??es introdutórias Proposi??es categóricas Quadro de oposi??es CONSIDERA??ES INTRODUTóRIAS: Pioneirismo de Aristóteles: primeiro a formular a no??o de forma lógica, a distinguir a verdade da validade e a sistematizar rela??es lógicas entre proposi??es. Kant chegou a afirmar que a lógica inventada por Aristóteles estava pronta e nada mais havia a fazer (caso célebre de previs?o errada). A lógica estóica (embri?o da lógica proposicional) é considerada, juntamente com a lógica de Aristóteles (dos silogismos categóricos), uma vers?o de lógica tradicional. O valor da lógica aristotélica hoje é histórico, estando todos os seus resultados integrados na lógica clássica (e os resultados incorretos foram excluídos). Aristóteles pensava que a sua silogística era suficiente para lidar com todas as inferências válidas possíveis. Estava enganado (seu sistema, ainda que completo em si mesmo, corresponde apenas a uma fra??o da lógica). O método de prova da lógica aristotélica é muito trabalhoso, n?o é o mais eficiente: PM, Pm, termo maior e menor, etc. O que distingue a lógica aristotélica da clássica n?o é o fato de a clássica ser simbólica (toda lógica formal é simbólica – abstrai do conteúdo – ainda que misturando palavras da linguagem natural). Deficiências da lógica aristotélica: trata-se de uma teoria bastante limitada (se comparada à lógica clássica atual) 1) Incapaz de dar conta de vários argumentos válidos (como os baseados na quantifica??o). Depois de Frege, a lógica formal podia, pela primeira vez, lidar com argumentos que envolviam frases com quantifica??o múltipla, frases que eram, por assim dizer, quantificadas em ambos os extremos, tais como ninguém conhece toda a gente e qualquer crian?a em idade escolar pode dominar qualquer língua. 2) Confunde sujeito e predicados. Pode-se permutar livremente sujeitos e predicados. Por exemplo, “Algum F é G”, pode representar “Alguns atenienses s?o homens” ou “Algun