Aristoteles (detalhe da tela de Rafael, A Escola de Atenas)Aristoteles nasceu em Estagira (Macedonia) em 384 a.C. e morreu em Calcis, na Ilha de Eubea, em 324 a.C. Durante 20 anos, entre 367 e 347 a.C. foi discipulo de Platao (427-347 a.C.), na Academia. Por volta de 342 a.C. foi-lhe confiada a educacao de Alexandre (356-323 a.C.), filho de Filipe II (382-336 a.C.), rei da Macedonia, missao que o nosso pensador cumpriu ate 335 a.C. Nesse ano Aristoteles fundou, em Atenas, no Liceu, a sua propria escola, chamada de peripatetica e nela desenvolveu a docencia da filosofia e das ciencias ate 323 a.C., quando se retirou a ilha de Eubea (terra da sua mae), no Mar Egeu. Os escritos do filosofo que conhecemos, na sua maior parte estao constituidos pelas notas de aula tomadas pelos seus discipulos, nos cursos que ofereceu no Liceu. Esses escritos eram chamados, pelo proprio Aristoteles, de esotericos. Diferentemente de Platao, que escreveu a sua obra no elegante dialeto atico, Aristoteles utilizou a lingua comum, a koine (ou grego vulgar), que se estendeu como lingua franca ao longo da bacia do Mediterraneo, e que deu ensejo a grande globalizacao cultural do Imperio de Alexandre.Em 7 itens podemos sintetizar o essencial do pensamento de Aristoteles:1 - Com Aristoteles encontramos um sistema filosofico completo. A sua obra pode ser agrupada em cinco grandes blocos, assim:I Logica, que abrange seis obras, genericamente denominadas de Organon: Categorias, Da Interpretacao, Primeiros Analiticos, Segundos Analiticos, Topicos e Refutacao dos Sofistas.II Escritos Cientificos, integrados por quatro obras: Fisica, De Anima, Partes dos Animais e Astronomia.III Metafisica, que inclui os quatro livros que levam esse titulo.IV Etica, com as seguintes obras: Etica a Nicomaco, Etica a Eudemo, Magna Etica, Politica e Constituicao de Atenas.V Poetica, que abrange dois escritos: Retorica (8 livros) e Poetica.2 No conjunto de obras que integram o Organon, notadamente nos Analiticos e nos Topicos, Aristoteles formula a sua Logica Formal, que estuda os esquemas de raciocinios validos, independentemente do conteudo dos mesmos. A Logica Aristotelica foi aperfeicoada, posteriormente, por Boecio[1] (480-524) e por Pedro Hispano[2] (1205-1277). A Logica Formal de Aristoteles foi recebida, na tradicao medieval, como parte da Filosofia e se denominava logica minor, sendo que a logica maior correspondia a Teoria do Conhecimento. A Logica Formal somente se comecou a distanciar da Filosofia no seculo XVII, quando Gottfried Wilhelm Leibniz (1646-1716) formulou a sua Ars Combinatoria, que deitou os alicerces da Logica Matematica, a partir do principio de que seria possivel substituir os conceitos, nos raciocinios, por simbolos matematicos. Com essa base, Leibniz pretendia evitar as disputas sobre conceitos com significacao equivoca, atribuindo, a cada um deles, uma significacao exata, expressa em simbolos matematicos. As hipoteses de Leibniz foram aperfeicoadas, do angulo matematico, por George Boole (1815-1864), na obra intitulada: Uma interpretacao das leis do pensamento em que se fundamentam as teorias matematicas da Logica e das Probabilidades (1857). Esta obra deu ensejo a denominada algebra booleana, ou conjunto de tecnicas algebricas para lidar com expressoes no calculo proposicional. Com base nesse fundamento, a Logica Matematica foi sistematizada, no seculo