Philosophy
The Logic of Questions and Erotetic Inference
Quick fact
Erotetic logic treats 'Does the Earth have a moon?' and 'Which planet is largest?' as having distinct logical forms, and it can prove that some questions are impossible to answer correctly relative to a given knowledge base.
Why this is interesting
We ask questions every day, but did you know that logic can govern their structure? What makes a question 'well-posed' and how do we infer from the very act of asking?
Read the full explanation
Understanding The Logic of Questions and Erotetic Inference
Imagine you are a detective. You have clues (premises) and you want to solve a mystery. You don't just deduce conclusions; you ask questions like 'Who was at the scene?' or 'Was the window locked?' These questions are not true or false, but they guide your reasoning. Erotetic logic is the formal study of such questions. It treats questions as objects with their own semantics, focusing on what counts as a direct answer. For example, to 'Is it raining?' the direct answers are 'Yes' and 'No', while to 'Where is the nearest store?' the direct answers are location terms. The logic also studies how asking a question can change what we know, even before receiving an answer. For instance, asking 'Who is the murderer?' presupposes that someone is the murderer, thus adding this presupposition to the context. This is called erotetic inference: deriving new information from the question itself.
A deeper explanation
Erotetic logic was developed by philosophers like Andrzej Wiśniewski in the 1990s. It formalizes questions as expressions like '?p' or '?(p, q)' where the question mark indicates a request for information. The semantics of a question is given by its set of direct answers. An erotetic inference is a transition from a set of declarative premises plus a question to a new question or a declarative conclusion. For example, if we know 'If it rains, the ground is wet' and we ask 'Is it raining?', we can infer the question 'Is the ground wet?' because any answer to the first question, combined with our premise, yields an answer to the second. This is a kind of question-answer reasoning. More formally, a question Q is 'safe' if every direct answer to Q is true in the actual state of affairs, and 'sound' if at least one direct answer is true. Erotetic logic provides rules for when a question is well-posed relative to a knowledge base, ensuring that the presuppositions of the question are satisfied. It matters because it extends logic beyond statements to the dynamics of inquiry, which is central to scientific reasoning, artificial intelligence, and any domain where asking the right question is as important as finding the answer.