umtipo de prova racional e inaugura a longa corrente da logica formal que evoluiate hoje. Aristoteles tambem foi o ponto de partida decomprovacao racional de outro tipo, o argumentativo ou persuasivo, seguido porPerelman no seculo XX. Essa tradicao voltou-se para a linguagem corrente,informal, buscando descobrir os requisitos da persuasao para maior forcapersuasiva de determinado argumento. O que se pretende nao e obter umaconclusao necessaria e universal como no silogismo, mas obter ou fortalecer aadesao de alguem a uma tese que lhe e proposta, permanecendo assim no ambito dodiscurso nao formalizado do intersubjetivo, do dialogico e do circunstancial. Aplicando o silogismo (construcao dedefinicoes cientificas pelo relacionamento entre generos dos seres e suasdiferencas especificas), O Liceu fez uma classificacao acurada das especies em generose subdivisoes. Rejeitando a teoria platonica das ideias, verificou a estruturabasica dos seres a unica realidade e a dos seres singulares e concretos. A partirdisso, o conhecimento empirico, a ciencia deveria estabelecer definicoesessenciais e atingir o universal. O conhecimento da experiencia e aplicavel acasos. Ja o conhecimento da ciencia se da por principios. A sensacao e apercepcao nos advem dos sentidos. Depois, memoria e imaginacao formam umaimagem, entao desmaterializada por uma inteligencia patiens, ao mesmo tempouniversalizada, formando o conceito por um intelecto agens. Assim, Aristoteles concordou com Platao aoconsiderar que so pode haver ciencia do universal, cujo conhecimento implica conscienciadas razoes que tornam necessaria determinada afirmativa, necessidade essa quese evidencia quando se aplica a assercao, incluindo sua causa. O filosofoinvestiga nos analiticos exatamente encadeamento rigoroso de proposicoes, demodo a exprimir um raciocinio que pretenda concluir por uma afirmativa necessaria.Ao contrario de Platao, que adotou o metodo da divisao (pode-se obter adefinicao de uma especie por sucessivas divisoes do genero em que ela estivercontida), Aristoteles considera insuficiente esse procedimento, pois asdicotomias colocam opcoes sem determinar necessariamente o rumo a tomar. Com osilogismo surge um encadeamento necessario de afirmativas. Enquanto Platao, movido pela indolematematica de seu sistema, considerava os objetos copias imperfeitas dearquetipos que subsistiriam independentemente de seus reflexos passageiros, Aristotelesrejeitou a transcendencia dos arquetipos, considerando-os uma duplicacaodesnecessaria da realidade sensivel. Para ele, a unica realidade era constituidapor seres singulares, concretos, mutaveis. Dessa realidade, isto e, doconhecimento empirico, e que a ciencia deve tentar estabelecer definicoesessenciais e atingir o universal, seu objeto proprio. Toda a teoriaaristotelica do conhecimento constitui uma explicacao de como partir de dados sensiveisque mostram sempre o individual e concreto para chegar a formulacoescientificas necessarias e universais. Essa passagem se faz por inducao, que forneceo conceito. Ao contrario de Platao, Aristoteles nao considerava o universal(passaro, por exemplo) como algo subsistente e, portanto, substancial. Se ouniversal existe apenas na mente, sob a forma de conceito, ele nao e criacaosubjetiva, mas esta fundamentado na estrutura mesma dos objetos que o sujeitoconhece pela sensacao. Os conceitos nao reproduziriam as ideiastranscendentais, mas a estrutura inerente aos proprios objetos. Exercicios.1- Explique o significado dos tres principiosbasicos da logica formal. Principio da identidade Principio da nao contradicao Principio do terceiro excluido2- Diferencie logica formal de logica material,segundo a concepcao aristotelica.3- Indique a obra de Aristoteles dedicada alogica, bem como seus primeiros livros e os assuntos estudados