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