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