2016
DOI: 10.1007/s11229-016-1221-y
|View full text |Cite|
|
Sign up to set email alerts
|

Questions as information types

Abstract: This paper argues that questions have an important role to to play in logic, both semantically and proof-theoretically. Semantically, we show that by generalizing the classical notion of entailment to questions, we can capture not only the standard relation of logical consequence, which holds between pieces of information, but also the relation of logical dependency, which holds between information types. Prooftheoretically, we show that questions may be used in inferences as placeholders for arbitrary informa… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
36
0

Year Published

2017
2017
2022
2022

Publication Types

Select...
5
3

Relationship

2
6

Authors

Journals

citations
Cited by 27 publications
(36 citation statements)
references
References 27 publications
(24 reference statements)
0
36
0
Order By: Relevance
“…Getting clear about this requires a proper understanding of how inference works when it initiates from interrogative premises. Ciardelli's (,b, ) support‐based account of the logic of questions will be especially helpful.…”
Section: The New Idle Argumentmentioning
confidence: 99%
See 1 more Smart Citation
“…Getting clear about this requires a proper understanding of how inference works when it initiates from interrogative premises. Ciardelli's (,b, ) support‐based account of the logic of questions will be especially helpful.…”
Section: The New Idle Argumentmentioning
confidence: 99%
“…However, I think that Belnap & Steel's pessimism is unwarranted and simply outdated in light of subsequent work on the logic of questions by Groenendijk & Stokhof (), Ciardelli (, ), and many others. One way to get a better feel for such a logic is to consider arguments with questions embedded in knowledge‐wh reports .…”
Section: Modus Ponens For Unconditionalsmentioning
confidence: 99%
“…In the terminology of [Ciardelli, 2016b], this amounts to the assumption that the set BSA(µ) be a generator for the set Res(µ). On the basis of this assumption, one can indeed show that the relation ⊑ characterizes question entailment:…”
Section: Trying To Repair Answer-set Theoriesmentioning
confidence: 99%
“…At the propositional level (the only one which will interest us here) an information state is identified with a set of possible worlds. We will concentrate upon the most basic system of inquisitive semantics, labelled InqB, in its current version presented by Ivano Ciardelli in [7] and [8].…”
Section: Constructive Generalized Entailment Versus Entailment In Inqmentioning
confidence: 99%
“…[5]) or proofs in the natural deduction format (cf. [7,8]). The aim of this section is to show that a certain formal tool developed within Inferential Erotetic Logic, namely erotetic search scenarios (e-scenarios for short), can also be helpful.…”
Section: Constructive Generalized Entailment and E-scenariosmentioning
confidence: 99%