Статья представляет собой комментарий на статью О.А. Доманова, посвящённую использованию современной теории типов для анализа квантификации в непрозрачных контекстах. В статье коротко указываются недавние попытки использования теории типов для решения ряда философских проблем. В статье высказывается мнение о том, что исполь­зование теории типов, имеющей ряд существенных пре­имуществ перед классической логикой и теорией множеств, представляет собой весьма перспективное направление разработки философских проблем в духе аналитической фи­лософии. Кроме того, в статье указывается ряд моментов, на которые хотелось бы получить разъяснения автора коммен­тируемой статьи.