Учебник логики - Георгий Челпанов

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

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

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

Глава XII

О непосредственных умозаключениях

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

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

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

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

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

1. Умозаключение от подчиняющего к подчинённому (adsubordinatam). Мы знаем, что если дано обще-утвердительное суждение, например «все люди подвержены заблуждениям», то от истинности его мы заключаем к истинности частно-утвердительного: «некоторые люди подвержены заблуждениям». Как легко видеть, это есть умозаключение от суждения, подчиняющего к суждению подчинённому. Мы рассмотрели случай умозаключения от A к I; к этой же группе относятся умозаключения от E к O.

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

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

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

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

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

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

Например, возьмём суждение, данное нам в утвердительной форме: «эти ученики прилежны». Это суждение можно превратить в равнозначащее ему суждение отрицательное. Для этого должно поставить перед связкой и сказуемым отрицание. Тогда у нас получится суждение: «эти ученики не суть не-прилежны».

Отрицательное суждение превращается в равнозначащее ему утвердительное тем, что отрицание от связки переносят на сказуемое. Например, «ученики не суть прилежны»; превращение этого отрицательного суждения даёт утвердительное суждение: «ученики суть не-прилежны». Принято говорить, что второе суждение есть вывод из первого.

Вот, например, превращения одних суждений в другие:

Превращение A. Суждение A «все металлы суть элементы» превращается в суждение E: «все металлы не суть неэлементы», или «ни один металл не есть не-элемент», или «ни один металл не есть сложное тело».

Превращение E. Суждение E «ни один человек не бывает совершенен» превращается в суждение A; «все люди суть несовершенны»,

Превращение I. Суждение I «некоторые люди надёжны» превращается в суждение O: «некоторые люди не суть ненадёжны».

Превращение O. Суждение O «некоторые люди не суть надёжны» превращается в суждение I: «некоторые люди суть ненадёжны».

Таким образом, мы видим, что есть определённый закон превращения одних суждений в другие: A всегда превращается в E, E в A, I в O, O в I.

Общая схема превращения:

A: все S суть P -> E: ни одно S не есть не-P

E: ни одно S не суть P -> A: все S суть не-P

I: некоторые S суть P -> O: некоторые S не суть не-P

O: некоторые S не суть P -> I: некоторые S суть не-P

Третий класс непосредственных умозаключений называется обращением (conversio).

III. Обращение (conversio). В этом процессе происходит перемещение подлежащего на место сказуемого, и наоборот.

Попробуем обратить суждение A «все птицы суть животные» по только что указанному способу. Тогда получится суждение «все животные суть птицы», но это неверно, так как в класс животных входят и рыбы и млекопитающие; следовательно, есть животные, которые не суть птицы. Ошибка в этом обращении получилась вследствие того, что не принято в соображение то обстоятельство, что в обще-утвердительных суждениях сказуемое не распределено, а потому при обращении сказуемое нужно брать не во всём объёме. Поэтому суждение «все птицы суть животные» обращается в суждение «некоторые животные суть птицы». Необходимость изменения количества сказуемого в процессе обращения обще-утвердительного суждения можно сделать ясной при помощи схемы (рис. 10), которая указывает отношение объёмов подлежащего и сказуемого.

Подлежащее «птицы» (S) составляет только часть объёма предиката P; поэтому при обращении предикат нужно взять не во всём его объёме. Такое обращение, когда суждение изменяет своё количество, называется обращением посредством ограничения (conversio per limitationem или per accidens). Таким образом, суждение A обращается в I.

Но когда подлежащее и сказуемое обще-утвердительного суждения суть понятия равнозначащие, т.е. имеют одинаковый объём, то суждение после обращения сохраняет своё количество; тогда говорят, что обращение происходит чисто. Например, суждение «все обезьяны суть четверорукие» обращается в суждение «все четверорукие суть обезьяны». Такое обращение называется простым, или чистым, обращением (conversio simplex).

Суждение I обращается чисто. Например, суждение «некоторые металлы драгоценны» обращается в суждение «некоторые драгоценные вещества суть металлы».

Суждение E обращается также чисто. Например, суждение «ни один честный свидетель не подкуплен» обращается в суждение «ни один подкупленный человек не есть честный свидетель».