Abstract

A logic of questions and answers exists within the logic of statements, if we make the following identifications (roughly): "Whether" questions are identified with true exclusive disjunctions, and "which" questions are identified with true existential quantifications. The question-and-answer process is interpreted as an information-matching game. The question mark is not needed except as a device of abbreviation. Complete and partial answers can be distinguished and various relations of relevance, independence, and resolution defined