On the Logic of Interrogative Inquiry

In Jaakko Hintikka's interrogative model of inquiry, the strategic principles governing empirical inquiry 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. 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
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,349
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
A Puzzle About Belief Updating.Carlo Martini - 2013 - Synthese 190 (15):3149-3160.
Explanatoriness: Cause Versus Craig.Jukka Keränen & Wesley Salmon - 2005 - Synthese 143 (1-2):125 - 147.

Add more citations

Similar books and articles
The Interrogative Model: Historical Inquiry and Explanation.Eric C. Brook - 2007 - Journal of the Philosophy of History 1 (2):137-159.
Gts and Interrogative Tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.
Theory-Ladenness of Observations as a Test Case of Kuhn's Approach to Scientific Inquiry.Jaakko Hintikka - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:277-286.
The Best of All Possible Worlds.Emmanuel J. Genot - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer.
Turing Interrogative Games.Paweł Łupkowski & Andrzej Wiśniewski - 2011 - Minds and Machines 21 (3):435-448.
Added to PP index

Total downloads
31 ( #170,176 of 2,193,707 )

Recent downloads (6 months)
1 ( #290,983 of 2,193,707 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature