Логика

У меня в кармане две монеты, которые в сумме дают 15 копеек, но одна из этих монет не пятачок. Какие это монеты? Вы начинаете думать: 7 и 8 копеек? Таких монет не существует. Может быть, 2, 3 и 10 копеек? Но тогда получается три монеты, а их всего две. Наконец, приходит мысль: одна из них не пятачок, но другая-то может быть пятачком! Ответ: 10 и 5 копеек.

Ночной сторож умер не ночью, а днем. Назначат ли ему пенсию? Вы начинаете вспоминать, что вам известно о пенсионном законодательстве, затем вдруг спохватываетесь: но ведь он умер, зачем же ему пенсия? Ответ: нет, не назначат.

Может ли порядочный человек жениться на сестре своей вдовы? Слово «порядочный» привлекает ваше внимание и вы задумываетесь: этично ли жениться на сестре вашей жены? Но вскоре приходит мысль: жена-то ведь уже вдова, значит, тот человек, о котором идет речь, умер! Ясно, что он ни на ком уже жениться не может, а слова «порядочный человек» просто отвлекают наше внимание от этого решающего обстоятельства.

Во всех этих случаях поиск решения сводится к выдвижению некоторого предположения и выведению из него следствий. Если следствия не согласуются с условиями задачи, мы отбрасываем первоначальное предположение и выдвигаем новое и т. д. Несмотря на простоту приведенных примеров, поиск их решения воспроизводит основные черты всякого познавательного процесса: проблема — предположительное решение — проверка решения и его отбрасывание, если оно не согласуется с условиями задачи и с известными нам истинами, — выдвижение нового решения… Логика как раз и изучает те формы, в которых протекает познающее мышление, и те общие принципы, которым оно должно подчиняться, чтобы достигнуть поставленной цели.

Логику интересует лишь форма наших мыслей, но не их содержание. Содержание наших мыслей бесконечно разнообразно: мы можем думать и рассуждать о вулканах и звездах, о любви и предпринимательстве, о колбасе, которой вечно не хватает, и об электронах, от которых не знаешь куда деваться. Однако все это разнообразие укладывается в сравнительно небольшое число форм. Вот эти формы и изучает логика. Образно говоря, логику интересуют сосуды — бутылки, ведра, бочки, а не то, что в них налито. В бутылку что ни налей — нарзан, пиво, вино — она останется бутылкой и ее можно изучать именно как бутылку: исследовать ее геометрическую форму, объем, толщину стенок и т. д. Точно так же и мыслительные формы, независимо от своего содержания, обладают определенными свойствами, которые изучает логика.

В этом отношении логика сходна с грамматикой, которую мы изучали в школе. Грамматика тоже исследует и описывает формы языковых выражений, отвлекаясь от их содержания. Для иллюстрации этого обстоятельства известный советский лингвист Л.В. Щерба приводил пример следующего выдуманного им предложения: «Глокая куздра штеко будланула бокра и курдячит бокренка». Мы ничего не можем сказать о содержании этого предложения, но знание грамматики позволяет нам утверждать, что слово «куздра» здесь является подлежащим, «будланула» — сказуемым, «бокра» — дополнением и т. д. Мы можем говорить о роде, числе, падеже наших существительных, не имея ни малейшего представления о том, что обозначают соответствующие слова. Аналогичное знание о формах мысли дает нам логика.

Истинность и правильность

Мы уже несколько раз упоминали слово «истина». Пора бы пояснить его. Вопросы о том, что есть истина, можно ли получить ее и каким образом, исследует философия. Здесь мы ограничимся кратким разъяснением, достаточным для целей логики.