Логика в вопросах и ответах | страница 15
Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: «Два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо b, либо не-b. Истинно либо утверждение некоторого факта, либо его отрицание».
Противоречащими (контрадикторными) называются суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом – отрицается (утверждается) о некоторой части этого множества. Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно, и наоборот. Например, если суждение «Каждому гражданину Российской Федерации гарантируется право на получение квалифицированной юридической помощи» истинно, то суждение «Некоторым гражданам Российской Федерации не гарантируется право на получение квалифицированной юридической помощи» ложно. Противоречащим являются также два суждения об одном предмете, в одном из которых что-либо утверждается, а в другом то же самое отрицается. Например: «П. привлечен к административной ответственности» и «П. не привлечен к административной ответственности». Одно из этих суждений необходимо истинно, другое – необходимо ложно.
Этот закон можно записать с помощью дизъюнкции: р v
Подобно закону непротиворечия, закон исключенного третьего выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях. Вместе с тем, действуя только в отношении противоречащих суждений, он устанавливает, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но также и одновременно ложными: если ложно одно из них, то другое необходимо истинно – третьего не дано.
Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Этот вопрос решается другими средствами. Значение закона состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо истинно.
Закон исключенного третьего требует ясных, определенных ответов, указывая на невозможность отвечать на один и тот же вопрос в одном и том же смысле и «да» и «нет», на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же самого.