obstaculos para o avanco da ciencia.- Assentava no uso da linguagem natural, e portanto, estava muitas vezes enredada na confusoes sobre o sentido das palavras. - Atribuiu uma enorme importancia ao estudo dos 256 modos do silogismo e a consideracao de enunciados que continham exactamente dois termos. Os seus continuadores, acabaram por reduzir a logica ao silogismo.Ainda na antiguidade classica sao de referir os notaveis contributos para a logica formal devida aos estoicos Logica Medieval Durante a Idade Media, em especial durante o florescimento da escolastica (seculos XIII a XV) foram realizados notaveis progressos na logica aristotelica. A logica tornou-se mais sistematica e progressiva. Sao de salientar os contributos de Duns Escoto, Guilherme de Occam, Alberto da Saxonia e Raimundo Lulio.Este ultimo concebeu o projecto de mecanizacao da logica dedutiva, ideia mais tarde desenvolvida por Leibniz.. E neste periodo que o portugues Pedro Hispano escreve a "Summulae Logicals", o tratado de logica mais difundido em toda a Europa ate ao seculo XVI .A logica foi durante a Idade Media era entendida como a "ciencia de todas as ciencias". Competia-lhe validar os actos da razao humana na procura da Verdade. De acordo com o pensamento corrente no tempo, o saber cientifico tinha que obedecer a logica formal. A partir de um conjunto de principios universais admitidos como verdadeiros, por um processo dedutivo procurava-se encontrar a explicacao para todos os fenomenos particulares. Embora este metodo fosse igualmente preconizado por Aristoteles, na Idade Media deu-se uma enorme importancia a deducao, desvalorizando-se por completo a inducao na descoberta cientifica. Este facto teve como consequencia ter-se cortado com a base empirica da investigacao. Critica a Logica AristotelicaA partir do seculo XVI a logica aristotelica comeca a ser questionada. Os metodos dedutivos que a mesma preconizava para a investigacao cientifica, comecam a ser postos em causa, com o chamado a ciencia experimental. A partir do particular os cientistas procuram agora atingir o universal, e nao o contrario, como preconizava a logica aristotelica. Rompeu-se assim com os estudos seculares da logica dedutiva e procurou-se fundamentar as regras do raciocinio indutivo. A logica formal entra num periodo de descredito, devido as criticas de filosofos como Francis Bacon (1561-1626) e R. Descartes (1596-1650). A principal obra de F. Bacon -Novo Organon- , indica desde logo a sua intencao de substituir o organon aristotelico. Tratava-se de criar um novo metodo de investigacao cientifica- o metodo indutivo-experimental. A principal contribuicao esta no facto de ter valorizado o papel da inducao. A investigacao cientifica devidamente conduzida era uma ascensao gradual indutiva, desde as correlacoes de baixo grau de generalidade ate as de maior nivel de generalidade. Periodo Moderno (Seculo XIX a principios do seculo XX) LeibnizGottfried Wilhelm Leibniz (1646-1716) ocupa um lugar especial na historia da logica. Este filosofo procurou aplicar a logica o modelo de calculo algebrica da sua epoca. Esta e concebida como um conjunto de operacoes dedutivas de natureza mecanica onde sao utilizados simbolos tecnicos. Era sua intencao submeter a estes calculos algebricos a totalidade do conhecimento cientifico. Na sua obra Dissertacao da Arte Combinatoria, apresenta os principios desta nova logica:-