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

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

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

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

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

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

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

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

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

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

Мысль называется истинной, если она соответствует своему предмету, т.е. представляет объект, ситуацию, положение дел так, как они существуют в реальности, сами по себе. Если же мысль не соответствует своему предмету, искажает его, ее называют ложной. Например, мысль о том, что русский композитор А.П. Бородин был химиком, является истинной, так как Бородину действительно принадлежит целый ряд трудов и открытий в области химии. Однако мысль о том, что на яблоне растут бананы, будет ложной, ибо дает искаженное представление о яблоне.

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