ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА

Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”, отрицание “неверно, что” (“не”), слова, характеризующие количество предметов, о которых нечто утверждается или отрицается: “все” (“ни один”), “некоторые”, связка “суть” (“есть”) и др. Процесс выявления логической формы мысли заключается в отвлечении от смысла нелогических терминов, входящих в словосочетание, выражающее эту мысль. Сделать это можно различными способами. Например, опустить нелогические термины в словосочетании и поставить вместо них многоточия, штриховые и другие линии. В результате замены нелогических терминов многоточием и штриховой линией из предложения “Все адвокаты — юристы” получим выражение “Все ... суть — — — ”.

Другой способ отвлечения от смысла нелогических терминов заключается в замене этих терминов особыми символами (переменными). При этом вместо различных вхождений одного и того же нелогического термина ставится одна и та же переменная, а вместо различных терминов — различные переменные. Кроме того, вместо терминов различных типов ставятся символы различных типов.

Выявим логические формы следующих рассуждений:

(1) Все студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова изучают логику.

Некоторые студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова будут специализироваться по гражданскому праву.

Следовательно, некоторые студенты, которые будут специализироваться по гражданскому праву, изучают логику.

(2) Следователь — юрист. Следовательно, образованный следователь — образованный юрист.

Заменив нелогические термины символами, получим:

(1) Все М суть Р. Некоторые М суть S. Следовательно, некоторые S суть Р.

(2) S есть Р. Следовательно, sq есть pq.

Этими выражениями представляются логические формы исходных мыслей.

Таким образом, логическая форма мысли — это ее структура, выявляемая в результате отвлечения от смыслов и значений нелогических терминов.

Логическая форма содержательна, информативна. Так, выражение, получаемое в результате отвлечения от смыслов и значений нелогических терминов первого рассуждения, несет следующую информацию: “Если все предметы класса М включаются в класс Р и некоторые предметы класса М включаются в класс S, то некоторые предметы класса S включаются в класс Р”.

Мысли можно подразделить на классы в зависимости от типов их логических форм. Основные из этих классов составят мысли, называемые понятиями, суждениями и умозаключениями.

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

Суждениями называются мысли, в которых утверждается наличие или отсутствие каких-либо положений дел. Примеры: “Человек получил от Бога две блаженные способности — говорить правду и творить добро”; “Лучший способ изучить что-то — открыть это самому”.

Умозаключение — это процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных в суждениях. Примерами умозаключений могут служить приведенные выше рассуждения (1), (2).

Между мыслями существуют связи, зависящие только от их логических форм. Такие связи имеют место и между понятиями, и между суждениями, и между умозаключениями. Так, между мыслями логических форм “некоторые S суть Р” и “некоторые Р суть S” существует следующая связь: если истинна одна из этих мыслей, то истинна и вторая, независимо от того, каково нелогическое содержание этих мыслей.

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

Связь между мыслями в рассуждении (1) представляет собой логический закон. Чтобы установить, является ли связь между некоторыми исходными высказываниями и высказыванием, получаемым в результате рассуждения, логическим законом, необходимо вместо нелогических терминов подставлять в эти высказывания произвольные термины тех же типов и при этом всякий раз выяснять, окажется ли истинным получаемое высказывание при истинности исходных. Если всегда обнаруживается такая зависимость истинности высказываний, то связь между ними представляет собой логический закон. Если находится контрпример, то закономерной связи нет, и рассуждение не является правильным. Так, приведенное выше рассуждение “Следователь — юрист. Следовательно, образованный следователь — образованный юрист” является неправильным. Контрпримером для него может служить явно неправильное рассуждение:

Муха — животное. Следовательно, крупная муха — крупное животное.

В современной логике разработаны более простые и более продуктивные методы выявления закономерной связи между мыслями. Эти методы излагаются в главе "Умозаключение".

Имея понятия логической формы и логического закона, можно дать определение формальной логике.

Формальная логика — это наука о формах мышления, о формально-логических законах и других связях и отношениях между мыслями по их логическим формам.

Исследуя необходимые связи между мыслями по логическим формам — логические законы, логика формулирует утверждения об истинности всех высказываний определенной логической формы. Эти утверждения тоже называются законами, но в отличие от логических законов (связей, существующих независимо от того, знаем мы о них или нет) — законами (науки) логики. Например, установив, что всегда, когда истинны мысли форм “Все М суть Р” и “Все М суть S”, истинна мысль формы “Некоторые S суть Р”, можно сформулировать закон логики: “Для любых S, Р и М верно, что если все М суть Р и все М суть S, то некоторые S суть Р”. Законы логики, после того как они сформулированы, выступают в качестве норм, в соответствии с которыми должны осуществляться рассуждения. В логике разрабатываются также требования другого рода, которые рекомендуется выполнять в процессе познания. Формальная логика, таким образом, является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности.

Мышление, осуществляемое в соответствии с требованиями логики, называется правильным. Формальная логика, являясь наукой о правильном мышлении, исследует и систематизирует также типичные ошибки, совершаемые в процессе мышления, т.е. типичные алогизмы.

Длительное время предпринимаются попытки разработать логику диалектическую. Средства этой логики должны применяться в тех случаях, когда нельзя отвлекаться от развития знания. В рамках диалектической логики разработан ряд методологических принципов (конкретности, объективности рассмотрения и др.) и методов познания (восхождение от абстрактного к конкретному и др.).

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