Idea

Version

v3 · 2026-09-28 · History

Prime #

1519

Domain group

Humanities

Origin domain

Philosophy

Core Idea

An idea is an intelligible content that can be entertained, expressed, compared, combined or instantiated without being identical to any one token thought, utterance or physical realization. The abstraction is not exhausted by its familiar source-domain notation. Its autonomous core is portable intelligible content, distinct from the event of thinking it, the wording that expresses it and the object that may instantiate it.

The operative mechanism is this: A cognitive or symbolic act makes some content available; representation and interpretation stabilize enough of that content for agents or systems to reason about it, transmit it or use it to guide construction and action. The mechanism separates identity from observation.

How would you explain it like I'm…

A Think-Thing You Share

An idea is something you can think, like "let's build a fort out of pillows." You can think it, tell it to your friend, and then your friend has the same idea in their head. You can even build the fort. The idea isn't the words you said or the fort — it's the plan that you both share.

A Thought You Can Share

An idea is a piece of meaning that can be thought about, shared, compared, and combined, without being stuck to any one person's head or any one set of words. If you think "what if dogs could talk?" and your friend thinks the same thing in Spanish, it's the same idea even though the words are different. An idea is different from the moment you think it, from the words you use to say it, and from the thing you make with it — a recipe idea isn't the cake. That's why ideas can spread from person to person and be used again and again.

Portable Meaningful Content

An idea is a piece of understandable content that can be thought about, expressed, compared, combined, or put into practice, without being the same as any single act of thinking, any particular wording, or any physical thing that carries it out. The Pythagorean theorem is one idea even though millions of people have thought it, it has been written in many languages, and it is used in countless buildings. What makes something the same idea is that its content and identity stay stable across different minds and expressions. This separates the idea from three neighbors: the thinking event (your thought at 3 PM), the words used to say it, and the object built from it. Ideas become useful when they are stable enough to reason about, pass on, and use to guide action.

 

An idea is intelligible content that can be entertained, expressed, compared, combined, or instantiated without being identical to any one token thought, utterance, or physical realization. Its core is portable intelligible content, distinct from the mental event of thinking it, the wording that expresses it, and any object that instantiates it—a type/token distinction applied to content. The mechanism: a cognitive or symbolic act makes content available, and representation and interpretation stabilize enough of it that agents or systems can reason about it, transmit it, or use it to guide construction and action. The invariant is that one idea can recur across distinct mental episodes and expressions so long as a stable content and its identity conditions are preserved. That is why translation, paraphrase, and independent rediscovery can count as the same idea, while a superficially similar sentence with different content does not. Something does not count as an idea just because it's called one; the separability of content from its carriers must actually hold.

Broad Use

planning. The carrier is possible actions and outcomes. The identity test is that form and compare a proposed course. 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 the proposal can precede execution. 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 Idea 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

Idea 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 Idea Prime

Parents (1) — outgoing typed relations

• Idea is a kind of Representation Prime

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

Hierarchy path (1) — routes to 1 parentless root

• Idea → is a kind of Representation → presupposes Abstraction