A Lógica de Aristóteles
A Lógica foi considerada na tradição clássica e medieval como instrumento indispensável ao pensamento científico. Atualmente é parte importante na metodologia dedutiva das ciências, além de constituir-se como um saber próprio, com abertura a relevantes problemas teoréticos. Da Ciência Lógica nasceu a Lógica Matemática e, dentro desta, várias filosofias da lógica que interpretam os cálculos simbólicos e sua sistematização axiomática. Para a História da Computação interessa abordar em particular a questão do pensamento dedutivo e matemático, seus limites, o problema da relativa mecanização do pensamento quantitativo e o problema da Inteligência Artificial. Da discursão e busca da solução desses problemas, que entram também no campo filosófico, formou-se a base conceitual, Teoria da Computabilidade, necessária para o advento do computadores.
O início da ciência da Lógica encontra-se na antiga Grécia . As polêmicas geradas pela teoria de Parmênides e os famosos argumentos de Zenão , que negavam a realidade do movimento fazendo um uso indevido do princípio da não-contradição, contribuíram para a distinção dos conceitos, para se ver a necessidade de argumentar com clareza mediante demonstrações rigorosas, respondendo às objeções dos adversários. Mais tarde, as sutilezas dos sofistas, que reduziam todo o saber à arte de convencer pelas palavras, levaram Sócrates a defender o valor dos conceitos e tentar defini-los com precisão. Assim a Lógica como ciência vai se formando pouco a pouco, principalmente com Sócrates e Platão. Mas Platão pensava que qualquer conteúdo da mente existia tal qual na realidade e Aristóteles reage ao seu mestre, dizendo que as idéias existem somente na mente humana, mas correspondendo a realidades.
Com Aristóteles (384 a.C. - 322 a.C.) é que se dá o verdadeiro nascimento da Lógica, ciência das idéias e dos processos da mente. Ele redigiu uma série de trabalhos que seriam editados por Andrônico de Rodes no século I d.C. e que receberam posteriormente o nome de Organon ("Instrumento"), de acordo com a concepção segundo a qual a Lógica deveria fornecer os instrumentos mentais necessários para enfrentar qualquer tipo de investigação. Aristóteles chamava a Lógica como o termo "analítica" (e justamente "Analíticos" são entitulados os escritos fundamentais do Organon). A analítica (do grego analysis, que significa "resolução") explica o método pelo qual, partindo de uma dada conclusão, resolve-se precisamente nos elementos dos quais deriva, isto é, nas premissas e nos elementos de que brota, e assim fica fundamentada e justificada.
Aristóteles construiu uma sofisticada teoria dos argumentos, cujo núcleo é a caracterização e análise dos assim chamados silogismos, os típicos raciocínios da lógica desse filósofo. O argumento
Todo homem é mortal
Sócrates é homem
Logo Sócrates é mortal
é o exemplo típico do silogismo perfeito.
Nos Primeiros Analíticos, Aristóteles desenvolveu minuciosamente o sistema dos silogismos, mostrando os princípios maiores que o sustentam e as regras que lhe devem moldar a construção. A análise do Filósofo é tão ampla quanto engenhosa e envolve também as assim chamadas "modalidades" e os silogismos modais.
Entre
as características mais importantes da silogística aristotélica está a de se
ter pensado pela primeira vez na história da lógica em fazer uso de letras que
poderiam ser usadas para uma expressão substantiva qualquer, fundamental para desenvolvimentos
posteriores. É também com Aristóteles que se encontra uma das primeiras
tentativas de se estabelecer um rigor nas demonstrações matemáticas. Ao definir
os dois tipos de demonstração, quia (dos efeitos às causas) e propter
quid (das causas aos efeitos), dizia que as matemáticas utilizam
preferencialmente esse modo de demonstrar, e por isso esta ciência é
essencialmente dedutiva: "algumas vezes o mais conhecido por nós em si
mesmo e por natureza é também o mais cognoscível em si mesmo e por natureza.
Assim acontece nas matemáticas, nas quais, devido à abstração da matéria, não
se efetuam demonstrações mais do que a partir dos princípios formais. E assim
as demonstrações procedem desde o mais cognoscível em si mesmo".
.
CONHEÇA UM POUCO SOBRE / LINKS E REFERÊNCIA BIBLIOGRÁFICAS /