A tutorial at the Autumn School of Logic, Pec p. Sn., Oct 20-25, 2004.
1) LIBOR BEHOUNEK: INTRODUCTION TO THE LOGIC OF QUESTIONS
Basic concepts of erotetic logic (the logic of questions) will be introduced, primarily through the Groenendijk-Stokhof intensional approach.
- Subject of erotetic logic, bibliography, basic terminology
- Rudimentary intuitions about questions, postulates for formalization (Hamblin, Belnap)
- Short overview of various approaches to erotetic logic (Tichy, Belnap-Steel, Hintikka-Aqvist)
- Groenendijk-Stokhof erotetic logic (propositional and predicate)
2) MICHAL PELIS: INFERENTIAL EROTETIC LOGIC (IEL)
Questions are understood as sets of declarative sentences. It enables to study many nice properties connected with questions and relations between them. IEL is focused on two types of inferences: evocation and erotetic implication. Both of them are based on the classical notion of conclusion (in the sense of declarative logics). In this tutorial I would like to introduce two languages for the analysis of questions and show some properties of questions on the level of semantics. I suppose to use only classical predicate logic for examples.
- Questions of the first and second kind
- Problems with the analysis of natural-language questions
- Entailment and multi-conclusion entailment
- Semantical properties of questions (soundness, safe questions,..)
- Evocation and erotetic implication
- Erotetic derivation, search scenarios and the role of yes-no questions
- Socratic proofs (L.B.)
- Groenendijk J., Stokhof M.: Questions. In: J. van Benthem, A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier/MIT Press 1997, 1055–1124.
- Harrah D.: The Logic of Questions. In: D. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, volume 8, pages 1-60, Kluwer, 2002. (First edition: vol. II., Reidel 1984, 715–764.)
- Wisniewski A.: The Posing of Questions: Logical Foundations of Erotetic Inferences. Kluwer, 1995.
- Wiśniewski A. Questions and Inferences. Logique & Analyse, 173-174-175 (2001), 5-43.