Хинтикка Яакко
Хи́нтикка Я́акко, Каарло Яакко Юхани Хинтикка (Kaarlo Jaakko Juhani Hintikka) (12.1.1929, Вантаа – 12.8.2015, Порвоо), финский логик и философ, член Финской академии наук и искусств (1961), Академии Финляндии (1970), иностранный член Российской академии наук (1999). Окончил Хельсинкский университет (диссертация под руководством Г. Х. фон Вригта в 1953). Профессор Хельсинкского (с 1959), Стэнфордского (с 1964) университетов, Университета штата Флорида (1978–1990), Бостонского университета (с 1990). Президент Международного института философии (1998–2001). Инициатор (совместно с российским логиком В. А. Смирновым) российско-финских коллоквиумов по логике (1976–1997). Автор около 40 книг и более 300 статей по эпистемической, модальной, индуктивной и другим логикам, эпистемологии, истории философии и логики, среди которых – «Знание и убеждение» («Knowledge and belief», 1962), «Модели для модальностей» («Models for modalities», 1969), «Логика, языковые игры и информация: Кантианские темы в философии логики» («Logic, language-games and information: Kantian themes in the philosophy of logic», 1973), «Знание и известное: Исторические перспективы в эпистемологии» («Knowledge and the known: Historical perspectives in epistemology», 1974) и др.
Разработал теорию дистрибутивных нормальных форм логики предикатов первого порядка, показав, что тавтологии являются информативными утверждениями. Один из создателей, наряду с С. Крипке, семантики возможных миров для модальной логики. Предложил теоретико-игровую семантику, основанную на концепции языковых игр Л. Витгенштейна. В 1990-х гг. разрабатывал IF-логику (independence-friendly logic – логика, дружественная к независимости), пересматривающую основания математики, в частности понятие полноты логико-математической системы («Пересмотр принципов математики» – «The principles of mathematics revisited», 1996).