Кри́пке (Kripke) Сол Арон (р. 1940), американский логик и философ, представитель аналитической философии. Разработал основы теоретико-модельной семантики; построил семантику возможных миров («семантика Крипке»), на основе которой выдвинул оригинальную концепцию истины; использовал ее для преодоления семантических антиномий.
- Тождество и необходимость // Новое в зарубежной лингвистике. Вып. XII. М., 1982.
- Загадка контекстов мнения // Новое в зарубежной лингвистике. Вып. XVIII. М., 1986.
- Naming and Necessity. Oxford, 1980.
- Wittgenstein on Rules and Private Language. Oxford, 1982.