Fluxius Secundus
Интересно, спасибо. Кажется, он действительно въехал в проблематику вопроса сильнее многих. (Хотя, конечно, его рассуждения о долгосрочных планах у меня вызывают улыбку.)

Однако я бы предположил, что Юдковский сказал бы, что аналитическая философия действительно помогла сформулировать проблему соответствия (он, кстати, в Цепочках упоминает много людей, которые в упомянуты в англовики в статье про аналитическую философию), но за исключением этого вряд ли помогает её решить, потому что решение у этой задачи должно быть чисто техническое. В смысле, начиная с какого-то этапа чисто словесные абстрактные рассуждения перестают работать, нужно переходить к формализмам, про которые можно проверять, верно это или не верно.