SAT – Method – Hypothesis Testing

Hypothesis Testing is how a science asks, in a disciplined way, “Does this specific claim survive contact with reality?” It takes a sharpened conjecture—a law, model, mechanism, parameter value, or structural property—derives concrete predictions from it, and then confronts those predictions with data or formal consequences. The outcome is not an absolute verdict of truth, but a decision about whether the claim is compatible with what we observe (or derive), whether it needs to be revised, or whether it should be rejected in favor of a better alternative.

Within the Method Layer, 4.2 Testing & Validation – Hypothesis Testing captures the full machinery of this comparison step in each field: how hypotheses are formulated, which observables or invariants they commit to, how those commitments are turned into testable predictions, and what decision rules are used to judge success or failure. In some domains this means statistical model–data fits, likelihood ratios, and goodness-of-fit tests; in others it means checking derivability, admissibility, consistency, or equivalence inside a formal system. Across all of them, the core function is the same: to turn “could be true” into “keeps earning its place” or “gets ruled out” by systematically confronting claims with their consequences.

---

Science Analysis Template

Below are the results of cycles 1 & 2 of The Science Project

Across all branches of science, from physics and chemistry to biology, social sciences, and even formal disciplines like logic and mathematics, the fundamental approach to testing hypotheses is remarkably similar. Each discipline may have its own specialized tools and techniques, but the underlying principles of how evidence is used to evaluate a claim remain the same. In essence, hypothesis testing involves asking: does the evidence we gather support or contradict our proposed explanation? This core question is at the heart of scientific inquiry everywhere.

Despite the diversity of subject matter, scientists in every field follow common steps to ensure that their ideas are rigorously tested. A physicist might compare experimental measurements to a prediction from Newton’s laws; a biologist might compare observed trait distributions to predictions of evolutionary theory; a psychologist might check if data from an experiment align with a theoretical model of behavior. In all cases, the goal is the same – to determine whether observations agree with what a hypothesis leads us to expect. Below, we outline the universal process and principles that characterize hypothesis testing across the sciences.

Universal Steps in Hypothesis Testing

While details vary by discipline, the general process of hypothesis testing can be summarized in a few key steps common to all scientific fields:

1. Formulate a Hypothesis and Predictions: Based on questions or theories, a scientist proposes a hypothesis – a tentative explanation or model – and derives specific predictions from it. These predictions state what we should observe if the hypothesis is correct (often phrased as “if the hypothesis is true, then X should happen”). Every discipline does this, whether it’s a chemist predicting the outcome of a reaction or an economist forecasting market behavior.
2. Gather Empirical Evidence: Next, scientists design experiments, observations, or calculations to collect data related to those predictions. This could mean performing a lab experiment, conducting a survey, making field observations, or running a simulation – whatever method fits the question at hand. The key is that the evidence is gathered systematically and, where possible, under controlled conditions to isolate the effect in question.
3. Compare Predictions with Observations: Once data are collected, scientists compare the observed results to the expected outcomes dictated by the hypothesis. This comparison lies at the core of hypothesis testing: Do the measurements or observations match what the hypothesis predicted? For example, in classical physics one would check if a measured trajectory or energy change agrees with the value predicted by Newtonian equations; in biology one might see if an experimental group’s response differs from a control as predicted by a biological hypothesis.
4. Analyze Results and Evaluate Significance: Scientists then analyze the comparison using appropriate criteria. In many empirical sciences, this involves statistical analysis – determining if any difference between observed and expected results is greater than what could be due to chance. Statistical hypothesis testing provides a quantitative way to judge support for the hypothesis (e.g. using p-values or confidence intervals to decide if the evidence is significant). In fields where formal logic or math is the tool, analysis might involve checking for logical consistency or mathematical proof. Across the sciences, the common thread is a disciplined evaluation of whether the gap between prediction and observation is small enough to consider the hypothesis supported, or large enough to indicate a problem.
5. Conclude, Refine, or Refute: Based on the analysis, researchers draw conclusions. If the evidence supports the hypothesis (i.e. observations align closely with predictions), the hypothesis gains credibility. If the evidence contradicts the hypothesis, scientists may reject the hypothesis or refine it and then test again. It’s important to note that no result “proves” a hypothesis absolutely – instead, it increases or decreases our confidence in it. All sciences emphasize that conclusions are tentative and subject to revision if new evidence emerges. A hypothesis that survives many tests may become widely accepted, whereas one that fails a clear test will be reconsidered or abandoned. This step highlights the self-correcting nature of science: hypotheses evolve through iterative testing, and knowledge is continuously updated.

These steps form a cycle: after drawing conclusions, scientists often pose new questions or refine the original hypothesis and repeat the process. This iterative cycle of prediction, testing, and revision is common to every scientific discipline, enabling steady improvement of theories and models over time.

Shared Principles and Criteria Across Disciplines

Beyond the basic steps, there are several overarching principles in hypothesis testing that are shared by all fields of science:

• Use of Theoretical Models: All sciences rely on theories or models to generate predictions. Whether it’s Maxwell’s equations in electromagnetism or a supply-and-demand model in economics, the hypothesis usually comes attached to a theoretical framework. The predictions must logically follow from the hypothesis, and this linkage is what allows a fair test. In practice, scientists often say “If our model is correct, then under conditions A and B we expect outcome X.” Every field, even mathematics or logic, has an analog – for instance, mathematicians test conjectures by examining special cases or logical consequences in a proof-like manner. The common pattern is that a hypothesis gives a rule or relationship that can be checked against reality (or against logical consistency).

• Empirical Observation and Measurement: A hallmark of scientific testing is careful observation or measurement. Across disciplines, scientists take great care to obtain reliable data. Measurement is considered a hallmark of the scientific enterprise because it provides objective, quantitative evidence to compare with predictions. For example, chemists might measure reaction rates or spectra, geologists measure mineral compositions or seismic waves, psychologists administer standardized tests or surveys – but all are obtaining measurements that reflect the phenomenon of interest. Importantly, scientists strive to minimize bias and error during data collection (through controls, calibration, blinding, etc.), reinforcing the credibility of the comparison between prediction and outcome.

• Comparing Expectations to Reality: Every field explicitly frames its tests as a comparison between expectation and reality. This is evident in the language used across disciplines: “comparing measured X to predicted Y” is a ubiquitous phrase in physics, chemistry, biology, and beyond (as seen in the detailed breakdown for each field in the provided content). The hypothesis on trial yields an expected pattern, and the real-world data show what actually happens – the match or mismatch between the two is the signal. When a close match occurs, it suggests the underlying theory is capturing something true about the world; when a mismatch occurs, it flags that the theory might be incomplete or incorrect for those conditions.

• Statistical and Logical Evaluation: Because no measurement or observation is perfect, all sciences have criteria for deciding what counts as a meaningful match. In experimental and observational sciences, this often means using statistics. Statistical hypothesis testing is used widely to determine whether the agreement between prediction and observation is significant or just a fluke of random variatio. Common statistical tools (t-tests, chi-square tests, etc.) help quantify confidence in the results. In fields dealing with deterministic logic (mathematics, theoretical computer science, etc.), the criterion is logical consistency or proof: does the evidence (which could be a computed example or a derived theorem) uphold the conditions required by the hypothesis? In either case, there is a clear standard set for what it means to support or refute the claim. All disciplines also acknowledge uncertainty – scientists report uncertainties or error margins and assess whether the discrepancy from predictions is within acceptable bounds. This careful accounting for uncertainty is another universal practice.

• Refutability and Self-Correction: A common pattern is that hypotheses must be testable and refutable. In practice, this means scientists design tests that could potentially show the hypothesis is wrong – a principle often credited to falsifiability. If a hypothesis survives a tough test, it gains credence; if it fails, science treats that as valuable information too. All sciences embrace this idea that knowledge grows by eliminating incorrect explanations and refining partial ones. For instance, when an experiment in any field yields an unexpected result that contradicts a hypothesis, researchers will question their assumptions and methods, and often formulate a better hypothesis to fit the new evidence. This relentless error-correction is a unifying feature of scientific inquiry. As one source puts it, science “progress[es] while constantly testing, checking, and updating existing knowledge”.

• Reproducibility and Generality: Scientists in every discipline value replication – repeating tests to see if the same result occurs. A finding is much stronger if independent researchers can replicate it under the same conditions. This stems from the fundamental assumption that nature is consistent and not capricious: if an experiment or observation is repeated, it should yield a similar outcome if the hypothesis and conditions are truly understood. Thus, one common pattern is documenting methods in detail and encouraging others to verify results. In fields as different as particle physics and clinical psychology, you will find that key results are not accepted until they’ve been reproduced by others. Moreover, scientists seek generality – they test whether a hypothesis holds in different contexts or populations. For example, a biomedical finding might be checked in multiple patient cohorts, or an ecological hypothesis tested in different environments. Across the sciences, the aim is to find underlying rules that hold broadly, beyond the specific context in which they were first observed. If results only occur in one special situation and never again, scientists become skeptical. This drive for reproducible and generalizable knowledge ties all disciplines together in their pursuit of reliable truth.

• Communal Scrutiny: A final cross-cutting principle is that science is a communal effort, and hypothesis tests are subjected to peer review and scrutiny regardless of field. Researchers publish their methods and data so that others can evaluate and attempt to repeat the tests. Whether it’s an astronomer sharing telescope data or a sociologist describing survey procedures, transparency allows the community to check claims. Over time, a body of evidence accumulates through many investigators’ efforts, and consensus forms on which hypotheses are well-supported. This communal vetting process ensures that individual biases or errors are caught and that only hypotheses that consistently pass tests across the community become established knowledge.

Conclusion

In summary, all sciences – natural, social, formal, and applied – share a common logic in how they test hypotheses. Scientists ask questions, make predictions based on hypotheses, collect and examine evidence, and then decide whether the evidence backs the hypothesis or not. The terminology and apparatus might differ (a chemist’s spectrometer vs. a sociologist’s questionnaire, a physicist’s particle detector vs. an economist’s dataset), but the pattern of reasoning is fundamentally alike. Crucially, scientific inquiry everywhere emphasizes that conclusions are provisional and subject to revision. Instead of absolute proof, science strives for increasing levels of confidence in an explanation by gathering consistent, reproducible evidence. By continually applying this method – supporting or refuting ideas with observations – the sciences collectively inch closer to an accurate understanding of the world. This unity of approach, cutting across all disciplines, is what underpins the reliability of scientific knowledge and its capacity for self-correction over time. No matter the field of study, hypothesis testing remains a cornerstone of how we separate mere speculation from substantiated fact in a systematic, transparent way. Each experiment or analysis, in any discipline, is another turn of the crank in the scientific method – ensuring that our claims about nature (or logic, or society) stand up to the test of evidence and reason.

---

			Element
			Scope Category	4.2 Testing & Validation
			Sub-Item	Hypothesis Testing
Science Name Link	Branch Name Link	Field Name Link	Definition	Procedures for evaluating whether evidence supports or contradicts specific claims.
Natural Sciences	Physics	Classical Physics	Classical Mechanics	Comparing measured trajectories, accelerations, or energies with predictions from Newton’s laws, conservation principles, or analytic solutions to confirm or reject specific classical models.
Natural Sciences	Physics	Classical Physics	Classical Electromagnetism	Comparing measured field strengths, waveforms, induction behavior, and circuit responses against predictions from Maxwell’s equations, boundary conditions, constitutive relations, and wave models.
Natural Sciences	Physics	Classical Physics	Classical Thermodynamics	Comparing measured heat capacities, PV curves, entropy changes, or cycle efficiencies with predictions from equations of state and the laws of thermodynamics to confirm or reject proposed models.
Natural Sciences	Physics	Classical Physics	Statistical Mechanics (Classical)	Evaluating whether measured distributions, fluctuations, and correlations match predictions from Maxwell–Boltzmann statistics, equipartition theorem, or specific ensemble assumptions.
Natural Sciences	Physics	Classical Physics	Optics (Classical Wave Theory)	Checking whether interference spacing, diffraction envelope, polarization rotation, or refractive behavior matches predictions from wave equations, boundary conditions, or Maxwell-derived optical laws.
Natural Sciences	Physics	Classical Physics	Acoustics	Checking whether measured pressure fields, resonance frequencies, absorption coefficients, or impedance values match predictions from wave equations, material models, or acoustic boundary conditions.
Natural Sciences	Physics	Classical Physics	Continuum Mechanics	Comparing measured stress–strain curves, flow profiles, or deformation fields with predictions from constitutive laws, momentum balance, or flow models to confirm or reject a theoretical claim.
Natural Sciences	Physics	Classical Physics	Classical Field Theory	Evaluating whether measured field strengths, potentials, propagation speeds, or fluxes match predictions from classical field equations, boundary conditions, or conservation laws.
Natural Sciences	Physics	Classical Physics	Pre-Relativistic Frameworks	Evaluating whether measured trajectories, wave speeds, forces, or mechanical responses align with Newtonian predictions, Galilean transformations, or ether-based wave models.
Natural Sciences	Physics	Modern & Fundamental Physics	Quantum Mechanics	Comparing measured probabilities, spectral lines, interference patterns, tunneling rates, or spin statistics against predictions from quantum theory to confirm or challenge specific quantum models or interpretations.
Natural Sciences	Physics	Modern & Fundamental Physics	Relativistic Quantum Mechanics	Evaluating whether measured relativistic energies, spin polarization ratios, scattering cross-sections, or particle–antiparticle signatures agree with predictions of relativistic wave equations.
Natural Sciences	Physics	Modern & Fundamental Physics	Special Relativity	Comparing observed relativistic effects (timing differences, frequency shifts, particle energies) with theoretical predictions from Lorentz transformations and relativistic kinematics.
Natural Sciences	Physics	Modern & Fundamental Physics	General Relativity	Comparing measured orbital motions, timing variations, redshifts, or gravitational-wave signals with predictions from relativistic field equations to determine whether the theory matches observed behavior.
Natural Sciences	Physics	Modern & Fundamental Physics	Quantum Field Theory (QFT)	Determining whether measured scattering events, decay probabilities, or spectral shifts match predictions derived from QFT amplitudes, propagators, and symmetry rules.
Natural Sciences	Physics	Modern & Fundamental Physics	Particle Physics (High-Energy Physics)	Evaluating whether recorded events, scattering angles, decay signatures, or energy spectra match predictions from Standard Model calculations or extended particle-physics theories.
Natural Sciences	Physics	Modern & Fundamental Physics	Nuclear Physics	Comparing measured decay curves, reaction yields, binding energies, or gamma spectra with nuclear models such as the shell model, liquid-drop model, or reaction-theory predictions.
Natural Sciences	Physics	Modern & Fundamental Physics	Quantum Statistical Physics	Evaluating whether measured distributions, excitation spectra, coherence signals, or heat capacities match predictions from quantum-statistical models such as Fermi-Dirac or Bose-Einstein statistics.
Natural Sciences	Physics	Modern & Fundamental Physics	Quantum Optics	Checking whether measured photon statistics, fringe visibility, squeezing levels, Rabi oscillation behavior, or entanglement signatures match predictions from quantum-optical models.
Natural Sciences	Physics	Modern & Fundamental Physics	Quantum Information Science	Checking whether measured fidelities, entanglement correlations, coherence times, or error rates agree with predicted outputs of quantum circuits, protocols, or error-correction models.
Natural Sciences	Physics	Theoretical & Mathematical Physics	Symmetry & Group Theory	Evaluating whether measured transformation properties, conserved quantities, degeneracy patterns, or selection-rule behaviors agree with predictions derived from group structure and representation theory.
Natural Sciences	Physics	Theoretical & Mathematical Physics	Gauge Theory	Evaluates whether predicted event distributions, decay rates, or interaction patterns match observed data using statistical thresholds, confidence intervals, and goodness-of-fit tests.
Natural Sciences	Physics	Theoretical & Mathematical Physics	String Theory	Hypotheses are tested by comparing predicted particle spectra, coupling relations, symmetry patterns, or cosmological features to available data. Consistency checks replace direct experimental validation.
Natural Sciences	Physics	Theoretical & Mathematical Physics	Differential Geometry in Physics	Hypotheses are tested by comparing geometric predictions to measured trajectories, timing deviations, field behavior, or gravitational phenomena; statistical thresholds determine agreement or disagreement.
Natural Sciences	Physics	Theoretical & Mathematical Physics	Statistical Field Theory	Hypotheses are tested by comparing predicted correlation functions, critical exponents, relaxation times, or fluctuation magnitudes to measured data using statistical thresholds.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Mathematical Foundations of Quantum Mechanics	Tests whether observed frequencies, correlations, and outcomes match the predictions derived from operators, spectral rules, and state transformations.
Natural Sciences	Physics	Condensed Matter & Materials Physics	General Mathematical Physics	Tests whether physical measurements agree with solutions to equations, predicted symmetries, stability results, or other mathematically derived claims.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Solid-State Physics	Hypotheses are evaluated by comparing measured transport curves, spectra, or diffraction patterns against predictions from band structure, phonon models, or lattice theories.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Semiconductor Physics	Tests compare measured IV curves, CV data, spectra, recombination dynamics, or carrier density responses to predictions from semiconductor models such as drift-diffusion or band theory.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Magnetism & Spin Physics	Tests compare measured magnetization curves, hysteresis loops, resonance spectra, spin relaxation times, or magnon dispersion to predictions from spin models and magnetic energy formulations.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Superconductivity	Tests compare measured resistivity curves, magnetic response, critical field lines, energy gap signatures, and vortex behavior with predictions from superconductivity models and theoretical curves.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Soft Matter Physics	Hypotheses tested by comparing measured flow curves, viscoelastic moduli, scattering spectra, microstructure images, or relaxation dynamics to theoretical predictions or model curves.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Nanomaterials & Nanostructures	Hypotheses are tested by comparing measured spectra, size distributions, mechanical response, charge transport, or surface reactivity to predicted nanoscale behaviors based on theory or simulation.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Strongly Correlated Electron Systems	Tests compare transport curves, scattering spectra, magnetic signatures, and energy gaps against predictions from correlated electron models such as Hubbard or Heisenberg based theories.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Topological Matter	Hypotheses tested by comparing measured quantized responses, surface state spectra, band inversion signatures, and anomalous transport behavior to predicted topological models and invariant based classifications.
Natural Sciences	Physics	Condensed Matter & Materials Physics	Materials Science (Physical Perspective)	Tests compare measured stress strain curves, phase transitions, diffusion behavior, defect changes, conductivity trends, or thermal responses against theoretical predictions or computational models.
Natural Sciences	Physics	Astrophysics & Cosmology	Stellar Astrophysics	Hypotheses are tested by comparing observed luminosity, spectra, variability patterns, nucleosynthesis products, or remnant types with predictions from stellar structure and evolutionary models.
Natural Sciences	Physics	Astrophysics & Cosmology	Galactic Astrophysics	Hypotheses tested by comparing observed rotation curves, star formation trends, metallicity gradients, chemical enrichment tracks, and gas distributions with model predictions and dynamical simulations.
Natural Sciences	Physics	Astrophysics & Cosmology	Extragalactic Astrophysics	Hypotheses tested by comparing redshift distributions, cluster scaling relations, star formation histories, merger rates, and mass functions with predictions from theoretical and simulation based models.
Natural Sciences	Physics	Astrophysics & Cosmology	Cosmology	Tests compare observed power spectra, supernova distance curves, clustering statistics, abundance ratios, and cosmic microwave background features with predictions from cosmological models.
Natural Sciences	Physics	Astrophysics & Cosmology	High-Energy Astrophysics	Hypotheses tested by comparing observed spectra, light curves, pulsation timing, jet profiles, or burst signatures with predictions from accretion, shock, or magnetospheric models.
Natural Sciences	Physics	Astrophysics & Cosmology	Gravitational Astrophysics	Tests compare measured transit depths, spectra, radial velocity amplitudes, atmospheric retrieval outcomes, thermal phase variations, or orbital stability patterns against predictions from planetary, atmospheric, or interior models.
Natural Sciences	Physics	Astrophysics & Cosmology	Planetary Science & Exoplanets	Hypotheses tested by comparing observed transit data, radial velocity curves, spectra, temperature maps, phase curves, and orbital evolution patterns with predictions from atmospheric, interior, or dynamical models.
Natural Sciences	Physics	Astrophysics & Cosmology	Astrochemistry & Interstellar Medium Physics	Hypotheses tested by comparing observed line ratios, chemical abundances, ionization levels, dust extinction curves, or temperature distributions against predictions from chemical network or radiative transfer models.
Natural Sciences	Physics	Astrophysics & Cosmology	Astrobiology	Hypotheses tested by comparing observed atmospheric spectra, isotopic ratios, mineralogical signatures, or chemical disequilibria with predictions from biological, prebiotic, or abiotic models.
Natural Sciences	Physics	Plasma & Fluid Physics	Fluid Dynamics	Hypotheses tested by comparing measured velocity fields, pressure distributions, drag forces, turbulence statistics, or shock locations against predictions from analytic models or computational fluid dynamics.
Natural Sciences	Physics	Plasma & Fluid Physics	Hydrodynamics (Ideal Fluids)	Hypotheses tested by comparing measured wave modes, fluctuation spectra, reconnection rates, current sheet geometry, and plasma flows with predictions from MHD equations and numerical simulations.
Natural Sciences	Physics	Plasma & Fluid Physics	Magnetohydrodynamics (MHD)	Hypotheses evaluated by comparing observed field fluctuations, reconnection signatures, turbulence spectra, wave modes, or plasma flows with predictions from MHD models and numerical simulations.
Natural Sciences	Physics	Plasma & Fluid Physics	Plasma Physics (General)	Hypotheses tested by comparing observed fluctuations, dispersion relations, heating rates, instability growth, transport levels, or shock profiles with predictions from fluid or kinetic plasma models.
Natural Sciences	Physics	Plasma & Fluid Physics	Space & Astrophysical Plasmas	Hypotheses evaluated by comparing observed wave modes, turbulence spectra, reconnection signatures, shock parameters, or particle distributions with predictions from kinetic, fluid, or MHD models.
Natural Sciences	Physics	Plasma & Fluid Physics	Fusion Plasma Physics	Hypotheses tested by comparing measured temperature profiles, density profiles, fluctuation spectra, mode structures, neutron production rates, and confinement times with theoretical predictions from kinetic, MHD, and transport models.
Natural Sciences	Physics	Plasma & Fluid Physics	Computational Fluid & Plasma Physics	Hypotheses tested by comparing numerical outcomes such as wave dispersion, instability growth rates, shock structure, turbulence spectra, or transport coefficients against analytic theory, benchmark experiments, or higher fidelity models.
Natural Sciences	Physics	Plasma & Fluid Physics	Non-Newtonian & Complex Fluids	Hypotheses tested by comparing measured stress responses, relaxation curves, microstructure images, viscosity functions, band formation, or yield thresholds with predictions from constitutive or microstructure models.
Natural Sciences	Physics	Plasma & Fluid Physics	High-Energy-Density Physics (HEDP)	Hypotheses tested by comparing measured shock velocities, temperatures, densities, neutron yields, emission spectra, and instability amplitudes with predictions from hydrodynamic, radiation-transport, or EOS models.
Natural Sciences	Physics	Interdisciplinary & Applied Physics	Biophysics	Hypotheses tested by comparing measured reaction rates, force curves, firing rates, ionic currents, conformational distributions, diffusion profiles, or mechanical responses with predictions from biophysical models.
Natural Sciences	Physics	Interdisciplinary & Applied Physics	Medical Physics	Hypotheses tested by comparing measured dose distributions, count rates, voxel intensities, relaxation curves, scatter profiles, and reconstruction outputs with predictions from physics based imaging or dose models.
Natural Sciences	Physics	Interdisciplinary & Applied Physics	Geophysics	Hypotheses evaluated by comparing observed seismic travel times, anomaly maps, deformation fields, magnetic variations, heat flow patterns, or fluid responses with predictions from geodynamic, seismic, or EM models.
Natural Sciences	Physics	Interdisciplinary & Applied Physics	Optics & Photonics	Hypotheses evaluated by comparing measured spectra, interference patterns, phase shifts, intensity distributions, pulse shapes, polarization changes, or photon count distributions with theoretical predictions from optical or quantum optical models.
Natural Sciences	Physics	Interdisciplinary & Applied Physics	Computational Physics	Hypotheses tested by comparing simulation results to analytic solutions, benchmark problems, laboratory data, symmetry predictions, conservation laws, and known scaling behaviors across resolution or parameter sweeps.
Natural Sciences	Physics	Interdisciplinary & Applied Physics	Engineering Physics	Hypotheses evaluated by comparing measured stresses, modal frequencies, heat transfer rates, current–voltage curves, field strengths, optical outputs, or flow characteristics with model predictions from mechanical, thermal, electrical, or multiphysics simulations.
Natural Sciences	Physics	Interdisciplinary & Applied Physics	Chemical Physics	Hypotheses evaluated by comparing measured spectra, kinetic curves, scattering profiles, energy level populations, or transport coefficients with predictions from quantum chemical models, reaction rate theory, or statistical mechanics.
Natural Sciences	Physics	Interdisciplinary & Applied Physics	Environmental & Climate Physics	Hypotheses evaluated by comparing observed temperature trends, radiative fluxes, cloud behavior, ocean heat uptake, circulation changes, or ice-sheet evolution with predictions from climate models, physical theory, or statistical expectations.
Natural Sciences	Physics	Interdisciplinary & Applied Physics	Applied Materials Physics	Hypotheses evaluated by comparing measured spectra, transport curves, diffraction patterns, mechanical stress responses, thermal characteristics, magnetic hysteresis loops, or optical properties with predictions from theoretical or computational models such as DFT, MD, FEM, or phase-field simulations.
Natural Sciences	Chemistry	Physical Chemistry	Quantum Chemistry	Comparing predicted spectra, energies, or structures against empirical or high-level computational benchmarks.
Natural Sciences	Chemistry	Physical Chemistry	Statistical Mechanics	Comparing predicted distributions, correlations, or relaxation laws with empirical data or high-fidelity simulations.
Natural Sciences	Chemistry	Physical Chemistry	Thermodynamics	Comparing observed state-variable relationships with equations of state, thermodynamic identities, and predicted efficiencies of cycles.
Natural Sciences	Chemistry	Physical Chemistry	Kinetics & Reaction Dynamics	Comparing measured rate laws, activation energies, branching ratios, or molecular beam scattering data with predicted mechanistic models.
Natural Sciences	Chemistry	Physical Chemistry	Spectroscopy	Comparing predicted transition energies, intensities, selection-rule outcomes, or relaxation dynamics with measured spectra or time-resolved signals.
Natural Sciences	Chemistry	Physical Chemistry	Electrochemistry	Comparing observed current–voltage behavior, impedance spectra, and mass-transport signatures with predicted models (Nernst, Butler–Volmer, Tafel, diffusion laws).
Natural Sciences	Chemistry	Physical Chemistry	Surface & Interface Science	Comparing predicted adsorption sites, isotherms, energies, surface phases, and reaction pathways with observational or spectroscopic data.
Natural Sciences	Chemistry	Physical Chemistry	Colloid & Solution Chemistry	Comparing observed size distributions, solubility curves, DLVO predictions, aggregation rates, and CMC values against theoretical or simulation-based expectations.
Natural Sciences	Chemistry	Physical Chemistry	Chemical Physics	Comparing predicted spectra, cross-sections, lifetimes, branching ratios, wavepacket dynamics, or model trajectories with experimental measurements or simulations.
Natural Sciences	Chemistry	Organic Chemistry	Structural & Mechanistic Organic Chemistry	Comparing predicted mechanisms, intermediate structures, stereochemical outcomes, rate laws, isotope effects, and substituent effects with experimental data.
Natural Sciences	Chemistry	Organic Chemistry	Stereochemistry & Conformational Analysis	Comparing predicted conformer energies, stereochemical assignments, population ratios, J-couplings, NOE patterns, and optical rotation values with experimental results.
Natural Sciences	Chemistry	Organic Chemistry	Synthetic Organic Chemistry	Comparing predicted yields, regioselectivity, stereoselectivity, and functional-group compatibility against experimental outcomes, including test reactions and probe substrates.
Natural Sciences	Chemistry	Organic Chemistry	Physical Organic Chemistry	Comparing predicted LFER trends, rate laws, substituent effects, isotope effects, and transition-state structures with kinetic and thermodynamic data.
Natural Sciences	Chemistry	Organic Chemistry	Organometallic Organic Chemistry	Comparing predicted oxidative-addition/reductive-elimination steps, insertion sequences, ligand-field effects, and catalytic turnover data with experimental measurements and kinetic profiles.
Natural Sciences	Chemistry	Organic Chemistry	Polymer Chemistry (Carbon-based)	Comparing predicted copolymer composition, tacticity, molecular-weight distribution, propagation/termination constants, and sequence distribution models with experimental measurements.
Natural Sciences	Chemistry	Organic Chemistry	Bioorganic Chemistry	Comparing predicted binding affinities, catalytic efficiencies, isotope effects, pH-rate profiles, and substrate selectivity patterns with experimental kinetic and structural data.
Natural Sciences	Chemistry	Organic Chemistry	Natural Products Chemistry	Comparing predicted structures with NMR/MS data, testing biosynthetic hypotheses through isotopic labeling, validating pathway steps using enzyme assays, verifying activity–structure correlations.
Natural Sciences	Chemistry	Organic Chemistry	Medicinal Chemistry	Comparing predicted potency, selectivity, metabolic liability, and ADMET behavior against in vitro/in vivo assays, biochemical binding data, PK curves, and toxicity screens.
Natural Sciences	Chemistry	Inorganic Chemistry	Main-Group Chemistry	Comparing predicted geometries, oxidation states, periodic trends, cluster electron counts, acid/base behavior, and VSEPR/MO predictions with spectral, structural, and reactivity data.
Natural Sciences	Chemistry	Inorganic Chemistry	Transition-Metal Chemistry	Comparing predicted geometries, spin states, electron counts, redox sequences, LFSE trends, catalytic cycles, and substitution mechanisms with spectroscopic, electrochemical, and structural data.
Natural Sciences	Chemistry	Inorganic Chemistry	f-Block Chemistry	Comparing predicted oxidation states, 4f/5f covalency, spin–orbit coupling behavior, ligand-field effects, redox pathways, and coordination environments with spectroscopic, magnetic, radiometric, and computational data.
Natural Sciences	Chemistry	Inorganic Chemistry	Coordination Chemistry	Comparing predicted geometries, oxidation states, spin states, ligand-field splittings, stability constants, and substitution mechanisms with crystallographic, spectroscopic, kinetic, and electrochemical data.
Natural Sciences	Chemistry	Inorganic Chemistry	Solid-State Chemistry	Comparing predicted structures, bandgaps, conductivity, magnetic ordering, defect energetics, and phase stability with diffraction, spectroscopy, microscopy, calorimetry, and resistivity data.
Natural Sciences	Chemistry	Analytical Chemistry	Qualitative Analysis	Comparing predicted functional-group outcomes, ion-identity predictions, fragmentation pathways, and spectroscopic fingerprints with actual test results to confirm or reject analyte identity.
Natural Sciences	Chemistry	Analytical Chemistry	Quantitative Analysis	Comparing measured quantities with expected values, validating calibration models, testing linearity, checking for matrix effects, confirming accuracy with reference materials and spike recoveries.
Natural Sciences	Chemistry	Analytical Chemistry	Separation Science	Comparing predicted retention, selectivity, resolution, migration order, and extraction efficiency with observed chromatograms/electropherograms/extraction curves to confirm or reject mechanism-based expectations.
Natural Sciences	Chemistry	Analytical Chemistry	Instrumental Analysis	Comparing predicted spectra, chromatograms, mass distributions, voltammograms, resonance frequencies, and thermal transitions to measured data; validating instrument response models and calibration curves.
Natural Sciences	Chemistry	Biochemistry	Structural Biochemistry	Comparing predicted secondary/tertiary structures, motif/domain boundaries, stabilizing interactions, conformational changes, and allosteric mechanisms with data from XRD, cryo-EM, NMR, SAXS, HDX-MS, and MD simulations.
Natural Sciences	Chemistry	Biochemistry	Enzymology	Comparing predicted kinetic constants, inhibition patterns, catalytic mechanisms, conformational models, isotope effects, and TS predictions with experimental kinetic, binding, and structural data.
Natural Sciences	Chemistry	Biochemistry	Metabolism & Bioenergetics	Comparing predicted ATP yields, ΔG values, redox ratios, flux distributions, coupling stoichiometries, isotope-labeling patterns, and PMF behavior with experimental metabolomics, respirometry, calorimetry, and isotope-tracing data.
Natural Sciences	Chemistry	Biochemistry	Molecular Biology & Gene Expression	Comparing predicted expression patterns, TF-binding profiles, enhancer–promoter interactions, isoform ratios, chromatin accessibility, and ribosome loading with experimental data from qPCR, RNA-seq, ChIP-seq, ATAC-seq, and ribosome profiling.
Natural Sciences	Chemistry	Biochemistry	Cellular Biochemistry	Comparing predicted trafficking patterns, metabolic shifts, redox responses, ion fluxes, localization changes, and signaling dynamics with experimental data from fluorescence imaging, metabolomics, patch-clamp, and live-cell reporters.
Natural Sciences	Chemistry	Biochemistry	Membrane Biochemistry	Comparing predicted diffusion rates, fluidity, rafts, transport activity, curvature changes, gating events, and protein–lipid interactions with experimental results from FRAP, FRET, patch-clamp, AFM, cryo-EM, and lipidomics.
Natural Sciences	Chemistry	Biochemistry	Protein Chemistry	Comparing predicted folding curves, PTM effects, reactivity profiles, aggregation propensity, binding affinities, and stability changes with experimental outcomes from CD, DSC, MS, NMR, kinetics assays, and binding assays.
Natural Sciences	Chemistry	Biochemistry	Biochemical Genetics	Comparing predicted biochemical effects of mutations with experimentally measured enzyme kinetics, metabolite levels, stability changes, pathway flux, expression profiles, and phenotypic outcomes across genotypes.
Natural Sciences	Earth & Space Sciences	Geology	Mineralogy & Crystallography	Comparing predicted lattice parameters, symmetry, diffraction patterns, optical properties, vibrational modes, and phase boundaries with data from XRD, Raman/IR, optical microscopy, microprobe analysis, and thermal experiments.
Natural Sciences	Earth & Space Sciences	Geology	Petrology	Comparing predicted mineral assemblages, P–T paths, melt fractions, reaction sequences, and geochemical trends with data from thin-sections, XRD, microprobe chemistry, isotopes, and thermodynamic modeling.
Natural Sciences	Earth & Space Sciences	Geology	Structural Geology & Tectonics	Comparing predicted fault geometries, fold shapes, strain ellipsoids, shear-sense indicators, and plate-motion vectors with field measurements, seismic data, GPS geodesy, microstructures, and numerical-model outputs.
Natural Sciences	Earth & Space Sciences	Geology	Sedimentology & Stratigraphy	Sediment transport by traction/saltation/suspension; deposition when shear stress drops below critical threshold; erosion when shear stress exceeds critical threshold; diagenesis alters porosity/cementation; compaction reduces volume; accommodation changes from subsidence or sea-level variation.
Natural Sciences	Earth & Space Sciences	Geology	Geomorphology	Comparing predicted erosion rates, channel geometries, bedform evolution, sediment-flux relationships, slope responses, drainage reorganization, and shoreline or glacier change with field data, lab experiments, and numerical model output.
Natural Sciences	Earth & Space Sciences	Geology	Geophysics	Comparing predicted wave speeds, gravity/magnetic anomalies, EM responses, heat-flow patterns, and deformation signals with observations from seismic networks, gravimeters, MT arrays, GNSS, InSAR, and controlled-source surveys.
Natural Sciences	Earth & Space Sciences	Geology	Geochemistry	Comparing predicted element ratios, isotope signatures, saturation states, mineral stability fields, speciation patterns, reaction paths, and partition coefficients with experimental results, field data, and thermodynamic calculations.
Natural Sciences	Earth & Space Sciences	Geology	Paleontology	Comparing predicted phylogenetic relationships, morphological trends, diversity curves, isotopic signatures, and taphonomic pathways with field data, lab experiments, morphometric analyses, and stratigraphic patterns.
Natural Sciences	Earth & Space Sciences	Geology	Hydrogeology	Comparing predicted drawdown curves, plume migration rates, breakthrough curves, hydraulic conductivity distributions, recharge estimates, and reactive-transport predictions with measurements from wells, tracers, geophysics, and water-quality analyses.
Natural Sciences	Earth & Space Sciences	Geology	Economic & Applied Geology	Comparing predicted ore geometries, geochemical anomalies, alteration zoning, reservoir behaviors, trap integrity, and plume migration models with drill-core assays, logging data, seismic attributes, well tests, and geochemical sampling.
Natural Sciences	Earth & Space Sciences	Meteorology	Dynamic Meteorology	Evaluates dynamical hypotheses by comparing predicted wave patterns, vorticity evolution, instabilities, or jet responses with observed or simulated behavior.
Natural Sciences	Earth & Space Sciences	Meteorology	Thermodynamic Meteorology	Tests hypotheses about stability, convective initiation thresholds, lapse-rate regimes, cloud formation triggers, and radiative–moisture feedbacks by comparing predicted thermodynamic responses with observations or simulations.
Natural Sciences	Earth & Space Sciences	Meteorology	Cloud Physics & Microphysics	Tests hypotheses about nucleation thresholds, collision–coalescence efficiency, aerosol indirect effects, habit formation, and mixed-phase stability by comparing predicted particle properties with observational data.
Natural Sciences	Earth & Space Sciences	Meteorology	Synoptic & Mesoscale Meteorology	Tests hypotheses about frontogenesis, jet–streak forcing, convective initiation, mesoscale boundary interactions, cyclone deepening, and storm organization by comparing model output and observations.
Natural Sciences	Earth & Space Sciences	Meteorology	Atmospheric Physics & Chemistry	Tests hypotheses about chemical pathways, photolysis rates, aerosol formation, radiative forcing changes, and heterogeneous reaction mechanisms by comparing modeled tendencies with laboratory, field, and satellite observations.
Natural Sciences	Earth & Space Sciences	Meteorology	Climatology & Climate Dynamics	Tests hypotheses about feedback strength, climate sensitivity, ENSO mechanisms, circulation shifts, anthropogenic attribution, and ocean–atmosphere coupling by comparing model responses with observed trends and variability modes.
Natural Sciences	Earth & Space Sciences	Oceanography	Physical Oceanography	Comparison of predicted circulation patterns, heat/salt budgets, wave spectra, mixing rates, eddy behavior, and stratification changes with observations from CTDs, ADCPs, microstructure profilers, drifters, and satellite data.
Natural Sciences	Earth & Space Sciences	Oceanography	Chemical Oceanography	Comparing predicted chemical gradients, mixing relationships, carbonate-system responses, nutrient regeneration, redox transitions, or trace-metal cycling against bottle data, in situ sensors, and model outputs.
Natural Sciences	Earth & Space Sciences	Oceanography	Biological Oceanography	Comparing predicted biomass trends, bloom dynamics, nutrient limitation patterns, grazing responses, export flux, and microbial-loop behavior with observations from microscopy, flow cytometry, fluorometry, sediment traps, and incubation assays.
Natural Sciences	Earth & Space Sciences	Oceanography	Geological Oceanography	Comparing predicted sedimentation rates, stratigraphic boundaries, plume behavior, spreading rates, magnetic patterns, hydrothermal signatures, or facies distributions with seismic data, core chronologies, magnetic profiles, and geochemical signals.
Natural Sciences	Biology	Molecular Biology	Nucleic Acid Biology	Evaluating proposed mechanisms—e.g., testing whether a base modification alters transcription, whether a mutation affects folding, or whether a repair enzyme targets specific lesions—using quantitative molecular assays.
Natural Sciences	Biology	Molecular Biology	Gene Regulation & Epigenetics	Testing claims about regulatory effects by comparing expression changes after enhancer disruption, verifying methylation–silencing relationships, validating predicted TF-binding motifs, or assessing chromatin-state transitions.
Natural Sciences	Biology	Molecular Biology	Protein Biology	Testing claims about protein function, structural determinants, catalytic mechanisms, or interaction specificity through targeted assays, perturbation experiments, site-directed mutagenesis, or competitive binding studies.
Natural Sciences	Biology	Molecular Biology	Molecular Complexes & Information Flow	Testing claims about assembly requirements, information-flow pathways, allosteric propagation, stoichiometric necessity, or signaling fidelity through targeted perturbations, controlled binding assays, or disruption of candidate subunits.
Natural Sciences	Biology	Molecular Biology	Molecular Methods & Technologies	Testing performance claims—e.g., whether a platform increases sensitivity, whether a new probe improves specificity, whether an algorithm reduces noise—through controlled comparisons and benchmarking datasets.
Natural Sciences	Biology	Cell Biology	Cell Structure & Organelles	Comparing predicted vs. actual changes in organelle morphology, tracking shifts in localization after perturbations, validating proposed mechanisms of trafficking or fusion, and testing expected outcomes of protein targeting models.
Natural Sciences	Biology	Cell Biology	Cellular Dynamics & Trafficking	Evaluating predicted changes in vesicle speed, run length, fusion probability, or compartment transition rates following perturbations; testing mechanistic models of motor function, budding, docking, or maturation.
Natural Sciences	Biology	Cell Biology	Cell Signaling & Communication	Comparing predicted activation curves to empirical responses; testing whether pathway inhibition produces expected changes; validating phospho-state predictions; evaluating dose–response curves; testing models of oscillations, thresholds, or feedback control.
Natural Sciences	Biology	Cell Biology	Cell Cycle, Fate & Death	Testing predictions of phase timing, checkpoint arrest, differentiation outcomes, or apoptosis thresholds; validating kinetic models; verifying that perturbations produce expected cell-cycle delays, lineage changes, or death signatures.
Natural Sciences	Biology	Cell Biology	Cell Interactions & Microenvironment	Testing predictions of traction-force scaling, stiffness-dependent motility, gradient-guided migration, or junction–mechanotransduction coupling; validating computational models of ECM remodeling or collective behavior.
Natural Sciences	Biology	Cell Biology	Cell Morphology & Motility	Evaluating predicted effects of perturbations on migration speed, directionality, persistence, protrusion rate, traction-force distribution, or polarity stability; testing whether specific regulators drive expected morphological transitions.
Natural Sciences	Biology	Genetics & Evolution	Classical & Transmission Genetics	Using chi-square tests to evaluate Mendelian ratios, testing linkage hypotheses using recombination-frequency deviations, validating dominance models, and comparing predicted vs. observed phenotype distributions.
Natural Sciences	Biology	Genetics & Evolution	Population Genetics	Using HW equilibrium tests to validate null assumptions; evaluating selection models against observed allele-frequency trajectories; testing migration hypotheses through clinal patterns; testing drift expectations in small populations; validating LD decay predictions.
Natural Sciences	Biology	Genetics & Evolution	Quantitative Genetics	Testing additive vs. non-additive variance models, validating heritability estimates with parent–offspring regression, comparing expected vs. observed selection responses, and applying likelihood-ratio tests for model components.
Natural Sciences	Biology	Genetics & Evolution	Genomic Evolution & Comparative Genomics	Testing molecular-clock assumptions, evaluating orthology/paralogy predictions, assessing substitution-model fit, testing selection vs neutrality using dN/dS, validating synteny-based evolutionary inferences, and comparing predicted vs observed genome structural changes.
Natural Sciences	Biology	Genetics & Evolution	Phylogenetics & Systematics	Testing alternative tree topologies, evaluating monophyly vs non-monophyly, performing likelihood-ratio tests between models, testing clock vs relaxed-clock assumptions, and assessing support for competing species-delimitation or classification schemes.
Natural Sciences	Biology	Genetics & Evolution	Macroevolution & Speciation Theory	Testing alternative speciation modes (allopatric vs sympatric), comparing diversification models, testing rate shifts, validating reproductive isolation mechanisms, evaluating adaptive radiation hypotheses, and comparing predicted vs observed lineage-through-time patterns.
Natural Sciences	Biology	Physiology	Cellular & Tissue Physiology	Evaluating predictions about ion-channel function, transport regulation, mechanical coupling, tissue stiffness changes, or signal–response relationships using targeted stimuli or perturbations.
Natural Sciences	Biology	Physiology	Neurophysiology	Testing predictions about channel kinetics, synaptic efficacy, plasticity mechanisms, firing thresholds, or network-state transitions through structured stimulation or pharmacological manipulation.
Natural Sciences	Biology	Physiology	Endocrine & Regulatory Physiology	Testing predictions about hormonal control, feedback strength, receptor sensitivity, metabolic regulation, or endocrine-axis interactions using structured challenges (glucose-tolerance tests, ACTH tests, suppression tests).
Natural Sciences	Biology	Physiology	Cardiovascular & Respiratory Physiology	Evaluating predictions about flow–pressure relationships, gas-exchange efficiency, reflex responses, cardiac output regulation, and ventilation–perfusion matching using structured physiological challenges or pharmacologic tests.
Natural Sciences	Biology	Physiology	Metabolic & Energetic Physiology	Evaluating metabolic predictions through structured challenges (clamp protocols, exercise tests), hormone manipulations, substrate-switch tests, or temperature-change protocols.
Natural Sciences	Biology	Physiology	Renal, Fluid & Homeostatic Physiology	Evaluating predictions about filtration, reabsorption, secretion, osmotic gradients, RAAS activity, ADH sensitivity, acid–base correction, or compartment-volume shifts through structured physiological tests.
Natural Sciences	Biology	Developmental Biology	Cell Fate & Lineage Specification	Testing whether specific transcription factors are necessary or sufficient for fate acquisition; evaluating morphogen-threshold models; validating lineage trees against clonal data; testing bistable-regulatory predictions; comparing predicted vs observed specification boundaries.
Natural Sciences	Biology	Developmental Biology	Pattern Formation & Embryonic Axes	Testing predictions of reaction–diffusion models, validating threshold-response behavior, evaluating organizer necessity/sufficiency, testing segmentation-clock “clock-and-wavefront” predictions, and comparing predicted vs observed axis polarity patterns.
Natural Sciences	Biology	Developmental Biology	Morphogenesis & Tissue-Level Mechanics	Testing force-balance predictions, evaluating whether observed flows match mechanical models, validating predicted stress distributions after perturbations, testing strain–response relationships, and comparing predicted vs observed deformation trajectories.
Natural Sciences	Biology	Developmental Biology	Organogenesis & Multi-Tissue Assembly	Testing signaling-dependence of branch initiation, validating necessity/sufficiency of inductive tissues, evaluating lumen-pressure vs tension predictions, testing ECM-dependence of organ geometry, and validating branching-rule predictions (e.g., bifurcation frequency).
Natural Sciences	Biology	Developmental Biology	Growth, Timing, Regeneration & Life-Cycle Transitions	Testing whether growth-rate changes match predictions from nutrient/hormonal manipulation; validating regeneration-phase models; evaluating the necessity/sufficiency of timing regulators; testing circadian entrainment hypotheses; comparing predicted vs observed injury-response trajectories.
Natural Sciences	Biology	Developmental Biology	Evolutionary Development (Evo–Devo)	Testing whether specific regulatory changes drive morphological differences; evaluating enhancer necessity/sufficiency; comparing predicted vs observed spatial–temporal expression changes; testing homology predictions with GRN architecture; validating evolutionary timing shifts using controlled expression systems.
Natural Sciences	Biology	Ecology	Organismal Ecology	Evaluating predictions about habitat choice, thermoregulatory strategy, foraging decisions, performance curves, movement patterns, and physiological tolerance through controlled tests or comparative field data.
Natural Sciences	Biology	Ecology	Population Ecology	Evaluating predictions about density dependence, survivorship, reproductive output, carrying capacity, and dispersal by comparing observed demographic patterns against model expectations.
Natural Sciences	Biology	Ecology	Community Ecology	Evaluating predictions about competition, predation, niche partitioning, trophic cascades, community assembly rules, and diversity–stability relationships using controlled tests or comparative datasets.
Natural Sciences	Biology	Ecology	Ecosystem Ecology	Evaluating predictions about nutrient limitation, productivity drivers, decomposition rates, carbon balance, hydrologic dynamics, or trophic impacts by comparing observed ecosystem responses to mechanistic models.
Natural Sciences	Biology	Ecology	Landscape & Spatial Ecology	Evaluating predictions about fragmentation effects, connectivity benefits, dispersal routes, edge impacts, spatial autocorrelation, and spatial scaling using spatially explicit data and model comparison.
Natural Sciences	Biology	Ecology	Global Ecology & Earth-System Interactions	Testing predictions involving carbon–climate feedbacks, global nutrient constraints, tipping points, biome shifts, and atmospheric/oceanic circulation changes.
Formal Sciences	Logic	Proof Theory	Proof Calculi	Testing whether a rule is admissible, whether a formula is derivable, whether cut-elimination holds, whether normalization terminates, or whether two proofs are equivalent.
Formal Sciences	Logic	Proof Theory	Structural Proof Theory	Testing admissibility of structural rules, testing whether cut-elimination holds, verifying normalization, determining analyticity, checking whether permutation conversions preserve derivability.
Formal Sciences	Logic	Proof Theory	Proof Theory of Non-Classical Logics	Testing admissibility of non-classical structural rules, verifying preservation of modality or resource conditions, determining whether cut-elimination holds in each system, checking relevance or paraconsistency constraints, testing equivalence between labeled and unlabeled proofs.
Formal Sciences	Logic	Proof Theory	Ordinal & Strength Analysis	Testing whether a formal system corresponds to a given ordinal, checking whether a collapsing function correctly generates an expected ordinal, evaluating equivalence between ordinal-reduction procedures, and verifying consistency-strength comparisons.
Formal Sciences	Logic	Proof Theory	Proof Complexity	Testing whether certain tautologies require exponential proofs in specific systems, checking whether one system p-simulates another, verifying proposed lower bounds, evaluating automatizability claims, and determining whether proof-size reductions hold under system transformations.
Formal Sciences	Logic	Proof Theory	Automated & Interactive Reasoning	Testing whether a solver is complete for a fragment, checking soundness of new decision procedures, verifying tactic correctness via kernel acceptance, validating model generation, assessing rewrite-system confluence, and testing new heuristics across standardized benchmarks.
Formal Sciences	Logic	Model Theory	Structures, Languages & Interpretations	Checking whether structures satisfy specific sentences, whether embeddings preserve formulas, whether two models are elementarily equivalent, or whether definability claims hold.
Formal Sciences	Logic	Model Theory	Satisfaction & Definability Theory	Testing whether structures satisfy certain formulas; checking definability claims; verifying quantifier-elimination success; probing equivalence of formulas or types.
Formal Sciences	Logic	Model Theory	Quantifier Theory & Model Completeness	Testing equivalence of formulas after elimination; checking whether embeddings are elementary; verifying that existential/universal formulas behave as predicted; evaluating model-completeness claims.
Formal Sciences	Logic	Model Theory	Classification Theory	Testing whether a theory is stable, simple, NIP, or NSOP; verifying symmetry/transitivity of independence; checking whether rank assignments behave predictably; identifying dividing formulas.
Formal Sciences	Logic	Model Theory	Tame / O-Minimal Model Theory	Testing whether a structure is o-minimal, verifying cell decomposition existence, checking monotonicity of definable functions, validating dimension computations, testing tame behavior under expansions.
Formal Sciences	Logic	Set Theory	Axiomatic Foundations & Cumulative Hierarchy	Testing consistency of axioms relative to one another; checking consequences of transfinite recursion; evaluating rank computations; verifying well-foundedness or extensionality in constructed models.
Formal Sciences	Logic	Set Theory	Constructibility & Inner Models	Testing whether a structure satisfies condensation; checking iterability; evaluating fine-structure equations; determining whether large-cardinal-like features appear; testing minimality of inner models.
Formal Sciences	Logic	Set Theory	Large Cardinal Theory	Testing whether an embedding is elementary, verifying extender coherence, checking well-foundedness of ultrapowers, confirming large-cardinal criteria (e.g., measurability, supercompactness), analyzing reflection principles.
Formal Sciences	Logic	Set Theory	Forcing & Independence Theory	Checking whether a poset preserves cardinals, testing absoluteness of statements, verifying correctness of forcing relations (p \Vdash \varphi), determining collapse behavior, validating consistency or independence results.
Formal Sciences	Logic	Set Theory	Descriptive Set Theory	Testing whether a set is analytic, coanalytic, or projective; checking Borel rank; verifying reducibility relations; determining correctness of tree representations; validating determinacy-induced regularity.
Formal Sciences	Logic	Computability Theory	Models of Computation & Recursive Function Theory	Testing equivalence of computational models, verifying computability of specific functions under different encodings, checking simulation correctness (e.g., λ-calculus simulating Turing machines), validating recursion schemata, and testing whether functions are partial or total.
Formal Sciences	Logic	Computability Theory	Recursively Enumerable (r.e.) Sets & Degrees	Testing reducibility claims (A ≤_T B), checking completeness via reducibility to K, evaluating whether priority requirements are satisfied, confirming convergence of limit approximations, and testing for minimal or high/low degree properties.
Formal Sciences	Logic	Computability Theory	Reducibility & Degrees of Unsolvability	Testing whether A ≤ₜ B holds via simulation; testing completeness by reducing known hard sets to a candidate; testing incomparability with diagonalization; validating minimal-degree or minimal-pair constructions; checking jump relations (A <ₜ A′).
Formal Sciences	Logic	Computability Theory	Arithmetical & Analytical Hierarchies	Testing whether a set/problem is Σₙ⁰-, Πₙ⁰-, Σₙ¹-, or Πₙ¹-complete through reductions; testing equivalence of formulas under prenex transformation; checking jump correspondence predicted by Post’s Theorem; validating hierarchy placement with oracle-based computations.
Formal Sciences	Mathematics	Algebra	Group Theory	Testing normality via conjugation; verifying homomorphisms preserve operations; checking whether a proposed subgroup is closed; testing solvability or nilpotency via derived or central series; validating isomorphisms; testing group action transitivity.
Formal Sciences	Mathematics	Algebra	Ring Theory	Testing whether a subset is an ideal; testing primality or maximality; validating that a map is a ring homomorphism; checking if a ring satisfies Noetherian or Artinian conditions; testing factorization uniqueness; validating Gröbner basis correctness.
Formal Sciences	Mathematics	Algebra	Field Theory	Testing whether an element is algebraic by checking polynomial annihilation; testing separability by derivative/nonvanishing criteria; verifying normality via closure under embeddings; testing Galois correspondence predictions; checking whether valuations extend uniquely; verifying ramification indices and residue degrees.
Formal Sciences	Mathematics	Algebra	Module Theory	Testing submodule closure; verifying exactness at each stage of a sequence; testing whether a module is free/projective/injective/flat; validating decomposition predictions over PIDs; checking annihilator relations; testing compatibility of tensor and Hom constructions.
Formal Sciences	Mathematics	Algebra	Linear Algebra	Testing linear independence; verifying that transformations are linear; checking rank–nullity relationships; validating orthogonality; testing diagonalizability; checking decomposition correctness (A=UΣV*, A=PJP⁻¹, A=QR); validating numerical solutions by residual norms.
Formal Sciences	Mathematics	Algebra	Representation Theory	Testing irreducibility via invariants; checking Schur orthogonality; validating character identities; verifying highest-weight predictions; testing decomposition via tensor-product rules; confirming equivalences via intertwiner existence; validating functoriality in categorical settings.
Formal Sciences	Mathematics	Algebra	Universal Algebra	Testing whether an algebra satisfies a given identity; checking homomorphism preservation; validating congruence compatibility; confirming HSP closure properties; verifying free-algebra universal properties; testing whether two algebras belong to the same variety.
Formal Sciences	Mathematics	Algebra	Algebraic Combinatorics	Testing Schur positivity; verifying symmetric-function identities; checking tableau algorithms (RSK, jeu de taquin); validating unimodality/log-concavity conjectures; testing recurrence relations; validating Coxeter relations and reduced-word behavior.
Formal Sciences	Mathematics	Mathematical Analysis	Real Analysis	Testing continuity via ε–δ conditions; verifying convergence (pointwise, uniform, Lᵖ) by norms or supremum distances; checking differentiability via limit of difference quotients; testing integrability via Riemann vs. Lebesgue criteria; validating bounded variation or absolute continuity; verifying measure additivity.
Formal Sciences	Mathematics	Mathematical Analysis	Complex Analysis	Testing CR equations; checking holomorphy via differentiability and series convergence; validating Cauchy integral formula numerically; verifying independence of contour integrals; testing residue computations on multiple contours; validating analytic continuation consistency; testing classification of singularities (removable/pole/essential).
Formal Sciences	Mathematics	Mathematical Analysis	Functional Analysis	Testing boundedness of operators; validating completeness via Cauchy sequences; testing distinctions between weak vs strong convergence; checking compactness via finite-rank approximation; verifying spectral inequalities; testing duality via Hahn–Banach functional extension; validating self-adjointness or unitarity.
Formal Sciences	Mathematics	Mathematical Analysis	Harmonic Analysis	Testing boundedness of convolution operators; checking multiplier criteria (e.g., Mikhlin conditions); validating singular-integral behavior through size/smoothness tests; testing orthogonality of Fourier or wavelet bases; verifying inversion formulas; testing uncertainty inequalities; validating Plancherel/Parseval identities.
Formal Sciences	Mathematics	Mathematical Analysis	Differential Equations (ODE/PDE)	Testing existence/uniqueness assumptions; verifying stability hypotheses; checking regularity claims; validating conservation laws; testing numerical schemes for convergence; verifying blow-up criteria; testing operator coercivity in variational formulations; applying comparison principles; checking eigenvalue predictions.
Formal Sciences	Mathematics	Geometry & Topology	Differential Geometry	Testing whether a manifold is flat, verifying geodesic completeness, checking curvature calculations, validating compatibility conditions, determining whether a connection is torsion-free or metric-compatible.
Formal Sciences	Mathematics	Geometry & Topology	Algebraic Geometry	Testing smoothness via Jacobian criteria; checking dimension via Krull dimension; verifying ideal membership; validating cohomology computations; testing birational equivalence or moduli stability.
Formal Sciences	Mathematics	Geometry & Topology	Metric Geometry	Testing triangle inequality stability, verifying geodesicity, checking CAT(k) curvature bounds, validating quasi-isometry hypotheses, testing doubling or Poincaré properties, confirming GH-convergence.
Formal Sciences	Mathematics	Geometry & Topology	Point-Set Topology	Testing continuity via preimage-open sets; verifying compactness using open covers; checking connectedness via attempted separation; evaluating separation axioms; testing convergence through nets/filters.
Formal Sciences	Mathematics	Geometry & Topology	Homotopy Theory	Testing lifting properties in fibrations; checking exactness of long exact sequences; verifying homotopy equivalences; testing connectivity claims; validating Postnikov decomposition accuracy; testing stabilization behavior.
Formal Sciences	Mathematics	Geometry & Topology	Knot Theory	Testing isotopy via Reidemeister moves; validating polynomial invariant computations; confirming Seifert surface genus; testing prime decomposition; checking complement invariants like hyperbolic volume; verifying linking data.
Formal Sciences	Mathematics	Number Theory	Elementary Number Theory	Testing congruences; verifying gcd/lcm identities; checking multiplicativity of arithmetic functions; validating Diophantine solutions; testing primality; verifying modular inverses and cyclic-group orders.
Formal Sciences	Mathematics	Number Theory	Algebraic Number Theory	Testing factorization in rings of integers; checking discriminant and ramification data; validating norm/trace identities; verifying ideal-class group and unit-rank computations; checking Frobenius elements in Galois extensions.
Formal Sciences	Mathematics	Number Theory	Analytic Number Theory	Testing explicit formulas; validating functional equations; checking orthogonality of characters; verifying bounds on exponential sums; testing asymptotic predictions; probing zero-free regions; numerically testing conjectures (RH, GRH).
Formal Sciences	Mathematics	Number Theory	Arithmetic Geometry	Testing local solubility; validating reduction type; confirming height formulas; verifying Galois-representation behavior; checking Selmer rank predictions; testing Hasse principle; validating Néron model compatibility.
Formal Sciences	Mathematics	Number Theory	Modular and Automorphic Forms	Testing Hecke multiplicativity; validating functional equations; verifying eigenform status; checking Ramanujan-type bounds; confirming local–global factorization; testing modularity correspondences; verifying q-expansion consistency.
Formal Sciences	Mathematics	Number Theory	Transcendental Number Theory	Testing lower-bound inequalities; checking Baker-type estimates; validating height calculations; verifying independence of logarithms; testing whether auxiliary polynomials vanish to required order; checking Diophantine bounds against expected behavior.
Social Sciences	Anthropology		Human Evolutionary Anthropology	Testing adaptive hypotheses via morphology–function correlations; validating phylogenies with independent trait or genetic datasets; testing diet via isotopic consistency; evaluating migration models against genetic-distance matrices; testing niche-construction predictions; validating tool-use interpretations with experimental archaeology; testing life-history models using primate comparative datasets.
Social Sciences	Anthropology		Kinship, Descent & Domestic Organization	Testing whether descent rules correlate with residence patterns; validating kinship terminologies across contexts; testing alliance-theory predictions using marriage-exchange data; evaluating whether inheritance patterns match descent ideology; testing kin-support networks against demographic stress; validating household-production models; testing kinship effects on cooperation.
Social Sciences	Anthropology		Ritual, Cultural Practice & Symbolic Systems	Testing structural models (e.g., three-phase ritual process) against observed sequences; validating symbolic associations through free-listing and pile-sorting; testing whether ritual synchrony increases prosocial behavior; evaluating whether narratives encode cosmological oppositions; testing cultural consensus around symbolic meaning; validating cross-cultural patterns in taboo or ritual form; testing sensory–emotion correlations.
Social Sciences	Anthropology		Subsistence Systems, Environment & Human Adaptation	Testing optimal-foraging predictions against observed return rates; validating mobility models with GPS tracks; testing risk-reduction behavior against resource variance; examining domestication hypotheses with morphological/genetic signatures; validating niche-construction effects with soil/vegetation outcomes; testing intensification models against archaeological evidence; evaluating dietary reconstructions with isotopic cross-validation.
Social Sciences	Anthropology		Material Culture, Technology & Archaeological Interpretation	Testing functional hypotheses via use-wear/residue analysis; validating chaîne opératoire sequences; testing stylistic-transmission predictions; evaluating reduction-intensity models; testing whether spatial clustering corresponds to activity areas; validating raw-material sourcing claims via compositional matches; evaluating taphonomic vs cultural deposition hypotheses; testing tool complexity vs efficiency.
Social Sciences	Anthropology		Ethnographic Method & Comparative Analysis	Testing cultural consensus through agreement matrices; evaluating correlation between stated norms and observed behavior; testing cross-cultural predictions about kinship, ritual, or subsistence; validating semantic domains with cognitive-salience tests; testing diffusion hypotheses with network data; assessing ecological or political predictors of cultural traits in comparative datasets.
Social Sciences	Economics		Choice (Microeconomic Foundations)	Testing rationality axioms (WARP, SARP, GARP); testing utility maximization via revealed preference; validating expected-utility or prospect-theory predictions; testing risk parameters (CARA/CRRA) using lotteries; checking elasticity predictions; testing discounting models; validating first-order conditions via marginal analysis.
Social Sciences	Economics		Interaction (Markets, Strategy & Mechanisms)	Testing Nash equilibrium predictions; verifying incentive compatibility; testing competitive-equilibrium conditions; checking for price-taking vs strategic pricing; validating revenue equivalence; testing matching stability; detecting adverse selection or moral hazard; evaluating mechanism performance (efficiency, fairness, truthfulness).
Social Sciences	Economics		Aggregation & Dynamics (Macroeconomic Systems)	Testing monetary policy rules (e.g., Taylor principle); evaluating Phillips curve slope/stability; testing consumption Euler equation validity; validating RBC predictions against empirical moments; testing fiscal multipliers; checking cointegration among macro aggregates; testing shock identification schemes in SVAR models.
Social Sciences	Geography (Human)		Spatial Patterns & Spatial Analysis	Testing distance-decay predictions; evaluating clustering significance; validating gravity or Huff model fits; testing whether flows align with accessibility surfaces; validating spatial regression assumptions; comparing predicted vs observed land-use patterns; testing autocorrelation significance; validating hot-spot detection; examining whether network centrality predicts flow magnitude.
Social Sciences	Geography (Human)		Mobility, Flows & Connectivity	Testing gravity-model accuracy; validating distance-decay curves; evaluating whether accessibility predicts flow magnitude; testing clustering of high-flow corridors; validating network centrality as predictor of node importance; testing diffusion rates against observed adoption patterns; examining routing adaptation during disruption.
Social Sciences	Geography (Human)		Human–Environment Interaction & Landscape Modification	Testing whether specific human activities cause measurable changes in erosion, water flow, biodiversity, or soil fertility; validating land-cover classifications with ground truth; testing climate–land interaction models; evaluating whether settlement density predicts environmental degradation; assessing restoration efficacy; validating hazard-risk models; testing for anthropogenic signatures in geomorphological features.
Social Sciences	Geography (Human)		Place, Territory & Spatial Experience	Testing whether place attachment predicts spatial behavior; evaluating whether territorial markers alter movement patterns; validating cognitive maps against real navigation; testing if emotional valence correlates with spatial narratives; assessing whether contested spaces generate measurable behavioral avoidance; verifying if symbolic density predicts identity intensity; testing boundary perception via line-of-sight or affordance measures.
Social Sciences	Linguistics		Phonetics & Phonology	Testing predictions from feature systems; validating phonological rules or OT constraints; measuring contrast perception; confirming coarticulation effects; evaluating tone/stress assignment models; testing phonotactic predictions.
Social Sciences	Linguistics		Morphology	Testing morpheme segmentation hypotheses; validating feature–form mappings; evaluating productivity claims; checking rule/constraint predictions; confirming allomorph conditioning; testing morphological class membership.
Social Sciences	Linguistics		Syntax	Testing constituency via substitution/movement tests; validating locality constraints; evaluating agreement and case predictions; testing binding hypotheses; verifying feature-checking derivations; confirming dependency structures.
Social Sciences	Linguistics		Semantics	Testing compositional predictions; validating entailment and contradiction relations; evaluating scope preferences; testing presupposition projection; confirming semantic-type constraints; verifying event-structure interpretations; checking truth-conditional outcomes.
Social Sciences	Linguistics		Pragmatics	Testing predictions of implicature strength; validating presupposition projection; evaluating felicity conditions; verifying deixis interpretation; testing reference resolution accuracy; confirming cooperative-principle predictions; assessing discourse-coherence inferences.
Social Sciences	Political Science		Political Institutions & Formal Political Order	Testing veto-player predictions against policy stability; evaluating whether electoral rules produce expected levels of party fragmentation; testing judicial independence through decision autonomy measures; validating bureaucratic principal–agent models; assessing constitutional rigidity effects on amendment frequency; testing agenda-setting effects on legislative outcomes; evaluating institutional constraints on executive power.
Social Sciences	Political Science		Political Behavior, Mobilization & Collective Action	Testing causal effects of mobilization messages; evaluating identity-based voting/polarization hypotheses; validating threshold/cascade models against observed protest data; testing persuasion effects (e.g., elite cues, framing); evaluating grievance–opportunity models; testing turnout determinants; testing network contagion predictions.
Social Sciences	Political Science		Governance, Policy Formation & State Capacity	Testing corruption-reduction tools; validating principal–agent predictions; evaluating meritocratic vs politicized hiring effects; testing monitoring–compliance relationships; validating regulatory-impact models; assessing fiscal-capacity effects on implementation; testing decentralization’s effect on service delivery.
Social Sciences	Political Science		International Relations & Global Order	Testing deterrence vs compellence predictions; validating balance-of-power dynamics; evaluating whether alliances deter conflict; testing trade–peace hypotheses; validating institutional compliance predictions; testing theories of hegemonic stability; evaluating sanction effectiveness; validating crisis-bargaining models using event data; testing norm-compliance or norm-erosion theories.
Social Sciences	Psychology		Cognitive Processes & Mental Architecture	Testing predictions of cognitive models; verifying working-memory capacity constraints; validating attention-shift predictions; testing recognition/recall models; evaluating reasoning strategies; confirming decision-threshold predictions.
Social Sciences	Psychology		Learning, Conditioning & Behavioral Mechanisms	Testing predictions from associative-strength models; validating reinforcement–response contingencies; checking extinction-rate predictions; evaluating discrimination accuracy; confirming generalization gradients; testing habit-formation speed under controlled schedules.
Social Sciences	Psychology		Emotion, Motivation & Affect Regulation	Testing predicted emotion–arousal curves; validating motivational-drive effects on behavior; evaluating regulation-effort outcomes; confirming appraisal predictions; testing reward-prediction models; evaluating physiological–subjective convergence.
Social Sciences	Psychology		Development, Individual Differences & Psychometrics	Testing factor-structure predictions; validating trait–outcome correlations; assessing developmental-stage hypotheses; evaluating item functioning; testing measurement-invariance across groups; checking growth-curve predictions.
Social Sciences	Sociology		Social Interaction Mechanisms	Testing predictions about norm compliance, role-performance accuracy, emotional contagion, alignment patterns, impression-management success, and micro-power dynamics through coded behavioral data.
Social Sciences	Sociology		Social Structure Mechanisms	Testing predictions about resource distribution, mobility likelihood, boundary permeability, institutional bias, stratification stability, rule-enforcement effects, and structural path dependence.
Social Sciences	Sociology		Social Network & Relational Dynamics	Testing homophily hypotheses; evaluating triadic-closure probabilities; testing influence/diffusion mechanisms; assessing centrality effects; validating community-detection results; testing robustness of network evolution models.