Follow your curiosity

What discovery has been shared with you?

Start with one fact. Explore it, go deeper, then follow whichever branch catches your imagination.

Choose subjects for a surprise

Exploring any topic

Begin your discovery

Your next discovery is one click away.

Choose one or more subjects above, or leave Any Topic selected and let curiosity decide.

Philosophy

The Logic of Question-Asking and Erotetic Logic

Quick fact

Erotetic logic, from the Greek 'erotema' (question), treats questions as formal objects with logical properties. One of its central ideas is that a question is only legitimate if its presupposition is true—for instance, 'What is the capital of France?' presupposes that France has a capital, making it a well-formed question, while 'What is the color of the invisible unicorn?' presupposes a nonexistent entity.

Why this is interesting

You ask questions all day, but did you know that questions themselves have a logic? Just as statements can be valid or invalid, questions can be well-posed or flawed—and there's a whole field of logic dedicated to them.

Read the full explanation

Understanding The Logic of Question-Asking and Erotetic Logic

Think of logic as the study of good reasoning. Traditionally, it focused on statements that are true or false—like 'The sky is blue.' But we reason with questions too: 'Is the sky blue?' or 'Why is the sky blue?' Erotetic logic expands logic to include these interrogatives. It asks: What makes a question a good question? When does a question have an answer? And when is an answer appropriate? The key is that a question typically presupposes certain facts. For instance, 'Who discovered penicillin?' presupposes that someone did. If no one had, the question would be 'loaded' or flawed. So a well-formed question is one whose presuppositions are true. This logic helps us see that asking a question is not just about content—it's about the assumptions we bring. It also distinguishes between different types of answers: direct answers that fully answer the question, and partial or indirect answers that provide some information. Understanding these ideas helps clarify how we seek knowledge.

A deeper explanation

That's the heart of erotetic logic: it formalizes the rules by which meaningful questions lead to correct answers. It was developed by philosophers like Andrzej Wiśniewski, who defined the concept of a 'direct answer'—a proposition that completely satisfies the question. For example, to 'When was Einstein born?' the direct answer is 'March 14, 1879.' Other propositions, like 'He was born in the 19th century,' are only partial answers. Erotetic logic also studies 'erotetic implication,' where a question logically leads to another question. For instance, asking 'Is every integer either even or odd?' might imply 'Is the integer 2 even?' This shows how questions generate chains of inquiry. Furthermore, erotetic logic connects to the notion of 'soundness' in inquiry: a question is sound if its presuppositions are true and it has at least one true direct answer. This framework is not just philosophical—it's used in artificial intelligence for designing systems that ask and answer questions, and in the analysis of scientific inquiry, where the process of discovery is seen as a sequence of questions. By understanding this logic, we gain a deeper appreciation of how curiosity is structured and how knowledge is built from the ground up.

Keep FACTREE close

Internet access is required. Updates arrive when you reopen or reload the app. You may need to sign in again in the installed app.