Excertos de um livro não anunciado (105)

(...) Para o efeito socorre-se dos Analíticos onde Aristóteles estuda formas de inferência válida, especialmente o silogismo, que permitem inferir uma conclusão de forma necessária, sublinhando o facto de a inferência ser válida independentemente da verdade ou da falsidade das premissas, ao contrário da conclusão que só será verdadeira se as premissas forem verdadeiras. (...)