Causality¶
Core Idea¶
Causality is. [1] the structural relation among events or entities comprising four essential components: (1) the cause C as an antecedent event or variable, (2) the effect E as a consequent event or variable, (3) the productive connection — a mechanism or process linking C to E such that C's occurrence or value produces E's occurrence or value (not merely predicts it), and (4) modal robustness — the counterfactual claim that "had C not occurred (or differed), E would not have occurred (or would have differed)" given a fixed background context. These four components appear across competing theoretical accounts — Hume's regularity theory treats causation as constant conjunction plus temporal priority; Lewis's counterfactual analysis foregrounds component (4); Woodward's manipulationist account emphasizes components (1)–(3) and requires that intervening on C (setting it via external manipulation) would change E; and Mumford and Anjum's dispositional powers account grounds causation in the intrinsic causal powers or dispositions of entities, realized in their capacity to produce characteristic effects. Contemporary philosophy of causation has largely embraced causal pluralism — the position that causation is not a single unified concept but rather a family of related concepts that appear across scientific, practical, and normative contexts, each with slightly different criteria for ascription. The unifying thread is the asymmetry: causation is not symmetric; C → E is not equivalent to E → C, setting causation apart from mere correlation or logical implication. [2]
How would you explain it like I'm…
What Makes Things Happen
Cause and Effect
Cause and Effect, Not Just Pattern
Structural Signature¶
- The cause as antecedent event — a temporally or logically prior event or variable that is the subject of a causal claim
- The effect as consequent event — a temporally or logically posterior event or variable that is the object of the causal claim
- The productive-connection mechanism — the mediating process, chain of causation, or causal pathway that transmits the causal influence from C to E
- The counterfactual dependence — the modal relation whereby E depends on C in the sense that C's non-occurrence or alteration would change E
- The temporal asymmetry — the directional arrow that makes causes prior to effects and makes reversal impossible; violation of this asymmetry breaks causal reasoning
- The screening-off and confounding — the distinction between genuine causal effects (C causes E directly or through a chain), confounded associations (a common cause U produces both C and E, creating spurious association), and causal fork structures that must be conditioned on for valid causal identification
What It Is Not¶
- Not mere correlation. Statistical association or covariance is symmetric; causation is asymmetric and supports intervention. Two variables can be correlated because one causes the other, or because they share a common cause, or by chance. The conflation of correlation and causation is the foundational error of naive observational analysis. (See:
correlation.) - Not logical implication. Causation relates events in the world; implication relates propositions in a formal system. "If A then B" in logic does not entail "A causes B" in the world. Logical implication is topic-neutral and symmetric; causation is topic-specific and asymmetric.
- Not deterministic necessitation. Causation can be probabilistic — smoking causes lung cancer without necessitating it, and a stochastic process has causal structure even if outcomes are not determined. Determinism and causation are orthogonal concepts.
- Not narrative or historical explanation. Narrative explanations often invoke multiple causes, context, and agency in ways that causal analysis of isolated variables cannot capture. Causation is one form of explanation; others include functional (role-based), structural (parts and their arrangement), and normative (reasons for action) explanations.
- Not identical with all forms of explanation. Function, structure, normativity, and meaning are non-causal explanatory categories. Saying "a heart explains mortality risk" (functional explanation) is not saying "a heart causes mortality" (causal explanation).
Broad Use¶
Scientific methodology deploys causal inference across randomized controlled trials (RCTs assign treatment randomly to eliminate confounding), instrumental variables (identifying causal effects when randomization is infeasible by leveraging quasi-exogenous variation), regression discontinuity (extracting causal effects at a threshold), and Judea Pearl's do-calculus — a formal machinery for identifying which causal parameters are identifiable from observational data under explicit assumptions about the underlying causal graph. [3] Epidemiology codifies causal reasoning in Bradford-Hill criteria for inferring causation from association: strength of association, dose-response, temporal ordering, consistency across studies, biological plausibility, coherence with existing theory, experimental evidence, specificity, and analogy to known causal pathways. [4] Legal reasoning distinguishes factual causation (but-for causation: but for the defendant's action, harm would not have occurred) from proximate or legal causation (whether responsibility should attach to a remote causal antecedent). Engineering failure analysis identifies root causes via causal chains and counterfactual reasoning. Historical and social-scientific explanation increasingly adopts causal-model frameworks to distinguish correlation, confounding, and genuine causal effects. Artificial-intelligence research in interpretability and fairness relies on Pearl's structural causal models (SCMs) to reason about counterfactual outcomes and causal attributions in decision systems. Economics has undergone a causal-inference revolution following Angrist, Imbens, and Rubin's formalizations of instrumental variables, difference-in-differences, and treatment effects, enabling causal claims from quasi-experimental data. [5]
Clarity¶
Naming a relation causal forces commitment to a claim stronger than association and opens the door to intervention-based reasoning: "if we change X, then Y will change" — the language of policy, design, and action. Causal directed acyclic graphs (DAGs) make assumed causal structure explicit, so confounders (common causes requiring adjustment), colliders (common effects that induce spurious association when conditioned on), and mediators (intermediate variables in a causal chain) are visually transparent and can be debated. Clarity also extends to what conclusions are justified: observational analysis yields associations and, under untestable assumptions, causal effects; randomized experiments yield causal effects with weaker assumptions; neither yields mechanism without further investigation. The distinction between observational and interventional distributions — P(Y | X = x) versus P(Y | do(X = x)) in Pearl's notation — prevents the common slippage from "X is associated with Y" to "X causes Y" that pervades policy discourse and media reporting. [3] [6]
Manages Complexity¶
Causal models compress exponentially large joint probability distributions P(V₁, V₂, ..., Vₙ) into a factorization along the DAG: P(V) = ∏ᵢ P(Vᵢ | pa(Vᵢ)), where pa(Vᵢ) denotes the parents of Vᵢ in the causal graph. [3] This factorization makes large multivariate systems tractable. Interventional predictions — answering "what happens if we set X to x?" — reduce to computations on the graph with incoming edges to X removed, and many questions (identifiability, transportability between populations, sensitivity to hidden confounding) are decidable from graph structure alone without fitting complex models. Practically, causal thinking tells analysts which variables must be adjusted for (confounders), which must not be (colliders, post-treatment variables that lie on the causal pathway), and which can be safely ignored. Without this discipline, variable selection in regression is guesswork; with it, adjustment sets are principled and transparent. In machine learning deployment, causal models predict behavior under distribution shift and external validity challenges, whereas purely predictive models fail when test conditions diverge from training conditions. [7]
Abstract Reasoning¶
Causality embodies the philosophical distinction between explanation and mere description, and between intervention and passive observation. It elevates "why does X occur?" from narrative into a question with a disciplined answer rooted in production and dependence. The core abstract move is the counterfactual: to assert C caused E is to assert that in the nearest possible world where C did not occur (or occurred differently), E would not occur (or would occur differently), evaluated while holding other variables fixed in a structured way according to the background causal model. This is a modal claim — a claim about what would happen in worlds that did not factually occur. The deep philosophical questions — whether mental events can cause physical events without violating causal closure, whether causation in physics can be temporally symmetric, whether probabilistic causation coherently combines probability and necessity — live in the space opened by this modal, asymmetric structure. Abstract reasoning about causation also reveals its isomorphism to other structures in formal systems: the use of counterfactuals mirrors possible-world semantics in modal logic, the causal graph mirrors Bayesian networks in probabilistic inference, and the recursion between belief and behavior in causal learning mirrors reinforcement-learning value updates. [6]
Knowledge Transfer¶
| Role in Epidemiology | Role in Software Engineering |
|---|---|
| Exposure (e.g., smoking) | Treatment variable (e.g., feature flag: new UI design) |
| Outcome (e.g., lung cancer) | Outcome metric (e.g., user retention) |
| Confounder (e.g., SES, air quality) | Confounder (e.g., user cohort, seasonality) |
| Randomized trial | A/B test with random assignment to treatment and control |
| Observational study with adjustment for confounders | Retrospective analysis with propensity-score matching or covariate adjustment |
| Bradford-Hill criteria for causal inference | Launch decision criteria: pre-registered hypothesis, effect-size thresholds, replication requirements |
| Counterfactual: "Would this patient have gotten cancer had they not smoked?" | Counterfactual: "Would this user have churned absent the feature rollout?" |
The A/B testing practitioner is running an epidemiological-style randomized trial; the logic of confounding, selection bias, and counterfactual estimation transfers directly. The same failure modes appear in both domains: attrition bias, non-compliance with assigned treatment, interference between units (violations of SUTVA — Stable Unit Treatment Value Assumption — such as network effects), and post-treatment conditioning. An experimentation platform that ignores multiple-comparison corrections and heterogeneous treatment effects is committing errors that clinical trial statisticians corrected decades ago.
Examples¶
Formal/Abstract Example: Pearl's Structural Causal Models and Do-Calculus¶
Pearl's structural causal model (SCM) formalism represents a causal system as a tuple (U, V, F) where U is a set of exogenous (background) noise variables, V is a set of endogenous variables, and F is a set of structural equations Vᵢ = fᵢ(pa(Vᵢ), Uᵢ) specifying how each variable is produced from its parents in the causal graph and its associated noise term. [3] The causal graph is a directed acyclic graph (DAG) over V. A critical innovation is the do-operator: do(X = x) represents an external intervention that sets X to value x, breaking all incoming causal edges to X and replacing the original equation for X with the constant assignment X := x. This distinction between observational conditional probability P(Y | X = x) and interventional probability P(Y | do(X = x)) is fundamental: the two are equal only when X has no confounders. When X and Y share a common cause U, then P(Y | X = x) ≠ P(Y | do(X = x)); the gap is precisely the confounding bias. Pearl's do-calculus (three graphical rules) permits derivation of identifiable causal effects — those that can be estimated from observational data — from the SCM. The canonical example: in the causal graph U → X ← U → Y ← X (where U is an unobserved confounder, X is a treatment, Y is an outcome), the effect P(Y | do(X = x)) is not identifiable from observational data without additional assumptions, because we cannot separate the effect of X on Y from the association induced by U. If, however, we observe a node W that is a descendant of X but not Y, and a parent of Y (an instrumental variable), the effect becomes identifiable. The smoking-tar-cancer example illustrates: if smoking increases tar production in the lungs, and tar production increases cancer risk, then the effect of smoking on cancer flows through tar; but a genetic factor might increase both smoking propensity and tar sensitivity, confounding the direct smoking-on-cancer effect. Pearl's mathematics permits decomposing the total effect of smoking on cancer into direct and indirect (mediated) components and assessing which components are identifiable from observational data.
Mapped back to the six-component structural signature: (1) Cause: smoking (or do(smoking = 1) vs. do(smoking = 0)). (2) Effect: cancer incidence. (3) Productive connection: biological mechanism of tar accumulation and carcinogen binding. (4) Counterfactual dependence: P(cancer | do(smoking = 1)) ≠ P(cancer | do(smoking = 0)). (5) Temporal asymmetry: smoking precedes tar accumulation, which precedes cancer. (6) Screening-off and confounding: genetic factors confound the smoking-cancer link; conditioning on tar mediates the effect. [8]
Applied/Industry Example: Randomized Controlled Trial in Clinical Pharmacology¶
A pharmaceutical company conducts a Phase III randomized controlled trial (RCT) of a novel antihypertensive drug (call it compound X) in 10,000 hypertensive patients. Participants are randomly assigned to receive either compound X or matching placebo for 12 months. Randomization ensures that baseline health characteristics, medication history, lifestyle factors, and unmeasured confounders are statistically balanced between the two groups in expectation. The trial measures primary outcome: incidence of cardiovascular events (myocardial infarction, stroke, or cardiovascular death) in the treatment group versus the control group. Suppose 120 events occur in the treatment arm (n=5000) and 180 events in the control arm (n=5000), yielding an absolute risk difference of (120 − 180)/5000 = −1.2%, or a relative risk of 120/180 = 0.67. Because assignment was randomized, the observed difference in event rates is an unbiased estimate of the causal effect: the effect of compound X on cardiovascular outcomes. Contrast this with an observational study: if patients who chose to take compound X happened to be more health-conscious (self-selected for lifestyle modification, regular monitoring, adherence), then observed differences in event rates would conflate the effect of the drug with the effect of health-consciousness. The causal effect cannot be identified from observational data without strong, untestable assumptions (no unobserved confounding, correct functional form, positivity). In the RCT, randomization breaks the confounding by severing the association between unmeasured factors and treatment assignment, making causal identification possible.
Mapped back to the six-component structural signature: (1) Cause: treatment assignment (do(compound X) vs. do(placebo)). (2) Effect: cardiovascular event incidence within 12 months. (3) Productive connection: compound X's pharmacological action on hypertensive pathways, vascular tone, thrombus formation, etc. (4) Counterfactual dependence: the event rate would be lower (0.67×) under do(X) than under do(placebo). (5) Temporal asymmetry: treatment assignment precedes disease outcomes. (6) Screening-off and confounding: randomization equalizes confounders across groups; no adjustment required. [5]
Structural Tensions and Failure Modes¶
T1 — Competing mechanistic accounts: Hume regularity vs. counterfactual vs. manipulationist vs. powers. Four major philosophical traditions offer distinct analyses of causation. Hume's regularity theory (Hume 1748) treats causation as constant conjunction plus temporal priority — if C-type events are regularly followed by E-type events, then C causes E — and denies any necessary connection beyond the observed regularity. Lewis's counterfactual account (Lewis 1973) prioritizes component (4): C causes E just if E counterfactually depends on C. Woodward's manipulationist theory (Woodward 2003) privileges component (3): C causes E if an intervention on C would change E; this grounds causation in what a rational agent could manipulate. Mumford and Anjum's dispositional powers account (2011) locates causation in the intrinsic liabilities or capacities of entities — causal powers that may or may not be actualized depending on surrounding conditions. Modern philosophy has largely moved toward causal pluralism: these accounts are not rivals but rather illuminate different aspects of causation, each adequate in its proper context. Regularity suffices for statistical association; counterfactuals formalize intervention-supported reasoning; manipulationists capture agency and control; powers ground causation in entities' intrinsic nature. The tension is whether a unified account is possible or whether causation is genuinely multi-faceted. This tension does not block practical causal reasoning — it motivates rigor in specifying which account (or combination) is doing the work in a particular context. [9]
T2 — Token vs. type causation and the relata problem. Causal claims can be pitched at different levels of generality. "This lightning strike caused this fire" (token causation) makes a claim about two particular events. "Lightning causes fires" (type causation) makes a claim about event-types or classes. The two come apart: every token instance of lightning causing fire instantiates the type relation, but not every instance of the token relation entails universality at the type level (singular causation can be genuine even if not invariant). Moreover, the relata problem asks: what are the relata of causal relations — events, facts, properties, variables, processes? Different answers suit different contexts: physics works with events and their properties; epidemiology works with variables and their distributions; neuroscience works with processes and mechanisms. The conceptual pluralism here is not a failure but a reflection of how causation is used in different domains, and switching between token and type, or between events and variables, without remarking the shift creates confusion. [10]
T3 — Counterfactual semantics and context-dependence. Lewis's nearest-possible-world semantics provides an elegant formal apparatus: C causes E if in the nearest possible world where C does not occur, E does not occur either (all else held fixed). But "nearest" is ambiguous in practice. Similarity between possible worlds has many dimensions (match actual history as far back as possible, minimize departure from actual facts, preserve laws of nature, etc.), and the weighting of these dimensions is context-dependent. In legal or moral reasoning about causation (liability, responsibility, blame), the counterfactual standard invokes different similarity metrics: do we ask what would have happened if the defendant had acted differently, or if the victim had acted differently, or if both had? Stalnaker's alternative — a unique closest world — avoids some of Lewis's indeterminacy but at the cost of implying that counterfactuals always have determinate truth-values, which seems too strong. The upshot: counterfactual causation is intuitive and theoretically powerful, but its interpretation requires specification of context and counterfactual semantics. [6]
T4 — Causal asymmetry and its origins. Causation is asymmetric: C → E ≠ E → C. Yet the fundamental laws of physics are time-symmetric: the equations of classical mechanics, electrodynamics, and quantum mechanics are invariant under time-reversal. How does an asymmetric causal structure emerge from time-symmetric laws? Reichenbach's common-cause principle (Reichenbach 1956) suggests that temporal asymmetry is not fundamental but derivative: the universe's low-entropy past state, via the second law of thermodynamics, creates a thermodynamic arrow of time, and causal asymmetry tracks this arrow. Albert (2000) argues that the universe's initial condition (the Past Hypothesis) and the thermodynamic gradient provide the asymmetry. Alternatively, some philosophers (Craig, Dowe) argue for a primitive causal asymmetry — causation is asymmetric as a brute conceptual fact, not reducible to temporal or entropic order. The tension is between reductive accounts (causation is derivative of thermodynamics and initial conditions) and primitive-asymmetry views (causation is a fundamental structural feature of the world). This tension does not affect practical causal reasoning, but it shapes metaphysical understanding of causation's place in the physical picture.
T5 — Mental causation and the problem of causal closure. Mental events (beliefs, decisions, emotions) appear to cause physical events (behavioral outputs, neural states). Yet if the physical world is causally closed — every physical event has a sufficient physical cause — how can a mental event cause a physical event without redundancy or violation of physical causal closure? Kim's exclusion problem (Kim 1998) formalizes this: if my neural state N causes my arm motion M, and my desire D (a mental event) also causes M, then either D is identical to N (reductionism), D does not cause M (epiphenomenalism), or there is causal overdetermination (both D and N are sufficient causes, each independently capable of producing M). Nonreductive physicalists respond that mental properties supervene on but are not reducible to physical properties, and the causal powers of mental states are realized in (not identical to) their physical substrate — mental causation is real causation, just not an additional physical cause beyond the neural level. The tension is between preserving mental causation as genuinely causal (against epiphenomenalism), maintaining causal closure of the physical, and avoiding dualism. This tension remains live in philosophy of mind and cognitive science.
T6 — Causal pluralism vs. theoretical unification. Pluralists (Cartwright 1979, Mumford-Anjum 2011) argue that causation is a family of concepts, each suited to a domain: production in metaphysics, dependence in epistemology, manipulability in pragmatics, disposition in ontology. Unifiers (Lewis, Woodward) seek a single account under which the apparent plurality dissolves. The tension is between accommodating the rich diversity of causal reasoning across domains and the theoretical virtue of parsimony and unification. A unified theory is elegant and explanatory; pluralism is pragmatically honest about how scientists, engineers, lawyers, and ethicists actually reason about causation. The failure mode at the unification extreme is forcing diverse phenomena into a Procrustean bed; the failure mode at the pluralism extreme is giving up on systematic understanding and collapsing into context-relativism where every field has its own causation. Recent work (Hitchcock 2012, Halpern-Pearl 2015) has found middle ground: a unified formal framework (structural causal models) that accommodates multiple concepts (actual causation, token causation, responsibility) as interpretations or instances of the same underlying machinery.
Structural–Framed Character¶
Causality sits at the structural end of the structural–framed spectrum: it is a pure relational pattern, the same in any domain where it appears, and nothing about its meaning depends on a particular field's vocabulary or assumptions.
Its content is a relation among events with four formal parts: an antecedent cause, a consequent effect, a productive connection by which the cause brings about the effect rather than merely predicting it, and a counterfactual robustness under which the effect would have differed had the cause differed. These roles are abstract and carry no evaluative weight, and the relation holds whether the events are physical, biological, economic, or social. Recognizing causality is identifying a productive, counterfactual-supporting link already in the world, not importing a perspective. On every diagnostic, it reads structural.
Substrate Independence¶
Causality is about as substrate-independent as a prime can be — composite 5 / 5 on the substrate-independence scale. Its structure — antecedent, consequent, a productive connection between them, and modal robustness under counterfactuals — is fully substrate-agnostic. It appears in physics, biology, statistics, epistemology, social science, and software, and the transfer across all of these is explicit and structural rather than metaphorical. It is an anchor-level universal, one of the catalog's canonical 5s.
- Composite substrate independence — 5 / 5
- Domain breadth — 5 / 5
- Structural abstraction — 5 / 5
- Transfer evidence — 5 / 5
Relationships to Other Abstractions¶
Current abstraction Causality Prime
Parents (1) — more general patterns this builds on
-
Causality is a kind of Dependency Prime
Causality is a specialization of dependency in which one event productively brings about another with counterfactual modal robustness.Causality is a specialization of dependency. The general dependency pattern is the directed asymmetric relation in which one element cannot proceed, function, or be interpreted unless a condition on another is met. Causality specializes by adding two commitments: a productive mechanism linking cause to effect (not merely correlation or precedence) and counterfactual modal robustness (had the cause not occurred, the effect would have differed). The same directed-asymmetric-reliance logic of dependency applies, with productive connection and counterfactual support as the specific gates distinguishing causation from looser dependence.
Children (57) — more specific cases that build on this
-
Affective events theory Domain-specific is a kind of Causality
The proposed strict upward parent is
prime:causality.AET specifies a layered causal pathway from work events through affect to outcomes; organizational and temporal roles supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Affective events theory adds domain-specific constraints. The entry does not collapse into that parent because event-level mediation from work context through affect to behavior, with disposition and cognitive appraisal kept as distinct paths It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Affective events theory. 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:causality. No live DAG mutation is authorized. -
Autocausative Verb Domain-specific is a kind of Causality
Causality is the closest literal prime.An autocausative construal specifies a cause-like contribution and an effect-like change within one participant, with the language declining to profile a separate external causer. Agency is related but not a required parent. Prototypical autocausatives have control, yet the live Agency prime requires a stronger goal-representation, world-model, and action-selection coupling. Autocausative analysis needs only partial control over onset, so parenting it under Agency would overstate the invariant. Transformation is related through the change of location, posture, or bodily state, but it does not own the causative-role fusion. Role is conceptually relevant because initiator and undergoer properties converge, although the live Role prime concerns social-position expectations and is not a literal grammatical supertype. The prospective DAG placement therefore uses only
prime:causality. Relations to the other primes remain explanatory rather than structural edges. -
Biodiversity hypothesis of health Domain-specific is a kind of Causality
The proposed strict upward parent is
prime:causality.prime:causality is the nearest broader Prime while the source-domain carrier 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 Biodiversity hypothesis of health adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the population and environmental context, biodiversity and contact measure, environmental microbial exposure, human microbiota site and diversity, immunoregulatory pathway, inflammatory outcome, temporal and causal model, confounders and intervention or longitudinal evidence and relation to neighboring hypotheses are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Biodiversity hypothesis of health. 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:causality. No live DAG mutation is authorized.
- Cataclysmic pole shift hypothesis Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The claim proposes a specific causal explanation for catastrophes; its rapid-pole mechanism and rejected evidential status supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Cataclysmic pole shift hypothesis adds domain-specific constraints. The entry does not collapse into that parent because debunked catastrophic reinterpretation of real but gradual rotational and geological phenomena It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Cataclysmic pole shift hypothesis. 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:causality`. No live DAG mutation is authorized.
- Causal closure Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality 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 Causal closure adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by for every caused physical effect in scope, a causally sufficient physical cause is available under the declared causal and modal interpretation It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Causal closure. 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:causality`. No live DAG mutation is authorized.
- Communication source Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The source is the modeled origin of a message sequence; communication encoding supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Communication source adds domain-specific constraints. The entry does not collapse into that parent because origin role linking social sender and formal stochastic source models It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Communication source. 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:causality`. No live DAG mutation is authorized.
- Credit channel Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The candidate asserts a directional, mediated cause-effect pathway from policy through financial frictions to real expenditure; those roles literally instantiate Causality while monetary institutions supply the domain-specific residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Credit channel adds domain-specific constraints. The entry does not collapse into that parent because the policy-to-credit-friction-to-expenditure causal chain, including its balance-sheet and bank-lending branches, rather than credit volume or monetary transmission in general It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Credit channel. 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:causality`. No live DAG mutation is authorized.
- Dark energy Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality 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 Dark energy adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the model specifies an effective stress-energy or modified-gravity term whose cosmological dynamics produce accelerated expansion and are compared with declared observations It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Dark energy. 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:causality`. No live DAG mutation is authorized.
- Differential effects Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The abstraction isolates a counterfactual causal contrast; observational assignment bias supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Differential effects adds domain-specific constraints. The entry does not collapse into that parent because treatment-in-lieu-of-alternative effect framed around vulnerability to unequal assignment It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Differential effects. 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:causality`. No live DAG mutation is authorized.
- Economic determinism Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The theory asserts causal priority of economic relations over other social forms; materialist directionality supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Economic determinism adds domain-specific constraints. The entry does not collapse into that parent because strong base-to-superstructure priority claim and its historiographic variants It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Economic determinism. 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:causality`. No live DAG mutation is authorized.
- Epiphenomenalism Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality is the nearest broader Prime while the source-domain carrier 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 Epiphenomenalism adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the physical and mental event domains, dependence or production direction, denial of mental-to-physical causation, treatment of mental-to-mental causation, causal-closure premise, explanation of reports and behavior and exclusion evolutionary and epistemic objections are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Epiphenomenalism. 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:causality`. No live DAG mutation is authorized.
- Event structure Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality is the nearest broader Prime; the source domain and invariant supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Event structure adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by valid configurations are conflict-free and contain the causal prerequisites required by the exact event-structure variant It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Event structure. 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:causality`. No live DAG mutation is authorized.
- Expanding Earth Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The hypothesis offered planetary expansion as a causal mechanism for continental displacement; its obsolete geological context supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Expanding Earth adds domain-specific constraints. The entry does not collapse into that parent because superseded radius-growth explanation for continental drift before acceptance of plate tectonics It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Expanding Earth. 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:causality`. No live DAG mutation is authorized.
- Failure cause Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality is the nearest broader Prime; the source-domain invariant supplies the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Failure cause adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the item and intended function, observed failure mode, initiating condition, intervening mechanism, operating and environmental context, evidence and counterfactual test, contributing causes and causal-depth convention are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Failure cause. 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:causality`. No live DAG mutation is authorized.
- Four Causes Domain-specific is a kind of Causality
**Causality** is the proposed immediate parent.Explanation, Purpose, Composition, Form, and Agency are related primes. The prospective queue contains one strict edge to `prime:causality`. No live DAG mutation is authorized.
- General relativity Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The theory links stress–energy causally to spacetime curvature and motion; relativistic geometry supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while General relativity adds domain-specific constraints. The entry does not collapse into that parent because dynamical spacetime geometry replacing gravitational force on a fixed background It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of General relativity. 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:causality`. No live DAG mutation is authorized.
- Geschwind–Galaburda hypothesis Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality is the nearest broader Prime while the source-domain carrier 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 Geschwind–Galaburda hypothesis adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the historical authors and 1980s formulation, prenatal and later androgen exposure, hemispheric maturation timing, left and right lateralization, handedness and language or spatial ability predictions, sex-linked population differences, proposed immune associations, developmental timing, empirical tests replications and failures, confounding and alternative models and current evidential status are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Geschwind–Galaburda hypothesis. 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:causality`. No live DAG mutation is authorized.
- Globally hyperbolic spacetime Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality 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 Globally hyperbolic spacetime adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the time-oriented Lorentzian manifold, causal convention, absence of the required causal pathologies, compactness of causal diamonds or existence of a Cauchy hypersurface and equivalence hypotheses are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Globally hyperbolic spacetime. 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:causality`. No live DAG mutation is authorized.
- Grama (halacha) Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality 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 Grama (halacha) adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the governing halakhic domain, initial act, intervening mechanism, probability and timing of outcome, intent, emergency status, and relevant direct-versus-indirect category are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Grama (halacha). 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:causality`. No live DAG mutation is authorized.
- Gravitational keyhole Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The candidate literally instantiates prime:causality; its celestial_mechanics conditions supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Gravitational keyhole adds domain-specific constraints. The entry does not collapse into that parent because A narrow region in a planetary encounter plane through which a small body's passage would gravitationally redirect it onto a resonant future impact trajectory It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Gravitational keyhole. 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:causality`. No live DAG mutation is authorized.
- Happened-before Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The relation formalizes potential causal precedence; asynchronous communication supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Happened-before adds domain-specific constraints. The entry does not collapse into that parent because clock-free potential-causality order for asynchronous events and its distinction from total observation order It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Happened-before. 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:causality`. No live DAG mutation is authorized.
- Horizontalism Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The theory proposes a specific causal ordering among loans, deposits, reserves and policy rate; endogenous-money institutions supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Horizontalism adds domain-specific constraints. The entry does not collapse into that parent because horizontal reserve-supply interpretation of endogenous credit money within post-Keynesian theory It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Horizontalism. 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:causality`. No live DAG mutation is authorized.
- Ishikawa diagram Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality 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 Ishikawa diagram adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the effect and scope, participants, causal-category scheme, branching granularity, evidence status, duplicate and interaction handling, prioritization, validation tests, and action linkage are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Ishikawa diagram. 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:causality`. No live DAG mutation is authorized.
- Karma Domain-specific is a kind of Causality
Karma strictly **instantiates prime:causality at the level of doctrinal structure**.Each member asserts a directed relation from qualified action to later fruit, ordinarily through a persistence and maturation account. The parent relation classifies the doctrine's form; it does not certify the doctrine as empirically demonstrated causal fact. It is related to **prime:responsibility_attribution**, because karmic explanations connect later states with earlier agency or action. The relation is not identity: responsibility can be assigned legally or socially without rebirth, retained efficacy, or liberation. **prime:path_dependence** captures how accumulated prior acts constrain later states, but karmic trajectories need not rely on increasing returns or lock-in as that prime requires. `domain_specific:just_world_hypothesis` is a critical boundary, not a parent. The psychological hypothesis explains motivated fairness belief and victim derogation; Karma is a doctrinal action-fruit family. **prime:reciprocity** and **prime:reinforcement** may resemble “actions return” or “consequences shape behavior,” but karma need not involve mutual exchange or a consequence-driven update in action probability.
- Kramers–Kronig relations Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.Causal temporal response entails analytic frequency structure and component linkage; linear-response physics supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Kramers–Kronig relations adds domain-specific constraints. The entry does not collapse into that parent because dispersion-absorption linkage forced by causal analyticity It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Kramers–Kronig relations. 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:causality`. No live DAG mutation is authorized.
- Late effect Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The identity links a delayed outcome to an earlier cause under evidence; clinical latency supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Late effect adds domain-specific constraints. The entry does not collapse into that parent because delayed post-acute morbidity distinguished by temporal separation and causal attribution It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Late effect. 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:causality`. No live DAG mutation is authorized.
- Nephelauxetic effect Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.Complex formation causes a systematic change in electron-cloud extent and repulsion; coordination-spectroscopic comparison supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Nephelauxetic effect adds domain-specific constraints. The entry does not collapse into that parent because spectroscopic signature of reduced d-electron repulsion through ligand-induced cloud expansion It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Nephelauxetic effect. 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:causality`. No live DAG mutation is authorized.
- Nest protection hypothesis Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The hypothesis asserts a literal causal pathway from material selection through plant chemistry to enemy burden and host consequence; avian nest behavior supplies the domain-specific residual. The edge is proposal-only and points to a frozen prior-baseline Prime. The entry does not collapse into the parent because the chemically mediated nest-defense causal claim joining selected plant material to parasite or pathogen reduction, rather than greenery use generally or every benefit associated with aromatic nests A thematic neighbor is declined whenever it does not literally subsume that rule. The prospective workspace queue contains one strict upward edge to `prime:causality`. No live DAG mutation is authorized.
- Plot (narrative) Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality is the nearest broader Prime while the source-domain invariant supplies the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Plot (narrative) adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the work and medium, event set and agents, chronological story order, presented discourse order, causal and motivational links, central conflict and turning points, subplots, resolution and interpretive evidence are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Plot (narrative). 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:causality`. No live DAG mutation is authorized.
- Probabilistic causation Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality is the nearest broader Prime while the source-domain carrier 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 Probabilistic causation adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the cause and effect variables or events, probability interpretation, comparison condition, background context and reference class, probability-raising or relevance inequality, temporal direction, confounding and screening-off assumptions, intervention or counterfactual interpretation and treatment of prevention and overdetermination are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Probabilistic causation. 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:causality`. No live DAG mutation is authorized.
- Providentialism Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The candidate literally instantiates prime:causality; its religious_thought restrictions supply the domain-specific residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Providentialism adds domain-specific constraints. The entry does not collapse into that parent because A theological-historical belief that divine providence governs earthly events, sometimes interpreted at personal, national or universal scales It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Providentialism. 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:causality`. No live DAG mutation is authorized.
- Quasi-delict Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.Liability depends on a legally qualified causal chain from fault to damage; civil-law doctrine supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Quasi-delict adds domain-specific constraints. The entry does not collapse into that parent because civil-law classification of negligent extra-contractual liability and its boundary from intentional delict and contract It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Quasi-delict. 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:causality`. No live DAG mutation is authorized.
- Relativistic heat conduction Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality is the nearest broader Prime; the source domain and invariant supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Relativistic heat conduction adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the spacetime metric, material four-velocity, frame, heat-flux law, characteristic speed, relaxation, stability, and entropy conditions are jointly specified It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Relativistic heat conduction. 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:causality`. No live DAG mutation is authorized.
- Scrooge effect Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.The phenomenon posits mortality salience as a cause of context-qualified generosity; social-psychological meaning defense supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Scrooge effect adds domain-specific constraints. The entry does not collapse into that parent because positive prosocial branch of mortality-salience response named after Scrooge's transformation It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Scrooge effect. 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:causality`. No live DAG mutation is authorized.
- Spurious relationship Domain-specific is a kind of Causality
The proposed strict upward parent is `prime:causality`.prime:causality is the nearest broader Prime while the source-domain carrier 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 Spurious relationship adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the variables population and sampling process, observed association and estimand, proposed causal interpretation, candidate confounders common causes trends selection and multiplicity, temporal ordering, causal graph or design assumptions, adjustment or falsification test and residual uncertainty are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Spurious relationship. 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:causality`. No live DAG mutation is authorized.
- Warburg Hypothesis Domain-specific is a kind of Causality
**Causality** is the proposed immediate parent.Hypothesis Testing, Correlation–Causation Distinction, Feedback, Necessary and Sufficient Conditions, and Model Assumption Failure are related. Aerobic Respiration and Hypoxia are biological neighbors, not coverage targets. The prospective queue contains one strict edge to `prime:causality`. No live DAG mutation is authorized.
- Causal reasoning Prime is a kind of Causality
The accepted reference-grade review places Causal reasoning under Causality because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.Infer, compare, test, or revise cause–effect structure by distinguishing interventions and counterfactual alternatives from association alone. The parent is defined more broadly: Cause-effect relationships.
- Counterfactuals Prime is a kind of Causality
Counterfactuals are a kind of causality: causal claims are evaluated by comparing the actual world with what would have happened had a cause differed.Counterfactual reasoning constructs claims of the form had A not occurred, B would not have occurred and uses them to identify causal structure, evaluate decisions, and assign responsibility. That is one of the four essential components of Causality itself: modal robustness — the counterfactual claim that fixing the cause would have fixed the effect under a fixed background. Counterfactuals are the specialization of causality that isolates and operationalizes the modal component as its primary inferential machinery.
- Overdetermination Prime is a kind of Causality
The accepted reference-grade review places Overdetermination under Causality because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.Recognize one effect as produced through multiple actual causal routes when each route, under the stated background conditions, would have been sufficient for that effect without the others. The parent is defined more broadly: Cause-effect relationships.
- Unintended consequences Prime is a kind of Causality
The accepted reference-grade review places Unintended consequences under Causality because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.Outcomes caused by a purposeful action that were neither among the actor’s aims nor fully represented in the action’s decision model. The parent is defined more broadly: Cause-effect relationships.
- Causal Theory of Reference Domain-specific is part of Causality
current reference depends on historical events and transmission.current reference depends on historical events and transmission.
- Commercial Determinants of Health Domain-specific presupposes Causality
CDoH instantiates **Systems Thinking** because it analyzes population health through relationships and feedback among commercial actors, products, practices, governance, environments, and populations rather than isolating one downstream.CDoH instantiates **Systems Thinking** because it analyzes population health through relationships and feedback among commercial actors, products, practices, governance, environments, and populations rather than isolating one downstream choice. It presupposes **Causality** because the word “determinant” carries a cause-effect commitment that association alone cannot discharge. **Externality** captures unpriced spillovers such as pollution and antimicrobial resistance but not every purchased-product, labor, access, or political pathway. **Conflict of Interest** diagnoses incompatible commercial and public-health incentives in partnerships, research, or governance. **Regulatory Capture** names the specific inversion in which regulated actors redirect regulators; **Market Power** helps explain price, labor, supply, and policy leverage. The **Iron Triangle of Health Care** concerns the access–quality–cost frontier inside health-system production and is therefore a neighboring health-policy abstraction, not coverage of commercial determinants across sectors. Prospective DAG placement is documented separately in `CATALOG_MATCH_AND_DAG_PLACEMENT.md`; no structured edge is encoded in this isolated draft.
- Harmless Error Domain-specific is part of Causality
the court asks whether the error contributed to the result.the court asks whether the error contributed to the result.
- Line of Effort Domain-specific is part of Causality
Each line of effort contains an explicit causal chain from tasks through intermediate effects to the intended end state.The planning device is built from claims that upstream actions produce named effects which enable downstream effects; removing causal linkage leaves only a thematic list rather than a line of effort.
- Penrose–Hawking Singularity Theorems Domain-specific presupposes Causality
**Causality** is the minimal parent because chronological relations, causal geodesics, and global causal restrictions are identity-bearing.**Proof By Contradiction** describes a common proof move—assume completeness and derive incompatibility—but is secondary. **Necessity and Sufficiency** is not a parent: the theorems provide sufficient hypothesis packages for incompleteness, not biconditional characterizations.
- Wrong Direction (Reverse Causation Fallacy) Domain-specific is part of Causality
Wrong Direction contains causality because its identity requires both an asserted causal arrow and a genuine causal relation whose orientation the assertion reverses.Remove the causal relation and the case becomes chance, spurious correlation, or common-cause confounding rather than reverse causation. Causality supplies the directed productive dependence; the child adds an inference that swaps its endpoints while preserving the observed association.
- Confounding Prime presupposes Causality
Confounding presupposes causality because the third-variable distortion is defined relative to the true causal relation it obscures.Confounding presupposes causality because the very claim that an observed association is distorted -- fabricated, attenuated, or reversed -- requires a true causal relation against which the distortion is measured. The confounder Z is a common cause of X and Y in the causal graph, and adjustment is required to recover the genuine X-to-Y causal effect. Without causality's four-component structure of cause, effect, productive connection, and counterfactual sensitivity, there is no causal target to be confounded and no formal criterion separating spurious association from genuine effect.
- Conjunctive Path Activation Prime presupposes, typical Causality
A causal-graph property: a latent path whose state-conditional edges conduct only under an AND of factors.Presupposes a directed causal structure; left at composition since it is a property OF a causal graph, not an is-a.
- Determinism Prime presupposes Causality
Determinism presupposes causality because its claim is precisely that the present state plus laws fix a unique successor via the productive cause-effect connection.Determinism presupposes causality because its content — that state plus laws fix exactly one successor — operates on the cause-effect relation: laws are the productive connection from prior state (cause) to next state (effect), and modal robustness is the counterfactual invariance of the law itself. It inherits causality's four-part structure and particularizes it to the case where the law is single-valued rather than probabilistic. Without causality's productive connection, the deterministic trajectory has nothing to specify.
- Downward Causation Prime presupposes Causality
Downward causation presupposes causality because it asserts genuine cause-effect influence flowing from higher levels back to lower-level constituents.Downward causation presupposes causality because the claim that wholes causally constrain or shape their parts requires the full four-component causal relation -- antecedent, consequent, productive connection, and modal robustness -- to hold across the hierarchical boundary. Without causality's apparatus, downward influence collapses to mere description or correlation. The controversial commitment of the prime is precisely that the higher level satisfies cause-component requirements (counterfactual sensitivity, productive linkage) with respect to lower-level dynamics, not just that aggregate descriptions are explanatorily useful.
- Randomization Prime presupposes Causality
Randomization presupposes causality because its purpose is to identify causal effects by severing the link between treatment and confounders.Randomization presupposes causality because its entire warrant is causal inference: random assignment severs the link between treatment and pre-treatment characteristics, so observed differences in outcomes can be attributed to the productive connection from cause to effect. Without causality's four-part structure — cause, effect, productive connection, modal robustness — there would be no target relation for the randomization to identify. Random assignment is precisely the procedure that licenses the counterfactual claim causality requires.
- Teleology Prime presupposes Causality
Teleology presupposes causality because end-directed explanation requires a productive connection by which ends shape outcomes.Teleology presupposes causality because explaining a phenomenon by the end it serves still requires a productive connection -- selection, design, function, intention -- linking the end to the outcome with modal robustness. Without causality's apparatus of cause, effect, mechanism, and counterfactual sensitivity, the teleological claim collapses to mere description of correspondence. Whether ends are read as final causes, selection histories, or designer intentions, the explanation works only insofar as the end is causally efficacious in producing or sustaining what serves it.
- Aviation accident analysis Domain-specific is a decomposition of Causality
The accepted reference-grade review places Aviation accident analysis under Causality because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.A structured post-accident and historical-data process for identifying causal errors and converting findings into preventive aviation safety action. The parent is defined more broadly: Cause-effect relationships.
- Processing-Structure-Property Relationship Domain-specific is a decomposition of Causality
Stripped of materials vocabulary, the relationship is a directed intervention- mediator-outcome causal chain with nonunique forward and inverse mappings.The source expressly denies undirected association: interventions enter at processing, change structure, and thereby change properties and performance. Counterfactual history changes at fixed composition distinguish the causal path.
- Future Wheel Prime is a decomposition of Causality
A future wheel is the specific shape causality takes when consequences are mapped outward in concentric layers from a triggering event.A future wheel is the specific shape causality takes when the causal relation is unfolded forward as a branching cascade: a triggering event sits at the center, first-order consequences radiate from it, each first-order consequence then generates second- and higher-order consequences in successive concentric layers. It is a structurally-particularized instance of cause-and-effect with productive connection and counterfactual robustness, with the added commitments that the mapping is exhaustive across orders rather than tracing a single chain, the structure is graphical-radial, and the value lies in surfacing indirect higher-order effects that linear analysis misses.
- Leverage Points Prime is a decomposition of Causality
Leverage points is the specific shape causality takes when systems have locations where small causes produce disproportionately large effects.Causality is the structural relation between cause and effect, gated by a productive connection and modal robustness so that variations in the cause produce variations in the effect. Leverage points is the particular shape this relation takes in complex systems where causal influence is highly non-uniform across locations: small changes at certain variables, rules, or paradigm-level commitments produce outsized downstream effects. It is a structurally-particularized instance of causal influence whose specific signature is amplification — disproportionate effect size for a given intervention magnitude — ranked across intervention sites by depth.
- Responsibility Attribution Prime is a decomposition of Causality
Responsibility attribution is the specific shape causality takes when the directed assignment runs from outcome back to agents under normative gating.Responsibility attribution is the specific shape causality takes when the cause-effect relation is read backward for the purpose of apportioning credit or blame to agents. The causal apparatus -- antecedent, consequent, productive connection, modal robustness -- supplies the input: the counterfactual-dependence test asks whether the outcome would have differed had the agent acted otherwise. Attribution adds normative gates (control, foresight, fault) that select which of the causal contributors bear responsibility, transforming bare causal facts into a directed assignment from effects to morally answerable sources.
Hierarchy path (1) — routes to 1 parentless root
- Causality → Dependency
Neighborhood in Abstraction Space¶
Causality sits in a moderately populated region (54th percentile for distinctiveness): it has near-neighbors but no dense thicket of synonyms.
Family — Unclustered & Miscellaneous (424 primes)
Nearest neighbors
- Counterfactuals — 0.74
- Causal reasoning — 0.73
- Responsibility Attribution — 0.72
- Overdetermination — 0.70
- Conditioning (Behavioral) — 0.70
Computed from structural-signature embeddings · 2026-09-10
Not to Be Confused With¶
Causality must be distinguished from Circular Causality, though both describe relationships between events. Causality, in its canonical form, is asymmetric and directional — causes are prior to effects, and reversing the arrow breaks the causal claim. C causes E implies that C's occurrence makes E's occurrence more likely (counterfactually, E would not have occurred absent C), but E's occurrence does not similarly make C's occurrence more likely retroactively. Circular causality, by contrast, describes feedback systems where A influences B and B influences A, creating mutual or reciprocal causation without a clear unidirectional origin or terminus. In a circular-causality system, the distinction between cause and effect dissolves: A and B mutually affect each other, and the relationship is better described as a loop than as a one-way production. A thermostat exhibits circular causality — room temperature affects the thermostat setting, which affects heating, which affects room temperature. An alcoholic's drinking and depression exhibit circular causality — depression contributes to drinking, and drinking worsens depression. The distinction matters operationally: in simple causality, you intervene on the cause (stop smoking) and predict the effect (reduced cancer risk); in circular causality, intervening on one element affects all elements in the loop, and the dynamics may resist or amplify the intervention depending on loop strength. Causality's asymmetry makes it suitable for control and intervention; circular causality's symmetry makes it suitable for understanding equilibria and instabilities. Many real systems contain both: overall causal direction (increased alcohol availability → increased consumption) combined with circular feedback within that direction (current consumption → craving → future consumption).
Nor is causality identical to Time, though temporal order is prerequisite to causality. Time is the dimension along which events are ordered sequentially — the frame in which any change or influence can be considered. Causality is a relational structure describing how events or variables influence each other given temporal order. Time asks "what happens when?"; causality asks "what makes what happen?" Every causal relation presupposes temporal order (causes come before effects), but not every temporal ordering implies causation. Event A occurring before Event B does not make A the cause of B — the temporal order is necessary but not sufficient for causation. Rain today does not cause the sun to have risen this morning, despite temporal precedence. The distinction is that time is the stage on which causation acts, but time alone does not determine causation. Temporal order is a structure that causality exploits; causality is a relation that gives meaning to temporal order. A chronology lists events in temporal sequence; causal reasoning asks which events produced which other events. Physics permits time-symmetric laws (many physical equations are invariant under time reversal), yet causation is robustly asymmetric, suggesting that causality is not a primitive feature of physical time but rather emerges from boundary conditions or entropy gradients. Understanding causality requires both temporal order and something more — a productive mechanism, a counterfactual dependency, or a law of production.
Finally, causality is distinct from Coupling, though coupled systems are often causally connected. Coupling describes the structural dependence or interaction between components — two components are coupled if they are interdependent or linked, such that the state of one influences the state of the other. Coupling is a structural property (the components are wired together, interact via forces or information flow), while causality is a relational property (one component's state produces changes in the other's). Coupled oscillators are structurally interdependent; the oscillations might exhibit circular causality (each affects the frequency of the other) or asymmetric causality (a forcing oscillator drives a passive one). A tight coupling (strong interaction) can produce fast, complex dynamics; a loose coupling (weak interaction) allows more independent behavior. Coupling does not presuppose a direction or asymmetry — if A is coupled to B, then B is coupled to A. Causality, however, is typically directional — if A causes B, it is not automatic that B causes A (though feedback might create a causal loop). The distinction matters for understanding system behavior: a coupled system can be analyzed via linear stability (does the coupling stabilize or destabilize?); a causal chain requires counterfactual reasoning (what would happen if we intervened on the cause?). Many practical systems use both: a supply chain has causal structure (demand causes production orders) and coupling effects (suppliers and customers are mutually dependent through contracts and inventory buffers).
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 (19)
- Agency / Structure Attribution Balance: Attribute outcomes to actors and structures through explicit causal roles, opportunity conditions, cross-scale evidence, and counterfactual tests.▸ Mechanisms (10)
- Actor–Structure Evidence Matrix — Arrays every actor action against every structural condition in one grid, forcing each cell to carry dated evidence, a causal role, and an effect so that unsupported claims and empty cells become visible.
- Comparative-Case Attribution Test — Uses real cases where the actor varied under similar structures, or the structure varied under similar actors, as natural experiments that discriminate among competing attributions.
- Counterfactual Actor-Substitution Probe — Holds the structure fixed and asks what a plausible substitute, an absence, or a delay of the focal actor would have changed — bounding how replaceable the person really was.
- Narrative Focal-Actor Audit — Compares how much of the record an actor occupies against how much causal evidence actually supports them, surfacing archive and commemoration bias and the contributors the record erased.
- Network and Institutional Position Map — Charts positions, authority, brokerage, and selection in the relational structure to show which options a role afforded and how replaceable its occupant was.
- Paired Micro/Macro Timeline — Runs a micro timeline of dated actor events beside a macro timeline of slow structural change so that contingency and pattern can be read against each other and an actor's timing role becomes visible.
- Plural Causal Synthesis Review — Holds several competing causal models open at once, restates the scoped target, and publishes a bounded, versioned synthesis that separates causal contribution from praise and blame.
- Process Tracing Across Levels — Reconstructs the causal chain by which a single decision propagates upward through individual, group, organizational, and institutional levels to the macro outcome, testing each link against the evidence it would have to leave.
- Structural-Constraint Relaxation Probe — Holds the actor fixed and loosens or tightens one structural condition at a time to see whether the actor's effect survives the change — measuring how conditional that effect really was.
- Turning-Point Opportunity Analysis — Tests whether a narrow option window or an inherited path made one decision unusually consequential, and how quickly the window opened and closed.
- Associative Transfer Warrant Audit: Do not let contact, co-membership, resemblance, endorsement, or proximity carry trust, blame, risk, quality, or credibility unless the link has a valid transfer warrant.▸ Mechanisms (8)
- Association-to-Evidence Matrix — Lists each association, the property allegedly transferred, the warrant channel claimed, available evidence, counterevidence, and permitted decision use in one reviewable grid.
- Associative Claim Red Team — Challenges a proposed property transfer by asking what would have to be true for the association to be warrant-bearing and what evidence would refute it.
- Category-Membership Attribution Audit — Tests whether a property has been attributed to an individual or item merely because it belongs to a category, class, cluster, or population.
- Contact/Contagion Warrant Test — Distinguishes actual transmission or shared exposure from symbolic contact, mere proximity, or imagined contamination — and bounds any real channel by distance and decay.
- Endorsement Scope Checklist — Determines whether association with a person, brand, institution, funder, publisher, or platform is an endorsement, a neutral conduit, or an irrelevant co-location — and scopes what a real endorsement covers.
- Guilt-by-Association Review — Checks whether blame, risk, or disqualification is being assigned because of contact, affiliation, or co-membership without a valid transfer rule.
- Halo and Taint Decomposition Table — Separates positive halo, negative taint, aesthetic appeal, status borrowing, contamination fear, and evidence-bearing relations into distinct rated columns.
- Trust Transitivity Breakpoint Review — Identifies where trust, reputation, or certification stops transferring across a dependency or intermediary chain and renewed verification is required.
- Causal Mechanism Mapping: Map the mechanism connecting a proposed cause to an effect before intervening.▸ Mechanisms (10)
- Causal Diagram — Draws candidate causes, effects, mediators, and confounders as a graph so the structure of a causal claim — including backdoor paths — can be inspected at a glance.
- Causal Inference Review — Audits the identification assumptions, comparison groups, confounders, and evidence behind a causal claim before it is accepted.
- Causal-Loop Map — Maps reinforcing and balancing feedback loops when causal influence cycles through a system rather than moving in a one-way chain.
- Contribution Analysis — Builds a plausible contribution story — assembling evidence and weighing other influences — when a clean control or randomized comparison is unavailable.
- Failure Tree Analysis — Traces an undesired top event down through the combinations of component failures and enabling conditions that can produce it.
- Intervention Test — Deliberately changes a chosen intervention point and watches whether intermediate and final outcomes move as the mechanism predicts.
- Mechanism Map — Decomposes a causal story into an ordered table of links, each with its actor, process, evidence, and uncertainty, so the weak links become visible.
- Process Tracing
- Root-Cause Analysis
- Theory of Change Model — Lays out how a program's activities are expected to produce outputs, outcomes, and impact through an explicit, testable causal pathway.
- Conditional Independence Boundary Mapping: Reduce a complex dependency field to the smallest validated statistical interface that is sufficient for reasoning about a target.▸ Mechanisms (12)
- Bayesian Network Markov Blanket Extraction — Reads a target's minimal screening interface straight off a graphical model — its parents, its children, and its children's other parents — so the boundary is derived from structure rather than guessed.
- Blanket Drift Monitor — Watches a live boundary over time and fires an update rule the moment an outside variable starts leaking target-relevant information the blanket used to screen off.
- Blanket Variable Quality Audit — Audits an established blanket for governance quality — that it collects no more than the minimal sufficient interface, and that the same interface holds across subgroups.
- Conditional-Independence Test Suite — Empirically stress-tests a candidate boundary with a battery of conditional-independence tests — dropping variables that add nothing and flagging outside variables the blanket fails to screen.
- D-Separation Walkthrough — Walks the paths of a dependency graph to decide, by the d-separation rules, which variables a candidate boundary screens off — and which colliders would open a path if conditioned on.
- Expert Dependency Review — A facilitated session where domain experts define the target and hand-draw the dependency structure — supplying edges, directions, and hidden variables the data alone can't reveal.
- Feature Ablation and Holdout Validation — Validates a candidate blanket empirically by dropping its variables one at a time and checking, on held-out data, whether the target gets harder to predict — sufficiency and minimality proven out-of-sample rather than by graph structure.
- Hidden-Variable Sensitivity Analysis — Asks how strong an unobserved variable would have to be to break the blanket's screening-off claim — quantifying the boundary's robustness to the confounders you cannot measure.
- Intervention or Active-Sensing Probe — Deliberately manipulates a variable, or actively acquires a targeted measurement, to settle a boundary question that passive data leaves ambiguous — buying causal direction and confounder-breaking that observation alone cannot.
- Minimal Interface Dashboard — A standing operational view that surfaces only the validated blanket variables and wires each to the decision it informs — turning the minimal sufficient interface into the one screen people actually watch and act on.
- Partial-Correlation or Residual Probe — Measures how much of an association survives once you hold other variables fixed, separating a direct link from one that exists only because both variables track a third.
- Structure-Learning Screen — Runs an automated structure-learning pass over the whole variable field to propose a dependency graph and a candidate Markov blanket — a fast first draft of the boundary, not a validated one.
- Confounder Control: Prevent hidden third variables from distorting the apparent relationship between cause and effect.▸ Mechanisms (10)
- Causal Diagramming — Draws the assumed causal structure — exposure, outcome, confounders, mediators, colliders — as a diagram, so the decision of what to control is made from the assumptions before the data, not by the data after the fact.
- Control Group Design — Builds or selects a comparison group that approximates what the outcome would have been without the exposure, so the exposed result is read against a counterfactual rather than in isolation.
- Instrumental Variable Strategy — Uses an external variable that shifts the exposure but has no other path to the outcome, isolating a slice of exposure variation that is free of confounding — including unmeasured confounding.
- Matched Comparison — Pairs each exposed unit with unexposed unit(s) alike on the measured confounders, so the compared groups are balanced on those variables by construction before any outcome is examined.
- Negative Control Check — Looks for an effect where none should causally exist — a negative-control outcome or exposure — and treats any apparent effect found there as evidence that confounding or bias still remains.
- Random Assignment — Assigns the exposure by chance, so that on average every confounder — named or unknown, measured or not — is balanced across groups without anyone having to identify it.
- Restriction or Eligibility Control — Limits the study to units within a narrow band where a confounder is constant or absent, removing its distorting power by never letting it vary in the first place.
- Sensitivity Analysis for Unmeasured Confounding — Asks how strong an unmeasured confounder would have to be to explain away the observed effect, converting an unanswerable 'what if something is hidden?' into an explicit robustness threshold.
- Statistical Adjustment — Models the outcome (or exposure) as a function of the measured confounders alongside the exposure, so the exposure's estimated effect reflects its relationship net of those variables.
- Stratified Analysis — Splits the data into strata within which a confounder is held roughly constant, estimates the exposure-outcome relationship inside each, then interprets or pools the stratum-specific results.
- Conjunctive Path Assurance: Map the condition on every edge of a hazardous path, test the joint states that make the whole route conduct, and preserve an independent break before the target becomes reachable.▸ Mechanisms (17)
- Attack Graph Analysis — Maps the multi-step routes an adversary can chain from an entry point to a protected asset, exposing the sequences of conditions that make a whole attack conduct.
- Boolean SAT or SMT Path Search — Encodes the whole conduction logic as a Boolean or SMT formula and lets a solver either exhibit a dangerous state combination or prove that none exists.
- Bow-Tie Path Analysis — Puts one unwanted event at the centre and lays out the threat paths into it and the consequence paths out of it, making the barrier on each path explicit.
- Common-Cause Dependency Audit — Challenges the independence the redundancy math assumes by hunting the shared upstream driver that would fail several 'separate' barriers in the same instant.
- Decision Table or State Matrix — Tabulates every combination of the governing conditions against the action it demands, so the dangerous combination and the guard it must trigger are specified, not left implicit.
- Digital-Twin Hazard Rehearsal — Rehearses a specific dangerous conjunction — with its real timing — inside a high-fidelity simulation, so the end-to-end route can be exercised without exposing the live system.
- Fault Tree with AND-Gate Logic — Deduces, top-down through AND and OR gates, the combinations of basic failures whose conjunction is sufficient to cause the top event, and enumerates them as minimal cut sets.
- Full-Factorial Joint-State Test — Runs every combination of the governing state variables against the system and checks each one for the combination that lets the whole route conduct.
- HAZOP Joint-Deviation Review — Walks a multidisciplinary panel through guide-word deviations taken in combination, surfacing the joint deviations a single-parameter review would miss and owning the residual-risk call.
- Independent Interlock or Guard — Holds one gate on every hazardous route independently shut, so no conjunction of the other conditions can complete the path.
- Joint-Condition Fault Injection — Deliberately forces several fault conditions true at once in a sandbox and watches whether a complete failure path actually lights up.
- Minimal Cut-Set Enumeration — Reduces a fault model to the complete list of minimal condition-sets — each the smallest combination that, occurring together, completes a route to the hazard.
- Model Checking and Reachability Analysis — Exhaustively explores a system's reachable states to prove the hazard state can never be reached — or returns the exact sequence that reaches it.
- Property-Based State-Sequence Testing — Generates thousands of random operation sequences, checks a safety invariant after every step, and shrinks any violation to the minimal history that breaks it.
- Runtime Gate Co-Activation Monitor — Watches the live system for the moment too many gates on a route are simultaneously open, and raises the alarm before the last one closes.
- Scenario or Monte Carlo Joint-State Sampling — Samples many correlated joint states to estimate how often an entire route conducts at once — the rare-coincidence probability that no single-factor analysis reveals.
- t-Wise Combinatorial Interaction Testing — Covers every t-way combination of conditions with a compact test set, on the premise that dangerous conjunctions rarely need more than a few factors aligned at once.
- Counterfactual Comparison: Compare what happened with a plausible alternative to isolate causal effect or decision value.▸ Mechanisms (8)
- A/B Test
- Baseline Comparison — Compares actual outcomes with a pre-action baseline, expected trend, benchmark, or no-action projection when direct controls are unavailable.
- Control Group Comparison — Compares treated units against otherwise-similar untreated ones to recover what total use would have been without the efficiency program — separating the real saving from the rebound and from what would have happened anyway.
- Counterfactual History Review — Uses historically plausible alternatives to test whether an outcome depended on a decision, constraint, accident, or structural condition without treating imaginative speculation as proof.
- Matched Case Comparison — Pairs cases or periods that are similar on key attributes so differences in outcomes can be interpreted relative to a more credible counterfactual baseline.
- Scenario Contrast — Contrasts a focal path with one or more explicitly described alternatives, often in strategy, planning, design, or historical interpretation where controlled testing is impossible.
- Synthetic Control Method — Builds a weighted comparison case from multiple units when a single natural control is unavailable, often in policy, economics, public health, or regional intervention evaluation.
- What-If Analysis — Uses a structured hypothetical prompt to define an alternate condition and reason through likely outcome differences; it becomes Counterfactual Comparison only once the alternate is plausibility-checked and used for disciplined comparison.
- Cross-Scale Intervention Matching: Match intervention scale to the scale at which the problem is generated or can be most
effectively changed.▸ Mechanisms (10)
- Authority Escalation Pathway Design — Designs the jurisdictional pathway and trigger rules for moving action up to a broader authority — or back down to local adaptation — when the right scale is not the one currently responsible.
- Clinical / Social-Determinant Matching — Sorts a caseload into what needs direct clinical treatment versus what is really driven by social determinants, and checks the split for equity across sub-populations.
- Cross-Scale Side-Effect Table — Audits a proposed intervention for benefits and harms it pushes above, below, and beside the scale it acts on, so success is not claimed by exporting damage.
- Ecological Intervention Level Choice — Chooses among nested ecological scales — organism, site, corridor, watershed, region — driven by where source populations and propagation pathways actually sit, often as a coordinated portfolio.
- Individual / Team / Organization Level Selection — Walks a problem down the nested organizational ladder — individual, team, unit, enterprise — to find the level where the cause is generated and leverage is tractable.
- Infrastructure-vs-Behavior Intervention Comparison — Puts changing the person beside changing the environment for the same problem, comparing each option's causal pathway and time lag.
- Leverage-Point Screening Matrix — Scores each candidate scale of action on fixed criteria — leverage, feasibility, latency, evidence — and ranks them, handing the shortlist to whoever makes the call.
- Local-vs-Systemic Policy Choice — Weighs a local program against a system-wide rule against a blended portfolio, trading the bluntness of central action against the fragmentation of local action.
- Scale-Matrix Decision Workshop — Brings stakeholders together to surface which scale each believes the problem lives at, then reconciles the competing maps into one shared cross-scale picture.
- Upstream Intervention Selection — Redirects action from the downstream symptom toward the upstream scale that keeps generating it, so effort lands on the cause rather than the recurring harm.
- Deterministic Transition Contract: Make the transition from current state to next state fully specified so identical starting conditions, rules, inputs, ordering, and environment produce one reproducible successor.▸ Mechanisms (9)
- Canonical Execution Order Runbook — Fixes the one canonical sequence a multi-step transition's operations run in — with explicit tie-break rules and sanctioned exception routes — so identical inputs always compose into the same successor.
- Concurrency Serialization Gate — Forces operations that arrive concurrently through a single serializing chokepoint, so a race between parallel actors resolves to the same one successor as some serial execution would.
- Dependency Version Lockfile — Freezes the exact version of every external dependency the transition rests on into a single pinned manifest, so the ambient environment stops being a hidden variable that drifts between runs.
- Deterministic Replay Harness — Re-executes a transition from a recorded present-state snapshot and input trace, reproducing the original successor exactly — and flags any divergence as proof that some factor was never captured.
- Differential Transition Comparison — Runs the same present state through two variants — two machines, two law versions, two builds — and diffs the resulting transitions to localize exactly which uncontrolled factor makes them differ.
- Golden Master Transition Test — Freezes one known-correct successor as a golden reference and asserts that every future run of the transition reproduces it exactly, failing loudly the instant the output changes.
- Seeded Randomness Protocol — Routes every random draw through one recorded seed and a pinned generator, so a stochastic transition becomes exactly reproducible on demand without giving up its statistical variety.
- State Machine Transition Table — Enumerates, for every (current state, input) pair, the single next state the system must move to — turning the transition law into an exhaustive lookup with exactly one entry per cell.
- Transition Audit Log — Records, append-only, every transition that actually occurred — which rule version fired and any sanctioned exception — so a past state change can be explained and accountability assigned after the fact.
- Function-Without-Intent Caution: Avoid assuming that because something has a function, it was intentionally designed for that purpose.▸ Mechanisms (8)
- Attribution Check — Prompts decision makers to separate current effect, original cause, actor intent, foreseeable harm, maintenance choices, and accountability claim.
- Current Use Mapping — Maps current users, beneficiaries, maintainers, constraints, and harms so an originally unintended function is still evaluated for present-day consequences.
- Design History Review — Examines design records, implementation decisions, roadmaps, and change logs to determine whether current use aligns with documented design intent.
- Evidence Threshold Table — Defines what evidence is required for claims such as “intended,” “designed for,” “repurposed,” “emergent,” “negligently maintained,” or “functionally beneficial.”
- Functional Analysis — Identifies what a pattern currently does for different actors or systems, while treating function as an observation rather than proof of intent.
- Institutional Genealogy — Traces how a rule, practice, category, or institution developed over time so current function is not mistaken for original purpose.
- Intent Audit — Reviews records, incentives, choices, and communications for evidence that a function was deliberately pursued or knowingly maintained.
- Root-Cause Explanation Review — Checks whether a causal explanation has collapsed into a purpose-like story without specifying the mechanism that produced the observed function.
- Leverage Point Intervention: Target a small, strategic intervention point where change produces disproportionate system-wide effects.▸ Mechanisms (10)
- Bottleneck Intervention — Relieves the single capacity-limiting stage whose constraint governs the throughput of the whole flow, so the system speeds up without adding effort everywhere.
- Default Setting Shift — Changes the pre-selected option or normal path so repeated choices aggregate differently, without asking every actor to decide anew.
- Feedback Loop Rewiring — Alters the gain, delay, or polarity of a reinforcing or balancing loop that is maintaining an unwanted pattern.
- Goal Reframing — Changes the stated objective or success criterion so that local optimization begins to serve a different system-level aim.
- Incentive Change — Adjusts rewards, costs, or recognition at a compact point so the strategic behavior of many actors shifts in the intended direction.
- Information Flow Change — Changes who sees which signal, when, and in what form, so decisions across the system shift without commanding any of them directly.
- Policy Lever Targeting — Acts through a formal instrument of authority — a permit, tax, subsidy, eligibility rule, or enforcement trigger — calibrated and legitimated as the point of intervention.
- Rule Change — Alters the formal or informal rule that structures many downstream actions, permissions, and interpretations at once.
- Small Safe-to-Fail Probe — A deliberately small, contained trial that tests whether a proposed facilitator really lowers the barrier — and preserves selectivity — before it is trusted at scale.
- Structural Leverage Analysis — Compares candidate intervention points by depth, coupling, amplification, tractability, and risk, and records why one point was chosen over the visible alternatives.
- Minimal-Change Counterfactual Construction: Build counterfactuals by editing the antecedent, not by rewriting the world.▸ Mechanisms (10)
- Actual Fact Ledger — Pins down the established, actually-obtaining facts of the case as the fixed anchor every counterfactual is edited away from and measured against.
- Antecedent Edit Card — States the one antecedent change being imagined — and only that change — as a surgical edit to a single node of the causal model.
- Closest-World Ranking Table — Orders candidate counterfactual worlds from nearest to farthest by how little they gratuitously depart from the actual world, dropping the incoherent ones.
- Counterfactual Preservation Checklist — Walks every independent actual fact and confirms it is held fixed in the counterfactual unless the antecedent genuinely forces it to change.
- Entailment Cascade Audit — Traces which downstream changes actually follow from the antecedent through the causal model, separating necessary consequences from smuggled-in embellishments.
- Gratuitous Change Challenge — Makes every alteration in the counterfactual justify itself, striking any change the antecedent did not entail.
- Hindsight Information Exclusion Test — Checks that the counterfactual uses only what was knowable at the time, not information that surfaced afterward.
- Ideal Baseline Rejection Note — Documents why a perfect, unavailable comparison baseline was rejected in favor of the closest feasible alternative.
- Minimal-Difference Matrix — Lays actual against candidate worlds cell by cell so the single, smallest set of differing facts is visible at a glance.
- Nearby-World Sensitivity Review — Perturbs the counterfactual into nearby coherent variants to check the conclusion survives small, defensible changes to what was held fixed.
- Multiple Causation and Explanatory Pluralism: Explain a complex outcome by coordinating multiple causal families and scales instead of reducing it to one master cause.▸ Mechanisms (6)
- Causal Loop or Influence Diagram — Draws the causes as a network of signed arrows, gates, and feedback loops so interactions and cross-scale dependencies become visible instead of additive.
- Cause-Role Worksheet — Forces each proposed factor to earn its place by pinning it to the bounded outcome and assigning it one defensible causal role — or striking it.
- Counterfactual Sensitivity Probe — Removes, delays, or intensifies each factor in turn and asks whether the outcome would still hold, ranking causes by how much the result depends on them.
- Cross-Disciplinary Causal Review — Convenes causal explanations from several disciplines or stakeholders on one outcome and fuses their partial accounts into a single weighted, uncertainty-marked synthesis.
- Multicausal Factor Matrix — Lays every candidate cause into one grid — a row per factor, columns for family, scale, role, and weight — so the whole causal field can be compared at a glance.
- Process-Tracing Evidence Table — Orders the case's evidence along its timeline and grades each piece by diagnostic strength, so a causal story must survive what actually happened, in sequence.
- Outcome Responsibility Attribution Calibration: Assign credit or blame only after separating outcome, causal contribution, control, duty, knowledge, and uncertainty.▸ Mechanisms (12)
- Attribution Uncertainty Label — Stamps each attribution with how strongly the evidence actually backs it — from established down to unsupported — so confident-sounding blame or credit cannot outrun its proof.
- Blame–Credit Apportionment Table — Turns the separate per-agent findings into explicit proportional shares of credit and blame that sum to the whole — no scapegoat carrying all of it, no residue vanishing into 'the system.'
- Causal Contribution Timeline — Reconstructs the outcome as a time-ordered chain of actions, omissions, warnings, and conditions, so causal contribution is read from the actual sequence rather than from whoever is most visible at the end.
- Counterfactual Control Test — Asks whether an agent actually had a feasible, foreseeable alternative that would likely have changed the outcome — the line between real control and mere presence at a result driven by luck.
- Credit Contribution Register — Logs who actually enabled an outcome — including the invisible, upstream contributors — so recognition tracks real contribution instead of proximity to the finish line.
- Just Culture Review — Sorts an adverse outcome into blameless error, at-risk behavior, and reckless choice, and matches the response to the conduct rather than to how bad the harm happened to be.
- Omission–Commission Parity Check — Holds a duty-bound failure to act to the same standard as a visible action, so blame doesn't fall only on whoever did something.
- Outcome Responsibility Review Panel — Convenes a procedural forum where high-stakes or contested attributions are argued, evidenced, and open to challenge before responsibility is fixed.
- Responsibility Attribution Matrix — Cross-tabulates each candidate agent against contribution, control, duty, and knowledge, then applies an explicit weighting rule to turn the grid into a graded, comparable responsibility reading.
- Responsibility Diffusion Check — Tests whether 'the system,' 'the team,' or 'the process' has been used to dissolve responsibility until no agent or duty remains answerable — and forces an explicit partition back.
- Role–Duty Mapping — Lays out, before any verdict, which agents held which duties, authority, and expected actions — the outcome-blind baseline every later attribution step is measured against.
- Scapegoat Screening Review — Checks whether a salient, low-power, or last-in-chain actor is absorbing more blame than their actual contribution and the available evidence support.
- Part-Level Explanatory Reduction: Explain a whole by showing how its constituent parts, their properties, and their interaction rules are sufficient to reconstruct the target behavior, while making residual whole-level effects visible.▸ Mechanisms (8)
- Ablation or Knockout Test — Removes or disables a part and checks whether the whole-level behavior breaks, isolating which constituents are actually necessary.
- Aggregation Sensitivity Test — Varies the aggregation and bridge-rule assumptions to reveal how much a whole-level result is an artifact of how the parts were combined.
- Bottom-Up Simulation — Executes formalized part states and interaction rules forward to see whether whole-level behavior actually emerges from the bottom up.
- Interaction Graph Analysis — Maps which parts act on which as a network of nodes and interaction edges, so the relational structure behind a whole-level pattern becomes visible.
- Mechanism Chain Diagram — Traces a single directed chain from a triggering part-event to the whole-level outcome, asserting that these linked steps are what produce it.
- Part Inventory Matrix — Lays out the whole's constituents and their state variables in a structured table, giving a reduction its parts before any interaction is claimed.
- Residual Explanation Review — Reviews what the part-level account failed to explain and decides whether the residual is emergent, contextual, or a cue to escape reduction.
- Scope Clause and Exception Note — Documents the level, scope, and known exceptions under which a part-level explanation remains valid for downstream users.
- Scapegoat Displacement Interruption: Stop a group from resolving fear, anger, shame, or failure by sacrificing a convenient target; protect the target and reroute the group toward evidence, structure, accountability, and repair.▸ Mechanisms (10)
- Accountability Chain Review — Traces a failure back along its chain of ownership and decision authority, then routes responsibility to a legitimate forum and to repair.
- Affected Target Protection Protocol — Shields a targeted person from informal punishment — harassment, retaliation, exclusion — while responsibility is being clarified, without dismissing the underlying harm.
- Blame Attribution Review Meeting — A convened meeting where a group makes its own blame attribution explicit and tests it against evidence, with the accused given a real voice.
- Causal Responsibility Mapping Workshop — A facilitated session that decomposes one event into distinct kinds of contribution — action, authority, omission, constraint — so no single actor is made to carry the whole failure.
- Cooling Pause and Evidence Gate — Installs a bounded, reversible interval that blocks irreversible punishment until evidence and alternative explanations are on the table.
- Just Culture Postmortem — A blameless failure review that draws the line between honest error, at-risk behavior, and recklessness, so a system failure is not pinned on one operator.
- Public Correction and Repair Statement — A public statement that replaces a spread blame story with a bounded account of what is known and unknown, records the real grievance, and commits to repair.
- Rumor and Amplification Trace — Maps where a blame story is spreading and which channels are amplifying it, separating the social pressure system from the causal facts.
- Scapegoat Risk Triage Checklist — Scores an emerging blame situation against a few fast risk flags — how quickly blame is converging and how vulnerable the named target is — to catch a scapegoating dynamic before the story hardens.
- Structural Harm Scan — Surfaces the systemic conditions a simple blame story hides — incentives, resource gaps, design defects, hidden beneficiaries — and gives omitted stakeholders a voice.
- Selection Bias Correction: Diagnose how entry, participation, survival, visibility, or analytic inclusion made observed cases differ from a target population, then repair the evidence or bound the claim.
- Shortcut-Reliance Mitigation: Expose and repair cases where a learner succeeds by exploiting a cheap incidental cue rather than the structure it was meant to learn.▸ Mechanisms (12)
- Artifact Red-Team Review — Convenes adversarial reviewers to hunt, before release, for the cheap cues, annotation artifacts, and gaming channels a learner might be exploiting — and to hand-inspect its confident errors.
- Causal Feature Review Panel — Convenes domain experts to judge which of a model's influential features are causally or semantically meaningful and which are artifacts, proxies, or coincidences — and to name the intended structure it should be using instead.
- Challenge-Set Refresh Cycle — A recurring loop that folds new counterexamples, adversarial cases, and real deployment failures back into the challenge suite, retrains against them, and re-checks the model on a robustness bar that ratchets as fast as the shortcuts evolve.
- Counter-Correlated Holdout Set — A sequestered test set built so a suspected shortcut cue is decorrelated from — or inverted against — the target, turning the model's performance drop on it into a direct measure of shortcut reliance.
- Data Leakage Audit — Traces the provenance of every feature and split to catch information that leaks from the future, the label, or duplicated rows into training or validation — and records where each leak entered.
- Deployment Canary and Drift Sentinel — Watches a live model with fixed canary cases and drift signals so that the moment a shortcut's validity changes in deployment — a pipeline change, a distribution shift, an adversary adapting — it raises the alarm before the labels catch up.
- Domain-Shift Stress Test — Runs the learner in deliberately shifted worlds — new sites, times, instruments, populations — and ships only what keeps working once the training distribution's friendly correlations are gone.
- Feature Ablation or Occlusion Test — Masks, removes, or permutes a suspected cue while holding everything else fixed, and reads the drop in performance as the model's reliance on that exact cue.
- Group-Stratified Validation — Reports performance broken out by subgroup, source, instrument, and annotator, so a healthy-looking aggregate can't hide the slice where the shortcut has quietly failed.
- Hard-Negative Data Augmentation — Manufactures training examples that carry the tempting cue without the target, and the target without the cue, forcing the learner to separate convenience from structure.
- Invariance Probe — Feeds minimal pairs that change only the surface and, separately, only the substance — checking that predictions stay put when they should and move when they should.
- Shortcut-Risk Model Card Section — A standing section of the model's documentation that records the suspected shortcuts, what was tested, what residual risk remains, and the conditions that force revalidation.
- 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 90 archetypes
- Abductive Explanation Selection: Turn a surprising observation into a ranked, provisional best explanation, while keeping rivals, uncertainty, and revision triggers visible.
- Adaptive Opponent Rehearsal: Rehearse a plan against an adaptive opponent before commitment so hidden assumptions surface as the opponent moves, counters, exploits, and changes the state of play.
- Aggregate–Marginal Trajectory Reconciliation: Pair the current aggregate with the contribution now entering it, detect durable opposite-direction movement, estimate how long legacy composition can mask the new direction, and govern the installed state and leading edge with different actions.
- Aggregation Bias Detection and Correction: Protect decisions from misleading aggregate summaries by disaggregating the data, comparing subgroup and overall patterns, correcting composition effects, and restating only the claims the evidence can support.
- Alternative-Hypothesis Generation: Before treating a conclusion as settled, generate credible alternative explanations and identify the evidence that would distinguish them.
- Backcasting Pathway Design: Start from a desired future and work backward to identify prerequisites, milestones, and present actions.
- Baseline Covariate Balance Verification: Check whether randomization actually produced comparable groups by comparing pre-treatment covariates before causal conclusions are drawn.
- Blinding and Expectancy Bias Reduction: Hide condition identity from the roles that could be biased by knowing it, while preserving safety, correct operation, and auditable exceptions.
- Blocking Design: Group similar experimental units before assignment and compare treatments within blocks so nuisance variation does not obscure the effect being studied.
- Capture-Latency Evidence Stratification: Prevent late evidence from becoming falsely immediate by separating raw observation, delayed reconstruction, inference, and backfill into visible, time-marked record layers.
Notes¶
Causality is a prime abstraction with genuine multi-origin status — it appears foundationally in philosophy (Hume, Lewis, Woodward, Mumford), physics (light cones, retarded potentials, arrow of time), statistics (confounding, instrumental variables, Pearl's causal models), and epidemiology (Bradford-Hill, experimental design, observational study design).
References¶
[1] Hume, D. (1748). An Enquiry Concerning Human Understanding. Sections IV-VII articulate constant conjunction plus temporal priority as the basis of causal ascription and the problem of induction: inferences from observed regularities rest on custom or habit, not reason. Supports the opening claim that causality involves an antecedent, consequent, productive connection, and modal robustness, and grounds Hume's regularity theory. registry ↩
[2] Hitchcock, C. (2012). "Causation". In The Internet Encyclopedia of Philosophy. Surveys the major theories of causation (regularity, counterfactual, manipulationist, probabilistic, process) and the move toward causal pluralism, supporting the claim that contemporary philosophy treats causation as a family of related concepts unified by directional asymmetry. registry ↩
[3] Pearl, J. (2009). Causality: Models, Reasoning, and Inference (2nd ed.). Cambridge University Press (1st ed., 2000). Canonical formalization of structural causal models, the do-operator, do-calculus, the DAG factorization P(V)=∏ᵢ P(Vᵢ|pa(Vᵢ)), and the observational-vs-interventional distinction P(Y|X=x) vs. P(Y|do(X=x)). Supports the do-calculus, identifiability, screening-off, and SCM claims. registry ↩a ↩b ↩c ↩d
[4] Bradford Hill, A. (1965). "The Environment and Disease: Association or Causation?" Proceedings of the Royal Society of Medicine, 58(5), 295-300. The Presidential Address that sets out the nine viewpoints (strength, consistency, specificity, temporality, biological gradient, plausibility, coherence, experiment, analogy) for inferring causation from association. Directly supports the Bradford-Hill criteria claim. registry ↩
[5] Angrist, J. D., Imbens, G. W., & Rubin, D. B. (1996). "Identification of Causal Effects Using Instrumental Variables". Journal of the American Statistical Association, 91(434), 444-455. Formalizes how an instrument creating exogenous variation in treatment identifies the local average treatment effect (LATE) under monotonicity and exclusion. Supports the instrumental-variables / economics causal-inference claims. registry ↩a ↩b
[6] Lewis, D. K. (1973). Counterfactuals. Harvard University Press. Develops the counterfactual conditional as a variably strict conditional quantifying over the most similar accessible possible worlds; the similarity-ordering fixes a modal claim's meaning. Supports the counterfactual analysis of causation (C causes E iff E counterfactually depends on C) and the nearest-world / Stalnaker context-dependence tension. registry ↩a ↩b ↩c
[7] Pearl, J., & Mackenzie, D. (2018). The Book of Why: The New Science of Cause and Effect. Basic Books. Popular synthesis presenting the ladder of causation (association, intervention, counterfactual) and arguing that causal models support prediction under distribution shift and external-validity transport where purely predictive models fail. Supports the deployment/ML-distribution-shift claim. registry ↩
[8] Halpern, J. Y., & Pearl, J. (2005). "Causes and Explanations: A Structural-Model Approach. Part I: Causes". British Journal for the Philosophy of Science, 56(4), 843-887. Structural-equation definition of actual (token) causation handling preemption and overdetermination; narrows a sprawling causal field to selected actual causes. Supports the actual-cause / decomposition claim and the unifying-framework point in T6. registry ↩
[9] Cartwright, N. (1979). "Causal Laws and Effective Strategies". Noûs, 13(4), 419-437. Argues that causal laws are irreducible to laws of association because causes raise the probability of effects only within causally homogeneous backgrounds; this irreducibility motivates causal pluralism. Supports the pluralism claim on which the marker sits (Tension T1) and the pluralism position in T6. registry ↩
[10] Anscombe, G. E. M. (1971). Causality and Determination: An Inaugural Lecture. Cambridge University Press (repr. in Collected Philosophical Papers, vol. 2, Blackwell, 1981). Argues causation is the derivativeness of an effect from its causes and is not necessitation; defends genuine singular (token) causation. Supports the token-vs-type and relata claims in Tension T2. registry ↩
[11] Lewis, D. (1986). Philosophical Papers, Volume II. Oxford University Press. Collects "Causation" and its six postscripts, defending an analysis of causation via chains of counterfactual dependence and treating preemption, overdetermination, and causation by omission. registry
[12] Woodward, J. (2003). Making Things Happen: A Theory of Causal Explanation. Oxford University Press. Interventionist (manipulationist) theory: X causes Y iff Y would change under some intervention on X holding other variables fixed. Supports the manipulationist account in the Core Idea and Tension T1. registry
[13] Mumford, S., & Anjum, R. L. (2011). Getting Causes from Powers. Oxford University Press. Dispositional-powers account grounding causation in the intrinsic causal powers of entities, realized in their capacity to produce characteristic effects; holds that causes do not necessitate effects. Supports the powers account in the Core Idea and Tensions T1/T6. registry
[14] Reichenbach, H. (1956). The Direction of Time. University of California Press. States the common-cause principle (a correlation demands a direct cause, reverse cause, or common cause) and derives temporal/causal asymmetry from the entropy gradient and the universe's low-entropy past. Supports the common-cause and causal-asymmetry claims in Tension T4. registry
[15] Salmon, W. C. (1984). Scientific Explanation and the Causal Structure of the World. Princeton University Press. Defends the causal-mechanical (ontic) theory of explanation grounded in causal processes, mark transmission, and causal interactions. registry
[16] Kim, J. (1998). Mind in a Physical World: An Essay on the Mind-Body Problem and Mental Causation. MIT Press. Develops the supervenience/exclusion argument: if a physical effect has a sufficient physical cause, an irreducible mental cause is excluded (or overdetermines). Supports the mental-causation / causal-closure exclusion claim in Tension T5. registry
[17] Aristotle. Physics (R. P. Hardie & R. K. Gaye, Trans.). Book VIII argues every motion requires a mover and an infinite regress of moved movers is impossible, so an unmoved mover exists as the ultimate source of motion. registry