КРИПКЕ Сол Аарон

(13 ноября 1940, Бэй Шор, шт. Нью-Йорк) — американский философ и логик. Закончил Гарвардский университет. Преподавал в Гарвардском и Рокфеллеровском университетах (1963—76), с 1977 — профессор Принстонского университета. Основные области исследования: модальная логика,  логическая семантика,  философия языка,  эпистемология. Предложил семантику для модальной логики, основанную на лейбницевской идее возможных миров. Семантика Крипке стала началом нового этапа в развитии этой логической дисциплины. Предложенная им интерпретация модальных операторов как особых кванторов, определенных на области возможных миров (возможные миры,  по Крипке, это абстракции возможных состояний действительного мира) позволила строить экстенсиональные системы модальной логики и тем самым преодолеть ряд проблем, связанных с логическим анализом модальностей. Его книга «Именование и необходимость» (Naming and Necessity, 1980) посвящена философским следствиям его семантики. Выступая против традиционного отождествления необходимо-истинных утверждений с априорными и определяя первые как истинные во всех возможных мирах, Крипке полагает, что могут быть необходимые истины, устанавливаемые эмпирическим путем, и случайные истины, известные нам априорно. Более того, он значительно расширяет класс «необходимого», отстаивая необходимость de ге, т. е. необходимость, присущую самим вещам. Крипке критикует традиционную теорию значения и формулирует концепцию имен собственных как «жестких десигнаторов», обозначающих один и тот же объект во всех возможных мирах, в которых этот объект существует. Референция имени не фиксируется с помощью дескрипций, а устанавливается непосредственно, путем указания на объект, во время «церемонии первого крещения (или именования)», а затем по каузальной цепочке передается от одного говорящего к другому. Аналогичную «каузальную» теорию референции он формулирует и для терминов «естественных видов», обозначающих животных, растения, природные вещества и т. д. Эти термины являются жесткими десигнаторами, т. к. ее- тественные виды обладают необходимыми свойствами, т. е. свойствами, присущими им во всех возможных мирах. В то же время Крипке предлагает новое решение проблемы тождества: проблему «трансмирового» тождества он считает псевдопроблемой; для него любой объект не просто тождествен самому себе, но необходимо тождественен, поэтому истинные утверждения тождества, формулируемые с помощью жестких десигнаторов, являются необходимо-истинными. На этой основе Крипке строит свой аргумент против теории, отождествляющей сознание и мозг: если бы состояния мозга и состояния сознания были бы тождественны, то они должны были бы быть необходимо тождественными, а это не так, ибо возможны состояния мозга без соответствующих состояний сознания. В 80-е гг. Крипке обращается к проблеме парадоксов семантических. Предложенная им «скептическая интерпретация» рассуждения Л. Витгенштейна о «следовании правилу» положила начало бурной дискуссии. Крипке истолковал указанные рассуждения Витгенштейна как «скептический парадокс» , ставящий под сомнение саму возможность существования языка и языковой коммуникации. Заслугу Витгенштейна Крипке видит в том, что он не только поставил, но и разрешил этот парадокс, показав, почему невозможен персональный язык и почему возможен язык человеческой коммуникации, осуществляемой в рамках «языкового сообщества» с присущими ему обычаями, практиками и «формами жизни».

Соч.: Семантический анализ модальной логики, — В кн.: Фейс Р. Модальная логика. М.. 1974, с. 254—323; Семантическое рассмотрение модальной логики. — В кн.: Семантика модальных и интенсиональных логик. М., 1981; Тождество и необходимость. — В кн.: Новое в зарубежной лингвистике. М., 1982, вып. 13; Naming and Necessity. Cambr. (Mass.). 1980: Wittgenstein on Rules and Private Language: An Elementary Exposition. Oxf.. 1982.

Лит.; Passmore J. Recent Philosophers. A Supplement to «A Hundred Years of Philosophy». L.. 1985.

Л. Б. Макеева