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.

An Axiomatic Foundation for the Logic of Inductive Generalization

The Development of the Hintikka Program

The Systems of Inductive Logic

A Logic for Non-Monotone Inductive Definitions

On a K-Dimensional System of Inductive Logic

Questions of Epistemic Logic in Hintikka

Inductive Logic as a Structural Reliabilist Theory of Justification

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

The Inductive Logic of Information Systems

Inductive Logic With Causal Modalities: A Probabilistic Approach

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

General dynamic logic

Meta-inductive Justification of Inductive Generalizations

Semantic Information and Inductive Logic

Logics for Getting Generics by Deduction*

Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis

Generalisation through Negation and Predicate Invention

An approach to basic set theory and logic

Universal Logic as a Science of Patterns

Logical Dynamics Meets Logical Pluralism?