Читалка - Учебник логики

треугольника равны».

Обыкновенно в логике основание и причина обозначаются одним и тем же термином ratio, но только основание называют ratio cognoscendi («основание познания»), а причину называют ratio fiendi («основание становления»). Чтобы видеть разницу между этими двумя ratio, возьмём пример. Я произношу суждение: «В комнате сделалось теплее». Логическое обоснование этого суждения может находиться в суждении: «ртуть' термометра расширилась». Причинное обоснование теплоты комнаты получится в том случае, если мы скажем: «затопили печку, и оттого в комнате сделалось теплее».

Формальный характер законов мышления. Рассмотренные нами законы мышления в логике имеют такое же значение, какое в математике имеют аксиомы. Они так же непосредственно Очевидны, как эти последние, как, например, аксиомы: «целое больше части», «между двумя точками можно провести только одну прямую».

Эти законы называются также формальными законами мысли, потому что они не касаются содержания мысли. Закон тождества не указывает, какие именно представления, понятия, суждения должны оставаться тождественными; закон противоречия также не указывает, какие именно мысли не должны сами себе противоречить; закон исключённого третьего ничего не говорит, между какими именно противоречащими суждениями не может быть третьего, но они не говорят этого потому, что их утверждение справедливо по отношению ко всякому представлению, ко всякому суждению: всякая мысль должна подчиняться этим законам, совершенно так, как алгебраические формулы не показывают, в применении к каким числам они справедливы, и именно потому, что в них можно подставить какие угодно числа и величины.

Вопросы для повторения

Что называется законами мышления? Какие .существуют законы мышления? Как формулируется закон тождества? Как формулируется закон противоречия? Объясните применение закона противоречия. Как формулируется

закон исключённого третьего? Объясните применение закона исключённого третьего. Как формулируется закон достаточного основания? Какое различие между основанием и причиной? Почему законы мышления называют формальными законами?

Глава XII

О НЕПОСРЕДСТВЕННЫХ УМОЗАКЛЮЧЕНИЯХ

Определение умозаключения. Теперь мы рассмотрим умозаключение, или рассуждение, которое представляет собой наиболее совершенное логическое построение. Умозаключение получается из суждений, и именно таким образом, что и в двух или больше суждений с необходимостью выводится новое суждение. Это последнее обстоятельство, именно выведение нового суждения, особенно характерно для процесса умозаключения.

Итак, умозаключение есть вывод суждения из других суждений, которые в таком случае называются посылками или предпосылками (praemissae). Вообще умозаключение является результатом сопоставления ряда посылок. Но есть вид умозаключений, основывающихся на одной посылке; это так  называемые умозаключения в несобственном смысле, или умозаключения непосредственные. Например, у меня есть суждение: «ни один металл не есть сложное тело»; имея такое суждение, я могу сделать вывод, что «ни одно сложное тело не есть металл». Это есть непосредственное умозаключение. Умозаключение это есть потому, что, допустив одно суждение, мы из него выводим другое.

В зависимости от числа посылок умозаключения делятся на две группы: 1) умозаключения в несобственном смысле, или непосредственные умозаключения; 2) умозаключения в собственном смысле. К этой последней группе относятся следующие виды умозаключений: 1) индукция, 2) дедукция, 3) аналогия и т. п.

Непосредственные умозаключения. Непосредственные умозаключения делятся на следующие группы:

I. Умозаключения о противоположности, которые новою очередь делятся на пять групп:

1. Умозаключение от подчиняющего к подчинённому (adsubordinatam). Мы знаем, что если дано общеутвердительное

суждение, например «все люди подвержены заблуждениям», то от истинности его мы заключаем к истинности частно-утвердительного: «некоторые люди подвержены заблуждениям». Как легко видеть, это есть умозаключение от суждения, подчиняющего к суждению подчинённому. Мы рассмотрели случай умозаключения от А к I; к этой же группе относятся умозаключения от Е к О.

2. Умозаключение от подчинённого к подчиняющему (ad subordinantem). Например, дано частно-утвердительное суждение «некоторые лошади суть животные плотоядные»; от ложности его заключаем к ложности обще-утвердительного: «все лошади суть животные плотоядные».

3. Adсоntradiсtоriam (А — О, Е — I). От ложности обще-утвердительного суждения: «все люди читают газеты», заключаем к истинности частно-отрицательного: «некоторые люди не читают газет». Подобное же отношение возможно между суждениями Е и I. (Перечислите, какие именно возможны случаи умозаключения ad contradictoriam.)

4. Аdсоntrаriam (А — Е). От истинности обще-утвердительного суждения «все растения суть организмы» заключаем к ложности противного суждения: «ни одно растение не есть организм». Случаев умозаключения adcontrariam два: от истинности А к ложности Е и от истинности Е к ложности А.

5. Ad subcontrariam (I—О). Дано частно-утвердительное суждение: «некоторые люди всеведущи»; от ложности того суждения заключаем к истинности частно-отрицательного: «некоторые люди не суть всеведущи».

Обратимся к следующей группе непосредственных умозаключений, получающихся при изменении суждений; это изменение суждений называется превращением.

II. Превращение (obversio). Этот процесс состоит в изменении формы суждений: утвердительные суждения превращаются в отрицательные, и наоборот; при этом смысл суждения не изменяется.

Например, возьмём суждение, данное нам в утвердительной