Abstract
A variant of the standard deductive tableau system is introduced, and interrogative rules are added, resulting in a so-called interrogative tableau system. A game-theoretical account of entailment is sketched, and the deductive tableau system is interpreted in these terms. Finally, it is shown how to extend this account of entailment into an account of interrogative entailment, thereby providing a semantics for the interrogative tableau system.
Similar content being viewed by others
References
Beth, E. W.: 1955, ‘Semantic Entailment and Formal Derivability’,Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Adeling Letterkunde, N.R. Vol. 18, No. 13, Amsterdam, pp. 309–42 (repr. in Hintikka, 1969, pp. 9–41).
Hand, M.: 1988, ‘How Game-Theoretical Semantics Works’,Erkenntnis 29, 77–93.
Harris, S.: 1990,An Interrogative Model of Inquiry, Ph.D. Dissertation, Florida State University.
Hintikka, J. (ed.): 1969,The Philosophy of Mathematics, Oxford University Press, London.
Hintikka, J.: 1976,The Semantics of Questions and the Questions of Semantics, Acta Philosophica Fennica, Vol. 28, North-Holland, Amsterdam.
Hintikka, J.: 1983,The Game of Language, D. Reidel, Dordrecht.
Saarinen, E. (ed.): 1979,Game-Theoretical Semantics, D. Reidel, Dordrecht.
Smullyan, R. M.: 1968,First-Order Logic, Springer-Verlag, New York.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Harris, S. Gts and interrogative tableaux. Synthese 99, 329–343 (1994). https://doi.org/10.1007/BF01063992
Issue Date:
DOI: https://doi.org/10.1007/BF01063992