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