Abstract
An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven.
Highlights
Inferential Erotetic Logic (IEL) is a logic that analyzes inferences in which questions perform the role of conclusions and provides an account of validity of these inferences
The idea of IEL originates from the late 1980s, but IEL was developed in depth in the 1990s as an alternative to the received view in the logic of questions, which situated the structure of questions and the question-answer relationship in the center of attention, and to the Interrogative Model of Inquiry (IMI), elaborated by Jaakko Hintikka
Another semantic concept, labeled erotetic implication, provides an IEL-based account of validity of inferences which lead from a question and possibly some declarative premise(s) to a question
Summary
Inferential Erotetic Logic (IEL) is a logic that analyzes inferences in which questions perform the role of conclusions and provides an account of validity of these inferences. The semantic relation "a set of declarative formulas evokes a question" plays an important role in IEL. Validity of inferences which lead from declarative premises to questions is defined in IEL in terms of question evocation Another semantic concept, labeled erotetic implication, provides an IEL-based account of validity of inferences which lead from a question and possibly some declarative premise(s) to a question. The role performed in IEL by question evocation resembles that played by entailment in a logic of statements. Given the analogy between question evocation and entailment, it seems worthwhile to build axiomatic systems whose theorems describe what questions are evoked by what sets of declarative formulas
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
