Studia Logica (6):1-34 (2019)
Authors |
|
Abstract |
In recent years, the effort 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.
|
Keywords | Nonclassical Logics Erotetic Logic Defeasible Reasoning Sequent Calculus Inferentialism |
Categories | (categorize this paper) |
Reprint years | 2018, 2019 |
ISBN(s) | |
DOI | 10.1007/s11225-018-9839-z |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Making It Explicit: Reasoning, Representing, and Discursive Commitment.Robert Kirk - 1996 - Philosophical Quarterly 46 (183):238-241.
On the Semantics and Logic of Declaratives and Interrogatives.Ivano Ciardelli, Jeroen Groenendijk & Floris Roelofsen - 2015 - Synthese 192 (6):1689-1728.
The Posing of Questions: Logical Foundations of Erotetic Inferences.Andrzej Wiśniewski - 1998 - Studia Logica 61 (2):296-299.
View all 16 references / Add more references
Citations of this work BETA
A Defeasible Calculus for Zetetic Agents.Jared Millson - 2021 - Logic and Logical Philosophy 30 (1):3-37.
Calculizing Classical Inferential Erotetic Logic.Moritz Cordes - forthcoming - Review of Symbolic Logic:1-22.
A Logic for Best Explanations.Jared Millson & Christian Straßer - 2019 - Journal of Applied Non-Classical Logics 29 (2):184-231.
The Method of Socratic Proofs: From the Logic of Questions to Proof Theory.Dorota Leszczyńska-Jasion - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 183–198.
An Essay on Inferential Erotetic Logic.Andrzej Wiśniewski - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 105–138.
Similar books and articles
Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.
Deduction and Reduction Theorems for Inferential Erotetic Logic.Andrzej Wiśniewski - 2018 - Studia Logica 106 (2):295-309.
IEL-Based Formal Dialogue System for Tutorials.Paweł Łupkowskim - 2017 - Logic and Logical Philosophy 26 (3):287-320.
Erotetic Arguments: A Preliminary Analysis.Andrzej Wiśniewski - 1991 - Studia Logica 50 (2):261 - 274.
Inferential Erotetic Logic Meets Inquisitive Semantics.Andrzej Wiśniewski & Dorota Leszczyńska-Jasion - 2015 - Synthese 192 (6):1585-1608.
Generating Cooperative Question-Responses by Means of Erotetic Search Senarios.Paweł Łupkowskim & Dorota Leszczyńska-Jasion - 2014 - Logic and Logical Philosophy 24 (1):61-78.
A Formal Approach to Exploring the Interrogator's Perspective in the Turing Test.Paweł Łupkowski - 2011 - Logic and Logical Philosophy 20 (1-2):139-158.
Intuitionistic Sequent Calculi for Finitely Many-Valued Logics.E. Reznik & P. Curmin - 2001 - Logic Journal of the IGPL 9 (6):793-812.
Erotetic Search Scenarios and Three-Valued Logic.Dorota Leszczyńska-Jasion & Paweł Łupkowski - 2016 - Journal of Logic, Language and Information 25 (1):51-76.
Propositional Logic And Erotetic Inferences.Andrzej Wisniewski - 1985 - Bulletin of the Section of Logic 14 (1):72-76.
Non-Classical Elegance for Sequent Calculus Enthusiasts.Andreas Fjellstad - 2017 - Studia Logica 105 (1):93-119.
Perspectives in the Interpretation of Defeasible Reasoning.Giacomo Turbanti - 2014 - The Logica Yearbook 2013 2013:239-254.
Analytics
Added to PP index
2018-11-17
Total views
249 ( #44,149 of 2,506,021 )
Recent downloads (6 months)
22 ( #40,190 of 2,506,021 )
2018-11-17
Total views
249 ( #44,149 of 2,506,021 )
Recent downloads (6 months)
22 ( #40,190 of 2,506,021 )
How can I increase my downloads?
Downloads