Хелпикс

Главная

Контакты

Случайная статья



Сэм Харрис. Д. Канеман. С. Крипке

⇐ ПредыдущаяСтр 6 из 10Следующая ⇒


Сэм Харрис

 

Д. Канеман

 

С. Крипке

Сол Крипке -американский философ и логик, почётный профессор Гарвардского университета. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.

Основные работы — по математической логике, философии языка, философии математики, метафизике, эпистемологии, теории множеств. В ранних работах внёс значительный вклад в развитие модальной логики.

Ключевые работы:

-Семантика Крипке для модальной логики

-Серия лекций «Именование и необходимость» 1970 года (опубликованы в 1972 и 1980 годах) оказали большое влияние на философию языка;

-Интерпретация философии Витгенштейна;

-Теория истины.

Также внёс вклад в теорию множеств, предложив и мотивировав один из вариантов аксиоматической теории множеств, известный как теория Крипке — Платека.

Модальная логика- первые работы Крипке. Самые распространенные логики в семье модальных созданы из слабой логики К — названной в честь Крипке за его вклад в развитие этого направления: он представил ставшую де-факто стандартной семантику Крипке (реляционную семантику или фрейм-семантику).

Шкалой Крипке Fс одним отношением называется пара (W,R), где W — это произвольное множество (часто говорят множество возможных миров), а R ( W x W — отношение на W (множество стрелок или упорядоченных пар).

Моделью Крипке Mназывается пара (F,V), где V — это оценка на шкале, которая каждой переменной ставит в соответствие множество миров, в которых эта переменная считается истинной. Формально оценку представляют, как функцию из множества переменных PL в множество всех подмножеств W. Истинность в точке в модели Крипке обозначается с помощью знака |= и определяется индукцией по длине формулы:

 

Религиозный взгляд

«Я не имею тех предубеждений, которые имеют сегодня многие. Я не верю в натуралистский взгляд на мир. Мое мышление не основывается на предрассудках или каком-то мировоззрении, и я не верю в материализм»

 


⇐ Предыдущая12345678910Следующая ⇒
  

© helpiks.su При использовании или копировании материалов прямая ссылка на сайт обязательна.