Abstract
This paper shows how dichotomous inquisitive semantics gives rise to a general notion of entailment that unifies standard declarative entailment with answerhood and interrogative dependency, the relation holding when an answer to a question determines an answer to another. We investigate the associated logic, presenting a new completeness proof based on an explicit canonical model construction. On the way to this proof, we establish a new result, the resolution theorem, which shows that inquisitive proofs have a natural computational interpretation. We conclude arguing that, as a logic of dependencies, inquisitive logic has certain theoretical and practical advantages over related systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ciardelli, I.: Inquisitive Semantics and Intermediate Logics. MSc thesis, University of Amsterdam (2009)
Ciardelli, I.: Modalities in the realm of questions: axiomatizing inquisitive epistemic logic (2014) (Manuscript, submitted for publication)
Ciardelli, I., Groenendijk, J., Roelofsen, F.: On the semantics and logic of declaratives and interrogatives. Synthese (2013), doi:10.1007/s11229-013-0352-7
Ciardelli, I., Groenendijk, J., Roelofsen, F.: Inquisitive semantics: a new notion of meaning. Language and Linguistics Compass 7(9), 459–476 (2013)
Ciardelli, I., Roelofsen, F.: Inquisitive Logic. Journal of Philosophical Logic 40(1), 55–94 (2011)
Ciardelli, I., Roelofsen, F.: Inquisitive dynamic epistemic logic. Synthese (2014), doi:10.1007/s11229-014-0404-7
Galliani, P.: The dynamics of imperfect information. PhD thesis, University of Helsinki (2012)
Galliani, P., Väänänen, J.: On dependence logic. arXiv preprint arXiv:1305.5948 (2013)
Groenendijk, J.: Inquisitive Semantics: Two Possibilities for Disjunction. In: Bosch, P., Gabelaia, D., Lang, J. (eds.) TbiLLC 2007. LNCS, vol. 5422, pp. 80–94. Springer, Heidelberg (2009)
Groenendijk, J.: Erotetic languages and the inquisitive hierarchy. In: a Festschrift for Martin Stokhof (2011)
Hintikka, J.: Inquiry as inquiry: A logic of scientific discovery. Kluwer Academic Publishers (1999)
Hintikka, J.: Socratic epistemology: explorations of knowledge-seeking by questioning. Cambridge University Press (2007)
Kreisel, G., Putnam, H.: Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung 3(3-4), 74–78 (1957)
Roelofsen, F.: Algebraic foundations for the semantic treatment of inquisitive content. Synthese 190(1), 79–102 (2013)
Väänänen, J.: Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press (2007)
Wiśniewski, A.: The logic of questions as a theory of erotetic arguments. Synthese 109(1), 1–25 (1996)
Yang, F.: On extensions and variants of dependence logic: a study of intuitionistic connectives in the team semantics setting. PhD thesis, University of Helsinki (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciardelli, I. (2014). Interrogative Dependencies and the Constructive Content of Inquisitive Proofs. In: Kohlenbach, U., Barceló, P., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2014. Lecture Notes in Computer Science, vol 8652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44145-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-44145-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44144-2
Online ISBN: 978-3-662-44145-9
eBook Packages: Computer ScienceComputer Science (R0)