(p. 1929) - финский логик и философ, активно включающий логику в разнообразные философские контексты, основатель теоретико-игровой семантики, внес значительный вклад в семантику возможных миров.
1. Хинтикка Я. Логико-эпистемологические исследования. М., 1980. 2. Он же. Действительно ли логика — ключ ко всякому хорошему рассуждению? // Вопросы философии. 2000. № 11. 3. Он же. Проблема истины в современной философии // Вопросы философии. 1996. № 9.
Хинтикка, Яакко
ХИНТИККА ЯАККО
Источник: Философия науки. Краткий энциклопедический словарь. 2008 г.
ХИНТИККА Яакко
финский философ и логик (р. Хельсинки, 1929). После учебы в Гарварде становится профессором в Хельсинки (1959), Беркли (1963) и Стэнфорде. Вносит важный вклад в математическую логику, теорию индукции, логический анализ научных методов, философию языка и историю логики. Его работы, в частности: «Distributive Normal Forms in the Calculus of Predicates» (1953), «Two Papers on Symbolic Logic» (1955), «Aspects of Inductive Logic» (1966), «Logic, Language Games and Informations» (1972).
Источник: Философский словарь
ХИНТИККА (Hintikka) Яакко
p. 1929) - финский логик и философ, ученик Вригта. Работал в Стэнфордском и Хельсинкском ун-тах, в 1970 избран членом Академии Финляндии, проф. ун-та Флориды, член Американской академии наук и искусств, входит в состав редколлегий ряда международных и национальных журналов по философии и логике. Для философских воззрений X. характерны неприятие и критика неопозитивизма. На основе предложенной им концепции глубинной и поверхностной информации X. последовательно отстаивает идею об активном характере человеческого познания, о том, что математические и логические истины несут информацию о реальной действительности. Он является принципиальным противником и критиком инструменталистского подхода в гносеологии, особенно в анализе научного знания. В подходе X. к решению философских проблем преобладают черты реализма и материализма, в частности научного реализма. Общепризнан вклад X. в логику и эпистемологию. Им разработан метод модельных множеств и дистрибутивных нормальных форм, который является эффективным средством построения доказательств полноты логических систем; построена теоретико-игровая интерпретация логики, в частности, предложена новая трактовка логических кванторов, основанная на понятии взаимодействия субъекта и реальности. X. принадлежат важные результаты в разработках семантики возможных миров для неклассических логик, в теории пропозициональных установок, в эпистемической логике и логике вопросов.
Логико-эпистемологические исследования. М., 1980; Models for Modalities. Dordrecht, 1969; Logic, Language-Games and Information. Oxford, 1973; Knowledge and the Known. Dordrecht, 1974; The Semantics. Amsterdam, 1976.
Логико-эпистемологические исследования. М., 1980; Models for Modalities. Dordrecht, 1969; Logic, Language-Games and Information. Oxford, 1973; Knowledge and the Known. Dordrecht, 1974; The Semantics. Amsterdam, 1976.
Источник: Современная западная философия: словарь
Хинтикка, Яакко
род. 1929, Вантамаа, Финляндия) — финский логик и философ; образование получил в Финляндии и в США. Работал в Гарвардском (1956—59), Хельсинкском и Стэнфордском (1965—82) университетах и в университете Флориды. С 1970 член Академии Финляндии, с 1990 профессор философии Бостонского университета, член Американской академии наук и искусств США, ведущий редактор философской серии крупного международного издательства Kluwer Academic Publishers.
Хинтикка является одним из критиков неопозитивизма, принципиальным противником инструменталистского подхода в гносеологии, и особенно в анализе процессов научного познания. Для его собственных философских взглядов характерны черты научного реализма. Специализируется в современной математической логике и эпистемологии, в формальной семантике, философии языка и методологии лингвистики.
Разработанные им метод модельных множеств и конструкция дистрибутивньк нормальных форм эффективно применяются при построении доказательств полноты различных формальных логических систем. Ему принадлежит также теоретико-игровая интерпретация логики. Ключевым понятием в ней является взаимодействие субъекта с реальностью. На основе этого понятия предлагается новая трактовка логических кванторов общности и существования. Интересные результаты получены Хинтиккой в области так называемой возможных миров семантики для модальных и других неклассических логик. Определенный вклад Хинтикка внес в теорию пропозициональных установок, а также в разработку семантических проблем эпистемической логики »логики вопросов. Последние его работы посвящены философии математики и философским проблемам лингвистики.
Соч.: Логико-эпистемологические исследования. М., 1980; Models for modalities. Dordrecht, 1969; Logic, Language-Games and Information. Oxf., 1973; Knowledge and the Known. Dordrecht, 1974; The Semantics? Amsterdam, 1976; Kant et la philosophie des mathematiques. P., 1996; The Principles of Mathematics Revisited. Cambr., 1996; Ludwig Wttgenstein: Half-truth and One-and-half-truth. Selected Papers, vol. I. Dordrecht, 1996; Lingua Universalis vs. Calculus Ratiocinator. Selected Papers, vol. II. Dordrecht, 1996; Language, Truth and Logic in Mathematics. Selected Papers, vol. III. Dordrecht, 1998; Paradigms for Language Theory and Other Essays. Selected Papers, vol. IV. Dordrecht, 1998.
П. И. Быстрое
Источник: Новая философская энциклопедия
Хинтикка, Яакко
финский логик и философ. Профессор университета Флориды (США), член Американской академии наук и искусств и Академии Финляндии (1970). Главные сочинения: "Знание и вера" (1962), "Модели модальностей. Избранные очерки" (1969), "Логика, языковые игры и информация: кантовские темы в философии логики" (1973), "Время и необходимость. Исследования по Аристотелевской теории модальности" (1973), "Знание и познание. Исторические перспективы эпистемологии" (1974), "Семантика вопросов и вопросы семантики. Исследования по интерпретации логики, семантики и синтаксиса" (1976) и др. Для философских воззрений X. характерна критика неопозитивизма. X. описал и доказал существование "дистрибутивной нормальной формы". С этим новым понятием связаны также и другие его достижения: разработка семантики возможных миров (модальных множеств) и деление понятия информации на поверхностную и глубинную. Обладая свойством частично упорядоченного множества, дистрибутивная нормальная форма, по X., имеет "глубину". "Глубина" - это максимальная длина последовательностей вложенных кванторов, другими словами - число всех различных связанных переменных, когда это число сведено к минимуму путем их переименования. Конституента дистрибутивной нормальной формы определенной глубины дает полное описание одного из возможных миров. В данном случае перед нами открывается совокупность формул, расположенных на одной ветви дерева поиска доказательства или опровержения. Именно таким образом конституенты этого вида нормальной формы перечисляют все состояния возможных миров. Нетривиальной дедукцией X. называет увеличение первоначальной глубины, показывающее, что некоторые конституенты, не являющиеся тривиально противоречивыми, на самом деле противоречивы. Через нетривиальную дедукцию идет рост поверхностной информации. Если поверхностная информация сообщает нам нечто о реальности, то глубинная информация представляет собой ограничение неопределенности этого сообщения. Понятие нетривиальной дедукции эксплицирует, как отмечает X., кантовскую идею "синтетического суждения a priori", то есть, с одной стороны, нетривиальная дедукция априорна, с другой стороны, - она не есть тавтология. X. внес заметный вклад в теорию пропозициональных установок, показав зависимость понятия "пропозициональная установка" от семантики возможных миров. В своем творчестве X. также затронул более частные проблемы эпистемологии и построил теоретико-игровую интерпретацию языка. В теоретико-игровой семантике значение слова устанавливается, исходя из свойственного ему набора глаголов, или действий. Например, логические кванторы интерпретируются через игровую ситуацию "поиска и обнаружения", т.е. значения кванторов отыскиваются в контексте языковой игры "искать и обнаруживать". Теоретико-игровая семантика апплицируется и на язык формальной логики. С каждым элементарным предложением X. сопоставляется игра с двумя игроками, условное имя первого игрока - "я", а второго - "реальность". Первый игрок стремится доказать истинность рассматриваемого положения, а второй - его ложность. См. также: Языковые игры.
А.Н. Шуман
Источник: Новейший философский словарь