Our Science / Foundations & method
Nature already works. We want to understand why. Recognition Science starts with physical distinctions and asks which laws follow from making, comparing, and recording them consistently.
I started by learning about empirical observations and asking where our accepted explanations left something unexplained.
When an explanation left an anomaly, I wanted to understand what had gone wrong. When a law worked, I wanted to know why. An accurate description matters, but it leaves a further question: what makes nature behave that way?
That question became Recognition Science. We look for the structure behind the observations, make the reasoning explicit, and check the result.
Recognition Science is our account of nature, and each claim remains answerable to proof and observation. The laws we seek to explain were at work before we gave them names.
Here, recognition means a physical distinction made available for comparison and recording. A detector registering a change is a simple example. The word does not require a person watching, or an intention inside the detector.
Jonathan Washburn
Founder, Recognition Physics Institute
We use seven rules to keep the investigation accountable. They apply equally to our work and to the explanations we examine. Each conclusion needs an argument or evidence that reaches the claim being made.
Check the observation, uncertainty, calculation, and claimed conditions. A persistent conflict with a prediction means something in that tested account must change. The cause may lie in the proposed law, an auxiliary assumption, or the measurement model; the discrepancy alone does not identify which. For a statistical prediction, a rare outcome is not automatically a contradiction. We investigate the conflict without protecting a preferred story, including our own.
We seek one consistent physical account. The same underlying rules can produce different effective behavior as scale, temperature, coupling, or experimental conditions change. Derive those changes and state where each description applies. A transition between regimes needs a mechanism. We examine existing explanations on the same terms as our own.
Words such as “observer,” “choice,” and “information” need operational meanings: what interacts, what changes, and what record remains? Human intention must not enter unless the process actually involves it. “Quantum” is not a synonym for “small”; quantized behavior has been measured in superconducting circuits. The operational account lets us ask what the apparatus does, independently of the language used to describe it.
An empirical law can be well established before its deeper origin is known. Our standard for a complete fundamental explanation goes further: show why the law follows, what premises it needs, and which alternatives are excluded. A derivation must expose its starting conditions and justify them where possible. An unexplained premise remains visible.
For every symbol or idealization, ask what physical distinction, operation, or relationship it represents and where the representation applies. Mathematics necessarily uses abstractions. Keep those that make the reasoning precise, and remove unnecessary assumptions or representations that conceal it. A useful mathematical object is not automatically an additional physical entity.
A proposed entity or mechanism can be worth investigating before it is observed. State what motivates it, what follows from it, and how it could be tested. Its ability to repair a calculation does not establish its physical existence. Strings, extra dimensions, and proposed RS structures face the same standard. No ingredient becomes established merely because an explanation needs it.
Something can differ from something else, and an account must remain consistent about those differences. These are our starting commitments. We pursue fundamental laws with no freely adjustable parameters, but that property must be established by the derivation. A choice of units, a measured initial condition, and a fitted fundamental constant play different roles and must be identified separately.
Two examples show these rules at work. Decoherence theory derives the suppression of observable interference through interactions with the environment while retaining quantum dynamics; it does not by itself settle the whole measurement problem. The Higgs field began as a theoretical proposal with testable consequences, and experiments later observed a particle compatible with the predicted boson. A rigorous method must permit such proposals while distinguishing their motivation from their confirmation.
A result is forced when every realization satisfying the stated conditions has that result. To avoid it, at least one of those conditions must fail.
A working example shows that a result is possible. A forcing proof goes further: it excludes every alternative within the stated conditions. The result and the conditions that require it belong together.
Our companion page, The Forced Elements of Recognition Science, follows five concrete results and the reasoning behind them. It also explains what we mean by “for all practical purposes, forced”.
Consider a positive scale factor, λ. If one uniform step scales each level by λ, and the next level is the sum of the previous two, then:
λ² = λ + 1.
The only positive solution is the golden ratio, φ = (1 + √5) / 2. Within those conditions, φ is forced. The RS hierarchy derivation supplies the join and comparison conditions that lead to this equation. Applying it to a physical system also means establishing that the system has that structure.
RS already has a proved core of forcing results, including the comparison-cost and hierarchy results discussed here. The larger project is to extend that chain, replacing freely chosen physical postulates with necessities. Distinction gives the simplest foundational example: even denying that distinctions exist uses a difference between the denial and what it denies.
Formal proofs still have definitions, logical rules, and stated premises. “No additional physical axiom” means a physical rule has been derived instead of inserted. Each premise must be traced to its own reason, and each physical interpretation to the process it describes.
A cycle through two distinct states and a cycle through three are both consistent mathematical systems. Distinction and consistency alone therefore leave this choice open. A theorem that selects one must supply further structure and explain its role.
Recognition Science names the whole effort. Within it, we distinguish what has been established and how far the result reaches. These categories describe the basis of a claim; a universally forced result also applies to our reality when its conditions hold here.
Every theorem has a stated scope. The distinction below is whether its required structure is itself necessary, established in the physical setting, or supplied as an input. Measurements are reported separately with their uncertainties; an experimental finding is not turned into a theorem by assigning it a category.
01 / Universally forced
The result holds in every admissible realization of the stated distinction and consistency conditions. No feature peculiar to our universe can be silently added to this category.
Example: an act that distinguishes an assertion from its denial already exhibits a distinction. The claim covers acts that preserve that difference in their representations.
02 / Physically forced
A necessity proof is joined to an account of why its conditions hold for the physical process in question. This establishes more than agreement with a measurement: it explains why the result must follow in that setting.
For example, the RS spatial result selects three dimensions for the specified realization of persistent loop pairing. The loop representation and its persistence conditions belong to the claim. Merely writing down a three-dimensional example would not establish necessity.
03 / Conditional theorems
A mathematical result can be fully proved while the structure, state, or initial conditions it describes are not themselves uniquely forced. The conclusion is exact under those conditions. Whether nature selects them is a separate question.
For three binary coordinates, there are exactly eight configurations. That is a theorem. By itself it neither selects those coordinates as physical space nor proves that a physical process takes eight ticks.
04 / Inferred elements
Observations and established results can point toward a mechanism before its necessity has been demonstrated. We state the inference, its support, and what would change it. A promising explanation remains an inference until the missing steps are supplied.
Agreement between a calculation and a measurement can support a proposed physical identification. That agreement alone does not prove the identification is unique.
“Not yet shown to be forced” and “shown not to be forced” are different conclusions. The second requires an admissible alternative. We keep that distinction visible.
For a positive ratio x, the canonical comparison cost is:
J(x) = ½(x + 1/x) − 1.
It is zero at a match, positive away from a match, and unchanged when the comparison is reversed. Comparing twice as much and half as much gives the same cost: ¼.
Those properties alone do not uniquely select the formula. The uniqueness proof shows that a nonnegative cost satisfying the composition law and the stated quadratic calibration has exactly this form. This is what we mean by giving a law a reason: state the conditions and prove what they force.
The same care carries into physics. A dimensionless comparison cost and an energy measured in joules have different jobs. Connecting them requires a derived physical relationship and a stated unit of measurement.
We aim to explain the laws of reality as a chain of forced results, with every step accounted for. The proved comparison and hierarchy results give us places to build from; the unfinished connections define the work ahead.
The framework must also distinguish a law from a particular history. If the same laws permit two different states, selecting the state requires more information. A claim that even that information is forced needs its own derivation.
A successful chain must reach the quantities we can observe. We use measurements to check those connections, inferences to pursue explanations, and proofs to establish what the stated conditions require.
Work through comparisons, the golden hierarchy, space, and records.
The comparison law, its conditions, and its uniqueness proof.
The structural conditions for consistent comparison ledgers.
The development of arithmetic and further mathematical structure.