Некоторые достижения Сола Крипке в области аналитической философии:
- Предложение семантики для модальной логики, основанной на лейбницевской идее возможных миров. gufo.me hrono.ru Эта концепция стала началом нового этапа в развитии логической дисциплины. gufo.me
- Интерпретация модальных операторов как особых кванторов, определённых на области возможных миров. gufo.me Это позволило строить экстенсиональные системы модальной логики и тем самым преодолеть ряд проблем, связанных с логическим анализом модальностей. gufo.me
- Концепция имён собственных как «жёстких десигнаторов», обозначающих один и тот же объект во всех возможных мирах, в которых этот объект существует. gufo.me hrono.ru
- Новое решение проблемы тождества: любой объект не просто тождествен самому себе, но необходимо тождественен, поэтому истинные утверждения тождества, формулируемые с помощью жёстких десигнаторов, являются необходимо-истинными. gufo.me
- Скептическая интерпретация рассуждений Л. Витгенштейна о «следовании правилу». gufo.me Крипке истолковал эти рассуждения как «скептический парадокс», ставящий под сомнение саму возможность существования языка и языковой коммуникации. gufo.me
- Вывод точки зрения эссенциализма в области эпистемологии. summa.rhga.ru По Крипке, любой научный язык опирается на представления о «возможном мире», который должен обладать целостностью и постоянством. summa.rhga.ru
- Вклад в теорию множеств: Крипке предложил и мотивировал один из вариантов аксиоматической теории множеств, известный как теория Крипке — Платека. ru.ruwiki.ru
Наиболее известная работа Крипке — монография «Именование и необходимость» (1980). ru.ruwiki.ru В 2001 году учёный получил премию Рольфа Шока по философии и логике. ru.ruwiki.ru