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





Ссылка на выделенный текст