Deduction and Reduction Theorems for Inferential Erotetic Logic

Abstract

Abstract.The concepts of question evocation and erotetic implication play central role in Inferential Erotetic Logic. In this paper, deduction theorems for question evocation and erotetic implication are proven. Moreover, it is shown how question evocation by a finite non-empty set of declaratives can be reduced to question evocation by the empty set, and how erotetic implication based on a finite non-empty set of declaratives can be reduced to a relation between questions only.

Asking and Answering. Rivalling Approaches to Interrogative Methods

“…Urbański & Wiśniewski 2015, Chlebowski & Gajda 2017. As it has been shown in (Wiśniewski 2018), in many cases it is possible to ›extract‹ multiple conclusion-entailment, the basic semantic concept by means of which question evocation and erotetic implication are defined, from the consequence relation of the underlying logic of d-wffs. This, in a sense, grounds IEL in proof theory.…”