Каарло Яакко Юхани Хинтикка (12 января 1929 – 12 августа 2015) был финским философом и логиком . Хинтикка считается основателем формальной эпистемической логики и игровой семантики для логики.
Хинтикка родился в Хельсингин-Маалайскунта (ныне Вантаа).
В 1953 году он получил докторскую степень в Хельсинкском университете за диссертацию на тему « Распределительные нормальные формы в исчислении предикатов» . Он был учеником Георга Хенрика фон Вригта .
Хинтикка был младшим научным сотрудником Гарвардского университета (1956-1969) и занимал несколько профессорских должностей в Университете Хельсинки, Академии Финляндии, Стэнфордском университете , Университете штата Флорида и, наконец, Бостонском университете с 1990 года до своей смерти. [1] Он был плодовитым автором или соавтором более 30 книг и более 300 научных статей. Хинтикка внес вклад в математическую логику , философскую логику , философию математики , эпистемологию , теорию языка и философию науки . Его работы опубликованы на более чем девяти языках.
Хинтикка редактировал академический журнал Synthese с 1962 по 2002 год и был редактором-консультантом более десяти журналов. Он был первым вице-президентом Fédération Internationale des Sociétés de Philosophie , вице-президентом Institut International de Philosophie (1993–1996), а также членом Американской философской ассоциации , Международного союза истории и философии науки , Ассоциации символической логики и членом правления Ассоциации философии науки . В 2005 году он получил премию Рольфа Шока по логике и философии «за новаторский вклад в логический анализ модальных концепций, в частности концепций знания и веры». В 1985 году он был президентом Флоридской философской ассоциации .
Он был членом Норвежской академии наук и литературы . [2] 26 мая 2000 года Хинтикка получил почетную докторскую степень от факультета истории и философии Уппсальского университета , Швеция [3]
В начале своей карьеры он разработал семантику модальной логики , по сути, аналогичную фреймовой семантике Сола Крипке , и открыл широко преподаваемую сейчас семантическую таблицу , независимо от Эверта Виллема Бета . Позже он работал в основном над игровой семантикой и над логикой, дружелюбной к независимости , известной своими « ветвящимися кванторами », которые, как он считал, лучше отражают наши интуиции о кванторах, чем традиционная логика первого порядка . Он проделал важную экзегетическую работу по Аристотелю , Иммануилу Канту , Людвигу Витгенштейну и Чарльзу Сандерсу Пирсу . Работу Хинтикки можно рассматривать как продолжение аналитической тенденции в философии, основанной Францем Брентано и Пирсом, развитой Готтлобом Фреге и Бертраном Расселом и продолженной Рудольфом Карнапом , Уиллардом Ван Орманом Куайном и учителем Хинтикки Георгом Хенриком фон Райтом . Например, в 1998 году он написал книгу «Пересмотр принципов математики» , в которой занял исследовательскую позицию, сопоставимую с той, которую Рассел занял в своих «Принципах математики» в 1903 году.
Библиографию см. в Auxier and Hahn (2006).
СМИ, связанные с Яакко Хинтиккой, на Викискладе?
