19. Из ложных предпосылок иногда может быть выведено правильное по существу предложение, но ложное предложение никогда не может быть выведено из правильных утверждений. Ибо при предположении правильности следующих предложений: всякий человек есть камень и всякий камень есть живое существо (оба – ложные предпосылки) – необходимо также признать, что живое существо есть имя, применимое ко всякому камню, а камень – к какому-либо человеку, и предложение всякий человек есть живое существо истинно, как это на самом деле и есть. Отсюда следует, что истинное утверждение иногда может быть выведено из ложных предпосылок, но из двух правильных предпосылок никогда не может быть выведено утверждение ложное. Ибо если можно выводить истинное из ложного при условии, что ложное принимают за истинное, то таким же путем может быть выведена истина из двух правильных предпосылок.
20. Поскольку, как мы видели, из истинных предложений всегда следует истинное предложение и понимание истинности двух предложений является причиной понимания истинности и того, что из них выводится, то обе посылки называются обычно причинами вывода, или заключения. Вот почему логики называют причины посылками заключения, против чего не приходится возражать, хотя это не совсем правильная формулировка, ибо если одна мысль (intellectio) и является причиной другой мысли, то одно предложение (oratio) не является причиной другого предложения. Ведь утверждать, что причиной свойств какой-либо вещи является сама вещь, – значит говорить нелепость. Представляя себе фигуру, например треугольник, мы знаем, что углы треугольника равны двум прямым, и можем отсюда заключить, что углы представляемой нами фигуры равны двум прямым. И вот на том же основании говорят: эта фигура и есть причина равенства углов. Но так как сама фигура не производит своих углов и не может быть поэтому производящей причиной, то ее называют причиной формальной, хотя в действительности она вообще не является причиной. Свойство какой-нибудь фигуры не возникает после появления этой фигуры, а существует одновременно с ней. Верно только то, что познание фигуры предшествует познанию ее свойств и одно познание в самом деле является причиной другого познания, а именно его производящей причиной.
Глава IV. О силлогизме
1. Определение силлогизма. 2. В силлогизме только три термина. 3. Больший, меньший и средний термины, а также большая и меньшая посылки. 4. Средний термин в обеих посылках каждого силлогизма должен относиться к одной и той же вещи. 5. Из двух частных предложений ничто не вытекает. 6. Силлогизм – это объединение двух предложений в одно суммарное. 7. Что такое фигура силлогизма. 8. Что соответствует силлогизму в уме. 9. Каким образом возникает первая непрямая фигура. 10. Каким образом возникает вторая непрямая фигура. 11. Каким образом возникает третья непрямая фигура. 12. Модусы любой фигуры многочисленны, но по большей части бесполезны для философии. 13. Гипотетический силлогизм равнозначен категорическому.
1. Рассуждение (oratio), состоящее из трех предложений, последнее из которых вытекает из двух остальных, называют силлогизмом. При этом третье предложение называется заключением, а первое и второе – посылками. Например, ряд предложений: всякий человек есть живое существо, всякое живое существо есть тело, следовательно, всякий человек есть тело – представляет собой силлогизм, ибо третье суждение вытекает из двух остальных; это значит, что если первое и второе предложения признаны правильными, то и последнее необходимо должно быть признано правильным.
Рассуждение – это соединение предложений, под которым Т. Гоббс понимает построение особых логических фигур – силлогизмов.
Силлогизм – логическая фигура, введенная в логику Аристотелем. Под силлогизмом в логике понимается умозаключение, выводимое на основе двух суждений, называемых в логике посылками. У Т. Гоббса итоговый вывод из двух посылочных суждений (предложений) называется суммарным. Таким образом, суммарное предложение это и есть умозаключение или вывод из двух суждений в логике. Понятие, которое повторяется и в первом, и во втором суждении называется в силлогизме средним термином. Ниже Т. Гоббс использует это понятие.
2. Из двух предложений, не имеющих ни одного общего члена, нельзя вывести никакого заключения, и поэтому они не могут составить силлогизм. Ибо если и правильны обе посылки: человек есть живое существо, дерево есть растение, то из них ведь нельзя вывести заключение, что растение – имя человека или человек – имя растения. Следовательно, заключение человек есть растение не является необходимо истинным. В посылках силлогизма должны быть поэтому только три члена.