Theory

Version

v3 · 2026-09-28 · History

Prime #

1553

Domain group

Humanities

Origin domain

Philosophy

Core Idea

Theory is the cross-domain knowledge structure that turns a collection of claims into an organized account: it names a target domain, defines its central constructs, states relations among them and exposes consequences that evidence, argument or application can test. The abstraction is not exhausted by its familiar source-domain notation. Its autonomous core is systematic explanatory organization, distinct from a guess, a single hypothesis, a mere topic taxonomy, a model with no claim structure or a fact list.^[1]

The operative mechanism is this: Phenomena or questions are delimited, explanatory constructs and assumptions are linked into propositions, inference derives observable or interpretive consequences and comparison with evidence and rival accounts revises the system without reducing it to isolated facts. The mechanism separates identity from observation. A case does not qualify merely because an observer can describe it using the word theory; the constitutive relation must be present in the carrier.

The load-bearing invariant is that a target domain, explicit constructs and assumptions, a connected proposition structure, an inference or explanatory relation, consequences beyond the input claims and standards by which support scope and revision are assessed. Carrier, relation, invariant, admissible variation and collapse condition must all be typed. This blocks migration from an exact mathematical or empirical claim into a loose metaphor.^[2]

Across substrates, notation and evidence change while the role graph remains. The analyst first identifies what can vary, then identifies the organization that survives those variations, then tests a nearby counterexample. This conserved decision sequence is the basis for Prime status.^[3]

The strict residual is systematic explanatory organization, distinct from a guess, a single hypothesis, a mere topic taxonomy, a model with no claim structure or a fact list. It is broader than one technique that recognizes or controls the structure and narrower than an unqualified claim of order, resemblance or usefulness. A reference-grade use therefore states both the positive test and the nearest boundary.

How would you explain it like I'm…

The Big Why-Explanation

A theory is a big idea that explains lots of things at once and tells you what should happen next. If you think 'plants need sun to grow', you can guess the plant in the dark closet will get sick — and then check. It's more than just a guess or a list of facts.

Connected Explanation You Can Test

A Theory is an organized explanation of how something works. It says what it's about, what its main ideas are, and how those ideas connect. Then it lets you figure out new things you haven't seen yet, which you can check against evidence. That's different from a single guess, a list of facts, or just a way of sorting things into groups. If the evidence doesn't match, the theory gets fixed or replaced by a better one.

Organized, Testable Explanation

A theory is an organized account that turns a collection of claims into a connected explanation of some area. It names the topic it covers, defines its key concepts, states how those concepts relate, and draws out consequences that can be tested with evidence or argument. That makes a theory different from a guess, a single hypothesis, a list of facts, or a filing system of topics. A theory produces predictions or interpretations beyond what went into it. It's also judged by standards — how well it's supported, how far it applies, and how it compares with rival theories — and it can be revised as evidence changes. Note that in science 'theory' doesn't mean 'just a hunch'; evolution and plate tectonics are theories in this strong sense.

 

A Theory is a cross-domain knowledge structure that organizes claims into a systematic explanatory account. It delimits a target domain, defines central constructs and assumptions, links them into a connected set of propositions, and supports inference to observable or interpretive consequences that go beyond the input claims. Those consequences are assessed against evidence and rival accounts under explicit standards of support, scope, and revision, and the theory is revised as a system rather than dissolving into isolated facts. The load-bearing invariant is thus a target domain, explicit constructs, a connected proposition structure, an inferential or explanatory relation, surplus consequences, and assessment standards. This distinguishes theory from a guess or single hypothesis, a topical taxonomy, a model lacking claim structure, and a fact list. The structure recurs in physics, biology, economics, social science, and law — whether the consequences are quantitative predictions or interpretive implications — and a case qualifies only if that organization is actually present, not because someone calls it a theory.

Structural Signature

• Typed carrier: the objects, states, events or observations on which the claimed organization exists.
• Granularity: the spatial, temporal, logical or institutional scale at which elements and relations are individuated.
• Constitutive relation: a repeatable, invariant or organizing relation that does more work than the shared label.
• Observation map: a declared way of measuring or representing the carrier without confusing the representation with the thing.
• Admissible variation: transformations or perturbations that preserve identity and reveal which features are incidental.
• Invariant: a relation or diagnostic that remains stable across those variations.
• Boundary counterexample: a neighboring case with superficial similarity but without the constitutive relation.
• Evidence path: proof, measurement, repeated observation or traceable interpretation supporting the claim.
• Uncertainty: sensitivity to noise, sampling, resolution, model choice and observer expectation.
• Collapse test: a change that removes the invariant and therefore destroys the identity.
• Transfer mapping: literal occupants for every role in a second substrate, not a metaphorical reuse of vocabulary.
• Use separation: discovery, prediction, control and communication are consequences or applications, not the identity itself.

What It Is Not

• It is not a mere unsupported guess.
• It is not one isolated proposition or hypothesis.
• It is not a classification with no explanatory or inferential relations.
• It is not guaranteed true simply because it is coherent or widely accepted.
• It is not one canonical example. An example demonstrates the abstraction but cannot define the whole class.
• It is not a detector or recognition algorithm. A fallible method can identify the structure, but method and target remain distinct.
• It is not a convenient label for anything organized. The constitutive relation and collapse test must be stated.
• It is not proof of causation. Stable structure can arise from several mechanisms, confounding or selection.
• It is not observer-free by stipulation. Measurement scale and representation can create or erase apparent structure.
• It is not universal sameness. Variation is expected, but only within a declared identity-preserving class.
• It is not value or desirability. A harmful, accidental or meaningless case can satisfy the structural test.
• It is not a promise of prediction. Recognition can be retrospective or descriptive when dynamics remain uncertain.

Broad Use

science. The carrier is observations and established constraints. The identity test is that link mechanisms to testable 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 can discriminate among rival accounts. 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.

mathematics. The carrier is axioms definitions and prior results. The identity test is that organize a field through propositions and proofs. 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 deductive support governs consequences. 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.

social science. The carrier is patterns of behavior and institutions. The identity test is that state constructs and causal or interpretive relations. 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 scope conditions control transfer. 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.

engineering. The carrier is system behavior and governing principles. The identity test is that explain performance and predict design consequences. 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 models instantiate the theoretical relations. 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.

humanities. The carrier is texts practices and historical evidence. The identity test is that organize an interpretive account. 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 arguments and counterreadings test coherence and reach. 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.

everyday reasoning. The carrier is recurrent observations about a situation. The identity test is that form a connected explanatory account. 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 it becomes theory-like only when assumptions and consequences are explicit. 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.

Across these substrates the workflow is conserved. Define the carrier and scale; state the relation; identify transformations that should preserve it; choose a diagnostic; test positive and negative cases; estimate sensitivity; and separate recognition from causal explanation or intervention. The workflow makes Theory portable without flattening each domain's evidence obligations.

The strongest test is residual substitution. Replace the source-domain nouns with typed roles and ask whether a second field can fill every role without changing the operation. If only the word survives, transfer is metaphorical. If carrier, relation, invariant, perturbation and collapse test survive, the Prime has literal reach. This requirement protects the encyclopedia from promoting fashionable vocabulary merely because it appears in many fields.

Scale is constitutive. A relation can be stable at one grain and disappear at another. Aggregation may manufacture regularity; high resolution may fragment a robust macroscopic object into irrelevant detail. Claims should therefore bind scale and observation window to the identity while preserving a route for comparing scales. The abstraction is not whatever remains under every imaginable magnification.

Uncertainty is also structural. Sparse data, measurement error, preprocessing and model choice can generate false positives. Confirmation should include alternative representations and held-out observations where feasible. Mathematical examples replace sampling uncertainty with convention and proof obligations, but still require precise carrier and equivalence.

Finally, use does not define identity. A structure may enable compression, explanation, prediction, aesthetic effect or control. Those payoffs motivate attention, yet a case can qualify without delivering every payoff. Conversely, an intervention may work for reasons unrelated to the claimed structure. The Prime records what the thing is before cataloging what agents do with it.

Clarity

A clear Theory 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.

Names often mix target, representation and process. The target is the organization in the carrier. A diagram, equation, category or narrative is a representation. Detection, classification, design and control are processes. The three can be tightly coupled, but merging them creates collision with neighboring encyclopedia nodes.

Identity needs both intension and extension. The intensional test states a target domain, explicit constructs and assumptions, a connected proposition structure, an inference or explanatory relation, consequences beyond the input claims and standards by which support scope and revision are assessed. The extension supplies diverse positive cases and instructive failures. Neither one list of examples nor one elegant definition is enough when conventions and measurement enter the boundary.

A claim should also state whether it is exact, statistical, approximate or interpretive. Exact identities require proof. Statistical identities require uncertainty and a null comparison. Interpretive identities require traceable evidence and alternative readings. The structural frame supports all four without pretending their warrants are interchangeable.

Ambiguity is resolved by the nearest-confusable test. If a candidate can be fully explained by recognition, resemblance, control, representation or one domain-specific subtype, it should route there. Theory remains only when systematic explanatory organization, distinct from a guess, a single hypothesis, a mere topic taxonomy, a model with no claim structure or a fact list survives that subtraction.

Manages Complexity

Theory 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. This lowers cognitive and computational load without asserting that internal variation is absent. Chunk boundaries must be reopened when transfer or failure depends on hidden detail.

It localizes disagreement. Analysts can dispute carrier boundaries, scale, relation, tolerance, evidence or causal explanation separately rather than arguing over the label as a whole. This is especially valuable where one field uses an exact definition and another uses probabilistic recognition.

It guides search by privileging transformations and counterexamples. Instead of collecting only more positive instances, the analyst asks which changes preserve identity and which destroy it. That experiment reveals the core faster than surface enumeration and reduces confirmation bias.

The primary compression hazard is false invariance. Preprocessing, selection and aggregation can make unrelated cases look stable. A reference-grade account reports what was normalized, which alternatives were tried and where the abstraction stops paying rent. Complexity is managed by controlled omission, not by hiding residuals.

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.
6. Construct a nearest counterexample that preserves surface similarity while removing the invariant.
7. Test sensitivity to scale, observation window, noise, sampling and representation choice.
8. Distinguish exact, approximate, statistical and interpretive claims and apply the matching evidence standard.
9. Map every structural role into a second unrelated substrate to test literal transfer.
10. Subtract neighboring processes such as recognition, completion, design or control and identify the remaining residual.
11. Separate descriptive identity from causal origin and from practical exploitation.
12. Record uncertainty, conventions and known failure domains so downstream users can rematch the claim.

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.

A second error is process substitution. A detector, classifier or design recipe can be reused while its target changes. That is method transfer, not necessarily transfer of Theory. Conversely, the same structure can be discovered by unrelated methods. The encyclopedia node concerns the conserved target relation.

Knowledge transfer improves when negative cases travel too. For every source example, construct a target case with similar components but without a target domain, explicit constructs and assumptions, a connected proposition structure, an inference or explanatory relation, consequences beyond the input claims and standards by which support scope and revision are assessed. If analysts cannot articulate the failure, the mapping is too loose. Counterexamples prevent the Prime from expanding into a synonym for organization.

Transfer should preserve uncertainty. An exact theorem cannot make an empirical target exact, and an interpretive source does not remove target measurement requirements. What transfers is the decision architecture; warrants remain native to their domains.

The practical payoff is a reusable audit sequence. Teams can compare apparently different phenomena by the same typed questions, discover when a domain-specific subtype is sufficient, and route residuals without duplicating nodes. The result is cross-domain leverage with explicit limits rather than an analogy catalog.

Examples

1. In science, start with observations and established constraints. Specify the units and transformations under which sameness is being asserted. Demonstrate that link mechanisms to testable predictions; then perturb a nonessential feature and verify that the identity remains, and perturb the defining relation and verify that it collapses. The boundary is evidence can discriminate among rival accounts. The mapping is carrier → observations → relation → invariant → variation class → diagnostic failure. This walkthrough prevents one salient instance, a visual resemblance, or a successful application from substituting for the abstraction.
2. In mathematics, start with axioms definitions and prior results. Specify the units and transformations under which sameness is being asserted. Demonstrate that organize a field through propositions and proofs; then perturb a nonessential feature and verify that the identity remains, and perturb the defining relation and verify that it collapses. The boundary is deductive support governs consequences. The mapping is carrier → observations → relation → invariant → variation class → diagnostic failure. This walkthrough prevents one salient instance, a visual resemblance, or a successful application from substituting for the abstraction.
3. In social science, start with patterns of behavior and institutions. Specify the units and transformations under which sameness is being asserted. Demonstrate that state constructs and causal or interpretive relations; then perturb a nonessential feature and verify that the identity remains, and perturb the defining relation and verify that it collapses. The boundary is scope conditions control transfer. The mapping is carrier → observations → relation → invariant → variation class → diagnostic failure. This walkthrough prevents one salient instance, a visual resemblance, or a successful application from substituting for the abstraction.
4. In engineering, start with system behavior and governing principles. Specify the units and transformations under which sameness is being asserted. Demonstrate that explain performance and predict design consequences; then perturb a nonessential feature and verify that the identity remains, and perturb the defining relation and verify that it collapses. The boundary is models instantiate the theoretical relations. The mapping is carrier → observations → relation → invariant → variation class → diagnostic failure. This walkthrough prevents one salient instance, a visual resemblance, or a successful application from substituting for the abstraction.
5. In humanities, start with texts practices and historical evidence. Specify the units and transformations under which sameness is being asserted. Demonstrate that organize an interpretive account; then perturb a nonessential feature and verify that the identity remains, and perturb the defining relation and verify that it collapses. The boundary is arguments and counterreadings test coherence and reach. The mapping is carrier → observations → relation → invariant → variation class → diagnostic failure. This walkthrough prevents one salient instance, a visual resemblance, or a successful application from substituting for the abstraction.
6. In everyday reasoning, start with recurrent observations about a situation. Specify the units and transformations under which sameness is being asserted. Demonstrate that form a connected explanatory account; then perturb a nonessential feature and verify that the identity remains, and perturb the defining relation and verify that it collapses. The boundary is it becomes theory-like only when assumptions and consequences are explicit. The mapping is carrier → observations → relation → invariant → variation class → diagnostic failure. This walkthrough prevents one salient instance, a visual resemblance, or a successful application from substituting for the abstraction.

Structural Tensions

• Invariant versus variation: identity requires stability while meaningful cases retain nontrivial differences.
• Discovery versus projection: observers find structure but can also impose it through preprocessing and expectation.
• Compression versus residual loss: useful simplification can conceal details that matter under transfer or stress.
• Exactness versus tolerance: mathematical and empirical instances use different but explicit thresholds of sameness.
• Local versus global: organization at one region or scale may not extend to the whole carrier.
• Static versus dynamic: a snapshot may display structure while its persistence or generating process differs.
• Description versus explanation: specifying the relation does not alone identify why it exists.
• Recognition versus intervention: accurate classification does not guarantee controllability.
• Universality versus convention: the role graph transfers while notation and evidence standards remain local.
• Robustness versus sensitivity: the abstraction must ignore incidental variation without becoming blind to collapse.

Structural–Framed Character

Theory occupies the mixed-structural region of the structural–framed spectrum. It organizes a domain through explicit constructs, assumptions, connected propositions, inferential or explanatory relations, consequences, and standards of support, as in a scientific account, a mathematical theory, or an interpretive account of texts and practices.

The vocabulary shares that organizing core but differs materially across scientific, formal, and humanistic inquiry. Calling an account a theory carries some evaluative expectation of coherence and support, even though theories can be false. No single institution creates the general form. Theory is partly tied to human inquiry, while its formal relations and empirical consequences need not depend on an individual reasoner. Its constructs frame which patterns matter, but observations, proofs, and counterreadings constrain the account. The five diagnostics therefore split evenly enough to give a mixed classification with a structural lean.

Substrate Independence

The substrate-independence score is high because science, mathematics, social science, engineering, humanities, everyday reasoning all support literal occupants for carrier, relation, invariant, variation and collapse. None supplies a privileged material substrate.

Independence does not mean content-free. The invariant remains a target domain, explicit constructs and assumptions, a connected proposition structure, an inference or explanatory relation, consequences beyond the input claims and standards by which support scope and revision are assessed. A proposed transfer that cannot instantiate that condition fails even if speakers commonly use the same word.

The abstraction spans exact and empirical carriers because its structure concerns relations and invariance, while warrant is typed locally. This is analogous to a mathematical form instantiated by noisy measurements: the target may be approximate without the concept becoming metaphorical.

The boundary is generic order. Not every organized thing is Theory. Prime status depends on an autonomous test, diverse counterexamples and preserved roles. Where a narrower existing Prime fully captures the case, that node should be used instead.

Relationships to Other Abstractions

Current abstraction Theory Prime

Parents (1) — outgoing typed relations

• Theory is a kind of Formalization Prime

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

Children (103) — abstractions linked here by typed relations

• Abstract object theory Domain-specific is a kind of Theory

  Abstract object theory is a strict kind of Theory: its frozen identity entails the parent's defining structure while adding domain-specific restrictions.

• Aristotle's theory of universals Domain-specific is a kind of Theory

  The target is the metaphysical and epistemological problem of universals; particulars, hylomorphic substances, common forms, and intellect are its explicit constructs; immanent multiple instantiation and abstraction from experience connect those constructs into propositions; and the account entails rejections of both separately existing Forms and mere nominal sameness.

• Atom (Order Theory) Domain-specific is a kind of Theory

  Atom (Order Theory) is a strict kind of Theory: In the mathematical field of order theory, an element a of a partially ordered set with least element 0 is an atom if 0 0 has an atom a below it, that is, there is some a such that b ≥ a :> 0.

▸ Show 100 more

Hierarchy paths (2) — routes to 2 parentless roots

• Theory → is a kind of Formalization → presupposes Representation → presupposes Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space

Theory sits among the more crowded primes in the catalog (0^th percentile for distinctiveness): several abstractions describe nearly the same structure, so a description that fits it will tend to fit its neighbors too — transporting it usually means disambiguating within this family rather than landing on it exactly.

Family — Foundational Primitives & Basic Reasoning (61 primes)

Nearest neighbors

• Inquiry — 0.99
• Addition — 0.99
• Sanity check — 0.99
• Idea — 0.99
• Information — 0.99

Computed from structural-signature embeddings · 2026-10-25

Not to Be Confused With

• Hypothesis: A hypothesis is one testable or arguable proposition; a theory connects multiple constructs and propositions into a system.
• Model: A model is a selective representation of a target; it can instantiate, test or apply a theory without exhausting it.
• Framework: A framework organizes concepts and questions but may leave their explanatory relations underdetermined.
• Law: A law states a stable relation or regularity; a theory explains or embeds laws within a broader account.
• Paradigm: A paradigm includes shared exemplars, methods and standards of a community; a theory is a particular structured account within or across paradigms.

The prospective workspace queue contains one strict upward edge to Formalization. No live DAG mutation is authorized.

Solution Archetypes

No catalogued solution archetypes reference this prime yet.

References

[1] Steven D Schafersman, 'An Introduction to Science'. registry ↩

[2] National Academy of Sciences, Institute of Medicine, 'Science, evolution, and creationism', National Academies Press, 2008. registry ↩

[3] Foster McMurray, 'Preface to an Autonomous Discipline of Education', Educational Theory, July 1955, doi:10.1111/j.1741-5446.1955.tb01131.x. registry ↩