Disjunction and Existence Properties in Inquisitive First-Order Logic

Classical logic has been used to represent and study relations between statements, that is natural language sentences completely determined by their truth- conditions. But logical relations between questions are not representable as naturally in this logic, since the meaning of a question is not a truth value.
The aim of inquisitive logic is to encompass both statements and questions and to study the logical relations between them. To do so, the logic extends the language of classical logic with question-forming operators and generalizes the Tarskian semantics to an information-based one.
In this talk I will present the main ideas behind inquisitive logic and focus in particular on its first-order version, inqBQ. I will sketch the proof of a recent result pointing at the constructive character of this logic, namely that the disjunction and existence properties hold for inqBQ.