Основные методологические принципы формальной логики

Как уже говорилось, формальная логика исследует связи между мыслями, зависящие от их логических форм, т.е. прежде всего от смысла логических терминов. Эти связи имеют место независимо от того, знаем ли мы о них или нет. Поскольку логические термины, по крайней мере некоторые, представляют наиболее общие характеристики внеязыковой действительности, постольку в логике выражается знание онтологического характера, знание о том, какими признаками обладает действительность. Такими знаниями, например, являются: (1) “Невозможно существование ситуации и в то же время ее отсутствие, в частности, невозможно наличие свойства у предмета и в то же время отсутствие этого свойства у предмета”; (2) “У изменяющихся предметов имеются свойства, которые остаются присущими им во многих случаях по крайней мере некоторое время”.

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

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

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

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

Принцип тождества дополняет сформулированный выше по отношению к юридическим терминам принцип однозначности.

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

Противоречия в языковых контекстах иногда являются неявными. Так, известное утверждение Сократа “Я знаю, что я ничего не знаю” скрывает в себе противоречие. В самом деле, если Сократ знает, что он ничего не знает, то он и этого не знает.

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

Высказывания А и Ø А нельзя отвергать одновременно, так как одно из них обязательно истинно, поскольку произвольная ситуация либо имеет, либо не имеет места в действительности.

Согласно этому принципу нужно уточнять наши понятия так, чтобы можно было давать ответы на альтернативные вопросы. Например: “Является ли это деяние преступлением или оно не является преступлением?” Если бы понятие “преступление” не было точно определено, то в некоторых случаях на этот вопрос невозможно было бы ответить. Другой вопрос: “Солнце взошло или не взошло?” Представим себе такую ситуацию: Солнце наполовину вышло из-за горизонта. Как ответить на этот вопрос? Принцип исключенного третьего требует, чтобы понятия уточнялись для возможности давать ответы на такого рода вопросы. В случае с восходом Солнца мы можем, например, договориться считать, что Солнце взошло, если оно чуть-чуть показалось из-за горизонта. В противном случае считать, что оно не взошло.

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

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

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

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