Закон исключенного третьего: философия и логика