Предложена логическая формализация отношения супервентности, позволяющая представить ее как логическое, теоретическое либо фактическое отношение между отдельным свойством и другим свойством, между отдельным свойством и множеством свойств, между двумя множествами свойств. Охарактеризованы основные логические свойства этих отношений, дана оценка известных определений слабой индивидуальной супервентности, сильной индивидуальной супервентности и глобальной супервентности, связанных с концепцией возможных миров, с позиции предложенной формализации. Подчеркнуто различие между пониманием термина «свойство» в классической логике предикатов и пониманием этого термина за ее пределами. Рассмотрены возможные интерпретации тезиса Д. Дэвидсона о супервентности ментальных характеристик на физических характеристиках. Продемонстрировано, что тезис Дэвидсона не соответствует ни одному из отношений супервентности, формализация которых была представлена. Приведен пример схемы идеального гипотетически возможного эксперимента, результаты которого могли бы опровергнуть тезис о супервентности ментальных характеристик на физических. Выдвинуты аргументы в пользу скептической позиции относительно возможности решения проблемы супервентности ментального на физическом. Описаны два типа возможных ситуаций, в которых может быть обнаружена супервентность одних свойств на других свойствах. Показано, что в ситуациях каждого из этих типов отношение супервентности обнаруживается в качестве следствия какого-либо более сильного типа связи, тем самым выявлена его вторичность относительно реально фиксируемых в опыте либо теоретически обосновываемых корреляционных зависимостей между свойствами (множествами свойств) изучаемых объектов. Сделан вывод, что значение идеи супервентности в аналитической философии переоценено.