Крипке Сол Аарон
КРИ́ПКЕ Сол Аарон (Kripke, Saul Aaron; родился в 1940 г., Бей-Шор, штат Нью-Йорк), американский логик и философ языка. Учился в Гарвардском и Оксфордском университетах. С 1976 г. — профессор Принстонского университета. В возрасте 19 лет Крипке опубликовал первую статью «Теорема полноты в модальной логике» («Журнал символической логики», №24, 1959). Начиная с этого времени, его работы по логике активно стимулировали развитие семантики «возможного мира». Этот подход, который нашел широкое применение в философии и ведет свое происхождение от идеи Г. В. Лейбница о необходимой истине как об истине во всех возможных мирах, создал систематическую основу для решения проблем, возникающих в связи со множеством существующих систем модальной логики. Далее Крипке развивал квантифицированную модальную логику, то есть логику, которая оперирует модализированными формулами, используя аппарат квантификации (неформально выражаемый словами «все» и «некоторые»). Таким образом Крипке разработал общие рамки для различных логик.
Впоследствии Крипке внес новаторский вклад в теорию истины и анализ некоторых логических и синтаксических парадоксов, а также способствовал дальнейшему развитию теории квантификации.
Особое значение имели идеи Крипке, содержавшиеся в его лекциях 1970 г., а также в книге «Именование и необходимость» (1980). В центре его анализа была критика традиционного различия между необходимыми истинами и истинами апостериори. В обсуждении имен собственных Крипке ввел понятие «жесткий десигнатор» для обозначения тех имен, которые выполняют референтную функцию в любом из возможных миров. Собственные имена, согласно Крипке, выбирают своих носителей или референтов независимо от каких-либо дескрипций, которые могут с ними ассоциироваться. Он сформулировал также так называемую каузальную (причинную) теорию значения, согласно которой использование имени основано в конечном счете на первоначальном отождествлении объекта с именем («дублировании» объекта), после чего использование имени поддерживается цепью причинно-следственных отношений, восходящей к этому первоначальному эпизоду. Тем самым отрицается отождествление имени с какой-либо дескрипцией или набором дескрипций, а это, в свою очередь, означает отказ от введенного еще немецким логиком и математиком Г. Фреге различия между смыслом термина и его референтом. Следствием теории Крипке было положение, что утверждения об идентичности, в которых фигурируют только имена собственные, являются необходимо истинными.
Одним из результатов развитых Крипке теорий стало возрождение интереса к проблеме различия между существенными и случайными свойствами объекта или личности. В монографии «Витгенштейн о правилах и частном языке» (1982) Крипке высказал мнение, приписывающее Л. Витгенштейну скептический взгляд на значение и следование правилам.
Влияние идей Крипке на современную логику было значительным, однако они вызывали споры и критику. Подвергались сомнению как само понятие возможных миров, так и аргументы Крипке в пользу существования предложений, которые могут быть одновременно и необходимыми, и апостериори.