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