Livro: "Guia De Estudo Sobre A Lógica Antiga"

A lógica como disciplina começa com a transição do uso mais ou menos não-reflexivo de métodos lógicos e padrões de argumento para a reflexão e investigação sobre estes métodos e padrões e seus elementos, incluindo a sintaxe e a semântica das frases. Na antiguidade grega e romana, as discussões sobre alguns elementos da lógica e o foco nos métodos de inferência podem ser traçados desde o final do séculoV a.C. Os Sofistas, e mais tarde Platão (início de 4ºth C.) mostraram interesse na análise de frases, verdade e falácias, e Eubulides de Miletus (meados de 4th c.) está registado como o inventor do paradoxo liar e sorites. Mas a lógica como uma disciplina totalmente sistemática começa com Aristóteles, que sistematizou grande parte da investigação lógica dos seus antecessores. As suas principais realizações foram a sua teoria da interrelação lógica de declarações existenciais e universais afirmativas e negativas e, com base nesta teoria, a sua silítica, que pode ser interpretada como um sistema de inferência dedutiva. A lógica de Aristóteles é conhecida como termo-lógica, uma vez que se trata das relações lógicas entre termos, como “ser humano”, “animal”, “branco”. Partilha elementos com a teoria definida e a lógica predicado. Os sucessores de Aristóteles na sua escola, os Peripatos, nomeadamente Teofrasto e Eudemus, alargaram o âmbito da inferência dedutiva e melhoraram alguns aspetos da lógica de Aristóteles.