This section records the basic requirement that a field’s own concepts, equations, and frameworks do not conflict with each other. Consistency here means that different formulations of the same domain (e.g., Newtonian vs Lagrangian mechanics, supply–demand curves vs budget constraints, different grammatical levels in linguistics, or multiple data sources in sociology) all fit together into a single, non-contradictory picture. Within the Science Analysis Template, this row tracks how each discipline ensures that its definitions, laws, models, and measurement conventions interlock without generating incompatible predictions or conceptual clashes inside the domain itself.
Science Analysis Template
Below are the results of cycles 1 & 2 of The Science Project
“Consistency” is the internal non-contradiction requirement: within any scientific domain, the primitives, laws, constraints, and derived claims must all be true at once under the same interpretation, without producing incompatible predictions. In practice, across all sciences, a small set of consistency families keeps reappearing. Different fields simply instantiate these families with different objects and concepts (forces, fields, probabilities, preferences, genes, norms, etc.), but the underlying types of consistency requirements are universal. Below we identify 10 universal consistency families that appear throughout scientific disciplines, along with typical failure modes and examples in various fields.
The 10 Universal Consistency Families
1) Definitional consistency
- What it is: Core terms and quantities are defined in ways that do not conflict with each other (directly or via implied identities). All definitions within a domain must agree when referring to the same concept.
- Typical failure: Two definitions implicitly assign different values or meanings to what is supposed to be the same quantity or concept, leading to ambiguity or contradiction.
- Physics example: The concept of energy has multiple definitions (e.g. as the ability to do work, as the Hamiltonian in mechanics, or as a conserved quantity from Noether’s theorem). These definitions must be equivalent in overlapping contexts. For instance, kinetic and potential energy definitions should align with the energy defined via work, and all should coincide with the conserved energy in closed systems. Lagrangian and Hamiltonian mechanics, though different formulations, are expected to be theoretically equivalent, producing the same physical predictions for energy, momentum, etc., in classical systems. If one formulation’s definition of energy disagreed with another’s (under the same conditions), the theory would be internally inconsistent.
- Economics analogue: Key terms like utility, social welfare, surplus, and value must be used consistently. If a model uses “utility” in one place and “value” in another, there must be a clear mapping between them; they cannot be treated as identical unless explicitly defined as such. For example, if “welfare” is defined as total utility in one part of an economic analysis, one cannot elsewhere equate welfare to monetary surplus without bridging how the two definitions relate. In short, you cannot have dueling definitions of the same metric unless you’ve shown they are equivalent or provided conversion rules.
2) Axiomatic / rule consistency
- What it is: The foundational rule-set of a theory (axioms, postulates, or inference rules) contains no internal contradictions. Within the formal system of a domain (whether a logical framework, a mathematical model, or a set of decision rules), you cannot derive both a statement and its negation. The rules must also not implicitly contradict one another.
- Typical failure: The inference rules “prove too much,” yielding incompatible theorems or trivializing the system (e.g. proving every statement true). In a logical system, this would mean it’s possible to derive both p and ¬p from the axioms – a clear inconsistency. In less formal sciences, it could mean the basic assumptions lead to mutually exclusive scenarios.
- Logic example: In proof theory, adding an unsound inference rule can make the system inconsistent. For instance, a rule like “from nothing, infer any proposition” (sometimes jokingly called “Hokus Ponens”) would allow proving both a statement and its negation. Thus, proof calculi must be designed to avoid such collapses (unless one is intentionally studying a paraconsistent logic). The law of non-contradiction is upheld by ensuring the axioms and rules don’t permit deriving a contradiction.
- Game theory / mechanism design example: In economics, a mechanism might have rules for incentives and feasibility. These rules need to be consistent with each other. For example, a mechanism cannot simultaneously require that every agent gets more of a resource than exists (violating feasibility) and that agents have no incentive to misreport (incentive compatibility) if satisfying both is impossible. If the rules of an auction say “the highest bidder wins” and also “the item goes to the lowest bidder” under the same conditions, the mechanism’s axioms are inconsistent. More subtly, incentive constraints and resource constraints must be jointly satisfiable – they can’t demand an outcome (allocation) that violates physical or logical limits. A real-world illustration is that you cannot design a truthful mechanism that promises each participant a payoff higher than what’s available; such axiomatic demands would conflict and no mechanism could exist to fulfill them.
3) Constraint compatibility
- What it is: All stated constraints in a theory or model can be satisfied simultaneously – in other words, there exists at least one solution or scenario that meets all the requirements. The various laws, boundary conditions, or assumptions are not mutually exclusive. This ensures the feasible set defined by the theory is non-empty.
- Typical failure: Imposing two or more constraints that cannot be true at the same time, yielding an empty solution set (or requiring the impossible). In essence, the theory would be asking for a scenario that can’t physically or logically exist.
- Physics example: In classical electromagnetism, Maxwell’s equations must be compatible with charge and current conservation. If you take the divergence of Ampère’s law without Maxwell’s displacement current, you get ∇·J = 0, which conflicts with the continuity equation ∂ρ/∂t + ∇·J = 0 for time-varying charge. In other words, naively applying Ampère’s law and the other Maxwell equations would violate charge conservation unless charges were static. Maxwell resolved this by introducing the displacement current term, restoring consistency between Maxwell’s equations and the continuity constraint. After this correction, the set of field equations plus charge conservation is compatible, and solutions (electromagnetic fields with changing charges) exist that satisfy all constraints simultaneously. Another example: if a continuum mechanics model imposes a no-slip boundary condition (velocity at wall = 0) and also a conservation of momentum that would require a non-zero velocity at the same wall point, the constraints clash. The theory must adjust or be reformulated so that all boundary conditions and conservation laws can hold together.
- Economics example: In macroeconomic models, you often have accounting identities (like total output = total income) alongside policy rules (say, a fixed interest rate) and resource constraints (limited capital, labor, etc.). These must be mutually compatible so that a feasible economic trajectory exists. For instance, if a model’s assumptions accidentally require households to consume more goods than are produced (violating a budget constraint) while also requiring firms to produce no goods (due to some other constraint), the constraints conflict and no equilibrium can exist. A well-formed model ensures that agents’ budget constraints, firms’ production possibilities, and government policies can all be satisfied in at least one scenario.
4) Conservation / accounting consistency
- What it is: Bookkeeping must match dynamics. Any conserved quantity or accounting identity in the theory should remain constant (or properly balance inputs and outputs) as the system evolves. If something is supposed to be conserved (mass, energy, charge, probability, money, etc.), the equations must reflect that – they shouldn’t create or destroy that quantity without an explicit source or sink. All flows in must equal flows out plus accumulation, etc., in accordance with conservation laws or balance equations.
- Typical failure: The model inadvertently allows creation or destruction of a conserved entity from nowhere, violating a continuity or conservation equation. Alternatively, the “books don’t tally” – for example, energy might decrease in one equation without appearing as work or heat elsewhere, or a financial model might lose a dollar between accounts with no record. This usually signals a missing term or an inconsistency in how equations are formulated.
- Physics example: Classical field theories must obey energy-momentum conservation and other continuity equations. For instance, Maxwell’s equations coupled with the Lorentz force must conserve energy: the work done on charges should equal the decrease in field energy. If the fields lost energy without it going into particle kinetic energy (or vice versa), energy would not be accounted for. In electromagnetism, the Poynting theorem ensures the energy flow out of a volume (Poynting vector) plus the change in field energy equals the work done on charges in that volume – a consistency check for energy accounting. Similarly, in fluid dynamics, the continuity equation (conservation of mass) and Navier-Stokes momentum equations must be consistent; one cannot predict fluid appearing or vanishing. Charge conservation is another example: Maxwell’s equations are constructed to inherently satisfy ∇·J + ∂ρ/∂t = 0, so that charge is neither created nor destroyed in isolation. If any part of the theory violated this (e.g. by neglecting a displacement current, as noted above, or by using approximations that break ∇·B=0), the result would be physically inconsistent (e.g. magnetic monopoles appearing or charge piling up without cause).
- Chemistry example: In a reaction network, mass and atoms must be conserved. If your kinetic equations for a set of chemical reactions implied that an element’s atom count is not preserved (without a nuclear reaction!), then the mechanism is inconsistent. All rate equations and stoichiometries must be formulated so that every atom that disappears from one species appears in another. Likewise, total energy should be conserved barring heat exchange – if your thermodynamic calculations find energy missing, something’s wrong.
- Economics example: Budget constraints and flow-of-funds accounting must hold. For instance, in a closed economy model, one agent’s spending is another’s income. If the model’s equations allow total expenditures to exceed total income, that extra money must come from somewhere (like drawing down savings or new debt); if not accounted for, it’s a violation of conservation of funds. Similarly, growth models have capital accumulation equations: today’s capital = yesterday’s capital plus investment minus depreciation. If a mis-specified model “forgets” the depreciation term, it might implicitly create capital. All such accounts need to balance. Another example is conservation of probability in probabilistic models: the probabilities of all mutually exclusive outcomes must sum to 1 at all times. A filtering or state-transition model that causes total probability < 1 or > 1 without explanation would violate probability conservation (mass being “lost” or “gained” in probability space).
5) Symmetry / invariance consistency
- What it is: If a theory assumes certain symmetries or invariances, then all derived results must respect those invariances. The predictions should not depend on arbitrary choices of coordinates, labels, or reference frame orientations. Essentially, the model’s outcomes must honor the symmetry principles built into the assumptions. This includes physical symmetries (like rotational invariance, gauge invariance, Lorentz invariance) as well as invariances in other domains (such as relabeling individuals in a symmetric social network model, or permuting strategy labels in a symmetric game).
- Typical failure: You find that predictions do change under transformations that were supposed to leave the system unchanged. For example, a calculation yields a preferred direction in space despite the theory being rotationally symmetric, or an analysis gives different answers if one relabels identical particles or switches coordinate systems. This often indicates a mathematical mistake or an approximation that broke the symmetry. In some cases, it could indicate the theory is incomplete (e.g. needing a symmetry-breaking mechanism if the asymmetry is physical). In any case, an inconsistency arises if the theory claims “X is symmetric” but the results violate that symmetry.
- Relativity example: In special relativity, the laws of physics are the same in all inertial frames (principle of relativity), and the speed of light is invariant. Consequently, phenomena like time dilation and length contraction are derived in a way that is mutually consistent across reference frames – no frame gets contradictory results. If one frame’s calculation said two events are simultaneous and another frame found them not to be, that’s expected by relativity; but if two different frames actually derived logically conflicting outcomes (like disagreeing on a cause-effect sequence in a way that violates relativity’s Lorentz transformations), the theory would break. Special relativity’s internal consistency rests on Lorentz transformations connecting frames without contradiction. In general relativity, invariance under diffeomorphisms (smooth coordinate changes) means if you express the equations in any coordinate system, the physical content remains the same. Ensuring ∇·B = 0 in electromagnetism for all observers is another symmetry consistency (no magnetic monopoles appearing due to coordinate artifacts).
- Mathematics example: If a combinatorial problem’s result should not depend on how we label nodes of a graph (graph isomorphism symmetry), our algorithm or formula must give the same outcome regardless of labeling. In group theory, if a problem is invariant under permuting certain elements, any intermediate steps should respect that – if not, an inconsistency is introduced. Essentially, whenever we assume a symmetry (like “this system is symmetric under exchange of particles A and B”), no further derivation should break that assumption inadvertently.
- Statistics example: In statistical inference, certain methods yield invariant results under reparameterization. For instance, the likelihood function and Bayesian inference (with proper priors) are invariant under one-to-one transformations of parameters; they only depend on data, not on how you label the parameter. If your inference method yields different conclusions solely because you chose a different unit or parameterization, that can be viewed as an inconsistency with respect to invariance. (One known example: some classical estimators are not invariant under nonlinear reparameterizations, which isn’t a logical contradiction but a caution that the “invariance consistency” holds only for certain methods or if explicitly accounted for.)
6) Limit / correspondence (bridge) consistency
- What it is: When two theories or models apply to overlapping domains or limiting cases, they must agree in the regime where they both should be valid. This is often called the correspondence principle: a new or more general theory must reduce to the well-established simpler theory under the appropriate conditions. Similarly, if you have multiple formulations of a theory (exact vs approximate, or analytical vs numerical), their predictions should coincide in the domain where both are applicable. Essentially, at the “bridge” between regimes or formalisms, there should be no contradiction.
- Typical failure: You have Theory A that is supposed to be an approximation or limit of Theory B, but when you actually take the appropriate limit, the results disagree. This signals either a flaw in one of the theories or a misapplication of the limit. For example, if quantum mechanics didn’t recover classical mechanics at large quantum numbers, we’d have a serious inconsistency (fortunately, it does, per Bohr’s correspondence principle). Another failure mode is when two descriptions of the same system (say, wave optics vs ray optics) predict fundamentally different outcomes in a regime where both should work (e.g. intermediate wavelength) – one of them (or their combination) must be refined to ensure a smooth transition.
- Physics example: Quantum ↔ classical correspondence – Quantum mechanics must reproduce classical physics in the limit of large action or large quantum numbers. Indeed, as Planck’s constant h approaches zero or quantum numbers go to high values, quantum predictions (e.g. energy levels, commutation results) should converge to classical predictions. This is why early quantum theory was designed to match known classical results for large orbits (Bohr’s model gave correct large-n limits that approach classical orbital behavior). If a quantum formula for an electron’s motion gave a totally different trajectory than Newton’s law in a regime where quantum effects are negligible, the theory would violate correspondence. Similarly, relativistic ↔ classical correspondence: special relativity must reduce to Newtonian mechanics at speeds much less than c. The Lorentz transformations yield approximately Galilean transformations when v/c is tiny, ensuring consistency in the low-speed limit.
- Multi-scale physics example: Wave optics → ray optics. Classical wave optics (Maxwell’s electromagnetic wave theory) in the limit of very short wavelength (λ → 0) should produce the same results as geometric optics (light rays) for phenomena like reflection and refraction. Indeed, one finds that interference and diffraction effects become negligible when the wavelength is tiny compared to system size, and Snell’s law, mirror reflection, etc., emerge from wave theory in that limit. If full wave equations predicted something entirely different from ray tracing for, say, a 1 mm wavelength in a 100 km optical system (where λ is effectively 0), that would be inconsistent. Fortunately, wave optics does reduce to ray optics as a limiting case (this is often shown via the eikonal approximation).
- Cross-discipline analogue: In thermodynamics vs statistical mechanics, the microscopic (statistical) model must yield the same thermodynamic relationships (equations of state, entropy, temperature definitions) in the thermodynamic limit of large particle number. Statistical mechanics was in fact built to ensure that averages over enormous numbers of particles produce the classical laws of thermodynamics (like $PV = Nk_B T$ for an ideal gas, etc.). Any discrepancy between microscopic predictions and macroscopic laws (when properly averaged and in equilibrium) would indicate an inconsistency between the theories.
- Economics analogue: Micro → macro consistency is often desired. If you aggregate individual agents’ behavior (microeconomics) to get a macroeconomic outcome, it should not violate macro identities. For example, if each consumer’s behavior is modeled in a micro simulation, the sum total of all consumption should equal the consumption variable in the aggregate GDP identity. This sounds obvious, but it can fail if, say, rounding errors or modeling choices don’t properly conserve quantities (similar to conservation consistency). More conceptually, any proposed new macroeconomic theory should reduce to known classical macro results under conditions where the new features are absent. Also, if a “reduced form” model is supposed to approximate a more detailed one, it must at least qualitatively and quantitatively approach the detailed model’s predictions in the appropriate parameter regime (or explicitly state its breakdown). The correspondence principle is as much a philosophical guideline as a practical consistency check: it helps ensure continuity of understanding as we bridge old and new theories.
7) Statistical / probabilistic consistency
- What it is: All probabilistic statements in a theory are internally coherent. This means probabilities are properly normalized (summing to 1 for total probability), updates follow consistent rules (e.g. Bayesian updating doesn’t conflict with how random processes are set up), and any use of statistics respects the relationships between random variables. In essence, the theory shouldn’t double-count probability, assign probabilities outside [0,1], or mix frequencies and Bayesian degrees-of-belief in an inconsistent way. Also, if the theory combines micro-level randomness and macro-level averages, those must align (the expected value of a quantity should match what the macro theory says it is, etc.).
- Typical failure: You might catch an inconsistency if probabilities calculated in two different ways don’t match, or if the model violates Kolmogorov’s axioms (like adding up probabilities of exclusive events and not getting 1). Another example is using an incorrect prior or likelihood such that Bayesian and frequentist interpretations clash. In statistical mechanics, an inconsistent assignment would be something like defining an ensemble in a way that violates basic probability conservation (e.g. assigning more weight to states than possible). In social science, an inconsistency might be assuming independent errors in measurement and then also introducing a latent factor that would imply those errors aren’t independent, without reconciling the two assumptions.
- Physics example (quantum/stat mech): In quantum mechanics, the Born rule gives the probability of finding a system in a given state, and the wavefunction evolution (Schrödinger’s equation) must preserve the total probability = 1 at all times. This is guaranteed because quantum evolution is unitary (probability amplitude conservation). If a purported quantum theory accidentally made probabilities not sum to 1 (perhaps due to a non-unitary approximation), it would be inconsistent. Similarly, in statistical mechanics, one must ensure that the way microstates are counted and probabilities are assigned leads to thermodynamic quantities that obey the laws of thermodynamics. For example, if your statistical ensemble predicted a negative absolute temperature in a scenario that should be positive-definite (outside of known exotic cases), or if it violated the second law probabilistically, that would be a red flag. Detailed balance conditions in kinetic theory are another consistency requirement to ensure equilibrium probabilities remain consistent.
- Social science example: Suppose in a psychology study you have a latent trait (say, intelligence) that you treat as normally distributed in the population, and you also have measurement error in tests. Statistical consistency demands that your model of test scores combines the latent distribution and error distribution without contradiction. If you inadvertently assume something like “all students above a threshold answer every question correctly” (deterministic cutoff) while also modeling their scores with a normal error, you’ve introduced a contradiction between the latent model and measurement model. Another scenario: in econometrics, if you assume a certain error structure (like independent errors) but also include a common shock that induces correlation, you must adjust the error model accordingly. In summary, the probabilistic pieces of the model must fit one coherent probability framework.
- Data science example: Ensuring that training, validation, and test splits are representative and that probability estimates from a machine learning model are calibrated is a form of consistency. If your model outputs a probability distribution over classes, it should align with frequencies observed (when well-calibrated). If not, either the model is mis-specified or it’s being used in a regime where its probabilities aren’t meaningful. While not a logical contradiction per se, such mis-calibration can be seen as a consistency issue between model and reality (the model’s notion of probability vs actual probability). In purely theoretical terms, one might say “the sum of probabilities must equal one” is the consistency condition; anything else is clearly an error.
8) Operational / measurement consistency
- What it is: The theoretical definition of a quantity matches the practical way it is measured or observed. In other words, operational definitions (how you measure or identify something in practice) must align with the abstract concept as used in the theory. Any proxies or instruments used to gauge a concept should indeed reflect that concept and not something else. This also extends to inference: the procedure for estimating a quantity should be consistent with the quantity’s definition. If the theory says “X is the cause of Y,” then how one detects or measures “X” in experiments must actually capture the construct intended. All of this is about keeping the meaning of terms consistent between theory and observation.
- Typical failure: A classic example is when a theoretical concept is defined one way, but the measurement picks up other effects. For instance, if one defines “stress” in biology as a certain hormone level, but then measures stress by observation of behavior, those need alignment or a proven correlation. Inconsistency arises if the operational definition tracks a different construct than the theory assumes. Another failure is when units or scales are mixed up: say a formula expects temperature in Celsius but you feed it Kelvin – that’s a simpler operational inconsistency. On a deeper level, one might have a sociological theory of “social capital” but measure it by number of Facebook friends; if those don’t correspond well, conclusions become inconsistent with the theory’s intent.
- Psychology example: In psychometrics, one might theorize about an underlying trait like “intelligence” or “anxiety.” The operational consistency demand is that test scores or survey instruments actually reflect that trait. Concepts of reliability and validity come into play: a test must be consistent (reliable) and actually measure what it claims to measure (valid). If your theory of intelligence says it’s a single quantity and your IQ test is meant to capture it, then large inconsistencies between different IQ tests (if they claim to measure the same IQ) would indicate a problem – either the theory is wrong about one-dimensionality or the tests are measuring different things. Internal validity, as one source puts it, refers to “the internal consistency of the set of operational and conceptual definitions and the logical relations among them” – essentially that your theoretical constructs and how you measure them hang together coherently.
- Geophysics example: Suppose a geophysical model defines the “seismic velocity” of rock layers in terms of physical properties (density, elasticity). Operationally, seismic velocity is measured by timing waves from earthquakes or explosions. Measurement consistency requires that the way we interpret those travel times truly corresponds to the model’s velocity definition. If our inversion algorithm assumes a certain wave path but in reality waves took a different path, the inferred velocities could be systematically off – an inconsistency between the model’s parameter and the measurement method. Another example: if we say “this satellite measures sea surface temperature,” we must ensure that what the satellite senses (microwave emission, etc.) is indeed an accurate proxy for temperature and not distorted by, say, water vapor or surface roughness, unless the theory accounts for those. Misalignment leads to infamous cases like “satellite shows cooling but actually it was measuring something slightly different until corrected.”
- General principle: Every time a theoretical term has to be measured (length, time, energy, satisfaction, productivity), the method for obtaining that measurement should be vetted to confirm it reflects the theoretical concept without extraneous influence. If not, the conclusions drawn can contradict the theory’s premises. Thus, scientists put a lot of effort into defining units, calibration, and validation of instruments to enforce this consistency.
9) Cross-scale / multi-level consistency
- What it is: Descriptions of a system at different scales or hierarchical levels (micro vs macro, part vs whole, individual vs group) should not conflict with each other. If a domain provides multiple levels of explanation – for example, molecular biology for cells, or individual behavior for markets, or agent-based simulation vs differential equations – then those levels need to be compatible. Ideally, a well-constructed theory will have explicit bridging assumptions or derivations showing how one level gives rise to another (emergence, aggregation, averaging, etc.), such that there is no contradiction between the micro-level dynamics and the macro-level laws. In cases where an exact derivation is impossible, the requirement might be that the two levels are at least qualitatively consistent or that the higher level doesn’t demand something impossible from the lower level.
- Typical failure: A micro-level model might predict behaviors that, when summed up, violate a conservation law or equilibrium condition assumed at the macro level. For instance, if individual agents in an economic model all try to save money at once (micro behavior), a simple sum might imply total spending drops, potentially contradicting a macro assumption of constant total income – this is known as the paradox of thrift in economics (micro intentions vs macro outcome). Another failure: in ecology, you might have a population model (macro) that assumes a stable age distribution, but your individual-level birth/death rules (micro) don’t actually lead to that distribution, causing inconsistency. Essentially, micro rules implying something the macro model forbids, or vice versa.
- Physics example: Continuum mechanics vs microphysics. If you derive material behavior from atomic or molecular models, the aggregate constitutive laws (stress-strain relations, etc.) must be consistent with those micro-level interactions. Suppose at the molecular level you find that a material would soften with increasing strain, but you plug into a continuum model that assumes the material strain-hardens (gets stiffer) – you have a cross-scale inconsistency. Engineers and physicists handle this by either adjusting the micro model or using an appropriate effective theory so that the continuum behavior matches what many micros add up to. Another example is climate modeling: one can simulate global climate with differential equations for temperature, but underneath are countless molecular collisions (kinetic theory). We ensure consistency by using equations (like the Navier-Stokes equations for fluids) that are known to emerge from the micro-physics under appropriate averaging. If we accidentally used a fluid equation that violated momentum conservation while individual molecules conserve momentum, we’d have a problem.
- Biology example: Molecular to cellular to organismal consistency. A cell’s behavior arises from molecular interactions (genes, proteins, etc.), and an organism’s physiology arises from cells. If a high-level biological theory says “this drug will have X effect on the body,” but a lower-level analysis of how the drug affects cells indicates something completely opposite (and our understanding of bridging mechanisms like metabolism or signaling is solid), then there is an inconsistency. Often, multi-level modeling requires that any aggregate parameter (like tissue stiffness or organ functional capacity) is in line with the sums or averages of the constituent parts. If not, one must identify an “emergent” phenomenon or a feedback loop that explains it; otherwise it’s just a contradiction. For instance, the rate of oxygen transport in blood (macro level) should correspond to what many hemoglobin molecules do (micro level); if an equation at the organ level implied each hemoglobin works twice as hard as it physically can, that equation would be flawed.
- Social science example: Many social sciences use micro–macro links. For example, in sociology, individual interactions (micro) produce network structures or social norms (macro). A theory might assert a macro outcome like “high trust in society” and then model individuals who largely distrust each other – unless there’s a mechanism (like a few key people bridging communities) to reconcile this, the two levels conflict. In economics, microfoundations of macroeconomics is a whole endeavor to ensure that macro equations (like consumption functions, investment functions) are derived from, or at least not contradicted by, individual behavior and rationality assumptions. If a macro model assumed people increase spending when interest rates rise, but micro theory says each rational consumer would cut spending when interest rates rise, you have an inconsistency unless something else is going on (e.g. maybe higher rates transfer income to savers who spend more – a story must reconcile it). In sum, the different levels of description should form a coherent story, or else one (or both) of the levels needs revision.
10) Numerical / discretization consistency
- What it is: When using computational methods or numerical approximations to simulate a theory, the numerical scheme should not violate the core constraints that the continuous or abstract theory requires. In other words, the algorithm preserves the essential invariants and properties of the original equations. This includes things like conservation laws (mass, energy, momentum conservation in physics simulations), non-negativity of certain quantities (e.g. probabilities, densities), stability conditions, and symmetry properties. A consistent numerical method will produce results that converge to the true theory predictions as the discretization gets finer, and it will respect key qualitative features at each step (to the extent possible).
- Typical failure: The classic example is a numerical solver for a differential equation that produces spurious results – e.g. negative probabilities, or total energy that steadily grows without any input (violating energy conservation), or violations of constraints like $\nabla\cdot \mathbf{B}=0$ in a magnetohydrodynamics simulation. If the numerical method breaks something the theory mandates, then as the simulation runs, it might drift into unphysical territory (like “creating mass” due to numerical round-off, or yielding asymmetric results in a symmetric situation due to grid bias). Such inconsistencies mean the numerical model isn’t a faithful representation of the theory, and results must be interpreted with caution or the method improved.
- Physics example: Computational fluid dynamics (CFD) and plasma simulations. In CFD, one important property is maintaining the divergence-free condition of the velocity field for incompressible flow, or ensuring mass conservation in each cell of a finite volume method. Many integrators enforce these by construction (e.g. using a divergence-cleaning step). If a naive discretization is used, you might see mass appearing or disappearing over time due to cumulative truncation error – which is inconsistent with the continuum equation ∂ρ/∂t + ∇·(ρv)=0. Likewise in plasma physics or electromagnetics, a big concern is enforcing ∇·B = 0 at all times (no magnetic monopoles numerically). Algorithms like Yee’s grid in FDTD electromagnetics ensure that if ∇·B = 0 initially, it remains zero at subsequent time steps. Without this, Maxwell’s equations would be violated in the simulation, causing non-physical results like violation of energy conservation or incorrect wave propagation. In N-body simulations (e.g. for planetary motion), a symplectic integrator is often used because it preserves the Hamiltonian structure and thus approximately conserves energy over long times; a non-symplectic (energy-nonconserving) integrator might quickly yield planets spiraling into or out of orbits due to numerical artifacts, contrary to the physical expectation of stable orbits (absent dissipative forces).
- Chemistry/biology example: In computational chemistry or systems biology, one often simulates kinetic equations or reactor models. If a numerical method yields concentrations that go negative (because of large time steps in explicit Euler, for instance), that’s a clear breach of physical consistency (you can’t have negative concentration). Thus, numerical consistency demands using methods that maintain non-negativity (like implicit methods or smaller time steps with checks). Similarly, if a method is used to simulate a probability distribution’s evolution (like a Master equation or a stochastic simulation), it must keep probabilities normalized and ≥0. Some naive implementations might let floating point error accumulate to where probabilities become slightly negative or sum to more than 1, which would be flagged as inconsistent. Good simulations include normalization steps or choose formulations that inherently conserve these properties.
- Engineering example: Finite element analysis (FEA) on a structure requires that if the continuum model obeys Newton’s third law (action = reaction) and conserves momentum, the discrete model should not artificially gain or lose momentum. This is why symmetric stiffness matrices and proper time integration schemes are chosen – to ensure no ghost forces or energy sources appear. If the discretization is too coarse or improperly set, one might see the structure gaining energy (vibrations growing without input) which violates physical damping assumptions or energy conservation. Checking that the numerical results converge as the mesh is refined is a standard practice to ensure you’re approaching the theoretically consistent solution.
| Element | ||||
|---|---|---|---|---|
| Scope Category | 1.6 Internal Coherence Requirements | |||
| Sub-Item | Consistency | |||
| Science Name Link | Branch Name Link | Field Name Link | Definition | The demand that domain concepts do not contradict one another. |
| Natural Sciences | Physics | Classical Physics | Classical Mechanics | The concepts of mass, force, motion, and energy must inter-relate without contradiction across Newtonian, Lagrangian, and Hamiltonian formulations. |
| Natural Sciences | Physics | Classical Physics | Classical Electromagnetism | Maxwell’s equations, charge conservation (continuity equation), material constitutive relations, and boundary conditions must jointly produce solutions that do not violate constraints such as ∇·B = 0 or energy conservation. |
| Natural Sciences | Physics | Classical Physics | Classical Thermodynamics | All thermodynamic relations must agree: equations of state, Maxwell relations, laws of thermodynamics, and definitions of state functions cannot contradict one another. |
| Natural Sciences | Physics | Classical Physics | Statistical Mechanics (Classical) | Microscopic assumptions (particle dynamics, probability conservation) must align with macroscopic thermodynamic laws; equipartition, ensemble averages, and entropy definitions must agree. |
| Natural Sciences | Physics | Classical Physics | Optics (Classical Wave Theory) | Wave descriptions, boundary conditions, energy conservation, and EM formulations must agree: interference/diffraction patterns must match Maxwell-based predictions; ray optics emerges as appropriate in λ → 0 limit. |
| Natural Sciences | Physics | Classical Physics | Acoustics | Pressure, velocity, density, and wave equations must agree; conservation of mass, momentum, and energy must hold; boundary conditions cannot contradict medium assumptions. |
| Natural Sciences | Physics | Classical Physics | Continuum Mechanics | Stress, strain, and motion descriptions must align with conservation laws and geometric deformation rules. No contradictions can exist among constitutive laws, balance equations, or assumptions about material behavior. |
| Natural Sciences | Physics | Classical Physics | Classical Field Theory | Field equations must not contradict conservation laws, boundary conditions, or symmetry requirements. Potentials, sources, and field strengths must form a coherent mathematical structure. |
| Natural Sciences | Physics | Classical Physics | Pre-Relativistic Frameworks | All concepts must adhere to classical mechanics and Galilean kinematics without contradicting absolute time, absolute space, or instantaneous interactions. Field descriptions must not require finite signal propagation speeds. |
| Natural Sciences | Physics | Modern & Fundamental Physics | Quantum Mechanics | Wavefunction evolution, operator definitions, and probability rules must not contradict one another; uncertainty relations, quantization rules, and spectral predictions must remain mutually consistent. |
| Natural Sciences | Physics | Modern & Fundamental Physics | Relativistic Quantum Mechanics | Wave equations, probability currents, spin structure, and energy-momentum relations must not contradict one another. Antiparticle interpretations must remain consistent with conservation laws and relativistic symmetries. |
| Natural Sciences | Physics | Modern & Fundamental Physics | Special Relativity | Time dilation, length contraction, Lorentz transformations, simultaneity rules, and energy-momentum relations must all align without contradiction. All predictions must be mutually compatible across reference frames. |
| Natural Sciences | Physics | Modern & Fundamental Physics | General Relativity | Metric, curvature, and stress-energy must satisfy the field equations without contradicting conservation laws or local Lorentz symmetry. Predictions for different observers must be mutually consistent. |
| Natural Sciences | Physics | Modern & Fundamental Physics | Quantum Field Theory (QFT) | Field equations, commutation rules, conservation laws, and renormalization procedures must remain mutually consistent and free of internal contradictions. Predictions must agree across equivalent formulations. |
| Natural Sciences | Physics | Modern & Fundamental Physics | Particle Physics (High-Energy Physics) | Conservation laws, symmetry constraints, interaction rules, and predicted cross-sections must not contradict each other. Particle multiplets, decay channels, and mixing angles must form a self-consistent framework. |
| Natural Sciences | Physics | Modern & Fundamental Physics | Nuclear Physics | Nuclear forces, decay laws, energy levels, and reaction models must not contradict conservation laws such as baryon number, charge, parity (except in weak decay), or energy-momentum conservation. |
| Natural Sciences | Physics | Modern & Fundamental Physics | Quantum Statistical Physics | Statistical distributions, thermodynamic relations, and quantum rules must be mutually consistent. Phase transitions, correlation functions, and emergent properties must align with conservation laws and ensemble definitions. |
| Natural Sciences | Physics | Modern & Fundamental Physics | Quantum Optics | Photon statistics, field equations, atomic transitions, and cavity dynamics must align with quantum mechanics and quantum field theory. Predictions must remain consistent across representations (wave, mode, density matrix). |
| Natural Sciences | Physics | Modern & Fundamental Physics | Quantum Information Science | Quantum circuits, gates, channels, and error-correction rules must remain logically consistent with quantum mechanics, error models, and classical control interfaces. Predictions must align across all representations of the same quantum process. |
| Natural Sciences | Physics | Theoretical & Mathematical Physics | Symmetry & Group Theory | All generators, representations, commutation relations, and invariance conditions must fit together coherently. Group composition, closure, and associativity must hold across all transformations. |
| Natural Sciences | Physics | Theoretical & Mathematical Physics | Gauge Theory | The theory must avoid anomalies and non-unitary behavior; constraints and quantization rules must align; renormalization must preserve gauge symmetry. |
| Natural Sciences | Physics | Theoretical & Mathematical Physics | String Theory | Demands anomaly cancellation, consistent string interactions, coherent compactification choices, and no contradictions between different dual pictures. |
| Natural Sciences | Physics | Theoretical & Mathematical Physics | Differential Geometry in Physics | Geometric definitions, coordinate rules, connection laws, and curvature relations must not contradict one another; transformations must preserve geometric meaning. |
| Natural Sciences | Physics | Theoretical & Mathematical Physics | Statistical Field Theory | Field equations, stochastic rules, and renormalization flows must not conflict; probability distributions must remain well-defined; approximations must maintain internal statistical consistency. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Mathematical Foundations of Quantum Mechanics | Mathematical structures must avoid contradictions, operator rules must align with probability rules, and transformations must preserve consistency of states and observables. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | General Mathematical Physics | Requires consistency of equations, compatibility of symmetry rules, well-defined boundary and initial value behavior, and no contradictions among mathematical structures used to define a physical framework. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Solid-State Physics | Requires compatibility between lattice structure, band theory, electron interactions, and phonon behavior; physical quantities must remain well-defined across approximations. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Semiconductor Physics | Requires agreement between band structure, carrier dynamics, doping effects, optical transitions, and transport models; parameters must not contradict measured material properties. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Magnetism & Spin Physics | Requires alignment between spin models, exchange rules, magnetic energy terms, and domain behavior; no contradictions among magnetization curves, thermal behavior, or spin dynamics. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Superconductivity | Requires consistency between order parameter models, pairing interactions, electromagnetic response, vortex behavior, and thermodynamic constraints. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Soft Matter Physics | Requires alignment between rheological, structural, and thermal descriptions; deformation models must match observed viscoelastic behavior; self-assembly rules must be consistent with material interactions. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Nanomaterials & Nanostructures | Requires consistency between structural models, surface descriptions, electronic levels, and observed nanoscale properties; no contradictions among confinement, surface effects, or interaction rules. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Strongly Correlated Electron Systems | Requires consistency among interaction terms, lattice symmetries, correlation strength, observed phases, and behavior of excitations; no contradictions between model predictions and known phase diagrams. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Topological Matter | Requires consistency between bulk topology, symmetry constraints, boundary state predictions, and measurable transport; no contradictions among band connectivity, invariant values, or edge behavior. |
| Natural Sciences | Physics | Condensed Matter & Materials Physics | Materials Science (Physical Perspective) | Requires consistency between atomic level bonding, defect behavior, microstructure evolution, and macroscopic physical properties; models must not contradict known phase stability or structural data. |
| Natural Sciences | Physics | Astrophysics & Cosmology | Stellar Astrophysics | Requires agreement among stellar structure equations, nuclear fusion rates, opacity tables, convection models, and observed stellar properties such as luminosity and temperature. |
| Natural Sciences | Physics | Astrophysics & Cosmology | Galactic Astrophysics | Requires agreement among rotation curves, gas dynamics, star formation indicators, metallicity trends, and dark matter models; no contradictions among structural components. |
| Natural Sciences | Physics | Astrophysics & Cosmology | Extragalactic Astrophysics | Requires consistency between galaxy evolution models, cluster dynamics, dark matter halo theory, large scale structure statistics, and observational redshift surveys. |
| Natural Sciences | Physics | Astrophysics & Cosmology | Cosmology | Requires agreement between expansion models, radiation backgrounds, nucleosynthesis results, large scale structure observations, and gravitational theory; no contradictions among cosmological parameter sets. |
| Natural Sciences | Physics | Astrophysics & Cosmology | High-Energy Astrophysics | Requires agreement between relativistic dynamics, radiation models, particle acceleration theories, and observed spectra and timing; no contradictions between compact object mass, spin, and emission properties. |
| Natural Sciences | Physics | Astrophysics & Cosmology | Gravitational Astrophysics | Requires agreement between orbital data, atmospheric measurements, internal structure models, and observed physical properties such as density, climate, and surface conditions. |
| Natural Sciences | Physics | Astrophysics & Cosmology | Planetary Science & Exoplanets | Requires agreement among orbital measurements, atmospheric spectra, internal structure models, mass radius relationships, and surface or climate behavior. |
| Natural Sciences | Physics | Astrophysics & Cosmology | Astrochemistry & Interstellar Medium Physics | Requires agreement among chemical networks, radiation transfer models, dust extinction models, ISM phase diagrams, and observed line ratios or abundances. |
| Natural Sciences | Physics | Astrophysics & Cosmology | Astrobiology | Requires agreement among chemical models, environmental models, biosignature predictions, and known biological constraints; no contradictions between habitability models and observational data. |
| Natural Sciences | Physics | Plasma & Fluid Physics | Fluid Dynamics | Requires coherence among conservation laws, constitutive relations, flow equations, boundary conditions, and observed behavior; no contradictions allowed between modeled flow fields and physical constraints. |
| Natural Sciences | Physics | Plasma & Fluid Physics | Hydrodynamics (Ideal Fluids) | Requires agreement among MHD equations, conservation laws, magnetic induction behavior, wave mode predictions, and observed plasma structures; no contradictions among fluid, electromagnetic, and boundary assumptions. |
| Natural Sciences | Physics | Plasma & Fluid Physics | Magnetohydrodynamics (MHD) | Requires conservation of mass, momentum, and magnetic flux be compatible with observed plasma behavior; fluid equations and electromagnetic constraints must align without contradiction. |
| Natural Sciences | Physics | Plasma & Fluid Physics | Plasma Physics (General) | Requires agreement among Maxwell’s equations, particle motion equations, kinetic and fluid closures, conservation laws, and observed plasma behavior; no contradictions among electromagnetic, kinetic, or fluid assumptions. |
| Natural Sciences | Physics | Plasma & Fluid Physics | Space & Astrophysical Plasmas | Requires conservation laws, Maxwell’s equations, kinetic or fluid closures, and field evolution equations all agree with observed astrophysical plasma behavior. |
| Natural Sciences | Physics | Plasma & Fluid Physics | Fusion Plasma Physics | Requires agreement among MHD equilibrium, transport models, nuclear reaction rates, heating models, and observed confinement behavior; no contradictions among field geometry, pressure gradients, stability conditions, or achieved performance. |
| Natural Sciences | Physics | Plasma & Fluid Physics | Computational Fluid & Plasma Physics | Requires compatibility among equations, numerical schemes, boundary conditions, mesh structure, and solver stability; no contradictions between physical assumptions and discretization choices. |
| Natural Sciences | Physics | Plasma & Fluid Physics | Non-Newtonian & Complex Fluids | Requires compatibility among constitutive equations, microstructural models, conservation laws, and measured rheological behavior; no contradictions between predicted and observed flow responses. |
| Natural Sciences | Physics | Plasma & Fluid Physics | High-Energy-Density Physics (HEDP) | Requires consistency between hydrodynamics, radiation transport, ionization models, EOS, and shock physics; no contradictions among simulated pressure, temperature, ionization, and material compression. |
| Natural Sciences | Physics | Interdisciplinary & Applied Physics | Biophysics | Requires compatibility between biochemical kinetics, mechanical models, electromagnetic models, stochastic models, and observed biological behavior; no contradictions between molecular, cellular, and organismal physics. |
| Natural Sciences | Physics | Interdisciplinary & Applied Physics | Medical Physics | Requires consistency among imaging models, radiation transport models, dose calculations, detector response, calibration procedures, and biological effect models. |
| Natural Sciences | Physics | Interdisciplinary & Applied Physics | Geophysics | Requires consistency between seismic imaging, gravity data, magnetic field measurements, heat flow models, plate tectonics, and geodynamic simulations—no contradictions across observational and physical frameworks. |
| Natural Sciences | Physics | Interdisciplinary & Applied Physics | Optics & Photonics | Requires coherence among Maxwell equations, material response models, wave propagation physics, optical component behavior, and imaging/system design principles. |
| Natural Sciences | Physics | Interdisciplinary & Applied Physics | Computational Physics | Requires consistent coupling of discretized equations, solver algorithms, initial and boundary conditions, and physical models without contradictions between numerical and physical assumptions. |
| Natural Sciences | Physics | Interdisciplinary & Applied Physics | Engineering Physics | Requires consistency among physical models (mechanical, thermal, electrical, optical, etc.), material data, system constraints, simulation outputs, and experimental testing. |
| Natural Sciences | Physics | Interdisciplinary & Applied Physics | Chemical Physics | Requires agreement between quantum mechanical structure, statistical mechanical predictions, reaction kinetics, spectroscopic observables, and macroscopic thermodynamics. |
| Natural Sciences | Physics | Interdisciplinary & Applied Physics | Environmental & Climate Physics | Requires consistency between radiation balance, fluid dynamics, thermodynamics, surface processes, and observational records. |
| Natural Sciences | Physics | Interdisciplinary & Applied Physics | Applied Materials Physics | Requires consistency between electronic structure, lattice dynamics, microstructure evolution, mechanical behavior, transport properties, and external field responses. |
| Natural Sciences | Chemistry | Physical Chemistry | Quantum Chemistry | Requires compatible Hamiltonians, approximations, and correlation methods. |
| Natural Sciences | Chemistry | Physical Chemistry | Statistical Mechanics | Requires that probability rules, microstate counting, and macroscopic thermodynamic relations not contradict one another. |
| Natural Sciences | Chemistry | Physical Chemistry | Thermodynamics | Requires thermodynamic identities, Maxwell relations, potentials, and equations of state to interlock without contradiction. |
| Natural Sciences | Chemistry | Physical Chemistry | Kinetics & Reaction Dynamics | Requires compatibility of rate laws, mechanistic steps, energy barriers, and macroscopic observables; pathways must not contradict conservation laws. |
| Natural Sciences | Chemistry | Physical Chemistry | Spectroscopy | Requires compatibility among energy level structures, selection rules, spectral intensities, and dynamical models of excitation/relaxation. |
| Natural Sciences | Chemistry | Physical Chemistry | Electrochemistry | Requires that charge-transfer kinetics, thermodynamics, ionic transport, and potential profiles align without contradiction. |
| Natural Sciences | Chemistry | Physical Chemistry | Surface & Interface Science | Requires compatibility among adsorption models, interfacial thermodynamics, electronic structure, surface kinetics, and spectroscopic results. |
| Natural Sciences | Chemistry | Physical Chemistry | Colloid & Solution Chemistry | Requires compatibility between solubility limits, ionic interactions, particle stability, interfacial energies, and thermodynamic predictions. |
| Natural Sciences | Chemistry | Physical Chemistry | Chemical Physics | Requires compatibility among quantum mechanics, statistical mechanics, molecular dynamics, and spectroscopic observations across scales and frameworks. |
| Natural Sciences | Chemistry | Organic Chemistry | Structural & Mechanistic Organic Chemistry | Requires compatibility between structural features, mechanistic steps, orbital interactions, stereoelectronic effects, and observed reactivity trends. |
| Natural Sciences | Chemistry | Organic Chemistry | Stereochemistry & Conformational Analysis | Requires stereochemical descriptors, conformational models, and energy rankings to agree with experimental behavior, symmetry rules, and mechanistic interpretations. |
| Natural Sciences | Chemistry | Organic Chemistry | Synthetic Organic Chemistry | Requires objective alignment among mechanistic principles, synthetic strategies, functional-group compatibility, stereochemical constraints, and overall synthetic feasibility. |
| Natural Sciences | Chemistry | Organic Chemistry | Physical Organic Chemistry | Requires alignment among kinetics, thermodynamics, substituent effects, orbital interactions, and mechanistic interpretations across datasets and reaction families. |
| Natural Sciences | Chemistry | Organic Chemistry | Organometallic Organic Chemistry | Requires agreement among electron count, oxidation state, mechanistic steps, geometry, ligand effects, and catalytic performance without contradictions. |
| Natural Sciences | Chemistry | Organic Chemistry | Polymer Chemistry (Carbon-based) | Requires agreement among kinetic models, chain-growth mechanisms, polymer architecture, molecular-weight distributions, and observed thermal/mechanical properties. |
| Natural Sciences | Chemistry | Organic Chemistry | Bioorganic Chemistry | Requires compatibility among stereoelectronic models, enzymatic mechanisms, biomolecular structure, kinetic parameters, and thermodynamic landscapes. |
| Natural Sciences | Chemistry | Organic Chemistry | Natural Products Chemistry | Requires alignment among biosynthetic logic, structural elucidation data, stereochemical assignments, functional-group patterns, and observed bioactivity. |
| Natural Sciences | Chemistry | Organic Chemistry | Medicinal Chemistry | Requires compatibility among SAR data, pharmacophore models, binding-site structures, ADMET predictions, and observed biological activity. |
| Natural Sciences | Chemistry | Inorganic Chemistry | Main-Group Chemistry | Requires coherence among periodic trends, orbital hybridization, bonding models, oxidation-state assignments, and observed structural/energetic behavior across s- and p-block elements. |
| Natural Sciences | Chemistry | Inorganic Chemistry | Transition-Metal Chemistry | Requires compatibility among ligand-field predictions, electron-counting, coordination geometry, redox behavior, and measured spectroscopic/magnetic data. |
| Natural Sciences | Chemistry | Inorganic Chemistry | f-Block Chemistry | Requires compatibility among redox behavior, coordination geometry, magnetic/spectroscopic data, electron-counting, relativistic considerations, and periodic trends across the f-block. |
| Natural Sciences | Chemistry | Inorganic Chemistry | Coordination Chemistry | Requires coherence among ligand-field predictions, spectroscopic signatures, redox behavior, geometry, electron count, and stability constants across coordination complexes. |
| Natural Sciences | Chemistry | Inorganic Chemistry | Solid-State Chemistry | Requires compatibility between lattice geometry, bonding models, band structure, defect energetics, phase stability, and observed physical/chemical properties. |
| Natural Sciences | Chemistry | Analytical Chemistry | Qualitative Analysis | Requires coherence among classical tests, spectral assignments, structural logic, ion identification, and confirmatory analysis without contradictory identity signals. |
| Natural Sciences | Chemistry | Analytical Chemistry | Quantitative Analysis | Requires agreement among calibration, instrument response, stoichiometry, replicates, statistical models, and uncertainty estimates without contradiction. |
| Natural Sciences | Chemistry | Analytical Chemistry | Separation Science | Requires consistency among retention times, chromatographic parameters (k, α, Rs), electrophoretic behavior, thermodynamic/kinetic models, and physical transport theory. |
| Natural Sciences | Chemistry | Analytical Chemistry | Instrumental Analysis | Requires coherence between instrument physics, calibration models, detector behavior, signal processing, and sample properties without contradictions. |
| Natural Sciences | Chemistry | Biochemistry | Structural Biochemistry | Requires coherence among atomic coordinates, experimental structural data, thermodynamic stability, folding models, and functional evidence without contradiction. |
| Natural Sciences | Chemistry | Biochemistry | Enzymology | Requires coherence among kinetic data, mechanistic proposals, structural models, thermodynamic parameters, binding studies, and catalytic outcomes. |
| Natural Sciences | Chemistry | Biochemistry | Metabolism & Bioenergetics | Requires alignment among pathway stoichiometry, enzyme kinetics, redox balance, thermodynamic constraints, ATP yields, proton gradients, and overall metabolic flux patterns. |
| Natural Sciences | Chemistry | Biochemistry | Molecular Biology & Gene Expression | Requires consistency among DNA sequence, chromatin context, transcription rates, RNA processing, translational output, and protein regulation without contradictions. |
| Natural Sciences | Chemistry | Biochemistry | Cellular Biochemistry | Requires coherence among metabolic flux patterns, signaling responses, traffic flow, redox state, organelle interactions, structural constraints, and cellular viability. |
| Natural Sciences | Chemistry | Biochemistry | Membrane Biochemistry | Requires consistency among lipid composition, membrane curvature, protein distribution, transport kinetics, signaling behavior, and structural dynamics. |
| Natural Sciences | Chemistry | Biochemistry | Protein Chemistry | Requires agreement among folding thermodynamics, chemical reactivity, side-chain ionization, PTM effects, structural models, and experimental evidence without contradictions. |
| Natural Sciences | Chemistry | Biochemistry | Biochemical Genetics | Requires agreement among genotype, enzyme kinetics, metabolic flux, cellular phenotype, tissue physiology, and inheritance pattern without contradiction. |
| Natural Sciences | Earth & Space Sciences | Geology | Mineralogy & Crystallography | Requires coherence among crystal structure, symmetry, composition, thermodynamic stability, optical/electronic properties, and observed geological occurrence. |
| Natural Sciences | Earth & Space Sciences | Geology | Petrology | Requires agreement among mineral assemblages, textures, P–T paths, chemical compositions, phase-equilibrium predictions, and geological field relationships. |
| Natural Sciences | Earth & Space Sciences | Geology | Structural Geology & Tectonics | Requires coherence among observed structures, calculated stress fields, kinematic interpretations, geophysical evidence, plate-motion models, and deformation histories. |
| Natural Sciences | Earth & Space Sciences | Geology | Sedimentology & Stratigraphy | Requires agreement among sedimentary structures, facies assemblages, stratigraphic architecture, basin evolution models, physical transport laws, and geochronology. |
| Natural Sciences | Earth & Space Sciences | Geology | Geomorphology | Requires agreement among topographic patterns, process rates, observed landforms, erosion laws, climate forcing, tectonic rates, and landscape evolution models. |
| Natural Sciences | Earth & Space Sciences | Geology | Geophysics | Requires agreement among seismic, gravity, magnetic, thermal, geodetic, rheological, and geodynamic interpretations; models must reconcile Earth structure, material properties, and observed fields. |
| Natural Sciences | Earth & Space Sciences | Geology | Geochemistry | Requires consistency among mineral chemistry, fluid chemistry, isotope ratios, thermodynamic predictions, reaction-path models, and mass-balance constraints. |
| Natural Sciences | Earth & Space Sciences | Geology | Paleontology | Requires agreement among fossil morphology, taphonomic interpretation, sedimentary environment, stratigraphy, phylogeny, geochronology, and evolutionary models. |
| Natural Sciences | Earth & Space Sciences | Geology | Hydrogeology | Requires consistency among hydraulic measurements, aquifer tests, flow models, stratigraphy, geochemistry, well data, tracer tests, and observed groundwater behavior. |
| Natural Sciences | Earth & Space Sciences | Geology | Economic & Applied Geology | Requires alignment among geological, geochemical, geophysical, engineering, and economic interpretations; consistent relationships between deposit models, exploration data, and extraction feasibility. |
| Natural Sciences | Earth & Space Sciences | Meteorology | Dynamic Meteorology | Dynamical equations, approximations, and parameterizations must not contradict conservation laws or each other across scales and regimes. |
| Natural Sciences | Earth & Space Sciences | Meteorology | Thermodynamic Meteorology | Thermodynamic variables must satisfy equations of state, lapse-rate relations, and conservation principles without contradicting microphysical or radiative assumptions. |
| Natural Sciences | Earth & Space Sciences | Meteorology | Cloud Physics & Microphysics | Microphysical processes (condensation, freezing, riming, evaporation) must obey conservation laws for mass, moisture, and energy, and must not contradict thermodynamic or radiative principles. |
| Natural Sciences | Earth & Space Sciences | Meteorology | Synoptic & Mesoscale Meteorology | Synoptic equations, mesoscale motions, and parameterizations must obey conservation of vorticity, mass, momentum, moisture, and energy without contradicting thermodynamic or dynamical principles. |
| Natural Sciences | Earth & Space Sciences | Meteorology | Atmospheric Physics & Chemistry | Radiative, chemical, and thermodynamic descriptions must obey energy conservation, mass conservation, reaction stoichiometry, quantum mechanical selection rules, and consistent optical/chemical representations. |
| Natural Sciences | Earth & Space Sciences | Meteorology | Climatology & Climate Dynamics | Radiative, dynamical, chemical, and feedback components must not contradict conservation laws or each other across temporal or spatial scales; climate modes must integrate coherently with forcing and feedback theories. |
| Natural Sciences | Earth & Space Sciences | Oceanography | Physical Oceanography | Requires agreement among observations, circulation models, conservation laws, wave theories, and the equation of state; consistent dynamics across scales and regions. |
| Natural Sciences | Earth & Space Sciences | Oceanography | Chemical Oceanography | Requires agreement among carbonate chemistry, nutrient distributions, redox profiles, mixing patterns, isotope data, and thermodynamic predictions. |
| Natural Sciences | Earth & Space Sciences | Oceanography | Biological Oceanography | Requires consistency among biomass, productivity, nutrient distributions, food-web interactions, stoichiometry, biogeochemical fluxes, and physical forcing. |
| Natural Sciences | Earth & Space Sciences | Oceanography | Geological Oceanography | Requires agreement among stratigraphy, sediment composition, seismic structure, tectonic reconstructions, paleoceanographic proxies, and geophysical data. |
| Natural Sciences | Biology | Molecular Biology | Nucleic Acid Biology | Concepts of sequence, structure, replication, transcription, and repair must be chemically and thermodynamically consistent without contradiction. |
| Natural Sciences | Biology | Molecular Biology | Gene Regulation & Epigenetics | Regulatory mechanisms, chromatin architecture, epigenetic marks, and transcriptional outcomes must not contradict each other across assays, sequences, or conditions. |
| Natural Sciences | Biology | Molecular Biology | Protein Biology | Sequence–structure–function relationships, folding thermodynamics, dynamic transitions, and interaction behaviors must align without contradicting biochemical or structural principles. |
| Natural Sciences | Biology | Molecular Biology | Molecular Complexes & Information Flow | Principles of assembly, stoichiometry, information transfer, allostery, signaling fidelity, and structural dynamics must not contradict biochemical rules or mechanistic models across different complexes. |
| Natural Sciences | Biology | Molecular Biology | Molecular Methods & Technologies | Instrument behavior, reagent function, sample preparation, and computational processing must align without contradicting each other or empirical performance metrics. |
| Natural Sciences | Biology | Cell Biology | Cell Structure & Organelles | Structural descriptions must align with biochemical functions, trafficking logic, and observed spatial organization. |
| Natural Sciences | Biology | Cell Biology | Cellular Dynamics & Trafficking | Transport rules, identity markers, and membrane-fusion mechanisms must align; vesicle budding, sorting, and delivery pathways cannot contradict observed spatial organization or compartment boundaries. |
| Natural Sciences | Biology | Cell Biology | Cell Signaling & Communication | Binding rules, kinetic laws, and pathway architectures cannot contradict one another; cross-talk must respect biochemical compatibility; amplification must align with energy and stoichiometric constraints. |
| Natural Sciences | Biology | Cell Biology | Cell Cycle, Fate & Death | DNA replication, checkpoint signaling, mitotic mechanics, fate-decision logic, and death machinery must not contradict one another; lineage-commitment models must align with chromatin accessibility and transcriptional dynamics. |
| Natural Sciences | Biology | Cell Biology | Cell Interactions & Microenvironment | Adhesion rules, mechanical properties, ECM composition, and signaling pathways must not contradict one another; mechanical cues must align with biochemical responses; gradient interpretations must be coherent with receptor behaviors. |
| Natural Sciences | Biology | Cell Biology | Cell Morphology & Motility | Cytoskeletal mechanics, adhesion dynamics, polarity regulation, and force-generation models must not contradict each other; shape transitions must align with known biochemical constraints. |
| Natural Sciences | Biology | Genetics & Evolution | Classical & Transmission Genetics | Segregation, assortment, dominance, and linkage concepts must not contradict each other; predicted Mendelian ratios must align with empirical patterns. |
| Natural Sciences | Biology | Genetics & Evolution | Population Genetics | Assumptions about mutation, migration, drift, selection, and mating must be mutually compatible; predicted allele-frequency trajectories and equilibria must not contradict each other within a given model. |
| Natural Sciences | Biology | Genetics & Evolution | Quantitative Genetics | Variance components must sum to phenotypic variance; heritability estimates must align with observed parent–offspring resemblance; predicted selection response must match estimated genetic variance and selection differential. |
| Natural Sciences | Biology | Genetics & Evolution | Genomic Evolution & Comparative Genomics | Homology assignments, phylogenetic trees, substitution models, and synteny patterns must not contradict each other; inferred evolutionary histories must align with genomic data and comparative structure. |
| Natural Sciences | Biology | Genetics & Evolution | Phylogenetics & Systematics | Tree topology, character evolution, and taxonomic assignments must not contradict each other; classifications must reflect phylogenetic relationships; molecular and morphological data must converge on coherent patterns. |
| Natural Sciences | Biology | Genetics & Evolution | Macroevolution & Speciation Theory | Speciation mechanisms, diversification patterns, reproductive isolation concepts, and macroevolutionary models must not contradict one another; interpretations of clade histories must align with phylogenetic and fossil evidence. |
| Natural Sciences | Biology | Physiology | Cellular & Tissue Physiology | Electrical, mechanical, transport, and signaling descriptions must align without contradictions across cellular and tissue scales. |
| Natural Sciences | Biology | Physiology | Neurophysiology | Firing dynamics, synaptic behavior, and ionic mechanisms must be mutually consistent across scales and cannot contradict known biophysical constraints. |
| Natural Sciences | Biology | Physiology | Endocrine & Regulatory Physiology | Hormone secretion, receptor binding, signaling cascades, and organ-level responses must align without contradictions across physiological conditions. |
| Natural Sciences | Biology | Physiology | Cardiovascular & Respiratory Physiology | Hemodynamics, ventilation mechanics, gas-exchange dynamics, and regulatory feedback must align without contradiction across organ systems and physiological states. |
| Natural Sciences | Biology | Physiology | Metabolic & Energetic Physiology | Pathways of energy production, storage, and expenditure must align without contradiction across cellular, tissue, and systemic metabolic measurements. |
| Natural Sciences | Biology | Physiology | Renal, Fluid & Homeostatic Physiology | Filtration, reabsorption, secretion, electrolyte handling, and acid–base control must align without contradiction across nephron, kidney, and whole-body levels. |
| Natural Sciences | Biology | Developmental Biology | Cell Fate & Lineage Specification | Regulatory networks, signaling gradients, chromatin states, and lineage-branching logic must align; potency transitions must be compatible with observed lineage hierarchies and differentiation outcomes. |
| Natural Sciences | Biology | Developmental Biology | Pattern Formation & Embryonic Axes | Gradient formation, axis definition, threshold decoding, and pattern output must align; segmentation dynamics must match upstream oscillatory input; Hox-patterning must reflect positional information and axis polarity logic. |
| Natural Sciences | Biology | Developmental Biology | Morphogenesis & Tissue-Level Mechanics | Mechanical forces, cell behaviors, and tissue geometry must not contradict one another; force-balance equations must align with observed flows; morphogenetic deformations must match known mechanical capacities of tissues. |
| Natural Sciences | Biology | Developmental Biology | Organogenesis & Multi-Tissue Assembly | Tissue identity, mechanical forces, spatial gradients, and branching or lumen-formation mechanisms must align; multi-tissue behavior must not contradict known organ-pattern rules; morphogenetic modules must produce anatomically plausible organ structures. |
| Natural Sciences | Biology | Developmental Biology | Growth, Timing, Regeneration & Life-Cycle Transitions | Growth models, timing pathways, regeneration frameworks, and life-cycle stage boundaries must not contradict one another; hormonal, metabolic, and genetic signals must align with observed developmental transitions. |
| Natural Sciences | Biology | Developmental Biology | Evolutionary Development (Evo–Devo) | GRN evolution, developmental timing changes, morphological shifts, and homology assignments must align; inferred evolutionary transitions must remain coherent across molecular, anatomical, and developmental data. |
| Natural Sciences | Biology | Ecology | Organismal Ecology | Behavioral, physiological, and morphological interpretations must align and cannot contradict established ecological or physiological principles across conditions. |
| Natural Sciences | Biology | Ecology | Population Ecology | Demographic data, population models, and observed growth patterns must align without contradiction across time, space, and environmental contexts. |
| Natural Sciences | Biology | Ecology | Community Ecology | Species interactions, community patterns, and diversity metrics must align without contradiction across models, observations, and environmental contexts. |
| Natural Sciences | Biology | Ecology | Ecosystem Ecology | Energy-flow models, nutrient budgets, productivity measurements, and flux observations must align without contradiction across space, time, and environmental contexts. |
| Natural Sciences | Biology | Ecology | Landscape & Spatial Ecology | Spatial metrics, movement data, fragmentation analyses, and connectivity models must align logically without contradicting patterns observed across scales. |
| Natural Sciences | Biology | Ecology | Global Ecology & Earth-System Interactions | Climate models, global flux measurements, biogeochemical budgets, and large-scale ecological patterns must align without contradiction across observational and theoretical frameworks. |
| Formal Sciences | Logic | Proof Theory | Proof Calculi | Requires rule systems to avoid triviality; derivations must not generate contradictions unless modeling paraconsistent systems. |
| Formal Sciences | Logic | Proof Theory | Structural Proof Theory | Structural rules cannot trivialize derivability; rule combinations must avoid collapse of logical distinctions; transformations must preserve correctness. |
| Formal Sciences | Logic | Proof Theory | Proof Theory of Non-Classical Logics | Rule systems must not collapse into classical logic unless intended; structural discipline must preserve each logic’s non-classical character; cut-elimination must not introduce forbidden structural behavior. |
| Formal Sciences | Logic | Proof Theory | Ordinal & Strength Analysis | Consistency strength comparisons must align with ordinal calibrations; ordinal assignments must not contradict known hierarchies; collapsing systems must yield well-founded representations. |
| Formal Sciences | Logic | Proof Theory | Proof Complexity | Resource measures must align across systems; simulation relations must not contradict known complexity separations; lower-bound arguments cannot collapse standard complexity assumptions. |
| Formal Sciences | Logic | Proof Theory | Automated & Interactive Reasoning | Solver rules must not contradict one another; tactic-driven transformations must maintain proof validity; search procedures must align with foundational logic; proof objects must pass independent kernel verification. |
| Formal Sciences | Logic | Model Theory | Structures, Languages & Interpretations | Requires consistent signatures, coherent interpretation of symbols, and non-contradictory satisfaction assignments across structures. |
| Formal Sciences | Logic | Model Theory | Satisfaction & Definability Theory | Requires internally coherent interpretations, non-contradictory definability claims, and compatibility of satisfaction across substructures and expansions. |
| Formal Sciences | Logic | Model Theory | Quantifier Theory & Model Completeness | Requires non-contradictory quantifier rules, coherent Skolem functions, stable prenex transformations, and compatibility between quantifier structure and definability results. |
| Formal Sciences | Logic | Model Theory | Classification Theory | Requires non-contradictory interaction among ranks, independence relations, definability, and saturation; dividing lines must be logically compatible. |
| Formal Sciences | Logic | Model Theory | Tame / O-Minimal Model Theory | Requires compatibility between definability, dimension theory, monotonicity, and cell decomposition; definable sets must align with o-minimal axioms. |
| Formal Sciences | Logic | Set Theory | Axiomatic Foundations & Cumulative Hierarchy | Requires axioms of ZFC to be non-contradictory; cumulative hierarchy must maintain internal coherence; rank and membership must align across all levels (V_\alpha). |
| Formal Sciences | Logic | Set Theory | Constructibility & Inner Models | Requires coherent interaction among definability, condensation, fine structure, iteration strategy, and minimality; levels must fit together without contradiction. |
| Formal Sciences | Logic | Set Theory | Large Cardinal Theory | Requires that large-cardinal axioms added do not contradict ZFC or each other; embedding structures must be coherent; extenders must produce well-founded ultrapowers. |
| Formal Sciences | Logic | Set Theory | Forcing & Independence Theory | Requires that forcing constructions produce models satisfying ZFC; Boolean algebras must yield coherent Boolean-valued models; independence results cannot contradict established consistency bounds. |
| Formal Sciences | Logic | Set Theory | Descriptive Set Theory | Requires consistent interaction among definability hierarchies, regularity properties, reducibility relations, and determinacy assumptions; hierarchies must not collapse arbitrarily. |
| Formal Sciences | Logic | Computability Theory | Models of Computation & Recursive Function Theory | Machine models must align with recursive-function and λ-calculus definitions; reductions between models must preserve computability; equivalence proofs must not contradict known partial/total function boundaries. |
| Formal Sciences | Logic | Computability Theory | Recursively Enumerable (r.e.) Sets & Degrees | Reducibility definitions must not contradict each other; priority constructions must satisfy all requirements without collapsing the degree structure; enumeration procedures must preserve r.e. character; complete sets must consistently encode universal problems. |
| Formal Sciences | Logic | Computability Theory | Reducibility & Degrees of Unsolvability | Reducibility definitions must align; degree equivalence must not collapse distinctions; jumps must preserve monotonicity; complete sets must uniformly encode unsolvable problems. |
| Formal Sciences | Logic | Computability Theory | Arithmetical & Analytical Hierarchies | Hierarchy levels must not contradict inclusion relationships; completeness notions must align with definability; reducibility hardness must match quantifier-prefix complexity; relativized hierarchies must respect jump operators. |
| Formal Sciences | Mathematics | Algebra | Group Theory | Group axioms must not conflict; subgroup and quotient constructions must preserve the axioms; presentations must not contradict associativity; homomorphisms must preserve identity/inverses; structural theorems (e.g., isomorphism theorems) must remain coherent. |
| Formal Sciences | Mathematics | Algebra | Ring Theory | Addition and multiplication must not contradict ring axioms; ideal operations must respect ring structure; homomorphisms must preserve both operations; quotient rings must satisfy ring axioms; factorization must align with ideal structure. |
| Formal Sciences | Mathematics | Algebra | Field Theory | Field operations must not contradict axioms; extension structures must respect tower laws; automorphism groups must act compatibly; splitting fields must contain required roots; Galois correspondences must pair correctly with subgroup structures. |
| Formal Sciences | Mathematics | Algebra | Module Theory | Scalar action must not conflict with ring operations; homomorphisms must preserve module structure; decompositions must respect submodule relations; tensor product must behave functorially; exact sequences must satisfy exactness conditions precisely. |
| Formal Sciences | Mathematics | Algebra | Linear Algebra | Linear maps must preserve addition and scalar multiplication; matrix representations must agree with chosen bases; eigenstructures must align with characteristic polynomials; orthogonality must match inner-product definition; decomposition theorems must interoperate correctly. |
| Formal Sciences | Mathematics | Algebra | Representation Theory | Representation homomorphisms must respect algebraic operations; decompositions must be consistent with invariant subspaces; character relations must hold; tensor products must preserve representation axioms; intertwiners must satisfy categorical coherence. |
| Formal Sciences | Mathematics | Algebra | Universal Algebra | Identities must not contradict one another; operations must interact coherently; congruence structures must align with homomorphisms; free objects must satisfy universal properties; varieties must satisfy HSP closure; categorical semantics must match algebraic specifications. |
| Formal Sciences | Mathematics | Algebra | Algebraic Combinatorics | Algebraic identities must match combinatorial interpretations; group actions must preserve underlying structures; symmetric-function operations must align with tableau-based rules; poset operations must respect order axioms; polynomial invariants must be basis-consistent. |
| Formal Sciences | Mathematics | Mathematical Analysis | Real Analysis | Limit definitions must agree under different formulations; differentiation and integration must satisfy fundamental theorems; measure-theoretic and topological structures must align; convergence definitions must not contradict completeness; compactness principles must integrate coherently with metric structures. |
| Formal Sciences | Mathematics | Mathematical Analysis | Complex Analysis | Cauchy–Riemann equations must match holomorphic definitions; power-series expansions must agree with derivatives; contour integrals must satisfy independence of path under holomorphy; residues must match singularity structure; analytic continuation must be consistent across overlapping domains. |
| Formal Sciences | Mathematics | Mathematical Analysis | Functional Analysis | Operator definitions must respect linearity and domain constraints; weak/strong convergence notions must align with topology; spectral definitions must agree with operator class; duality relations must be consistent; Hahn–Banach extensions must not contradict boundedness conditions. |
| Formal Sciences | Mathematics | Mathematical Analysis | Harmonic Analysis | Fourier inversion must align with transform definitions; convolution must obey associativity and compatibility with Fourier transform; singular kernels must satisfy size/smoothness conditions; operator boundedness must match Lᵖ structures; spectral decompositions must agree with group representation theory; wavelet decomposition must respect multiresolution axioms. |
| Formal Sciences | Mathematics | Mathematical Analysis | Differential Equations (ODE/PDE) | Differential operators must align with geometric/analytic structure; boundary and initial conditions must be compatible; weak and classical solutions must agree when regular enough; stability and uniqueness must not contradict existence claims; conserved quantities must match governing equations. |
| Formal Sciences | Mathematics | Geometry & Topology | Differential Geometry | Requires compatibility of charts in an atlas; consistent definitions of tensors across coordinate changes; curvature and connection definitions must agree globally. |
| Formal Sciences | Mathematics | Geometry & Topology | Algebraic Geometry | Requires compatibility between schemes, morphisms, sheaves, and cohomology; algebraic operations must reflect actual geometric transformations; coordinate changes must preserve structure. |
| Formal Sciences | Mathematics | Geometry & Topology | Metric Geometry | Requires that distance, geodesic, and curvature notions align; triangle-comparison definitions must not contradict geodesic structure; Gromov–Hausdorff limits must preserve metric consistency. |
| Formal Sciences | Mathematics | Geometry & Topology | Point-Set Topology | Requires compatibility of open sets, continuity definitions, convergence rules, and separation axioms; constructions like products and quotients must preserve topological coherence. |
| Formal Sciences | Mathematics | Geometry & Topology | Homotopy Theory | Requires coherence of homotopy definitions; compatibility of fibrations/cofibrations with homotopy lifting; consistency of long exact sequences; stability of invariants across models. |
| Formal Sciences | Mathematics | Geometry & Topology | Knot Theory | Reidemeister moves must preserve knot type; invariants must satisfy isotopy invariance; diagrammatic and geometric descriptions must match; composition of knots must respect prime decomposition. |
| Formal Sciences | Mathematics | Number Theory | Elementary Number Theory | Modular arithmetic must agree with integer arithmetic; arithmetic functions must respect multiplicativity; divisibility rules must align with factorization; congruence properties must remain invariant. |
| Formal Sciences | Mathematics | Number Theory | Algebraic Number Theory | Galois groups must match field extensions; ideal factorization must respect Dedekind structure; local computations must agree with global behavior; norm/trace must align with extension degrees. |
| Formal Sciences | Mathematics | Number Theory | Analytic Number Theory | Functional equations must align with Euler products; zero distributions must match explicit formulas; asymptotics must be consistent with analytic continuation; prime-number estimates must obey known bounds. |
| Formal Sciences | Mathematics | Number Theory | Arithmetic Geometry | Local data must align with global structures; reduction fibers must reflect original varieties; cohomology must be compatible with Galois actions; heights must behave coherently across embeddings and fields. |
| Formal Sciences | Mathematics | Number Theory | Modular and Automorphic Forms | Transformation rules must be compatible with group actions; Hecke operators must commute properly; local factors must assemble into global L-functions; Fourier expansions must reflect automorphy and eigenvalue structure. |
| Formal Sciences | Mathematics | Number Theory | Transcendental Number Theory | Height functions must align with Diophantine estimates; approximation inequalities must agree with algebraic-number theory; auxiliary functions must behave compatibly with analytic continuation and vanishing orders. |
| Social Sciences | Anthropology | Human Evolutionary Anthropology | Morphological, genetic, archaeological, and environmental evidence must align; phylogenies must not contradict fossil chronology; migration models must match genetic patterns; behavioral inferences must align with ecological constraints; adaptive explanations must be compatible with observed morphology. | |
| Social Sciences | Anthropology | Kinship, Descent & Domestic Organization | Kinship terms must align with descent rules; residence patterns must be compatible with lineage systems; inheritance rules must match property distribution; household form must fit demographic realities; alliance patterns must reinforce rather than contradict descent structures. | |
| Social Sciences | Anthropology | Ritual, Cultural Practice & Symbolic Systems | Ritual interpretation must align with cultural context; symbolic systems must not contradict core cosmological or moral structures; classification of symbols must match observed practices; narratives must cohere with ritual scripts; embodied practices must align with social norms and roles. | |
| Social Sciences | Anthropology | Subsistence Systems, Environment & Human Adaptation | Subsistence models must align with ecological constraints; archaeological remains must fit observed technological and environmental parameters; mobility must match resource distribution; demographic patterns must match productivity; adaptive strategies must not contradict energy budgets; niche-construction claims must reflect material evidence. | |
| Social Sciences | Anthropology | Material Culture, Technology & Archaeological Interpretation | Artifact classifications must align with technological and functional data; stratigraphic interpretation must match depositional logic; chaîne opératoire sequences must correspond to wear and breakage patterns; spatial models must align with feature distributions; cultural reconstructions must not contradict dating evidence or environmental context. | |
| Social Sciences | Anthropology | Ethnographic Method & Comparative Analysis | Ethnographic interpretations must align with observed data; field notes must correspond to coded categories; comparative variables must maintain cross-cultural equivalence; claims must match emic accounts and contextual observations; analytic frameworks must not contradict field findings. | |
| Social Sciences | Economics | Choice (Microeconomic Foundations) | Preferences must not violate rationality axioms; optimization must satisfy feasibility; Lagrangian/Bellman conditions must match utility structures; intertemporal decisions must align with discount factors; expectations must align with information structure. | |
| Social Sciences | Economics | Interaction (Markets, Strategy & Mechanisms) | Incentive constraints must align with mechanism outcomes; equilibrium definitions must match strategy spaces; supply/demand relations must satisfy feasibility; beliefs must be consistent with equilibrium strategies; allocation mechanisms must obey monotonicity and implementability constraints; market-clearing and stability must not conflict with agent rationality. | |
| Social Sciences | Economics | Aggregation & Dynamics (Macroeconomic Systems) | Dynamic laws must match accounting identities; expectations must be internally consistent with model structure; policy rules must not violate feasibility; equilibrium paths must satisfy budget constraints; aggregation of micro behavior must not contradict macro evolution equations; steady states must match long-run restrictions. | |
| Social Sciences | Geography (Human) | Spatial Patterns & Spatial Analysis | Spatial models must match observed distributions; clustering analysis must align with underlying processes; flow models must be consistent with network structure; GIS layers must maintain coordinate integrity; regional definitions must align with functional differentiation; scale choices must remain coherent across analyses. | |
| Social Sciences | Geography (Human) | Mobility, Flows & Connectivity | Flow models must align with network geometry and real-world travel times; diffusion patterns must match observed pathways; connectivity indices must reflect actual accessibility; directional flows must match origin–destination logic; multimodal networks must maintain mode-consistency; time-sensitive analyses must align with temporal resolution of data. | |
| Social Sciences | Geography (Human) | Human–Environment Interaction & Landscape Modification | Land-use models must align with ecological constraints; archaeological and historical records must match environmental reconstructions; modification processes must be consistent with geomorphological evidence; hazard models must fit landscape conditions; sustainability assessments must reflect real productivity and degradation patterns. | |
| Social Sciences | Geography (Human) | Place, Territory & Spatial Experience | Interpretations of place must match observed practices; territorial analyses must align with mapping of control/enforcement; symbolic readings must align with cultural context; phenomenological accounts must be coherent with material landscapes; boundary categories must reflect real spatial behavior; identity–place connections must align with narrative evidence. | |
| Social Sciences | Linguistics | Phonetics & Phonology | Feature systems must map coherently onto articulatory/acoustic cues; phonological rules must produce consistent outputs; syllable structure must align with stress/tone patterns; prosodic domains must integrate into a unified hierarchical system. | |
| Social Sciences | Linguistics | Morphology | Morpheme order must match morphotactic rules; feature values must align across a paradigm; allomorph selection must obey conditioning factors; morphological classes must behave coherently across forms; decomposition must mirror productive rules. | |
| Social Sciences | Linguistics | Syntax | Tree structures must align with dependency relations; movement operations must obey locality; agreement features must unify correctly; case assignment must consistently map onto syntactic positions; feature-checking and derivations must not contradict one another. | |
| Social Sciences | Linguistics | Semantics | Type constraints must align across expressions; scope assignment must be internally consistent; variable binding must follow syntactic structure; lexical meanings must combine compositionally; entailment relations must follow semantic rules. | |
| Social Sciences | Linguistics | Pragmatics | Speaker intentions must align with context; presupposition sets must update coherently; discourse moves must follow coherence relations; implicatures must logically follow Gricean or neo-Gricean principles; deixis must reference accessible domains. | |
| Social Sciences | Political Science | Political Institutions & Formal Political Order | Constitutional rules must not contradict legislative or judicial authority; electoral rules must align with seat allocation; separation of powers must avoid procedural deadlock; federal rules must match resource allocation; institutional categories must be mutually coherent; enforcement must match codified authority. | |
| Social Sciences | Political Science | Political Behavior, Mobilization & Collective Action | Behavioral predictions must align with psychological and sociological principles; mobilization models must be consistent with network structure; collective-action thresholds must match observed group behavior; survey-based attitudes must correspond to actual behavior patterns; grievance and opportunity models must not contradict participation outcomes. | |
| Social Sciences | Political Science | Governance, Policy Formation & State Capacity | Governance structures must align with legal authority; policy instruments must match bureaucratic capability; budgeting must support mandated responsibilities; monitoring must correspond to enforcement capacity; policy goals must be operationalizable; interagency roles cannot produce contradictory mandates. | |
| Social Sciences | Political Science | International Relations & Global Order | Theory must align with systemic constraints (anarchy, distribution of capabilities); state-behavior models must not contradict institutional rules; cooperation models must satisfy incentive compatibility; alliance models must align with deterrence logic; systemic predictions must fit polarity structure; norms must align with observed compliance. | |
| Social Sciences | Psychology | Cognitive Processes & Mental Architecture | Representational assumptions must align with processing models; memory, perception, and decision models must not contradict each other; attentional and executive-control frameworks must integrate. | |
| Social Sciences | Psychology | Learning, Conditioning & Behavioral Mechanisms | Reinforcement models must align with observed behavior curves; associative-strength changes must match learning rates; extinction and generalization must follow predicted patterns; reinforcement schedules must produce consistent behavioral signatures. | |
| Social Sciences | Psychology | Emotion, Motivation & Affect Regulation | Affective constructs must align with motivational models; physiological, cognitive, and behavioral indicators must converge; regulation strategies must map logically onto emotional processes; appraisal frameworks must be internally consistent. | |
| Social Sciences | Psychology | Development, Individual Differences & Psychometrics | Trait measures must align with factor structures; developmental models must match observed longitudinal data; variance components must add coherently; reliability and validity estimates must fit measurement theory; item responses must reflect latent constructs. | |
| Social Sciences | Sociology | Social Interaction Mechanisms | Norms, identities, and meanings must align across interaction episodes; role-taking and facework must cohere with expectations; emotional displays must fit interactional scripts. | |
| Social Sciences | Sociology | Social Structure Mechanisms | Roles, rules, and positions must align across levels; institutional mandates must match structural constraints; stratification models must fit observed mobility patterns; boundary definitions must be internally consistent. | |
| Social Sciences | Sociology | Social Network & Relational Dynamics | Centrality, clustering, and connectivity metrics must align; inferred ties must match behavioral flows; relational categories must map onto observed structure; dynamic updates must preserve network logic. |