Хинтикка - это...

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