Энциклопедический словарь
Кри́пке Сол Арон
(Kripke) (р. 1940), американский логик и философ, представитель аналитической философии. Разработал основы теоретико-модельной семантики; построил семантику возможных миров («семантика Крипке»), на основе которой выдвинул оригинальную концепцию истины; использовал её для преодоления семантических антиномий.
* * *
КРИПКЕ Сол АронКРИ́ПКЕ (Kripke) Сол Арон (р. 1940), американский логик и философ, представитель аналитической философии. Разработал основы теоретико-модельной семантики; построил семантику возможных миров («семантика Крипке»), на основе которой выдвинул оригинальную концепцию истины; использовал ее для преодоления семантических антиномий.