A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences

Studia Logica (6):1-34 (2019)
Download Edit this record How to cite View on PhilPapers
In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system.
Reprint years
2018, 2019
PhilPapers/Archive ID
Revision history
First archival date: 2018-11-17
Latest version: 2 (2018-11-20)
View upload history
References found in this work BETA
On the Semantics and Logic of Declaratives and Interrogatives.Ciardelli, Ivano; Groenendijk, Jeroen & Roelofsen, Floris
Questions.Hamblin, C. L.
Socratic Proofs.Wiśniewski, Andrzej

View all 14 references / Add more references

Citations of this work BETA
A Logic for Best Explanations.Millson, Jared & Straßer, Christian

Add more citations

Added to PP index

Total views
131 ( #26,150 of 46,159 )

Recent downloads (6 months)
57 ( #13,821 of 46,159 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.