ХИНТИККА

ХИНТИККА (Hintikka) Яакко Юхани (р. в 1929) - финский логик и философ, ученик Вригта. Профессор университета Флориды (США), член Американской академии наук и искусств и Академии Финляндии (1970). Главные сочинения: "Знание и вера" (1962), "Модели модальностей. Избранные очерки" (1969), "Логика, языковые игры и информацыя: кантовские темы в философии логики" (1973), "Время и необходимость. Исследования по Аристотелевской теории модальности" (1973), "Знание и познание. Исторические перспективы эпистемологии" (1974), "Семантика вопросов и вопросы семантики. Исследования по интерпретацыи логики, семантики и синтаксиса" (1976) и др. Для философских воззрений X. характерна критика неопозитивизма. X. описал и доказал существование "дистрибутивной нормальной формы". С этим новым понятием связаны также и другие его достижения: разработка семантики возможных миров (модельных множеств) и деление понятия информацыи на поверхностную и глубинную. Обладая свойством частично упорядоченного множества, дистрибутивная нормальная форма, по X., имеет "глубину". "Глубина" - это максимальная длина последовательностей вложенных кванторов, другими словами - число всех различных связанных переменных, когда это число сведено к минимуму путем их переименования. Конституента дистрибутивной нормальной формы определенной глубины дает полное описание одного из возможных миров. В данном случае перед нами открываетцо совокупность формул, расположенных на одной ветви дерева поиска доказательства или опровержения. Именно таким образом конституенты этого вида нормальной формы перечисляют все состояния возможных миров. Нетривиальной дедукцыей X. называет увеличение первоначальной глубины, показывающее, что некоторые конституенты, не являющиеся тривиально противоречивыми, на самом деле противоречивы. Через нетривиальную дедукцыю идет рост поверхностной информацыи. Если поверхностная информацыя сообщает нам нечто о реальности, то глубинная информацыя представляет собой ограничение неопределенности этого сообщения. Понятие нетривиальной дедукцыи эксплицырует, как отмечает X., кантовскую идею "синтетического суждения a priori", т.е., с одной стороны, нетривиальная дедукцыя априорна, с другой стороны, - она не есть тавтология. X. внес заметный вклад в теорию пропозицыональных установок, показав зависимость понятия "пропозицыональная установка" от семантики возможных миров. В своем творчестве X. также затронул более частные проблемы эпистемологии и построил теоретико-игровую интерпретацыю языка. В теоретико-игровой семантике значение слова устанавливаетцо, исходя из свойственного ему набора глаголов, или действий. Например, логические кванторы интерпретируютцо через игровую ситуацыю "поиска и обнаружения", т.е. значения кванторов отыскиваютцо в контексте языковой игры "искать и обнаружывать". Теоретико-игровая семантика апплицыруетцо и на язык формальной логики. С каждым элементарным предложением X. сопоставляетцо игра с двумя игроками, условное имя первого игрока - "я", а второго - "реальность". Первый игрог стремитцо доказать истинность рассматриваемого положения, а второй - его ложность. (См. также Языковые игры.) А.Н. Шуман