Хинтикка.Я.
Хинтикка.Я.

Яакко Хинтикка (1929–2015) — финский философ и логик. 


Основные достижения:

  • Разработка теории дистрибутивных нормальных форм логики предикатов первого порядка. Показал, что тавтологии являются информативными утверждениями. 
  • Создание семантики возможных миров для модальной логики.
  • Предложение теоретико-игровой семантики, основанной на концепции языковых игр Л. Витгенштейна. 
  • Разработка IF-логики (логики с ветвящимися кванторами), которая привела к пересмотру оснований современной математики. Главная заслуга Хинтикки состоит в формализации идеи независимости кванторов. 

Хинтикка был членом Финской академии наук и искусств, Академии Финляндии, иностранным членом Российской академии наук. 

Автор около 40 книг и более 300 статей по эпистемической, модальной, индуктивной и другим логикам, эпистемологии, истории философии и логики. 

Я

Я

Хинтикка.Я. Публикация