Abstract:In his book Knowledge and Belief (1962), Jaakko Hintikka uses a model-theoretic approach of modal semantics as a theoretical basis for investigating the principles of epistemic logic. I shall first summarize the main points of Hintikka’s classic work and then address the most disputed themes raised by it in the 60s and later, such as logical omniscience and the KK-thesis, as well as Hintikka’s modifying his views on the basis of criticism. The last part of the book treats quantified epistemic logic, particularly quantifying into “intensional” or “referentially opaque” epistemic contexts defended against Quine’s objections. I deal with this topic in Sect. 17.3 and add some relevant comparisons with John Buridan’s medieval approach in Sect. 17.4. A survey of Hintikka’s later theory of modelling knowledge acquisition is presented in Sect. 17.5; this includes the semantics of questions and inquiry in terms of game-theoretical semantics (GTS) and their application to the logic of epistemology and scientific reasoning in the interrogative model of inquiry (IMI). Combining these results with the theory of independence friendly logic (IF) provides, Hintikka argues, a promising improvement of general epistemology which he calls a second-generation epistemic logic. The subject of the last section is “knowing who” in the sense of a basic epistemic attitude associated with identification which is the key notion in Hintikka’s epistemic theory of questions and answers, reference, and quantification. A central issue in this context is Hintikka’s discovery of the duality of cross-identification methods, the public or descriptive and the perspective ones.

The Development of the Hintikka Program

An Axiomatic Foundation for the Logic of Inductive Generalization

Questions of Epistemic Logic in Hintikka

On a K-Dimensional System of Inductive Logic

Logical Tools for Human Thinking: Jaakko Hintikka (1929–2015)

Inductive Logic With Causal Modalities: A Probabilistic Approach

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

The Systems of Inductive Logic

Semantic Information and Inductive Logic

The Inductive Logic of Information Systems

A Logic for Non-Monotone Inductive Definitions

The Holmesian logician: Sherlock Holmes’ “Science of Deduction and Analysis” and the logic of discovery

Hypotheses and Inductive Predictions

'Hintikka Self-Applied': an essay on the epistemic logic of imperfect information games

Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic

Models of Possibilities Instead of Logic as the Basis of Human Reasoning

A Formal Approach to the Problem of Logical Non-Omniscience

When Is Inductive Inference Possible?

Unified Inductive Logic: From Formal Learning to Statistical Inference to Supervised Learning