Introdução à Lógica a partir de sua história filosófica, volume 2: de Aristóteles a C++

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. Aristóteles deu conta de validades e invalidades de um tipo muito restrito de raciocínios e a este, no texto “Analíticos Anteriores”, Livro I, doravante AALI, dedicou sua busca pela verdade. Trata-se dos silogismos. Nosso trabalho consiste em implementar através de rotinas escritas em C++, alguns silogismos aristotélicos apresentados em AAL1, fazendo também uso da classificação medieval conforme apresentado no livro Deductive Logic de St. G. W. J. Stock. Nem todos os capítulos ou exemplos de AAL1 foram contemplados, principalmente porque a certa altura Aristóteles se repete.

 

Nº de pág.: 86

ISBN: 978-65-5917-072-2

DOI: 10.22350/9786559170722