Abstract
AbstractIn the previous chapter we have seen how classical propositional logic can be extended with questions, leading to the inquisitive propositional logic . In this section we will describe a natural deduction system for and show this system to be sound and complete. We will also use this system to make some more general points about the role of questions in inference and about the intuitive significance of supposing or concluding a question. Lastly, we will show that proofs in our system have an interesting kind of constructive content: a proof can generally be seen as encoding a method for turning resolutions of the assumptions into a corresponding resolution of the conclusion.
Publisher
Springer International Publishing