Закон исключённого третьего: философские основы и применение