An Outline of the Logical Theory of Questions |
Common terms and phrases
abbreviation answers to questions Åqvist arbitrary question Belnap Belnap's sense binary relations called compound questions connective declarative sentence defined definition deserve the name direct answers discussed E₁ easily verified equipollence equivalent erotetic falls form PTQ formalized language former sections formula Ø Giedymin Harrah individual constant interrogative operators interrogative sentence J(inf Jan Kowalski Kraków Kubiński language J(w locution logic of answers logic of questions logical consequence logical product logical sum logical theory logical value mean metalanguage metatheorems negation non-empty notion of direct numerical operators obtained occur operators contain ordered pair P₁ P₂ partition predicate presuppositions of questions ques question expressed question Q questions about forbearance questions beginning Reader regular consequence relations S₁ sentential function sentential function Øz sequence set Q(J subset syntactic presupposition tautology theorems theory of questions tions two-argument types of questions whereas Wrocław Y₁ z¿Øz