Introdução À Lógica A Partir De Sua História Filosófica Vol. II

Nesta Introdução À Lógica, nosso trabalho consiste em implementar através de rotinas escritas em C++, alguns silogismos aristotélicos apresentados em AAL1,

Há uma grande diferença entre usar uma língua e sistematizar a sua gramática. Há também uma diferença, igualmente grande, entre usar raciocínios dedutivos e sistematizá-los. Até onde se sabe, foi Aristóteles que atentou para esse fato pela primeira vez. Porém, ele não se ateve a demarcar explicitamente a validade desses raciocínios, de modo necessariamente exato. […]