Logic of Questions

0373265 - FLÚ 2012 CZ eng D - Thesis
Peliš, Michal
Logic of Questions.
Katedra logiky FF UK. Defended: Praha. 14.04.2011. - Praha: Universita Karlova, Filosofická fakulta, 2011. 100 s.
R&D Projects: GA ČR(CZ) GAP401/10/1504; GA ČR(CZ) GEICC/08/E018; GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GA401/03/0022
Institutional research plan: CEZ:AV0Z90090514
Keywords : logic of questions * erotetic logic * epistemic logic * public announcement * dynamic logic
Subject RIV: AA - Philosophy ; Religion

The thesis deals with logic of questions (erotetic logic), which is one of the branches of non-classical logic. In the introductory part we speak generally about formalization of questions and the newest approaches to questions in logic are summed up. We introduce a formalization based on sets of direct answers and point out the role of inferences with questions. The rest of the thesis consists of two parts that can be read independently. The first part focuses on relationships among consequence relations in inferential erotetic logic (IEL). We keep the framework of original IEL, introduced by Andrzej Wisniewski, together with the representation of questions by sets of direct answers. Answers are strictly formulas of the declarative language. The mix of interrogatives and declaratives occours just on the level of consequences. Consequence relations with questions are defined by means of multiple-conclusion entailment among sets of declarative formulas.
Permanent Link: http://hdl.handle.net/11104/0206391