Skip to content

Inquiry

Version
v3 · 2026-09-28 · History
Prime #
1527
Domain group
Humanities
Origin domain
Philosophy
Aliases
Enquiry

Core Idea

Inquiry is the cross-domain process that begins from a question, anomaly or doubt and deliberately changes an epistemic state by gathering evidence, generating explanations and testing answers. The abstraction is not exhausted by its familiar source-domain notation. Its autonomous core is question-directed knowledge change, distinct from passive exposure, advocacy with a fixed conclusion, data collection without an epistemic aim or problem solving concerned only with producing an action.

The operative mechanism is this: An inquirer frames a tractable question, identifies what would discriminate among answers, seeks observations or arguments, evaluates them against alternatives and updates or reframes the question until a warranted stopping condition is reached. The mechanism separates identity from observation.

How would you explain it like I'm…

Finding-Out Mission

Inquiry is what you do when you wonder about something and go find out. Maybe you wonder why the puddle disappeared. You think of guesses — did the sun dry it, or did the dog drink it? — and then you look for clues to tell which guess is right.

Question Detective

Inquiry starts with a question or a puzzle, like "Why did my plant die?" You come up with a few possible answers: too little water, too much sun, a bug. Then you look for clues that would tell those answers apart, and you check each one fairly. At the end you know something new, or you know the question is still open. Just hearing facts by accident, or arguing for an answer you had already picked, is not inquiry.

Question-Driven Knowledge Change

Inquiry is the deliberate process of changing what you know, driven by a question. It starts from a gap, a doubt, or something that doesn't fit, and it needs several competing answers plus standards for judging between them. The inquirer asks which evidence would discriminate among the answers, goes and gets it, and updates — or reframes the question — until there is a good reason to stop. That separates it from passive exposure (just absorbing information), from advocacy (defending a conclusion chosen in advance), and from data-collecting with no question behind it. It also differs from plain problem solving, whose goal is to produce an action rather than to change knowledge. An honest 'still unresolved' is a legitimate outcome.

 

Inquiry is question-directed change in an epistemic state: a knowledge gap or anomaly drives a deliberate search that ends in a warranted update or an explicitly unresolved result. The mechanism runs in steps: frame a tractable question, identify what would discriminate among rival answers, seek observations or arguments, evaluate them against alternatives, and iterate, possibly reframing the question, until a justified stopping point. Its necessary parts are a real gap, competing candidate answers, standards of evaluation, an active evidence-seeking or reasoning process, and an update. Remove any one and you get something else: passive exposure (no deliberate process), advocacy (no genuine competition among answers), aimless data gathering (no epistemic aim), or pure problem solving (the goal is an action, not knowledge). The same role structure recurs in science, detective work, auditing, medical diagnosis, and journalism, which is why it counts as a cross-domain prime. A case qualifies only if these roles are actually present, not just because someone calls it an "investigation."

Broad Use

science. The carrier is an unexplained observation. The identity test is that form hypotheses and test discriminating predictions. This is a literal instantiation rather than decorative analogy because the carrier, observable organization, conserved relation, variation class, and failure test retain the same roles. The domain accent is evidence revises the account. A responsible analysis states scale, observation window, representation and noise model before claiming the structure, then distinguishes the structure itself from the process used to discover, stabilize or exploit it. Removing the constitutive relation must make the classification fail; otherwise the label is only topical resemblance. Evidence can be mathematical, experimental, computational or documentary, but it must attach to the same role graph and expose uncertainty and counterexamples.

Clarity

A clear Inquiry claim can be rewritten as a testable sentence: on carrier C at scale S, relation R holds within tolerance T, remains under transformations V, and fails for counterexample K. This grammar exposes missing components and prevents a noun from standing in for an argument.

Manages Complexity

Inquiry manages complexity by replacing an unstructured inventory with a small set of relations that survive relevant variation. Compression becomes legitimate when the retained relation supports reconstruction, comparison or reliable discrimination and the discarded details are declared incidental for the task.

The abstraction also supports chunking. Once an organized unit is established, reasoning can treat it as one object while retaining an audit trail to its elements.

Abstract Reasoning

  1. Type the carrier and explain why its elements are individuated at the selected scale.
  2. Separate the target structure from the notation, image, model or story used to display it.
  3. State the constitutive relation as an equation, rule, repeatability condition or traceable interpretive criterion.
  4. List transformations expected to preserve identity and justify why they are incidental.
  5. Choose at least one positive diagnostic and one collapse test.

Knowledge Transfer

Transfer begins from the role graph, not the name. Preserve carrier, relation, invariant, admissible variation, diagnostic and collapse test; then substitute domain occupants. A successful mapping explains how the target case would be recognized and how it would fail.

The most common transfer error is feature substitution. One field may represent the structure visually, another algebraically and another behaviorally. The visible features are not the invariant. Transfer must identify the relation those features evidence and state the target domain's measurement or proof obligations.

Relationships to Other Abstractions

Current abstraction Inquiry Prime

Parents (1) — outgoing typed relations

  • Inquiry is a kind of Learning Prime

    The accepted reference-grade review places Inquiry under Learning because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.

Children (7) — abstractions linked here by typed relations

  • Appreciative Inquiry Domain-specific is a kind of Inquiry

    Appreciative Inquiry is a strict kind of Inquiry: it is participatory evidence-seeking focused on strengths and generative possibilities for change.

  • Generative Linguistics Domain-specific is a kind of Inquiry

    Generative linguistics preserves Inquiry's complete question-directed cycle at the scale of an institutionalized research tradition.

  • Popperian Growth of Knowledge Domain-specific is a kind of Inquiry

    The typed carrier is a problem situation together with competing conjectures, their consequences, auxiliary assumptions, tests, and the epistemic state of the inquiring community.

  • Requirements analysis Domain-specific is a kind of Inquiry

    Requirements analysis begins from uncertainty about what a proposed or changed system must do, deliberately elicits evidence from stakeholders and operational settings, compares and reconciles candidate answers, applies quality and mission standards, and updates that knowledge into a validated or explicitly unresolved requirement set.

  • Research Prime is a kind of Inquiry

    Research is a strict kind of Inquiry: Research is a creative and systematic inquiry that gathers, organizes, tests, and interprets evidence to increase warranted understanding while exposing its questions, methods, and sources of error to scrutiny.

Hierarchy paths (2) — routes to 2 parentless roots