Почему закон исключённого третьего не действует в интуиционистской логике?

Закон исключённого третьего не действует в интуиционистской логике, потому что интуиционизм отвергает идею о том, что все высказывания делятся на истинные и ложные. intuit.ru

Интуиционистская логика полагается на возможность проверки всякого истинного утверждения: утверждение является истинным, только если в этом можно убедиться непосредственно, построив его доказательство. old.mccme.ru В таких условиях закон исключённого третьего не может считаться действительным. old.mccme.ru

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