Закон исключённого третьего
Закон исключённого третьего можно сформулировать так:
Из двух противоречащих суждений одно всегда истинно, другое — ложно, а третьего, среднего между ними ничего быть не может.
Пример.
Из двух противоречащих суждений: Ока — приток Волги
и Ока не приток Волги
, первое суждение истинно, второе — ложно. Среднего здесь ничего быть не может. Если бы кто-либо стал утверждать, что Ока — приток другой реки, а не Волги
, то это новое, ложное, суждение по существу не представляло бы ничего среднего, третьего, так как оно совпало бы с суждением Ока не приток Волги
.
Этот закон применяется только к противоречащим суждениям.
Суждения называются противоречащими тогда, когда одно суждение что-то утверждает, а другое — отрицает то же самое в то же время и в том же отношении.