истинных утверждений – как истинных лишь в некоторых возможных мирах. Однако Крипке не просто оживил идею Лейбница, но и дополнил ее понятием достижимости между возможными мирами. В семантике Крипке оценка истинности или ложности возможных и необходимых утверждений проводится в мирах, достижимых из данного мира, причем свойства самого отношения достижимости начинают играть существенную роль, определяя спектр различных типов модальности.
Разработанная Крипке каузальная (историческая) концепция имени предполагает возможность жесткой отсылки имени к предмету, когда имя (жесткий десигнатор) указывает на один и тот же объект во всех возможных мирах, в которых этот объект существует. Если же это условие не выполняется, то указание становится случайным. Усвоение носителями языка значений языковых выражений предполагает как знание процедур первоначального именования, так и передачу имени от одного носителя языка к другому. С точки зрения подобного подхода утверждение тождества с помощью жестких десигнаторов («Цицерон есть Туллий») будет необходимой истиной. Однако она будет истиной апостериорной, окончательно установленной только посредством эмпирического исследования. Эта апостериорная необходимость, по мнению Крипке, является метафизической необходимостью, совершенно независящей от какого-либо знания носителей языка о мире.
Вкладом Крипке в философию сознания является его аргумент против материализма в форме «теории тождества», когда каждый ментальный факт отождествляется с некоторым физическим фактом. Крипке утверждает, что единственным способом защитить это отождествление является использование апостериорного тождества, но такое тождество (например, отождествление боли с импульсом, вызванным раздражением рецепторов) может быть и случайным (контрпример – боль от необходимости лгать во имя добра).
Небольшая работа Крипке
знаменовала собой новый этап в развитии теории истины после результатов А.Тарского, полученных еще в первой половине 20-го века. Крипке рассматривает истинность предложения как некоторый процесс, направленный на ликвидацию истинностных провалов, когда мы не в состоянии ответить на вопрос, истинно или ложно рассматриваемое предложение.
Не все результаты Крипке бесспорны. Его работа
. Влияние Крипке на современную философию существенно, однако многие его работы, к сожалению, существуют лишь в виде магнитофонных записей или в виде конспектов лекций.
Труды, кроме указанных в статье: