Финляндия
Финский лингвист и логик. Работал в США.
Хинтикка Яакко - «Один из создателей семантики возможных миров.
Представление о том, что у настоящего может быть не одно, а несколько направлений развития в будущем (это, собственно, и составляет содержание понятия «возможные миры»), было, вероятно, в культуре всегда.
Но оно обострилось в XX веке в связи с общей теорией относительности, с представлением о том, что время есть четвёртое измерение и, стало быть, по нему можно передвигаться, как по пространству.
Вообще же понятие возможных миров имеет логико-философское происхождение. Его, как и многое другое, придумал Лейбниц, который рассматривал необходимо истинное высказывание как высказывание, истинное во всех возможных мирах, т. е. при всех обстоятельствах, при любом направлении событий, а возможно истинное высказывание - как истинное в одном или нескольких возможных мирах, то есть при одном или нескольких поворотах событий.
В середине XX века, после Второй мировой войны, логика разработала несколько семантических систем, где определяющую роль играло понятие возможных миров.
С философской точки зрения важно, что в этих построениях действительный мир рассматривается лишь как один из возможных.
Действительный мир не занимает привилегированного положения. Именно это представление было чрезвычайно характерным для культурного сознания XX века.
Пафос философии возможных миров в том, что абсолютной истины нет, она зависит от наблюдателя и свидетеля событий (См. также Категорию портала VIKENT.RU: Картины мира – Прим. И.Л. Викентьева).
Необходимо существующее здесь рассматривалось как истинное во всех возможных мирах, соотносимых с реальным миром, а возможно существующее, - как истинное хотя бы в одном из возможных миров, соотносимых с реальным. Таким образом, художественная литература могла рассматриваться как один из возможных миров, проблема же квантификации модальных контекстов решалась как перекрестная идентификация объектов на границах возможных миров».
Культурология: люди и идеи, М., «Академическпй проект», 2006 г., с. 469.
«В 1990-е годы Яаакко Хинтикка начал разрабатывать IF-логику (логика с ветвящимися кванторами), которая привела к пересмотру оснований современной математики. В этой области главная заслуга Хинтикки состоит в формализации идеи независимости кванторов - необходимо учитывать независимость квантификации одной переменной от другой. В результате IF-логика становится богаче классической логики предикатов, а само понятие кванторов более соответствующим нашим интуициям. Главной особенностью новой логики является её неполнота, что означает невозможность дать список аксиом, из которых все общезначимые формулы первопорядковой IF-логики могут быть выведены по чисто формальным правилам. Соответственно, Хинтикка предложил пересмотреть само понятие полноты и фактически попытался свести всю обычную математику к расширенной первопорядковой IF-логике. Это дало повод заговорить о революции в логике. В связи с этим большой интерес вызвала его книга: Hintikka J. Contemporary Philosophy and the Problem of Truth. Russian Translation by N.N. Shulgin,, которую сравнивали с книгой Бертрана Рассела «Принципы математики» (1903).
Впоследствии опираясь на теоремы Гёделя о неполноте, Хинтикка вступает в дискуссию между «механистами» (утверждающими, что человеческий разум может быть точно смоделирован цифровым компьютером или машиной Тьюринга) и «антимеханистами». Он принимает сторону последних, утверждая, что результат Гёделя выявляет ограниченность вычислительных машин, а не людей с их логикой и математикой и уж конечно не человеческого разума».
От редакции: Памяти Яаакко Хинтики (1929-2015), журнал «Вопросы философии», 2015 г., № 2, c. 5.
Яакко Хинтикка – ученик Георга Хенрика фон Вригта.
Регистрация на конференц
Страница конференции во ВКонтакте: 
