Что изучает логика

Конечно, предмет всякой науки становится вполне ясным лишь в процессе знакомства с самой наукой, поэтому все предварительные определения этого предмета остаются неполными и не очень ясными. Тем не менее с чего-то же надо начинать.

Логика есть наука о формах и законах познающего мышления.

Логика изучает мышление, но не всякое, а лишь те мыслительные процессы, которые направлены на обнаружение и обоснование истины, на решение некоторой задачи, на поиск путей преодоления тех или иных трудностей, встающих перед нами как в профессиональной деятельности, так и в повседневной жизни. Иногда утром, посмотрев на себя в зеркало, вы можете подумать: «У…у, какая у меня сегодня противная физиономия!» Таких мыслительных процессов логика почти не касается, изучение их – дело психологии или даже психиатрии. Логику интересуют прежде всего познавательные процессы. Ну а что такое «познающее мышление»? Попробуйте ответить на несколько простых вопросов.

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

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

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

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

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

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