## Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

## If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

# On the Logic of Interrogative Inquiry

Jaakko Hintikka and Stephen Harris
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association
Vol. 1988, Volume One: Contributed Papers (1988), pp. 233-240
Stable URL: http://www.jstor.org/stable/192990
Page Count: 8
Preview not available

## Abstract

In Jaakko Hintikka's interrogative model of inquiry, the strategic principles governing empirical inquiry (interrogatively construed) turn out to be closely related to those governing deductive reasoning. Hence it is important to study the precise analogies which obtain between deductive logic and interrogative inquiry. The basic concept of the interrogative model is the relation of model consequence $\text{M}\colon \text{T}\vdash \text{C}$. It is said to obtain iff C can be derived from T by means of an interrogative process in the model M (in the logicians' sense of model). We prove here a counterpart of Craig's interpolation theorem for the concept of model consequence. The interrogative analogue to definability is a logical generalization of methodologists' concept of identifiability. For this concept, we prove an analogue to Beth's theorem. Some further philosophical consequences of these results are mentioned. For instance, identifiability is a good rational reconstruction of the idea of observability (measurability).

• [233]
• 234
• 235
• 236
• 237
• 238
• 239
• 240