Основы философии (о теле, о человеке, о гражданине). Человеческая природа. О свободе и необходимости. Левиафан - стр. 28
Подпротивными являются частные предложения противоположного качества, например: некий человек образован, некий человек необразован. Эти предложения не могут быть оба ложными, но оба могут быть истинными.
Противоречащими являются предложения, отличные друг от друга как по количеству, так и по качеству, например: всякий человек есть живое существо, некий человек не есть живое существо. Эти предложения не могут быть одновременно и истинными, и ложными.
18. Говорят, что предложение следует из двух других предложений, и если последние истинны, то нельзя отрицать и истинность заключения. Предположим, например, что следующие два утверждения: всякий человек есть живое существо и всякое живое существо есть тело – истинны; отсюда следует, что тело – имя всякого живого существа, а живое существо – имя всякого, человека. Раз мы признали это за истину, то нельзя полагать, будто тело не является именем, применимым ко всякому человеку, т. е. будто предложение всякий человек есть тело ложно. Это предложение выводится из двух предыдущих или с необходимостью следует из них.
19. Из ложных предпосылок иногда может быть выведено правильное по существу предложение, но ложное предложение никогда не может быть выведено из правильных утверждений. Ибо при предположении правильности следующих предложений: всякий человек есть камень и всякий камень есть живое существо (оба – ложные предпосылки) – необходимо также признать, что живое существо есть имя, применимое ко всякому камню, а камень – к какому-либо человеку, и предложение всякий человек есть живое существо истинно, как это на самом деле и есть. Отсюда следует, что истинное утверждение иногда может быть выведено из ложных предпосылок, но из двух правильных предпосылок никогда не может быть выведено утверждение ложное. Ибо если можно выводить истинное из ложного при условии, что ложное принимают за истинное, то таким же путем может быть выведена истина из двух правильных предпосылок.
20. Поскольку, как мы видели, из истинных предложений всегда следует истинное предложение и понимание истинности двух предложений является причиной понимания истинности и того, что из них выводится, то обе посылки называются обычно причинами вывода, или заключения.
Вот почему логики называют причины посылками заключения, против чего не приходится возражать, хотя это не совсем правильная формулировка, ибо если одна мысль (intellectio) и является причиной другой мысли, то одно предложение (oratio) не является причиной другого предложения. Ведь утверждать, что причиной свойств какой-либо вещи является сама вещь, – значит говорить нелепость. Представляя себе фигуру, например треугольник, мы знаем, что углы треугольника равны двум прямым, и можем отсюда заключить, что углы представляемой нами фигуры равны двум прямым. И вот на том же основании говорят: эта фигура и есть причина равенства углов. Но так как сама фигура не производит своих углов и не может быть поэтому производящей причиной, то ее называют причиной формальной, хотя в действительности она вообще не является причиной. Свойство какой-нибудь фигуры не возникает после появления этой фигуры, а существует одновременно с ней. Верно только то, что познание фигуры предшествует познанию ее свойств и одно познание в самом деле является причиной другого познания, а именно его производящей причиной.