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