У меня в кармане две монеты, которые в сумме дают 15 копеек, но одна из этих монет не пятачок. Какие это монеты? Вы начинаете думать: 7 и 8 копеек? Таких монет не существует. Может быть, 2, 3 и 10 копеек? Но тогда получается три монеты, а их всего две. Наконец, приходит мысль: одна из них не пятачок, но другая-то может быть пятачком! Ответ: 10 и 5 копеек.
Ночной сторож умер не ночью, а днем. Назначат ли ему пенсию? Вы начинаете вспоминать, что вам известно о пенсионном законодательстве, затем вдруг спохватываетесь: но ведь он умер, зачем же ему пенсия? Ответ: нет, не назначат.
Может ли порядочный человек жениться на сестре своей вдовы? Слово «порядочный» привлекает ваше внимание и вы задумываетесь: этично ли жениться на сестре вашей жены? Но вскоре приходит мысль: жена-то ведь уже вдова, значит, тот человек, о котором идет речь, умер! Ясно, что он ни на ком уже жениться не может, а слова «порядочный человек» просто отвлекают наше внимание от этого решающего обстоятельства.
Во всех этих случаях поиск решения сводится к выдвижению некоторого предположения и выведению из него следствий. Если следствия не согласуются с условиями задачи, мы отбрасываем первоначальное предположение и выдвигаем новое и т. д. Несмотря на простоту приведенных примеров, поиск их решения воспроизводит основные черты всякого познавательного процесса: проблема — предположительное решение — проверка решения и его отбрасывание, если оно не согласуется с условиями задачи и с известными нам истинами, — выдвижение нового решения… Логика как раз и изучает те формы, в которых протекает познающее мышление, и те общие принципы, которым оно должно подчиняться, чтобы достигнуть поставленной цели.
Логику интересует лишь
В этом отношении логика сходна с грамматикой, которую мы изучали в школе. Грамматика тоже исследует и описывает формы языковых выражений, отвлекаясь от их содержания. Для иллюстрации этого обстоятельства известный советский лингвист Л.В. Щерба приводил пример следующего выдуманного им предложения: «Глокая куздра штеко будланула бокра и курдячит бокренка». Мы ничего не можем сказать о содержании этого предложения, но знание грамматики позволяет нам утверждать, что слово «куздра» здесь является подлежащим, «будланула» — сказуемым, «бокра» — дополнением и т. д. Мы можем говорить о роде, числе, падеже наших существительных, не имея ни малейшего представления о том, что обозначают соответствующие слова. Аналогичное знание о формах мысли дает нам логика.
Мы уже несколько раз упоминали слово «истина». Пора бы пояснить его. Вопросы о том, что есть истина, можно ли получить ее и каким образом, исследует философия. Здесь мы ограничимся кратким разъяснением, достаточным для целей логики.
