Основная задача логики

Ход мыслей Ивана Ильича продиктован, конечно, охватившим его отчаянием. Только оно способно заставить предположить, что верное всегда и для всех окажется вдруг неприложимым в конкретный момент к определенному человеку. В уме, не охваченном ужасом, такое предположение не может даже возникнуть. Как бы ни были нежелательны следствия наших рассуждений, они должны быть приняты, если приняты исходные посылки. Только в этом случае мы вправе назвать наше мышление «последовательным» или «логичным».

Рассуждение — это всегда принуждение. Размышляя, мы постоянно ощущаем давление и несвободу. От нашей воли зависит, на чем остановить свою мысль. В любое время мы можем прервать начатое размышление и перейти к другой теме. Но если мы решили провести его до конца, то мы сразу же попадем в сети необходимости, стоящей выше нашей воли и наших желаний. Согласившись с одними утверждениями, мы вынуждены принять и те, которые из них вытекают, независимо от того, нравятся они нам или нет, способствуют нашим целям или, напротив, препятствуют им. Допустив одно, мы автоматически лишаем себя возможности утверждать другое, несовместимое с допущенным.

Если мы, допустим, убеждены, что все металлы проводят электрический ток, мы должны признать также, что вещества, не проводящие ток, не относятся к металлам. Уверив себя, что каждая птица летает, мы вынуждены не считать птицами курицу и страуса. Из того, что все люди смертны и Иван Ильич является человеком, мы обязаны заключить, что он смертен.

В чем источник этого постоянного принуждения? Какова его природа? Что именно следует считать несовместимым с принятыми уже утверждениями и что должно приниматься вместе с ними? Какие вообще принципы лежат в основе деятельности нашего мышления?

Над этими вопросами человек задумался очень давно. Из этих раздумий выросла особая наука о мышлении — логика.

Сфера конкретных интересов логики существенно менялась на протяжении истории, но основная цель всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие.