Большой энциклопедический словарь - крипке (kripke) сол арон

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