Excertos de um livro não anunciado (106)

Assim, a afirmação “se todos os A são B e se todos os B são C, daí resulta necessariamente que todos os A são C”, traduz uma inferência que é puramente formal por duas razões: é válida seja qual for o conteúdo dos termos A, B e C (na condição de que cada letra seja substituída pelo mesmo valor sempre que ela se apresente) e estabelece uma relação entre a verdade das premissas e a da conclusão.