Jaakko Hintikka

Jaakko Hintikka (1929–2015) was a Finnish philosopher and logician whose work shaped epistemic logic, game-theoretical semantics, and the philosophy of language.

Connect

Epistemic logic: The logic of knowledge and belief, often represented through operators indexed to agents. Hintikka’s 1962 book established a systematic possible-worlds approach to knowledge.
Game-theoretical semantics: A theory of meaning that defines truth through semantic games between a verifier and a falsifier. Hintikka developed this account as an alternative way to explain compositional meaning.
Georg Henrik von Wright: A Finnish philosopher and logician known for work on modal logic, deontic logic, and explanation. Von Wright supervised Hintikka’s doctoral work and helped establish his Finnish philosophical lineage.
Knowledge and Belief: A 1962 book by Jaakko Hintikka that developed a formal logic of knowledge and belief. This work made epistemic logic a sustained research program in analytic philosophy.
Tarski's theory of truth: A formal account defining truth for interpreted languages through satisfaction and recursive truth conditions. Hintikka’s game semantics gives truth a strategic formulation rather than Tarski’s familiar recursive presentation.
Modal logic: A family of logics that adds operators such as necessity and possibility to classical logic. Its formal tools supplied the framework for Hintikka’s analysis of knowledge.
Interrogative model of inquiry: A model of inquiry in which questions and their answers drive the search for knowledge. Hintikka applied question-answer strategies to scientific discovery and problem solving.
Ludwig Wittgenstein: An Austrian-British philosopher whose work transformed twentieth-century views of language and logic. Hintikka wrote extensively on Wittgenstein and challenged standard interpretations of his philosophy.
The Principles of Mathematics Revisited: A 1996 book by Jaakko Hintikka reassessing foundational questions in mathematics and logic. It gathers his argument that quantification and mathematical reasoning need renewed philosophical scrutiny.
Possible-world semantics for epistemic logic: A framework that models knowledge through worlds compatible with an agent’s information. Its standard formulations are compared with Hintikka’s original treatment of knowledge and alternatives.