Бизнес-класс

Эффективное обучение эффективности


Хинтикка Яаакко

Яаакко Хинтикка/ Jaakko Hintikka

 

 В последнее время Хинтикка разработал так называемую IF-логику (логику, дружественную к независимости), которая позволяет пересмотреть основания современной математики, лингвистики и теории индуктивных рассуждений.


Хинтикка - известный финский логик и философ. Перу Хинтикки принадлежат также труды по философии науки, истории философии и истории идей, интерпретации современных философских учений, философии образования, эстетики.

Я.Хинтикка является (наряду с С.Крипке) одним из создателем семантики возможных миров для модальной логики, получившей широкое распространение в логических исследованиях. Однако наиболее признанным его достижением является так называемая теоретико-игровая семантика, основанная на концепции языковых игр Л.Витгенштейна. Истинность или ложность утверждения в подобной семантике является результатом некоторой игры, партнерами в которой выступают Я и Природа. Точнее говоря, некоторое утверждение будет истинным, если нам известна стратегия, позволяющая в каждом случае выиграть эту игру.

Хинтикка также разработал теорию дистрибутивных нормальных форм, которая позволила выяснить, что тавтологии (всегда истинные утверждения), вопреки установившемуся мнению, являются информативными утверждениями, а не пустыми утверждениями, не содержащими никакой новой информации.

Яакко Хинтикка, его жизнь и работы

Хинтикка родился 12 января 1929 в г.Вантаа (Финляндия).

Философское образование получил в Хельсинкском университете и Вильямс Колледж (США). В 1953 защитил диссертацию под руководством видного финского философа и логика Г. фон Вригта.

С 1956 по 1959 стажировался в Гарвардском университете (США), одновременно работая в Хельсинском университете. С 1965 служебные обязанности Хинтикки делятся между Стэнфордским университетом (США) (1965–1982), Хельсинским университетом (до 1970), а затем и Академией Финляндии (1970–1981). С 1978 по 1990 он был профессором Университета Флориды в г.Таллахасси (США), а с 1990 становится профессором Бостонского университета (США).

Признанием заслуг Хинтикки явилось его избрание в Финскую академию наук и искусств (1961), академию Финляндии (1970), Американскую академию искусств и науки (1974), Норвежскую академию наук и искусств (1991), а также во многие международные философские организации. Среди его главных работ – «Модели для модальностей» (1969); «Логика, языковые игры и информация. Кантианские темы в философии логики» (1973, русский перевод – М., 1980); «Знание и известное. Исторические перспективы в эпистемологии» (1974, русский перевод – М., 1980). Большой интерес вызвала его книга «Пересмотр принципов математики» (1996).

В последнее время Хинтикка разработал так называемую IF-логику (логику, дружественную к независимости), которая позволяет пересмотреть основания современной математики, лингвистики и теории индуктивных рассуждений. В языке этой логики существуют средства, позволяющие проводить независимое параллельное использование индивидных переменных, чего нет в классической логике, где это использование всегда взаимно детерминировано. Использование этой логики приводит к пересмотру концепции истины А.Тарского, когда истинность выражений данного языка определяется с помощью метаязыка: в языке IF-логики определение истинности утверждений возможно в нем самом же. Однако это приводит к неполноте логической системы (модели богаче систем, которые они моделируют), в связи с чем Хинтикка предлагает пересмотреть само понятие полноты, утверждая, что в математике, в частности, подобная ситуация имеет место всегда.

Источник:

http://www.krugosvet.ru

 



Добавить страницу в закладки

  • на главную
  • контакты
  • версия для печати
  • карта сайта
Яndex
 

Ближайшие клубыБлижайшие клубы

Предварительная запись
«Бизнес Новости»

События и новостиСобытия и новости

01.06.2013
«Подбор сотрудников»

В компании «Бизнес Класс» активно работает направление по подбору сотрудников. Подробности >> 

Заповеди руководителяЗаповеди руководителя

Виктор Гюго

Худшее не может быть оправданием плохого.

 

Сделать стартовой