– любое высказывание, ]p – отрицание высказывания
р, v – знак дизъюнкции. Таким образом, истинно либо утверждение какого—либо факта, либо его отрицание.
Этот закон также был выдвинут Аристотелем. Согласно взглядам философов, которые были названы релятивистами (Кратил и др.), в мире все относительно и вообще нет ничего определенного, а поэтому невозможно никакое истинное знание. Аристотель возражал релятивистам: «Если мы имеем два противоречащих высказывания, т. е. таких, в одном из которых чтолибо, утверждается а в другом то же самое отрицается, то по крайней мере одно из них истинно».
Закон исключенного третьего выражает последовательность и непротиворечивость мышления, не допускает противоречий в мыслях. Конечно, закон исключенного третьего не может указать, какое именно из двух суждений истинно, для достижения этого необходимо использовать другие средства. Значение этого закона заключается в том, что он указывает направление в отыскании истины: возможны только два решения вопроса, и только одно – истинно.
Закон исключенного третьего требует ясных и четких ответов, указывая на невозможность отвечать на один и тот же вопрос в одном и том же смысле и «да» и «нет», на невозможность искать нечто среднее между утверждением чего—либо и отрицанием того же самого (третьего не дано: tertium non datur).
Это необходимо в точных науках, юридической практике. Большое применение находит закон исключенного третьего в процессе доказательства, например доказательства от противного.
К сожалению, не всегда возможно установление либо истинности, либо ложности суждения, что показали современные исследования проблем бесконечного ряда.
9 ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ
На основе одного из принципов правильного мышления (доказательности), строится закон достаточного основания.
Закон достаточного основания гласит: «Положение считается истинным только в том случае, если для него может быть сформулировано достаточное основание (если есть а, то есть и его основание b)».
Достаточное основание – положение (или совокупность положений), которое является заведомо истинным и из которого логически вытекает обосновываемое положение. Истинность основания может быть или доказана опытным путем, или выведена из истинности других положений.
Закон достаточного основания в современной интерпретации был впервые сформулирован