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 Systems of Inductive Logic

Inductive Logic as a Structural Reliabilist Theory of Justification

An Axiomatic Foundation for the Logic of Inductive Generalization

On a K-Dimensional System of Inductive Logic

The Inductive Logic of Information Systems

Inductive Logic With Causal Modalities: A Probabilistic Approach

The Development of the Hintikka Program

A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation

A Logic for Non-Monotone Inductive Definitions

Questions of Epistemic Logic in Hintikka

General dynamic logic

Semantic Information and Inductive Logic

Directional Deduction

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

Hypotheses and Inductive Predictions

Proof Theory of Constructive Systems: Inductive Types and Univalence

Meta-inductive Justification of Inductive Generalizations

Universal Logic as a Science of Patterns

Logic as an internal organisation of language