Вопросы темы:

1. Значения термина «логика»

2. Специфика формальной логики

3. Задачи формальной логики

4. Закономерности мира, отражаемые формальной логикой

5. Многообразие логик

Значения термина «логика»

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

С логикой мышления интуитивно знаком каждый. Юмор многих ситуаций связан именно с тем, что мы чувствуем многозначное или неправильно употребленное слово и готовы посмеяться над этим, если, конечно, речь не идет о серьезных вещах и не затрагивает наших интересов и не имеет далеко идущих последствий (почему коровы сидят на дереве? А у них там гнездо).

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

Специфика формальной логики

А откуда берется наше представление о правильном мышлении? Что такое «правильный» применительно к мышлению? Совершенно очевидно, что наша мысль о мире должна соответствовать этому миру. Именно в этом случае она отражает мир таким, какой он есть на самом деле, помогает приспособиться к миру и даже извлечь из этого ощутимую пользу. Такое соответствие наших мыслей объективной действительности называют истиной.

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

Однако мало понять суть вещей, надо еще уметь выразить эту суть. Способ выражения будет относиться к форме наших мыслей. Форма – это в данном случае устойчивые способы выражения отношений, существующих в мире. Это может быть форма жестов, мимики, танца, это может быть грамматическая форма какого-то языка, или это может быть логическая форма, в которой зафиксированы наиболее общие закономерности окружающего нас мира. Например, мы знаем, что причина всегда предшествует следствию, а следствия без причины не бывает. О чем бы мы ни рассуждали, о физических явлениях, рыночных отношениях, особенностях погоды или обстоятельствах преступления, эта закономерность будет действовать обязательно. Именно к форме нашего выражения содержания мыслей, чувств относится понятие «правильный». Оно означает соответствие правилам, а правила устанавливаются людьми. Конечно, они отражают, как было показано на примере с причинностью, закономерности мира. Но отражают в самом общем виде. Более того, форма может оторваться от содержания, и тогда мы сталкиваемся с демагогией, например, с внешне правильным соединением слов по законам грамматики и даже с последовательным соединением слов в предложения (в логике – суждения), не имеющим смысла, а значит и не соответствующим действительности.

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

Различие между формой и содержанием можно показать на следующих примерах. Из двух суждений «Все люди смертны» и «Сократ - человек» любой без труда сделает вывод: следовательно «Сократ смертен». В этом умозаключении есть смысл, есть соответствие действительности и есть правильная форма, которую услловно можно выразить следующим образом:

Все S (люди) есть P (обладают такой особенностью – умирать)

А (Сократ) – есть S (человек)

Следовательно А есть Р.

Все правильно и логично. Но давайте подставим в полученную форму другие значения:

Все лямзики хрюмкают

Зюслик – лямзик

Следовательно, зюслик хрюмкает.

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

А вот еще примеры:

Зимой расцветают фиалки

Сейчас зима

Следовательно, сейчас расцветают фиалки.

Или еще:

Все люди пишут стихи

Сережа - человек

Следовательно, Сережа пишет стихи

Смысл в этих высказываниях есть. И фиалки, и зима, и мальчик, сочиняющий стихи – это реальности нашей жизни. Форма рассуждений тоже по видимости правильная. А вывод ложный, поскольку изначально, на входе, мы отталкиваемся от неверной, не соответствующей действительности информации.  

Поскольку содержание высказывания все же не безразлично для нашего мышления, то в логике существует понятие истинности и ложности суждений. Т.о. бессмысленные высказывания могут быть логичными по форме (построены по законам логики) но при этом не иметь смысла. В этом опасность последующих ошибок: истинность вывода зависит от истинности посылок. Из этого следует вывод: одних только средств формальной логики недостаточно для достижения истины. Главным критерием обязательно становится наша практическая деятельность, в ходе которой формируются те представления, которые ложатся в основу наших суждений о мире, и проверяется истинность сделанных из них выводов. Однако в случае когда обращение к практике невозможно приходится уповать лишь на силу нашего мышления. И вот тогда без знания принципов правильного мышления не обойтись.

Задачи формальной логики

Поскольку формальная логика представляет собой учение о правильных способах рассуждения, то она, в первую очередь, выясняет, как должна быть построена мысль, и каким образом необходимо связывать мысли между собой, чтобы эта процедура привела нас не к заблуждению, а к истине,

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

В задачи логики входит и исследование особенностей логических операций: классификации, определения, доказательства, опровержения и т.д.

Кроме того, формальная логика выявляет типичные ошибки в наших рассуждениях, рассматривает их причины и предлагает способы их устранения.