2.5. Формально-логические законы и принципы логики

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

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

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

Из перечисленных основных законов логики два первых – закон исключенного третьего и закон противоречия – действительно являются законами логики, остальные два – лишь определенные требования.

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

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

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

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

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

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

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

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

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

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