Понятие логической формы

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

Структуру мысли, т. е. ее логическую форму, можно выра­зить при помощи символов. Выявим структуру (логическую форму) в трех следующих суждениях: «Все караси — рыбы», «Все люди смертны», «Все бабочки — насекомые». Содержание у них разное, а форма одна и та же: «Все S есть Р»; она включает S (субъект), т. е. понятие о предмете суждения, Р (предикат), т. е. понятие о признаке предмета, связку («есть»), кванторное слово («все»). Иногда связка может отсутствовать или заменяться тире.

Два следующих условных суждения имеют одну и ту же форму: 1) «Если железо нагреть, то оно расширяется»; 2) «Если учащийся изучает логику, то он повышает четкость своего мыш­ления». Форма этих суждений такая: «Если S есть Р, то S есть P₁».

Логические законы

Соблюдение законов логики — необходимое условие дости­жения истины в процессе рассуждения. Основными формально­логическими законами обычно считаются: 1) закон тождества; 2) закон непротиворечия; 3) закон исключенного третьего; 4) за­кон достаточного основания. Они будут подробно излагаться в отдельной главе. Эти законы (принципы) выражают определен­ность, непротиворечивость, доказательность мышления.

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

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

Истинность мысли и формальная правильность рассуждений

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

Понятие формальной правильности рассуждения относится лишь к логическим действиям и операциям мышления. Ф. Эн­гельс писал: «Если наши предпосылки верны и если мы правиль­но применяем к ним законы мышления, то результат должен соответствовать действительности...»⁴ Если в числе посылок умо­заключения встречается ложная посылка, то при соблюдении правил логики мы в заключении можем получить и истину, и ложь. Чтоб это показать, возьмем такое умозаключение:

Все металлы — твердые тела. Ртуть не является твердым телом.

Ртуть не является металлом.

В этом умозаключении заключение получилось ложным имен­но потому, что в качестве первой посылки взято ложное сужде­ние. Чтобы заключение было истинным, обе посылки должны быть истинными суждениями (имеется в виду, что правила логи­ки соблюдены). При несоблюдении правил логики (если посылки при этом истинны) мы также можем получить как истинное, так и ложное заключение. Например:

Все тигры — полосатые. Это животное — полосатое.

Это животное — тигр.

Во втором умозаключении обе посылки — истинные суждения, но полученное заключение может быть как ложным, так и истин­ным потому, что было нарушено одно из правил умозаключения.

Итак, с точки зрения содержания мышление может давать истинное или ложное отражение мира, а со стороны формы оно может быть логически правильным или неправильным. Истин­ность есть соответствие мысли действительности, а правильность мышления — соблюдение законов и правил логики. Нельзя отождествлять (смешивать) следующие понятия: «истинность» («ис­тина») и «правильность», а также понятия «ложность» («ложь») и «неправильность».

Материалистическая диалектика — глубокое и всестороннее учение о развитии. Законы и категории материалистической диа­лектики рассматриваются как отражение всеобщих связей объективного мира и как ступени развития его познания.

Современная логика — это интенсивно развивающаяся наука, которая включает в себя логику формальную и логику диалек­тическую. На их базе формируется логика научного познания, использующая методы обеих наук для анализа научного знания.

Как уже отмечалось, формальная логика — наука о законах и формах правильного мышления. Формальная логика в опреде­ленном смысле подобна грамматике. К. Д. Ушинский считал логику грамматикой мышления. Подобно грамматике, прида­ющей языку стройный и четко осмысленный характер, логика обеспечивает доказательность и стройность мышления.

Основные этапы развития формальной логики

Формальная логика в своем развитии прошла два основных этапа. Основанием деления на эти этапы служит различие приме­няемых в логике средств и методов исследования. Начало первого этапа связано с работами древнегреческого философа и ученого Аристотеля (384—322 гг. до н. э.), в которых впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют «традиционной» формальной логикой. Традиционная формальная логика включа­ла и включает такие разделы, как понятие, суждение, умозак­лючение (в том числе и индуктивное), законы логики, доказатель­ство и опровержение, гипотеза. Аристотель видел в логике ору­дие (или метод) исследования. Основным содержанием аристоте­левой логики является теория дедукции. В логике Аристотеля содержатся элементы математической (символической) логики, у него имеются «начатки исчисления высказываний»⁶.

Второй этап — это появление математической (или символи­ческой) логики.

Немецкий философ Г. В. Лейбниц (1646—1716) по праву счи­тается основоположником математической (символической) ло­гики.

Начиная с Лейбница в логике используется в качестве метода исследования метод формализации, который традиционной логи­кой относился только к методам математического исследования, а Лейбниц показал, что он имеет общенаучный характер. Лейб­ниц пытался построить универсальный язык, с помощью которо­го споры между людьми можно было бы разрешать посредством вычисления. В XIX в. математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого, Г. Фреге и других логиков.

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

Другим основанием деления логики служит различие приме­няемых в ней принципов, на которых базируются исследования. В результате такого деления имеем классическую логику и не­классические логики. В. С. Меськов выделяет такие основопола­гающие принципы классической логики: «1) область исследова­ния составляют обыденные рассуждения, рассуждения в класси­ческих науках; 2) допущение о разрешимости любой проблемы; 3) отвлечение от содержания высказываний и от связей по смыс­лу между ними; 4) абстракция двузначности высказываний»⁷.