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