крипке в словаре кроссвордиста
Энциклопедический словарь, 1998 г.
КРИПКЕ (Kripke) Сол Арон (р. 1940) американский логик и философ, представитель аналитической философии. Разработал основы теоретико-модельной семантики; построил семантику возможных миров ("семантика Крипке"), на основе которой выдвинул оригинальную концепцию истины; использовал ее для преодоления семантических антиномий.
Википедия
Примеры употребления слова крипке в литературе.
В противоположность таким словам, например, фамилии и имена-отчества или числа не меняют своего значения при переходе из одного возможного мира в другой, поэтому Крипке назвал их жесткими десигнаторами.
Назовем лишь имена выдающихся философов: Ричард Монтегю, Дана Скотт, Сол Крипке, Яакко Хинтикка.
Источник: библиотека Максима Мошкова