Сфера конкретных интересов логики существенно менялась на протяжении ее истории, но основная цель всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. При этом предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения, а не от их конкретного содержания. Изучая, «что из чего следует», логика выявляет наиболее общие, или, как говорят, формальные, условия правильного мышления.
Вот несколько примеров логических, или формальных, требований к мышлению:
• независимо от того, о чем идет речь, нельзя что-либо одновременно и утверждать и отрицать;
• нельзя принимать некоторые утверждения, не принимая вместе с тем все то, что вытекает из них;
• невозможное не является возможным, доказанное – сомнительным, обязательное – запрещенным и т. п.
Эти и подобные им требования не зависят, конечно, от конкретного содержания наших мыслей, от того, что именно утверждается или отрицается, что считается возможным, а что – невозможным.
Задача логического исследования – обнаружение и систематизация определенных схем правильного рассуждения. Эти схемы представляют логические законы, лежащие в основе логически правильного мышления. Рассуждать логично – значит рассуждать в соответствии с законами логики.
Отсюда понятна важность данных законов. Об их природе, источнике их обязательности высказывались разные точки зрения. С позиции диалектического материализма логические законы независимы от воли и сознания человека. Их принудительная сила для человеческого мышления объясняется тем, что они являются в конечном счете отображением в голове человека наиболее общих отношений самого реального мира, практики его познания и преобразования человеком. Законы логики кажутся самоочевидными и как бы изначально присущими человеческой способности рассуждать.