Comparison¶
Core Idea¶
Comparison is the structural operation of placing two or more items — the comparands — under a shared frame, selecting one or more dimensions along which they will be co-considered, applying an alignment rule that makes them commensurable enough to relate, and reading off an output relation: same or different, greater or lesser, analogous or unmatched, ranked or unranked. The cognitive-science treatment by Holyoak and Thagard (1989) characterizes this as a constraint-satisfaction process running over structural, semantic, and pragmatic constraints — a formal model of the role-slots the operation requires.[1] It turns isolated properties of individual items into relational information between them. The operation is what cognitive scientists, philosophers of method, and statisticians have all converged on as a foundational move of structured thought — Tversky's (1977) feature-matching account treats similarity itself as the output of a comparison process over weighted feature sets, parameterized by direction and salience.[2]
Comparison can foreground likeness, contrast, ranking, analogy, equivalence, deviation, or fit, but the underlying operation is the same in each case: place the items in commensurable view and read off the relation. Its core commitments are two. First, comparison is relational — it generates information between items, not about a single item considered alone. Second, it is framed: comparability requires shared dimensions or criteria, even informal ones. Without a frame, there is no comparison, only juxtaposition; without dimensions, there is no determinate output, only suggestion.
A crucial consequence falls out of the framing condition: comparison names the operation, not the result. The catalog already contains result-shaped neighbors — contrast (the difference reading), analogy (the deep-mapping reading), commensurability (the precondition that a common metric exists), classification (assignment to categories). What none of those name is the underlying move itself: take two or more items, place them in a shared frame, and let a relation appear. Comparison is that move.
How would you explain it like I'm…
Looking at two things together
Putting things side by side
Relating items under a shared frame
Structural Signature¶
Comparison encodes a structural pattern: co-framing → dimension selection → alignment → relation read-off. The pattern separates an unstructured set of items from a structured relational claim about those items, and names the work required to get from one to the other; Gentner's (1983) structure-mapping theory formalizes the same separation in the analogy case, distinguishing the surface-level comparands from the higher-order relational structure that the alignment rule must preserve.[3]
Recurring features:
- Two or more items placed under a shared frame
- Dimensions of comparison selected from a larger space
- Alignment rule that makes comparands commensurable
- Output relation (same/different, greater/lesser, analogous, ranked)
- Frame-relativity of the relation produced
- Operation that generates relational information, not properties
- Distinction between the comparing move and its readings
The structural insight is robust across substrates. A perception experiment measuring a just-noticeable difference, a controlled biology trial scoring two genotypes against a phenotype, a literary critic reading a simile, a benchmark suite scoring two language models, a metrologist comparing a sample against a calibration standard — each instantiates the same five-role machinery with different comparands, frames, dimensions, alignment rules, and output relations. Goodman's (1972) sharp critique of bare similarity claims — that similarity is empty without a respect-of-comparison — is the canonical statement of why the dimension-selection role is load-bearing and cannot be elided.[4]
What It Is Not¶
Comparison is not a property of a single item. A claim like "this object is large" looks unary but is always implicitly comparative — large relative to an implicit reference class. Surfacing the hidden comparand turns covert comparison into explicit comparison, but the operation does not begin when made explicit; it was already running. Comparison is also not the output it produces. The output of comparison can be a similarity score, a difference, an ordering, an analogical mapping, or a categorical assignment, but the operation that yields any of these is one and the same.
Nor is comparison reducible to measurement. Measurement assigns numerical values to a quantity by comparison against a unit or standard, so every measurement is comparison-shaped — but most comparison is not measurement. A qualitative judgment that two species share a body plan, an analogical mapping between a circuit and a hydraulic system, a literary critic's reading of a simile — these are comparisons that produce relational information without numerical assignment. Comparison is broader than measurement; measurement is comparison specialized to numerical output along a metric dimension, exactly the formal characterization the International Vocabulary of Metrology (JCGM 200:2012) gives by routing every measurement through a calibration chain anchored in a reference standard.[5]
Comparison is not the same as contrast, though the two are often used interchangeably in ordinary speech. Contrast is comparison whose dimension selection and output relation are oriented toward difference: the operation runs, but the analyst foregrounds the gap rather than the overlap, a foregrounding that Markman and Gentner (1996) show empirically as the alignable-difference reading produced by the same structural-alignment machinery that yields commonalities.[6] A contrast is therefore a kind of comparison — the difference-emphasizing kind — not a separate operation. The same comparands compared on the same dimensions can yield either a similarity reading or a contrast reading depending on the analyst's interest; the underlying machinery is identical. The DAG edge runs comparison → contrast as presupposes, flipping the historical reverse-subsumption in which contrast (the more familiar English word) was treated as the umbrella — a flip that Markman and Gentner's (1996) demonstration of difference judgments as a product of the similarity-comparison process directly supports.[6]
Comparison is not judgment or evaluation. A comparison can feed into an evaluative judgment (this option is better than that one along criterion X), but the comparison itself produces a relational fact, not a normative ranking. Evaluation requires an additional layer in which one of the read-off relations is privileged as "better" by some external value standard. Plenty of comparisons produce no evaluation at all — comparing two artifacts on age, or two languages on phoneme inventory, generates relational information without imputing value.
Finally, comparison is not grouping or classification. Classification assigns items to categories; the result of classification is a partition of a set into kinds. Comparison places items in a relation; the result is a structured claim about how they stand to each other. Classification uses comparison as a subroutine (the item is matched against category prototypes or definitions), but adds the act of assignment, which comparison alone does not perform.
Broad Use¶
Cognition and perception: Recognizing similarity, difference, and order is among the most basic cognitive operations. Feature-detection circuits in early visual cortex literally implement comparison operations on adjacent stimuli; psychophysical methods quantify just-noticeable differences as the threshold at which a comparison output flips from "same" to "different." Pre-linguistic infants and non-human animals perform feature-matching and ordinal comparison without methodological scaffolding.
Scientific method and experimental design: Controlled comparison — Mill's methods, A/B tests, randomized controlled trials, difference-in-differences designs — is the structural core of causal inference. The experimenter holds the frame constant (matched conditions) and varies one dimension (the treatment), so any output difference is attributable to that dimension rather than to confounders. Campbell and Stanley's (1963) treatment of internal validity is, at its core, an enumeration of the failure modes of the alignment rule in controlled comparisons — selection, history, maturation, and the rest are all ways the frame fails to hold the comparands commensurable.[7]
Physics, at the substrate extreme: CPT-symmetry tests in particle physics — measurements of the proton/antiproton mass ratio, comparisons of meson and antimeson decay rates — are pure controlled comparisons at a substrate where no human practice is in view. The frame is the experimental apparatus, the comparands are matter and antimatter species, the dimension is some observable (mass, lifetime, magnetic moment), the alignment is the symmetry hypothesis being tested, and the output relation is "indistinguishable to within experimental precision." That this is recognizably the same operation as a behavioral A/B test is strong substrate-independence evidence.
Biology: Controlled biological comparison — knockout-vs-wildtype crosses, treatment-vs-sham in clinical trials, common-garden experiments holding environment fixed across genotypes — sits between physics and the human-practice domains. Cohort studies and case-control epidemiology extend the same logic to populations where randomization is impossible, with attendant alignment-rule risks (confounding, selection bias) that are the central concerns of the field.
Literature and rhetoric: Simile, metaphor, juxtaposition, and parallel structure are comparison used for expressive, persuasive, or evocative effect rather than for inference. Juxtaposition is the pre-comparative setup that supplies comparands and a rough frame without itself performing the dimension selection or alignment — the curator places the two paintings side by side; the viewer runs the comparison. Markman and Gentner (1996) demonstrate experimentally that placing items side by side prompts the viewer to construct an alignment, with commonalities and alignable differences only emerging once the structural-mapping step is actually performed.[6] Hofstadter and Sander's (2013) treatment of analogy as the core of cognition argues that even the most rhetorical-seeming comparisons run on the same dimension-selection and alignment machinery as scientific ones, with the output relation simply weighted toward expressive resonance rather than truth-preservation.[8]
Evaluation and benchmarking: Comparing options against criteria — cost-benefit analysis, multi-criteria decision analysis, performance benchmark suites — is comparison whose output relation is then fed into a downstream evaluative or selection step. The benchmarking literature in computer science, with its careful attention to held-constant test inputs and varied system-under-test, is comparison's industrial-scale instantiation.
Analogy and case-based reasoning: Comparing a current situation to known prior cases to transfer insight is comparison whose alignment rule is structural mapping. Gentner's (1983) structure-mapping theory of analogy specifies the alignment rule precisely — preserve higher-order relational structure, drop surface features — and treats the analogical output as a transferable inferential pattern.[3]
Measurement and metrology: Every measurement is a comparison against a unit or reference standard. The international metrology infrastructure — primary standards, calibration chains, traceability — is engineering devoted to making the alignment rule in measurement comparisons trustworthy at scale.
Clarity¶
A core function of "comparison" as a named prime is to surface the hidden machinery in claims that present as direct readings of the world. An unargued "these are similar," "this is better," or "X is unlike Y" is a comparison output whose comparands, frame, dimensions, and alignment rule have all been left implicit. Naming the operation forces the prior question: similar under what frame, along what dimensions, by what alignment rule? The same two organisms compared on body plan look very different from the same two compared on metabolic pathways; the same two policies compared on cost look very different from the same two compared on equity outcomes. Distinguishing the operation from its readings matters because the readings are not free-standing — they are functions of choices made earlier in the pipeline, and surfacing those choices is the analyst's leverage.
The clarity benefit extends to detecting covert comparisons. Claims that look unary — "this is large," "this is fast," "this is unfair" — are comparison outputs in disguise, with the reference class hidden. Naming comparison as a prime makes it natural to ask "compared to what?" and to refuse the claim until the reference is specified.
It also clarifies the structure of disagreement. When two analysts produce different comparison outputs for the same pair of items, the disagreement can be located at any of four sites: they may have chosen different dimensions, applied different alignment rules, used different frames, or simply read the relation differently. Without comparison vocabulary, these disagreements look like flat contradictions; with it, they become locatable and arguable.
Manages Complexity¶
Comparison decomposes an evaluative situation into five concrete roles: the comparands (the items being compared), the comparison frame (the shared context in which they are co-considered), the dimensions or criteria along which the comparison runs, the alignment rule that makes the comparands commensurable enough to relate, and the output relation — same/different, more/less, analogous, matched, incompatible, or ranked. Medin, Goldstone, and Gentner (1993) argue at length that any usable theory of similarity requires precisely this kind of role-decomposition — most centrally the explicit "respects" along which the comparison runs — without which similarity-talk collapses into the vacuity Goodman warned of.[9]
Once those roles are named, an opaque "these are similar" or "this is better" becomes a structured claim with explicit machinery. The analyst can interrogate any single role without challenging the rest: were the comparands appropriately chosen, or was the comparison rigged by cherry-picking? Is the frame neutral, or does it pre-favor one side? Are the dimensions exhaustive, or has the comparison been narrowed to dimensions on which one comparand happens to win? Does the alignment rule force a false commensurability, treating non-equivalent items as equivalent under a metric that does not really apply to both? Auditing the alignment rule is the structural form of methodological critique in experimental design — selection bias, confounding, and equating failures are all alignment-rule failures in disguise — and the same audit transfers to cross-cultural and cross-domain comparison, as Sartori (1991) argues in his account of "cat-dog" miscomparisons: aggregates assembled under an alignment rule that papers over genuine non-equivalence, defeating the comparison from inside.[10] Is the output relation correctly read, or has a same/different distinction been collapsed into a ranking that does not survive scrutiny?
The decomposition converts unargued comparative judgments into auditable ones. This is exactly the move that statistics education makes when it teaches students to distinguish a population, a sample, a treatment, a control, and an outcome measure — all of which are role-slots in a controlled comparison. It is also the move that critical literary analysis makes when it asks "tenor and vehicle?" of a simile. Different vocabularies, same decomposition.
The complexity-management payoff is large. Comparison-shaped problems abound — every claim of similarity, difference, ranking, fit, equivalence, analogy, or categorical match is comparison-shaped — and a single structural vocabulary lets the analyst transfer diagnostic moves across all of them. A trick learned for detecting a rigged frame in a corporate benchmark report is the same trick that detects a rigged frame in a legislative impact analysis.
Abstract Reasoning¶
Comparison supports the counterfactual move: if the frame, dimensions, or alignment rule were different, the output relation would change in this specifiable way. That move is what makes comparison the structural core of controlled experimentation — the experimenter holds the frame constant (matched conditions) and varies one dimension (the treatment), so any output difference is attributable to that dimension. The same abstract operation underwrites benchmarking (hold the task constant, vary the system), analogical reasoning (hold the structural mapping constant, vary the surface domain), and the literary uses (hold the juxtaposition constant, read the relation as expressive content).
A defining feature of comparison is its frame-relativity: the same two comparands compare differently along different dimensions, so any comparative claim is implicitly indexed to a frame. Surfacing that index — making the frame explicit — is the abstract reasoning leverage the prime provides. It enables the analyst to construct deliberate counterfactual reframings: "compare these two on cost, then again on equity, then again on durability — and see how the output relation moves." A reframing exercise that would be inarticulate in flat similarity-talk becomes routine in comparison vocabulary.
Comparison also enables a sharp distinction between robust and frame-dependent relations. A relation that survives reframing across many reasonable dimension choices is robust; one that collapses or inverts under minor reframing is frame-dependent. The robustness question is itself a meta-comparison — comparing the output of comparison under varied frames — and it underpins concepts like external validity in experimental design, generalization in machine learning evaluation, and structural soundness in analogical inference.
Knowledge Transfer¶
The five-role structure transfers intact across substrates. A biologist comparing two species on phenotype, a metrologist comparing a sample to a calibration standard, a literary critic reading a simile, an economist running a difference-in-differences study, a particle physicist running a CPT test, and a perception researcher measuring a just-noticeable difference are all instantiating the same operation with different comparands, frames, and dimensions; Lijphart's (1971) systematic comparison of the experimental, statistical, and comparative methods in political science is the canonical demonstration that the same role-slots underlie all three traditions, with the differences confined to how each fills the alignment rule.[11]
The substrate-furthest cases are the strongest transfer evidence. In particle physics, comparison runs entirely without human social or institutional scaffolding — the apparatus implements the frame, nature supplies the comparands, and the output is a number with an uncertainty interval. In early-visual-cortex feature detection, comparison runs in milliseconds in non-human animals and pre-linguistic infants, again without any methodological apparatus. These cases rule out any suspicion that comparison is a specialty of formal science or human reasoning. It is a substrate-independent operation that happens to have particularly powerful institutional implementations in experimental method and benchmarking.
The pedagogical transfer is also clean. A practitioner who has internalized the five-role structure in one domain can use it to diagnose claims in another. An experimental designer can read a literary simile in comparison-vocabulary (what are the comparands, the frame, the implied dimensions of mapping?) and discover that the same machinery is running. A literary critic can read an A/B test in comparison-vocabulary and identify the same role-slots, with different content in each.
Examples¶
Formal/abstract¶
Particle physics — CPT symmetry test: Consider an experiment measuring the magnetic moment of the proton and the antiproton to test the CPT theorem. The comparands are the proton and the antiproton, prepared in a Penning trap. The comparison frame is the apparatus, which by construction holds the magnetic field, trap geometry, and measurement protocol identical for both species. The dimension is the cyclotron-to-Larmor frequency ratio, from which the magnetic moment is extracted. The alignment rule is the assumption that the trap behaves symmetrically with respect to charge sign (a non-trivial assumption requiring its own calibration). The output relation is "the magnetic moments are equal to within experimental precision," and Smorra et al.'s (2017) BASE-collaboration measurement of the antiproton magnetic moment as −2.7928473441(42) nuclear magnetons — agreeing with the proton at the parts-per-billion level — is the current canonical instance.[12] Mapped back: Every role of the comparison operation is filled, and every role can be challenged independently — comparand preparation, frame symmetry, dimension choice, alignment-rule fidelity, output reading. The comparison operation is fully recognizable here, at a substrate maximally far from human practice.
Controlled biology — common-garden experiment: Two plant genotypes, A and B, are grown side by side in a common garden under matched soil, water, and light. The comparands are the two genotypes; the frame is the garden, which by design holds environmental factors constant; the dimension is biomass at harvest; the alignment rule is the randomized spatial placement that controls for within-garden microclimate variation; the output relation is "genotype A produces 17% more biomass than genotype B in this environment." The exact same five-role structure governs a Mill's-method causal inference, a difference-in-differences economic study, a benchmark run comparing two language models on a reasoning suite, and a literary simile ("my love is like a red, red rose" — comparands my-love and rose, frame poetic praise, dimensions vitality and freshness, alignment by metaphorical mapping, output relation positive resemblance). Mapped back: Comparison is the umbrella; controlled comparison, simile, juxtaposition, and benchmarking are its frame-and-dimension specializations. The same five role-slots run across maximally different content.
Applied/industry¶
A/B test on a checkout page: An e-commerce team compares two checkout-page designs on conversion rate. The comparands are the two page variants; the comparison frame is "users arriving at checkout during the same time window with traffic split randomly"; the dimension is conversion rate; the alignment rule is the randomization, which makes the user populations exchangeable, so any rate difference is attributable to the page rather than to the users; the output relation is "variant B converts at a higher rate." Notice that the same two pages compared on a different dimension — load time, accessibility score, brand consistency — could yield the opposite output relation. The comparison is well-defined only once the frame and dimensions are fixed. Mapped back: Industrial A/B testing is a controlled comparison whose alignment rule (randomization) makes the comparison machinery cheap and trustworthy at scale. The same operation that runs in a biology common-garden experiment runs in a checkout-conversion test; the only differences are the comparands, the dimensions, and the alignment-rule implementation.
LLM benchmark suite: A team comparing two language models on a reasoning benchmark sets the comparands (the two models), the frame (the benchmark task set, the prompting protocol, the decoding parameters), the dimensions (per-task accuracy, calibration, latency, cost), the alignment rule (identical prompts and grading rubrics applied to both), and the output relation (a per-dimension win/loss/tie record). Benchmark methodology debates — about test-set contamination, prompt sensitivity, grader reliability — are debates about each of these role-slots in turn. Mapped back: Modern AI evaluation is comparison at industrial scale, and its methodological pathologies (cherry-picked dimensions, contaminated frames, brittle alignment rules) are diagnosable in exactly the comparison vocabulary the prime supplies.
Structural Tensions¶
T1: Frame neutrality is rarely achievable, but frame partiality is rarely detectable. Comparison requires a shared frame; the frame is usually chosen by the analyst; an analyst with a stake in the output has every incentive to choose a frame that favors a preferred comparand. Detecting frame partiality from the outside requires constructing alternative frames and seeing whether the output relation moves — but alternative frames are themselves chosen by the critic, who may have opposing stakes. Frame neutrality is more an aspiration than an achievable state. The tension is unavoidable: every comparison is frame-relative, every frame is chosen, and every chooser has interests. The practical response is triangulation — reporting comparison outputs under multiple frames and being transparent about the choice space — but triangulation is costly and is itself comparison.
T2: Dimension selection trades exhaustiveness against tractability. A comparison along one dimension is tractable but narrow; comparison along many dimensions is exhaustive but produces a multi-dimensional output that may not collapse into a single relation. Multi-criteria decision analysis can produce Pareto-dominance verdicts ("A beats B on every dimension") but more often produces Pareto-incomparability ("A wins on cost, B wins on durability"), which is a comparison-output that does not yield a clean ranking. The tension between rich and decidable comparison is structural: adding dimensions increases fidelity but reduces the chance of a clean output, and the analyst must choose where on this curve to sit.
T3: Alignment rules can force false commensurability. Making comparands commensurable requires an alignment rule; aggressive alignment can paper over genuine non-equivalence. Comparing student test scores across school districts requires alignment rules (curriculum equivalence, test-form equating, demographic weighting) any of which can force commensurability where it does not really hold. The tension is that without an alignment rule there is no comparison, but with too strong an alignment rule the comparison conceals the differences it purports to measure. The "apples and oranges" complaint is precisely a complaint about alignment-rule overreach.
T4: Comparison can be morally weaponized by selective framing. Every comparison output is consumable as evaluation, and the framing of any comparison can be steered toward an evaluative conclusion. Comparing two policies on cost but not on equity, two groups on income but not on opportunity, two artists on technique but not on intent — each is a comparison whose framing pre-determines the evaluative reception. Comparison is morally neutral as an operation but morally loaded in deployment; the same prime that underwrites careful science underwrites tendentious rhetoric. Naming comparison as a prime helps surface this, but the same machinery is at work.
T5: Operation-versus-result conflation is structurally persistent. The same word "comparison" denotes both the operation and its output, and the ambiguity infects ordinary speech and even technical practice. "Run a comparison" denotes the operation; "the comparison shows X" denotes the output; "the comparison is unfair" can be either — unfair operation, or unfair output read off a fair operation. The tension is that the language does not distinguish the levels, so the analyst must keep them distinct in thought even when the vocabulary blurs them. Treating comparison as a prime — explicitly the operation, with separate names for each kind of output — is the principled response, but it does not eliminate the slippage.
T6: Comparison produces relational information, but stakeholders demand absolute claims. A comparison output is intrinsically relational — A is greater than B, A is similar to B — but downstream consumers often need an absolute claim ("A is good") or a context-free ranking ("A is best"). Converting relational outputs into absolute claims requires a further step (an external standard, an aggregation, a normative interpretation) not part of the comparison operation. Comparison is the cleanest tool for generating defensible relational claims and a poor tool for absolute ones, yet consumers persistently treat its outputs as absolute. Reviewers of benchmarks, ratings, and impact assessments routinely make this slippage.
Structural–Framed Character¶
Comparison sits at the structural end of the structural–framed spectrum: the operation of placing items under a shared frame and reading off a relation is statable abstractly across cognition, philosophy of method, statistics, and any substrate that supports relational reasoning. It is the bare move on which classification, contrast, ranking, analogy, and equivalence judgments all depend.
No domain vocabulary needs to come along; "place items in a common frame and read off the relation" is field-neutral. The prime carries no evaluative weight — comparing is descriptive of a relational operation, not normatively loaded. Institutional origin reads zero: no school, court, or convention is presupposed. Human-practice-bound also reads zero in its bare form, though a faint cognition-binding lingers from origin since most paradigm cases involve cognitive comparison; the formal operation, however, is exercised equally well by a statistical test, a learned similarity function, or a sorting algorithm. Import-vs-recognize is recognition: when a statistician runs a between-group comparison or a vision system computes feature-based similarity, the relational operation is already inherent in the structure of the problem, not imported from cognitive science. On the spectrum, the verdict is canonical-structural — a bare relational operation that nearly any substrate can support.
Substrate Independence¶
Comparison is about as substrate-independent as a prime can be — composite 5 / 5 on the substrate-independence scale. The operation is a single substrate-neutral move: place two or more comparands under a shared frame, select dimensions of co-consideration, apply an alignment rule that makes them commensurable, and read off a relational output. Every diagnostic lands at the ceiling. Domain breadth is maximal because the same co-framing operation recurs across cognitive perception, scientific method (controlled comparison, A/B testing), literary device (simile, juxtaposition), benchmarking, evaluation, and analogical reasoning. Structural abstraction is at the top because the pattern is purely relational: it turns isolated properties of individual items into relational information between them, with no commitment to any home vocabulary or medium. Transfer evidence is just as strong, since cognitive scientists, philosophers of method, and statisticians have all converged on the same shared-frame-plus-alignment-rule structure, and the Tversky feature-matching formulation, the controlled-trial structure, and the benchmarking apparatus all instantiate the same core. The verdict is that comparison is a paradigm structural prime, one of the catalog's canonical 5s, recognized rather than translated wherever items are brought under a common frame to extract relational information.
- Composite substrate independence — 5 / 5
- Domain breadth — 5 / 5
- Structural abstraction — 5 / 5
- Transfer evidence — 5 / 5
Relationships to Other Abstractions¶
Current abstraction Comparison Prime
Parents (1) — more general patterns this builds on
-
Comparison is a decomposition of Self Checking Prime
The comparator that flags divergence between the redundant representations.After the cognitive_science frame is stripped away, the retained structural roles are those of Self Checking: A system detects errors in its own output by computing the answer through partially-independent paths and comparing. Comparison adds the local frame and commitments expressed in its identity: Place items in a shared frame along chosen dimensions to read off a relation between them. The parent pattern remains recognizable without that vocabulary, while the child is the framed realization of it. That preservation test establishes decomposition rather than taxonomic subsumption.
Children (41) — more specific cases that build on this
-
CAT(k) space Domain-specific is a kind of Comparison
The proposed strict upward parent is
prime:comparison.prime:comparison is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while CAT(k) space adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the space is geodesic and every eligible triangle satisfies the exact model-distance comparison under the k-dependent perimeter and local-versus-global convention It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of CAT(k) space. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge toprime:comparison. No live DAG mutation is authorized. -
Fowlkes–Mallows Index Domain-specific is a kind of Comparison
Comparison is the strict parent by composition/presupposition: FM compares two partitions under a fixed relational criterion and returns an ordered similarity judgment.The edge is not to Metric because FM is a similarity without the metric axioms, and not to Clustering because the index evaluates clusterings rather than producing them. The prospective workspace queue contains one strict upward edge to
prime:comparison. No live DAG mutation is authorized. -
Paired difference test Domain-specific is a kind of Comparison
The proposed strict upward parent is
prime:comparison.prime:comparison is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Paired difference test adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by pairing rationale, difference orientation, sampling unit, missing-pair treatment, chosen test, distribution or exchangeability assumptions, estimand, multiplicity, and uncertainty are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Paired difference test. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge toprime:comparison. No live DAG mutation is authorized.
- Pairwise comparison (psychology) Domain-specific is a kind of Comparison
The proposed strict upward parent is `prime:comparison`.prime:comparison is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Pairwise comparison (psychology) adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by each observation compares exactly two declared stimuli on one criterion, and the aggregation model links those pair outcomes to the reported psychological scale or ordering It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Pairwise comparison (psychology). This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:comparison`. No live DAG mutation is authorized.
- Pseudometric space Domain-specific is a kind of Comparison
Pseudometric Space instantiates Comparison because its function places every pair of points in a shared nonnegative scale and reads off their distance relation, specialized by metric-style axioms without point separation.The prospective workspace queue contains one strict upward edge to `prime:comparison`. No live DAG mutation is authorized.
- Residual property (physics) Domain-specific is a kind of Comparison
The proposed strict upward parent is `prime:comparison`.The quantity is defined by a controlled comparison between real and ideal reference states; thermodynamic conventions supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Residual property (physics) adds domain-specific constraints. The entry does not collapse into that parent because state-matched departure from ideal-gas thermodynamic behavior It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Residual property (physics). This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:comparison`. No live DAG mutation is authorized.
- Selection coefficient Domain-specific is a kind of Comparison
The proposed strict upward parent is `prime:comparison`.A selection coefficient is literally obtained by placing focal and reference fitness in one declared frame and reading their relative difference; population-genetic recurrence and evolutionary interpretation form the DS residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Selection coefficient adds domain-specific constraints. The entry does not collapse into that parent because the normalized relative-fitness contrast used inside population-genetic selection models, not natural selection itself, generic fitness, a phenotypic selection differential, a selection gradient, or one universal empirical constant It also declines the closest thematic catalog neighbor: the neighbor does not literally subsume the constitutive identity of Selection coefficient. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:comparison`. No live DAG mutation is authorized.
- Silhouette (clustering) Domain-specific is a kind of Comparison
The proposed strict upward parent is `prime:comparison`.prime:comparison is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Silhouette (clustering) adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by cluster assignments, dissimilarity metric, treatment of singleton clusters, neighboring-cluster rule, and aggregation are fixed before interpreting the bounded score It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Silhouette (clustering). This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:comparison`. No live DAG mutation is authorized.
- Simile Domain-specific is a kind of Comparison
Simile is Comparison specialized to a marked, figurative, usually single-attribute rhetorical form that preserves the distinctness of tenor and vehicle.Simile inherits Comparison's comparands, shared frame, selected dimension, alignment rule, and relational output. It adds a rhetorical-linguistic differentia: tenor and vehicle are overtly compared through markers such as "like" or "as," a salient attribute is projected for figurative effect, and their identities remain distinct. Analogy instead requires systematic relational role-mapping that supports inferential transfer, which an ordinary single-attribute simile need not provide.
- Square-Root Sum Problem Domain-specific is a kind of Comparison
**Proposed parent: `prime:comparison`.** Every Square-Root Sum instance places two exact real quantities in the shared order of \(\mathbb R\) and asks which relation holds.The radical expression and bit-complexity difficulty specialize that universal comparison structure. The prospective edge is composition/instantiates/strict and proposal-only. **Related: `prime:threshold`.** The integer-threshold form classifies a sum relative to a cutoff. The two-sum form needs no privileged threshold, so Threshold is not the sole universal parent. **Related: `prime:error_bound` and `prime:numerical_precision`.** Certified intervals and separation bounds determine whether approximation licenses an exact decision. These are computational mechanisms, not exact coverage of the input language. **Related: `domain_specific:complexity_class`.** Counting-hierarchy and PSPACE containments describe what resources are known to suffice. Square-Root Sum is one problem, not a complexity class.
- Standard test image Domain-specific is a kind of Comparison
The proposed strict upward parent is `prime:comparison`.prime:comparison is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Standard test image adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the image identity and provenance, licensing and consent, canonical file and checksum, dimensions, bit depth and color space, transfer function, compression status, scene content and challenges, preprocessing, algorithm settings, metric, viewing conditions, repeated reuse and overfitting risks, and representativeness limits are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Standard test image. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:comparison`. No live DAG mutation is authorized.
- Swinging light test Domain-specific is a kind of Comparison
The proposed strict upward parent is `prime:comparison`.The test literally places the two eyes under one stimulus-response frame and reads off a relative relation; pupillary reflex physiology supplies the clinical residual. The edge is proposal-only and points to a frozen prior-baseline Prime. The entry does not collapse into the parent because the paired alternating-stimulus comparison of afferent pupillary drive, not the whole eye examination, a quantitative pupillograph, or diagnosis of one named disease A thematic neighbor is declined whenever it does not literally subsume that rule. The prospective workspace queue contains one strict upward edge to `prime:comparison`. No live DAG mutation is authorized.
- Analogy Prime is a kind of Comparison
Analogy is a specialization of comparison in which the alignment rule is structural role-mapping rather than feature-matching.Analogy is a kind of comparison specialized by its alignment mechanism: the items compared are entire domains, and the alignment rule projects structural roles and relations from a source domain onto a target domain rather than matching surface features. It inherits comparison's commitment to placing items under a shared frame with an alignment rule producing a relational output, and supplies the specific case where commensurability is achieved through relational role-correspondence, licensing inferences in the target by transporting the source's relational structure across the mapping.
- Juxtaposition Prime is a kind of Comparison
Juxtaposition is a specialization of comparison in which proximity placement is the alignment rule and relational reading is the output.Juxtaposition is a kind of comparison specialized by its alignment mechanism: placing elements in close spatial, temporal, or conceptual proximity so that their relational reading becomes the primary content-carrying feature. It inherits comparison's commitment to placing items under a shared frame with an alignment rule that yields a relational output, and supplies the specific case where the alignment rule is unmediated adjacency and the output is whatever meaning, contrast, or connection the audience derives from the bare pairing without explicit comparative markers.
- Minimal Pairs Prime is a kind of Comparison
A minimal pair is 'a comparison engineered so that exactly one feature differs', which upgrades difference-noting into causal attribution — a specialization of comparison.Comparison supplies the genus: Place items in a shared frame along chosen dimensions to read off a relation between them. Minimal Pairs preserves that general structure while adding its differentia: Hold everything constant except one feature, observe whether the output changes, and attribute the difference to that feature. The parent can occur without those added commitments, whereas removing the parent structure leaves no basis for classifying the child as this subtype. That asymmetry establishes subsumption rather than mere association.
- Ratio Prime is a kind of Comparison
Ratio is comparison specialized to a multiplicative or per-unit relation obtained by dividing an ordered numerator by a nonzero denominator.Comparison supplies the genus of placing quantities in one declared frame. Ratio adds ordered quantitative roles, a nonzero reference denominator, division, and a quotient interpreted multiplicatively or per unit.
- Cohort Effect Domain-specific presupposes Comparison
Identifying a Cohort Effect requires a common outcome frame in which at least two time-defined cohorts can be compared.A cohort effect is not an intrinsic property of one cohort in isolation. It is a systematic between-cohort contrast, so the groups must be placed in a commensurable outcome frame and related to one another. Comparison is a prerequisite; it does not supply the age-period-cohort design, the time-defined membership, or any causal interpretation.
- Comparative Self-Assessment Crossover Domain-specific is part of Comparison
A comparative self-assessment literally contains a comparison between the focal person's estimated ability and a reference group's estimated ability distribution.The crossover cannot be stated from a self-rating alone. It requires placing the focal person's ability and an imagined peer distribution in a shared frame and reading off relative standing. Comparison is therefore an internal constituent; the domain node adds self-evaluation, difficulty moderation, egocentric weighting, and a population-level coherence test.
- False Equivalence Domain-specific presupposes Comparison
False equivalence presupposes a comparison claim that places two items under an asserted shared dimension.The fallacy consists in choosing or weighting the wrong comparison dimension while suppressing the one that governs the judgment; without a comparison there is no imputed equivalence to audit.
- Sparsely Totient Number Domain-specific is part of Comparison
φ(n) is compared in one frame with every future φ(m).φ(n) is compared in one frame with every future φ(m).
- Variogram Domain-specific presupposes Comparison
Variogram presupposes `prime:comparison`: field values separated by a selected lag are co-framed, their squared increment is aligned under a declared support and convention, and a lag-conditioned dissimilarity relation is read off.It also relates to `prime:correlation`, because it describes statistical dependence without causal claim, to `prime:measurement`, because empirical estimates depend on support and procedure, and to `prime:scale`, because structure changes across lags. Comparison is the minimal proposed constitutive parent; the variogram is an output function built through that operation, not a subtype of generic Correlation.
- Baseline Deviation Prime presupposes, typical Comparison
Baseline deviation is an observation placed in a shared frame against a declared reference and read off as a departure — a comparison specialized to (observation vs reference), promoting the departure to a first-class published fact.Presupposes comparison as the underlying place-in-shared-frame operation.
- Best Practice Prime presupposes Comparison
The accepted reference-grade review places Best Practice under Comparison because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.Designate a method as the best current default only after evidence-bearing comparison in a stated context, and keep that designation transferable with conditions and revocable when evidence changes. The parent is defined more broadly: Place items in a shared frame along chosen dimensions to read off a relation between them.
- Conservation Event Prime presupposes Comparison
A conservation event presupposes comparing a system's current condition with an earlier reference state so that the decay to be arrested and the restoration direction are determinate.Every conservation event places the system's current condition and an earlier reference state in a shared frame, selects the dimensions that matter for preservation, and reads off the departure that the bounded intervention will arrest or reverse. Without that comparison there is no determinate decay trajectory, restoration direction, or traceable basis for preserve/restore/leave decisions. Comparison is required analytical machinery, not the genus of the intervention itself.
- Contrast Prime presupposes Comparison
Contrast presupposes comparison because emphasizing a difference requires the prior operation of placing items under a shared frame.Contrast presupposes comparison because foregrounding a difference between elements requires them first to be brought under a shared frame and aligned along some dimension where the difference can register. Comparison supplies the relational machinery — comparands, dimensions, alignment rule — that makes any two items commensurable enough to register as different. Contrast then specifies that the output relation is one of perceptually or cognitively emphasized difference rather than mere relation; without the prior comparative operation, there is no shared axis along which the heightened difference can be read.
- Control Sample Prime presupposes Comparison
A Control Sample presupposes the comparison in which it serves as the deliberately matched comparator for the case of interest.A sample becomes a control only relative to a focal case, a defined contrast, and a shared measurement procedure. Remove that comparison and the same specimen is merely a sample, not a control. Comparison supplies the required relation; Control Sample adds matching, experimental role, and background-subtraction commitments, so the object-role is not itself a kind of the comparison operation.
- Effect Size Prime presupposes Comparison
Effect size presupposes comparison because magnitude is read off the relation between two or more co-considered quantities.Effect size quantifies the magnitude of a relationship or difference in substantive, interpretable units, separately from statistical significance. This presupposes comparison: placing items under a shared frame, selecting a dimension along which they are co-considered, applying an alignment rule, and reading off a relation. An effect size is precisely such a reading: it requires comparands (typically treatment and control, or two conditions), a shared scale, and an alignment rule that makes the difference commensurable. Without comparison's operation of generating relational information, the magnitude has nothing to be the magnitude of.
- Efficiency Prime presupposes Comparison
Efficiency presupposes comparison because its verdict exists only relative to feasible alternatives evaluated under a shared input–output frame.An arrangement is efficient only relative to actual or counterfactual alternatives aligned on the same outputs, resource dimensions, and acceptance criteria. Without Comparison's co-framing and relation read-off there is no dominance test, frontier, or removable slack—only an ungrounded praise word.
- Evaluation Prime presupposes Comparison
Evaluation presupposes Comparison because judging an object requires placing its relevant features and a criterion or reference in a shared frame.Comparison supplies the relation-reading operation inside every evaluation: the object's relevant feature is co-framed with a threshold, prototype, alternative, rule, purpose, or other criterion so that a relation can be read. Evaluation adds the purpose-relative criterion and an output that counts as a verdict, score, rank, grade, priority, or action-guiding judgment. A comparison can remain descriptive; an evaluation cannot omit the criterion-bearing use.
- Need–Solution Alignment Prime is part of Comparison
Alignment is established relative to a current alternative or threshold, not from the solution's qualities in isolation.A proposed intervention fits only relative to what the beneficiary can already do, including doing nothing. Comparing supplied capability, burdens, and outcomes with that alternative is an internal constituent of the alignment test. The same solution can therefore fit one context and fail another without changing intrinsically.
- Order Prime presupposes Comparison
Order presupposes Comparison: a precedence relation requires the ability to place elements under a shared frame and read off a relation.Order assigns a binary relation that says which element precedes which, subject to axioms like transitivity and antisymmetry. That relation cannot be established without Comparison as the underlying operation: pairs of elements must be brought under a shared dimension, aligned, and assigned a same/different or greater/lesser verdict. Order is comparison's outcome stabilized into a structured ranking over a whole set, so without the comparison operation no ordering relation can be constructed or checked.
- Reference-Point Dependence Prime presupposes Comparison
Reference-point dependence presupposes comparison because an outcome obtains its sign and value only through contrast with the selected baseline.Remove the outcome-to-reference comparison and no signed departure exists, so moving the reference cannot change the outcome's classification or value. Reference-point dependence is an evaluation regime built on a comparison, not every comparison or a taxonomic species of comparing.
- Regret Prime presupposes Comparison
Regret presupposes Comparison: it is the value gap measured between the realized outcome and a counterfactual alternative.Regret is the difference an agent registers between the outcome obtained and the better outcome a forgone alternative would have produced. Computing that gap requires placing the actual and counterfactual outcomes under a shared evaluative frame and reading off a greater-lesser relation. Without Comparison as the underlying operation, no value gap can be formed, so regret presupposes the alignment-and-difference machinery that comparison supplies, applied retrospectively to chosen versus unchosen paths.
- Similarity Measure Prime presupposes Comparison
A similarity measure presupposes a comparison frame that makes the two objects commensurable under selected respects.Without comparands, a shared representation, and a relevance rule selecting which respects matter, the numerical or ordinal output has no determinate meaning as likeness. Comparison is prerequisite apparatus, not the genus: comparisons can produce contrasts, orderings, or qualitative alignments without a reusable likeness measure.
- Stated–Revealed Preference Gap Prime is part of Comparison
The gap contains a comparison that aligns the stated and revealed estimates over the same focal alternatives and reads off their systematic divergence.Two outputs become a gap only after they are placed in a shared frame and their ordering, magnitude, or action implications are compared. Without that alignment the records can differ in content without supporting a meaningful stated-versus-revealed discrepancy.
- Value Commensuration Prime presupposes Comparison
Value commensuration presupposes comparison because constructing a common metric across incommensurable frameworks is what makes them comparable at all.Value commensuration presupposes comparison because its entire purpose is to translate heterogeneous values from different frameworks into a common metric so that comparison becomes possible. Comparison supplies the general operation of placing items under a shared frame with an alignment rule; commensuration is the specific upstream construction work that builds that shared frame where none exists naturally between, say, ecological and monetary values. Without comparison as the target operation, the work of commensuration would have no purpose; commensuration exists precisely to enable comparison across frameworks that resist it.
- Absolute Advantage Domain-specific is a decomposition of Comparison
Removing trade-theory vocabulary from Absolute Advantage leaves the exact co-framed pairwise magnitude comparison and greater-than readout.Comparison supplies two producers under a shared frame, a chosen output-per- input dimension, an alignment rule, and a relational readout. Absolute Advantage adds goods and producers, productivity ratios, the classical trade-theory foil, and the discipline against inferring specialization from levels.
- Decoy Effect Domain-specific is a decomposition of Comparison
The decoy works only by placing multi-attribute options in a shared frame where pairwise dominance relations can be read and one local winner becomes salient.The decoy itself need not be chosen; its function is to change the relation read among unchanged focal options, making comparison—not the decoy's absolute value— a load-bearing whole layer.
- Government Failure Domain-specific is a decomposition of Comparison
Its portable analytical operation places market and state mechanisms on one failure-cost surface and reads off which fails less in the case at hand.Government Failure is not an absolute anti-state verdict. Its discipline is the co-framing, dimension selection, alignment, and relational read-off that makes two institutional mechanisms commensurable enough to compare.
- Comparative Method Prime is a decomposition of Comparison
The comparative method is the specific shape comparison takes when it becomes a substitute-for-experiment research design across selected cases.The comparative method is the specific shape comparison takes when it becomes a systematic research strategy in domains where controlled experimentation is impossible. Comparison's general anatomy — comparands, shared frame, alignment rule, output relation — is structurally particularized into selected societies, eras, or organizations as comparands; Mill's methods of agreement and difference as alignment rules; and inferences about what varies and why as outputs. The general operation is preserved; the specific shape is its disciplined deployment as inferential substitute for randomization through deliberate case selection.
- Experimental Design Prime is a decomposition of Comparison
Experimental design is the specific shape comparison takes when it becomes a controlled, intervention-based architecture for causal inference.Experimental design is the specific shape comparison takes when it becomes an active, intervention-based architecture for causal inference. Comparison's general anatomy — comparands, shared frame, alignment rule, output relation — is structurally particularized into treatment and control conditions as comparands, randomization and blocking as the alignment rules that make them commensurable, and an effect estimate as the output. The general operation of placing items under a shared frame is preserved; the specific shape is its principled deployment to isolate causal effects from confounding through assignment under explicit constraints.
Hierarchy path (1) — routes to 1 parentless root
- Comparison → Self Checking
Neighborhood in Abstraction Space¶
Comparison sits among the more crowded primes in the catalog (5th 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 — Structure, Decomposition & Relational Mapping (43 primes)
Nearest neighbors
- Analogy — 0.81
- Interpretation — 0.79
- Similarity Measure — 0.78
- Juxtaposition — 0.78
- Classification — 0.76
Computed from structural-signature embeddings · 2026-09-10
Not to Be Confused With¶
Comparison must be distinguished from contrast, its closest neighbor in the catalog and the source of a long-standing reverse-subsumption confusion. Contrast is comparison whose dimension selection and output relation are oriented toward difference: the operation runs, but the analyst foregrounds the gap rather than the overlap or the ordering. Contrast is therefore a specific kind of comparison — the difference-emphasizing kind — not a separate operation. The same two comparands compared on the same dimensions can yield either a similarity reading, a difference reading, or an ordering reading depending on the analyst's interest; the underlying machinery is identical. The DAG edge runs comparison → contrast as presupposes (comparison must be in place for contrast to be the specific reading it is), and the historical confusion in which contrast was treated as the parent stems from contrast being a more familiar word in ordinary English than the more abstract "comparison." Once the operation/reading distinction is in view, the direction of subsumption flips and contrast settles into its proper place as a child.
Comparison must be distinguished from simile and analogy, also specific kinds of comparison rather than separate operations. A simile is comparison whose comparands are drawn from different domains, whose dimension is chosen for expressive resonance, and whose alignment rule is loose metaphorical mapping; the output relation is resemblance weighted toward affective rather than inferential payoff. An analogy is comparison whose alignment rule is structural mapping — preserve higher-order relational structure, drop surface features — and whose output supports inferential transfer from source to target domain. Simile and analogy share the comparison machinery but specialize it: simile foregrounds expressive output, analogy foregrounds inferential output. The DAG edges run comparison → simile and comparison → analogy as decompose. A frequent error is treating analogy as the umbrella and simile as its subtype; the cleaner reading is that comparison is the umbrella, with simile and analogy as siblings differing in alignment-rule structure.
Comparison must be distinguished from measurement, a related but distinct operation. Measurement is the assignment of numerical values to a quantity by comparison against a unit or reference standard, so every measurement is comparison-shaped — the comparand is the item being measured, the frame is the metrological context, the dimension is the quantity of interest, the alignment rule is the calibration chain, and the output is a number with units. But measurement is more specific than comparison: it requires that the dimension be a measurable quantity (continuous or counting), that the alignment rule yield a numerical output rather than a qualitative one, and that the comparand-to-standard relation be metrically meaningful. Most comparison is not measurement — a qualitative judgment that two body plans are similar, an analogical mapping between a circuit and a hydraulic system, a literary critic's reading of a simile produce relational information without numerical assignment. Measurement is comparison specialized to numerical-output-against-a-metrological-standard; comparison is the broader operation that includes measurement as one specialization and includes many non-numerical specializations as siblings.
Comparison must be distinguished from classification, the result of a sorting-by-comparison process. Classification assigns items to categories; comparison places items in a relation. Classification uses comparison as a subroutine — the item is matched against category prototypes — but adds the act of assignment, which comparison alone does not perform. A comparison yields "X is more like prototype P1 than P2"; the further step of assigning X to category C1 is the classification operation. Classification is a downstream consumer of comparison output. A biologist who compares two specimens on morphology produces a relational claim; one who classifies a specimen into a species is doing comparison-plus-assignment, with the comparison subroutine running first.
Comparison must finally be distinguished from juxtaposition, the bare placement of items side by side without yet performing the operation. Juxtaposition supplies the comparands and often the rough frame, but does not select dimensions, apply an alignment rule, or read off an output relation. Juxtaposition is pre-comparative: it sets up the operation but does not run it. A museum curator who juxtaposes two paintings invites the viewer to compare them but does not perform the comparison; the viewer supplies the dimensions, alignment, and output relation. The DAG edge runs comparison → juxtaposition as subsumption (juxtaposition is a degenerate or pre-completed comparison). Juxtaposition is not a withheld comparison; it is a not-yet-comparison, a setup awaiting the choices that would convert it into one.
Solution Archetypes¶
Solution archetypes in the catalog that build on this prime — directly (this prime is a source ingredient) or as a related prime.
Built directly on this prime (11)
- Abductive Explanation Selection: Turn a surprising observation into a ranked, provisional best explanation, while keeping rivals, uncertainty, and revision triggers visible.▸ Mechanisms (8)
- Abduction Log — A running record of explanation changes, retired rivals, new evidence, and revision triggers.
- Anomaly-to-Hypothesis Workshop — A facilitated session that converts anomalies into candidate hypotheses while preserving dissent and uncertainty.
- Differential Diagnosis Workup — Lists candidate conditions or causes, weighs symptoms and tests, and narrows to a working diagnosis.
- Disconfirming Probe Plan — Specifies the observations or tests most likely to overturn the current best explanation.
- Explanatory Case Memo — Records the observation, candidate explanations, comparison rationale, confidence, and next probes for audit or handoff.
- Forensic Scenario Reconstruction — Builds and compares scenarios that could have produced observed traces while preserving uncertainty about alternatives.
- Inference-to-Best-Explanation Matrix — Compares candidate explanations against explanatory fit criteria and records the provisional winner.
- Model-Debugging Hypothesis Loop — Uses surprising model behavior to form, test, and revise explanations about data, architecture, prompts, or deployment context.
- Context-Bounded Meaning Recovery: Make interpretation accountable by explicitly binding a reading to a substrate, a context, a framework, evidence marks, and a boundary around plausible alternatives.▸ Mechanisms (14)
- Alternative Readings Review — Lays the serious rival readings side by side and draws the line between those the evidence admits and those it rules out, so an interpretation is chosen against its live competitors rather than in a vacuum.
- Ambiguity Register — The standing record of every ambiguity the parser could not resolve, each entry tagged with its competing readings and a route to whoever or whatever decides it.
- Close Reading Table — Slows a reading to the level of the single mark — annotating each word, image detail, or gesture for what it does and the convention it invokes — before any larger framework is imported.
- Context Reconstruction Worksheet — Rebuilds the situation a text or act came from — its speaker, audience, moment, and the conventions then in force — so the reading is bound to the meaning it had there rather than the one it suggests now.
- Evidence-to-Claim Matrix — Lays each interpretive claim beside the marks that support, conflict with, or fail to appear for it, so a reading's narrative force can be told apart from its evidentiary warrant.
- Framework Selection Memo — Names the interpretive lens a reading will use and records why it was chosen over the alternatives, turning the framework from an unexamined default into an accountable, contestable decision.
- Glossary or Code Key — A fixed, shared key that pins each term, symbol, or code to an agreed meaning, so every reader of the same substrate resolves its signs the same way — and a machine can resolve them too.
- Hermeneutic Loop Log — Keeps a running record of each pass through the part-and-whole loop — what the reading was, what the substrate forced you to revise, and how your own assumptions shifted — until the interpretation stabilizes or is escalated.
- Interpretation Brief — Opens an interpretation by fixing what is being read, what question the reading must answer, and who is reading it — before any meaning is claimed.
- Interpretation Red Team — Assigns someone to attack a favored reading — mounting the strongest rival interpretations and probing where it strains — so the interpretation earns its confidence instead of assuming it.
- Pragmatic Force Walkthrough — Recovers what an utterance is *doing* — asserting, ordering, promising, warning, joking — by walking its literal content through the situation and conventions that fix its force.
- Precedent Comparison Table — Bounds a reading by laying the current case beside authoritative prior readings and mapping, feature by feature, which precedent it actually resembles.
- Stakeholder Meaning Check — Tests a reading against the people it is about or for — do the affected communities recognize the meaning as theirs? — before the interpretation is acted on.
- Translation Backcheck — Verifies that meaning survived a translation by translating the result back into the source and comparing it to the original, surfacing exactly where the bridge leaked.
- Dimensioned Comparison Framing: Make comparison legitimate by aligning the items, dimensions, scales, context, and relation-readout rule before drawing conclusions.▸ Mechanisms (8)
- Comparator Set Audit — Interrogates who is in and out of the comparison set and why, hunting for opportunistically chosen peers, missing baselines, and self-serving inclusions — and records the membership decision for later challenge.
- Comparison Basis Checklist — A short intake gate that forces you to state the comparison's purpose, the frame that makes the items alike, the scope boundaries, and the dimensions you are choosing not to compare — before any scoring begins.
- Comparison Readout Annotation — Attaches to a finished comparison an explicit statement of what relation it actually supports — rank, dominance, trade-off, equivalence, or non-comparability — together with the uncertainty, scope limits, and uncompared dimensions, so the result cannot be over-read.
- Counterbalanced Comparison Display — Lays out a finished comparison so that presentation order, default highlighting, and visual salience cancel rather than steer — rotating positions and neutralizing anchors so the perceived relation tracks the evidence, not the layout.
- Dimension Weight Sensitivity Panel — Sweeps the weights assigned to each dimension across plausible and stakeholder-specific values, and reports how stable the ranking is — exposing which conclusions are robust and which are artifacts of one weighting.
- Dimensioned Comparison Matrix — Lays comparands out as rows and dimensions as columns, scores every cell on a common scale, and reads a ranking or dominance relation off the completed grid.
- Matched Case Comparison Sheet — Pairs each comparand with a case matched on the background variables you are not interested in, so the surviving difference is attributable to the one factor you are — turning a messy comparison into a near-controlled one.
- Pairwise Comparison Protocol — Judges items two at a time on one dimension at a time, in a controlled order, then aggregates the head-to-head verdicts into a ranking — trading the matrix's whole-grid view for sharper local discrimination.
- Directed Asymmetry Mapping and Calibration: When two sides of a relation are not interchangeable, make the direction and dimensions of imbalance explicit before choosing symmetric treatment, side-specific treatment, compensation, or containment.▸ Mechanisms (12)
- Asymmetry Dimension Scorecard — Rates a relation's imbalance dimension by dimension — control, information, exit, exposure — so a vague 'they hold the power' becomes a scored, side-by-side profile.
- Asymmetry Exception Register — A standing log of every asymmetry the system has chosen to keep — each entry carrying its justification, its owner, and its expiry — so no differential treatment survives unexamined.
- Asymmetry Sunset Review — A scheduled re-examination that forces every standing asymmetry to re-earn its warrant or be retired — closing the door on 'temporary' differences that quietly became permanent.
- Burden–Benefit Balance Sheet — Tallies who bears the costs and who reaps the gains of an asymmetric relation, side by side, and marks the line past which the exchange stops being reciprocal.
- Compensating Control Selection — Given an asymmetry worth keeping, selects the offsetting controls — disclosure, cooling-off, independent advice, caps — that blunt its harms without erasing the difference itself.
- Countervailing Review Panel — A standing body of independent and affected voices that reviews decisions where one side controls the premises — supplying the countervailing perspective a one-sided channel structurally lacks.
- Directed Relation Matrix — Lays the two sides of each relation on a grid and records which way influence, dependence, and control actually run — turning a vague 'they're unequal' into an oriented map.
- Direction-Sensitive Metric Dashboard — Tracks a matched pair of metrics — one per side of the relation — and watches the gap between them, so a drift toward one side is caught while it is still small.
- False Symmetry Review — A standing review that hunts for rules which treat unequal sides identically, and tests whether that even-handedness quietly loads the cost onto the weaker side.
- Relevant Asymmetry Test — Asks whether a real difference between the two sides is actually relevant to the treatment in question — the gate that separates a warranted asymmetry from bare prejudice or arbitrary privilege.
- Role-Specific Policy Table — Writes down, role by role, what each side of the relation must do, may do, and is owed — so unequal treatment is explicit, addressable, and paired with the controls that offset it.
- Side-Swap Test — Swaps the two sides of a relation and asks whether the arrangement still reads as acceptable — the fastest way to expose an asymmetry that only survives because no one pictures it reversed.
- Emergent Similarity Partitioning: Find provisional groups by similarity when labels are not given, then validate and interpret the partition before using it.▸ Mechanisms (10)
- Centroid Clustering Model
- Cluster Label Review Workshop — Convenes domain experts to inspect candidate clusters, name them cautiously, adjudicate boundary and outlier cases, and set the terms under which the labels may be used downstream.
- Cluster Profile Card
- Cluster Validation Report
- Density-Based Clustering
- Embedding-Then-Clustering Pipeline — Represents cases as learned embedding vectors and clusters them in that space, so groups emerge from semantic proximity rather than hand-picked attributes.
- Graph Community Detection
- Hierarchical Dendrogram
- Mixture Model Clustering
- Resampling Stability Check
- Empirical Cluster Discovery: Discover provisional groups in unlabeled observations by making representation, similarity, validation, interpretation, and downstream use explicit.▸ Mechanisms (9)
- Centroid Clustering Model
- Cluster Profile Card
- Cluster Validation Report
- Density-Based Clustering
- Graph Community Detection
- Hierarchical Dendrogram
- Mixture Model Clustering
- Null Structure Comparison — Tests whether the clusters an algorithm found are stronger than the groupings it would invent from structureless data, crediting them only when they beat a chance baseline.
- Resampling Stability Check
- Realized-Possible Outcome Gap Mapping: Compare what a process actually produced with what it could credibly have produced, then treat the gap as the main diagnostic object.▸ Mechanisms (9)
- Best-Demonstrated-Practice Comparator — Anchors the possible-outcome envelope on the best result actually demonstrated by a comparable unit somewhere, so the ceiling is an existence proof rather than a model.
- Closability Scoring Rubric — Scores each portion of a decomposed gap on how closable it is — recoverable latent capacity versus irreducible limit — using a shared, explicit rubric instead of intuition.
- Counterfactual Ceiling Probe — Estimates the theoretical ceiling by asking what the outcome would have been if identified losses were counterfactually removed, and carries the answer with an uncertainty band.
- Feasible-Frontier Mapping — Derives the possible-outcome envelope from an explicit constraint model — what the system could reach given its real limits — rather than from any single achieved result.
- Gap-Closure Experiment Backlog — Turns closable gap portions into a prioritized queue of experiments, each ranked by the expected gap it would close against its cost, so effort flows to the highest-return tests first.
- Loss-Channel Decomposition — Breaks a single measured realized-possible gap into named loss channels that sum back to the whole, so a lump deficit becomes an itemized account of where the outcome leaked.
- Post-Closure Gap Remeasurement — Re-runs the gap measurement after an intervention lands, updating both the realized outcome and its uncertainty band to confirm how much gap actually closed versus what was predicted.
- Realized-Possible Gap Table — Lays each realized outcome beside its credible possible value in one row-per-outcome ledger, turning the gap between them into an explicit, comparable quantity.
- Theoretical-Ceiling vs Feasible-Target Review — Adjudicates between the theoretical ceiling and a feasible target, deciding which portion of the gap to pursue and formally recording the ceiling-to-target band as intentionally left open.
- Reference-Baseline Deviation Flagging: Make departure meaningful by declaring the reference, calculating the observed-minus-expected difference, and recording the deviation as a fact with scope, direction, magnitude, and context.▸ Mechanisms (10)
- Baseline Delta Table — Displays observed, baseline, difference, direction, and percent change for each unit or period in a scannable table.
- Baseline Version Register — Records baseline definitions, thresholds, reference windows, model versions, and change rationales so past deviations stay reconstructable.
- Control Chart or Run Chart — Plots observations against a centerline, control limits, reference bands, or expected ranges over time to reveal departures as shifts and trends.
- Deviation Event Log — Stores each flagged departure as a durable fact stamped with baseline version, unit, context, status, and review history.
- Deviation Review Queue — Routes flagged departures to human or automated review, annotation, escalation, or follow-up, with a fairness check on who gets scrutinized.
- Exception Flag Rules Engine — Applies configurable threshold, tolerance, materiality, and suppression rules to a stream to produce deviation flags automatically.
- Null-Model Residual Report — Shows departures from a declared null or expected model as residuals, documenting the model but refusing to read the residual as a causal effect.
- Reference Range Flag — Labels a single observation as below, inside, or above a context-appropriate expected or acceptable range.
- Rolling Baseline Comparison — Compares each current observation against a moving historical reference window, preserving the window definition so past comparisons stay reconstructable.
- Standardized Residual Score — Transforms an observed-minus-expected difference into a scale-adjusted, z-like residual so departures are comparable across units of different variability.
- Regret-Signal Calibration: Use regret as a calibrated counterfactual signal: compare the actual outcome with a credible better forgone alternative, then route the signal to learning, reversal, repair, or closure.▸ Mechanisms (10)
- Actionability-Filter After-Action Review — Runs a post-outcome review that turns a regret into a durable rule change only when the lesson is both controllable and recurring — otherwise it routes the regret to closure.
- Commitment Reset Memo — A written re-decision that treats a regretted commitment as if it were being chosen fresh today — continue on modified terms, reverse, or repair — so sunk cost stops driving the call.
- Counterfactual Plausibility Screen — Tests whether the 'better' path you are regretting was actually available, feasible, and knowable at the decision point — passing only credible alternatives and rejecting hindsight fantasy.
- Forgone-Alternative Decision Journal — A contemporaneous log of what was chosen, what was rejected, and what was known at the time — written before the outcome lands, so a later regret review cannot be quietly rewritten by hindsight.
- Minimax Regret Matrix — Lays candidate options against uncertain future states, scores each option's regret in a state as its shortfall from that state's best option, and picks the option whose worst-case regret is smallest.
- No-Fault Learning Review — A blameless review that rebuilds what was known and reasoned at the decision point and separates controllable choices from bad luck, so people surface information instead of hiding it.
- Regret Gap Table — Breaks a single realized regret into its component value differences — money, time, trust, safety, optionality, learning — and shows which stakeholders bear each one.
- Regret Pre-Mortem — Before committing, imagines the decision has already failed and works backward to the most plausible future regrets — then maps whose they are and preserves low-cost options against the ones worth guarding.
- Reversal-Window Check — Locates a regretted decision on the reversibility clock — how much time, lock-in, and switching cost stand between now and a closed exit — and flags when the window to change course is about to shut.
- Rumination Timebox — Caps how long a regret may be replayed — a fixed budget of review, after which the signal is either converted into a concrete action or formally accepted and closed — so reflection does not decay into rumination.
- Salience-Significance Decoupling: Separate what got attention from what deserves weight.▸ Mechanisms (12)
- Attention-Capture Inference Test — Traces why an item captured attention — which channel, design, or sponsor made it prominent — and tests whether that reason has anything to do with why it would matter.
- Base-Rate Visibility Panel — Places the base rate and its denominator beside a vivid instance, so a striking case cannot be read as representative.
- Counterexample Surface Scan — Deliberately hunts the disconfirming cases a vivid story leaves unshown, so the counterexamples get weighed too.
- Dashboard Salience Calibration — Re-tunes a dashboard so visual prominence tracks significance rather than default, vendor, or recency — and publishes a key so viewers can tell the difference.
- Display Reason Label — Tags each shown item with the reason it is shown — sponsored, recommended, trending — so viewers can discount prominence that comes from the channel rather than importance.
- Evidence Weighting Rubric — Scores evidence against explicit significance criteria fixed before the evidence is seen, so vividness cannot smuggle in weight it has not earned.
- Notification Priority Review — Re-examines an alerting system so that what pages a human is governed by significance and escalation criteria, not by how loud or how often an alert happens to fire.
- Ranking Semantics Legend — A published key that states what a ranking's order actually means — the sort key behind it — so 'at the top' is never quietly read as 'most important.'
- Salience Red Team — A standing adversarial group chartered to ask what the loudest items are crowding out and who engineered their prominence.
- Salience-Significance Matrix — Scores each item twice — how much attention it grabs and how much it actually matters — so the loud-but-trivial and the quiet-but-critical sort into different corners.
- Sample Frame Reconstruction — Rebuilds the population and the selection filter a visible sample was drawn through, so 'the cases I can see' stops standing in for 'the cases that matter.'
- Shown-vs-Unshown Audit — Sets a display's visible items beside the relevant ones it leaves out, so the gap between what is shown and the full field becomes something you have to look at.
- Structured Comparative Case Design: Select comparable cases with an explicit contrast logic, align what is measured and when, and use cross-case differences plus within-case evidence to test causal explanations.▸ Mechanisms (16)
- Case Selection Bias Audit — Interrogates how the cases were chosen — above all whether they were picked because they already show the outcome — and demands the negative cases the choice left out.
- Case Universe Sampling Frame — Fixes the population of cases the study could have chosen — the boundary, the unit, and the eligibility rule — before any case is picked.
- Comparative Case Review Panel — A standing panel that stress-tests the cross-case interpretation with domain and stakeholder members, and records why each reading was accepted, revised, or sent back.
- Comparative Historical Timeline — Lines up the sequence of events across cases on one shared clock so you can see whether the supposed cause actually came before the effect in each.
- Configurational Comparison Truth Table — Sorts cases by which combination of conditions each one has, and reads off which combinations — not which single factors — go with the outcome.
- Counterfactual Contrast Memo — Argues one case's causal claim by spelling out what would have happened absent the cause, anchored to a closely matched case where the cause was in fact missing.
- Cross-Case Evidence Matrix Tool — Assembles a cases-by-variables grid — one row per case, one column per factor — filled with comparably-coded, sourced values so patterns can be read across cases.
- Deviant Case Follow-Up Protocol — Governs what to do with a case that breaks the cross-case pattern — re-investigate it before deciding whether it is error, omission, or a genuine limit on the theory.
- Matched Case Pairing Protocol — Builds one-to-one case pairs matched on background factors, so within each pair only the factor of interest is left free to vary.
- Measurement Equivalence Audit — Checks that each variable denotes the same construct and is measured the same way in every case before any cross-case difference is trusted.
- Most-Different Systems Design — Compares cases that differ in almost every way yet share the same outcome, so the one condition they all hold in common becomes the candidate cause.
- Most-Similar Systems Design — Compares cases held alike on their background conditions but differing in outcome, so the handful of remaining differences becomes the short list of candidate causes.
- Replication Case Sampling Cycle — Adds new cases in deliberate rounds — some expected to repeat the result, some expected to overturn it — to map where a finding holds and where it stops.
- Rival Explanation Elimination Table — Lays every candidate explanation for an outcome side by side and rules each out by the evidence it would predict but the cases do not show.
- Sensitivity to Case-Set Analysis — Re-runs the comparison while dropping, swapping, or adding cases, to see whether the conclusion survives the particular set of cases that happened to be chosen.
- Within-Case Process Tracing — Follows the causal chain inside a single case step by step, testing whether the proposed mechanism actually left the traces it should have.
Also a related prime in 15 archetypes
- Bidirectional Conceptual Translation: Translate concepts between frameworks by mapping meaning, use, assumptions, and consequences while making gaps and losses explicit.
- Counterfactual Proximity Signal Calibration: Calibrate how much an almost-happened better or worse outcome should teach, motivate, warn, or matter.
- Durable Identifier Binding: Create a durable handle for a referent, bind it in an authoritative record, and maintain enough lookup, lifecycle, and audit rules that later references can rely on the handle without re-describing the entity.
- Emic-Etic Dual-Account Interpretation: Preserve insider and outsider descriptions as separately governed accounts, then use their mismatch as evidence instead of forcing premature translation into one frame.
- Feasible-Alternative Comparator Calibration: Judge real options against reachable alternatives, not against perfection.
- Funnel Attrition Localization: Represent an ordered process as denominator-preserving stages, measure where the population is lost, and prioritize the stage whose repair most improves final yield.
- Holonic Autonomy Nesting: Design nested units as autonomous local wholes and dependent parts at the same time, with explicit boundaries, interfaces, escalation paths, and cross-level invariants.
- Interleaved Discrimination Practice: Mix related practice targets in a deliberate sequence so the learner must choose, recall, classify, or perform under discrimination pressure, improving durable retention and transfer beyond blocked fluency.
- Nearest-Exemplar Response Reuse: Use the closest remembered or stored case as the model for the present response, while making similarity, adaptation, confidence, and exception boundaries explicit.
- Perspective Depth Projection Design: Fix the observer and projection relation, construct depth through convergence, scale, foreshortening, overlap, and atmosphere, and disclose where the chosen viewpoint distorts or hides spatial truth.
Notes¶
Once comparison is in place, contrast becomes a presupposes child (R17a retype, formerly subsumption — contrast is comparison oriented toward difference, not a sibling).
The experimental_design → comparison decompose edge captures R9's structural-core observation: controlled comparison is the inferential heart of experimental design. value_commensuration → comparison is presupposes, because value commensuration requires that a comparison along a value dimension be performable.
Comparison's substrate-furthest cases — CPT-symmetry tests in particle physics, controlled experimental comparison in biology — are deliberately spotlighted in the Broad Use and Examples sections because they answer the most common skeptical move against comparison as a prime ("isn't this just a human-cognitive thing?"). The particle-physics case in particular runs the comparison machinery entirely without human social or institutional scaffolding, which is the cleanest available evidence for substrate independence.
The frame-relativity feature is the single most under-appreciated aspect of the prime. In ordinary speech, comparison outputs are routinely treated as frame-free properties of the comparands ("these two are similar," "this one is better"), when they are in fact joint outputs of the comparands, the frame, the dimensions, and the alignment rule. Naming the frame as a load-bearing role-slot — and treating "compared to what, along what dimensions, under what alignment?" as a routine prompt — is the practical reasoning leverage the prime supplies.
A frequent confusion to watch for in curation is the operation/result conflation. New candidate primes presented as "kinds of relation" (sameness, difference, ranking, fit, equivalence) are almost always comparison outputs rather than separate operations; the right test is whether the candidate can be reached by specifying the frame, dimension set, alignment rule, and output-relation reading on the comparison operation — if so, it is a child, not a sibling.
References¶
[1] Keith J. Holyoak and Paul Thagard. "Analogical Mapping by Constraint Satisfaction". Cognitive Science, 13(3) (1989), 295–355. Theory of analogical mapping driven by interacting structural, semantic, and pragmatic constraints (the ACME model) — supplies a formal model of the role-slots (comparands, alignment rule, output relation) the prime names; supports the constraint-satisfaction characterization. registry ↩
[2] Amos Tversky. "Features of Similarity". Psychological Review, 84(4) (1977), 327–352. Feature-contrast model: similarity is the output of a weighted set-theoretic matching of common and distinctive features, parameterized by direction (asymmetry) and salience — directly supports the claim that similarity is the output of a comparison process over weighted feature sets. registry ↩
[3] Dedre Gentner. "Structure-Mapping: A Theoretical Framework for Analogy". Cognitive Science, 7(2) (1983), 155–170. Structure-mapping theory: the alignment rule preserves higher-order relational structure and drops surface features — supports both the Structural-Signature separation of comparands from relational structure and the analogy-alignment-rule claim. registry ↩a ↩b
[4] Nelson Goodman. "Seven Strictures on Similarity". In Problems and Projects (pp. 437–446). Indianapolis: Bobbs-Merrill, 1972. Argues similarity is empty without an explicit respect-of-comparison — supports the claim that dimension-selection is a load-bearing, irreducible role in comparison. (Minor: pages are 437–446, not 437–447.) registry ↩
[5] Joint Committee for Guides in Metrology. International Vocabulary of Metrology — Basic and General Concepts and Associated Terms (VIM) (3rd ed., JCGM 200:2012). Sèvres: BIPM, 2012. Characterizes measurement as comparison of a measurand to a reference quantity via a calibration chain anchored in a primary standard — supports the claim that measurement is comparison specialized to numerical output along a metric dimension. registry ↩
[6] Arthur B. Markman and Dedre Gentner. "Commonalities and Differences in Similarity Comparisons". Memory & Cognition, 24(2) (1996), 235–249. Shows that difference judgments (alignable differences / contrast) are produced by the same structural-alignment process that yields commonalities, and that side-by-side placement prompts the viewer to construct an alignment — supports the operation/reading distinction and the comparison → contrast direction. registry ↩a ↩b ↩c
[7] Donald T. Campbell and Julian C. Stanley. Experimental and Quasi-Experimental Designs for Research. Chicago: Rand McNally, 1963 (also issued as a Houghton Mifflin booklet). Canonical enumeration of internal-validity threats (history, maturation, testing, instrumentation, regression, selection, mortality, interaction) — supports the claim that these are the failure modes of the alignment rule in controlled comparisons. registry ↩
[8] Douglas Hofstadter and Emmanuel Sander. Surfaces and Essences: Analogy as the Fuel and Fire of Thinking. New York: Basic Books, 2013. Argues that the same cross-domain mapping structure underlies word use, scientific conceptualization, and everyday categorization — supports the claim that even rhetorical comparisons run on the same dimension-selection and alignment machinery as scientific ones. registry ↩
[9] Douglas L. Medin, Robert L. Goldstone, and Dedre Gentner. "Respects for Similarity". Psychological Review, 100(2) (1993), 254–278. Argues any usable similarity construct requires explicit "respects" (dimensions of comparison) supplied by the comparison process itself — the canonical articulation of dimension-selection as a structural role in comparison. registry ↩
[10] Giovanni Sartori. "Comparing and Miscomparing". Journal of Theoretical Politics, 3(3) (1991), 243–257. Identifies "cat-dog" miscomparisons — aggregates assembled under an alignment rule that conceals genuine non-equivalence — as the central failure mode, with alignment-rule audit as the discipline — supports the Manages-Complexity alignment-rule-audit claim. registry ↩
[11] Arend Lijphart. "Comparative Politics and the Comparative Method". American Political Science Review, 65(3) (1971), 682–693. Systematic comparison of the experimental, statistical, comparative, and case-study methods, showing the same role-slots underlie all of them, differing in how each implements the alignment rule — supports the Knowledge-Transfer claim about shared role-slots across traditions. registry ↩
[12] Christian Smorra, S. Sellner, M. J. Borchert, J. A. Harrington, T. Higuchi, H. Nagahama, T. Tanaka, A. Mooser, G. Schneider, M. Bohman, K. Blaum, Y. Matsuda, C. Ospelkaus, W. Quint, J. Walz, Y. Yamazaki, and S. Ulmer. "A parts-per-billion measurement of the antiproton magnetic moment". Nature, 550(7676) (2017), 371–374. BASE-collaboration (CERN) measurement reporting the antiproton magnetic moment as −2.7928473441(42) nuclear magnetons, agreeing with the proton at the parts-per-billion level — supports the Formal example's CPT-symmetry comparison at a substrate maximally far from human practice. registry ↩