Определение слова «ХИНТИККА»

Новейший философский словарь:

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

Новая философская энциклопедия:

ХИНТИККА (Hintikka) Яаакко (род. 1929, Вантамаа, Финляндия) – финский логик и философ; образование получил в Финляндии и в США. Работал в Гарвардском (1956–59), Хельсинкском и Стэнфордском (1965–82) университетах и в университете Флориды. С 1970 член Академии Финляндии, с 1990 профессор философии Бостонского университета, член Американской академии наук и искусств США, ведущий редактор философской серии крупного международного издательства Kluwer Academic Publishers.
Хинтикка является одним из критиков неопозитивизма, принципиальным противником инструменталистского подхода в гносеологии, и особенно в анализе процессов научного познания. Для его собственных философских взглядов характерны черты научного реализма. Специализируется в современной математической логике и эпистемологии, в формальной семантике, философии языка и методологии лингвистики. Разработанные им метод модельных множеств и конструкция дистрибутивных нормальных форм эффективно применяются при построении доказательств полноты различных формальных логических систем. Ему принадлежит также теоретико-игровая интерпретация логики. Ключевым понятием в ней является взаимодействие субъекта с реальностью. На основе этого понятия предлагается новая трактовка логических кванторов общности и существования. Интересные результаты получены Хинтиккой в области так называемой возможных миров семантики [ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА] для модальных и других неклассических логик. Определенный вклад Хинтикка внес в теорию пропозициональных установок, а также в разработку семантических проблем эпистемической логики и логики вопросов [ЛОГИКА ВОПРОСОВ]. Последние его работы посвящены философии математики и философским проблемам лингвистики.
Сочинения:
1. Логико-эпистемологические исследования. М., 1980;
2. Models for modalities. Dordrecht, 1969;
3. Logic, Language-Games and Information. Oxf., 1973;
4. Knowledge and the Known. Dordrecht, 1974;
5. The Semantics? Amsterdam, 1976;
6. Kant et la philosophie des mathematiques. P., 1996;
7. The Principles of Mathematics Revisited. Cambr., 1996;
8. Ludwig Wittgenstein: Half-truth and One-and-half-truth. Selected Papers, vol. I. Dordrecht, 1996;
9. Lingua Universalis vs. Calculus Ratiocinator. Selected Papers, vol. II. Dordrecht, 1996;
10. Language, Truth and Logic in Mathematics. Selected Papers, vol. III. Dordrecht, 1998;
11. Paradigms for Language Theory and Other Essays. Selected Papers, vol. I. Dordrecht, 1998.
П.И.Быстров

Смотреть другие определения →