ReferenceLæ ⇌ Σ
Laegna vs classical sciences
Where Laegna complements classical disciplines, where it re-notates them, what it adds, and where its coverage is still a sketch. Assumes the repos and surrounding ecosystem listed on the Sources page.
Table
Coverage, API surface, and status
| Field | Classical | Laegna | API surface | Coverage |
|---|---|---|---|---|
| Classical logic | Boolean true / false, propositional and predicate calculi. | Two-bit truth (t, f) — Boolean is the degenerate case; contradiction and unknown are ordinary values. | FuzzyLogecs primitives — every classical inference rule survives when (t, f) collapses to opposites. | Full |
| Real analysis | ε–δ limits, ℝ, standard functions. | Real numbers extended with statistical digits and openness markers; infinity is a calibrated arithmetic, not a limit. | LaeMath / MathFuncs, LaeArve axioms. | Reframed |
| Set / infinity theory | Cantor hierarchies, ZFC. | Infinity logex with an axiomatic parallel (SimplyAboutInfinities · Axiomatic). | InfinityAndZero theorem set; cross-validated by laegna.notaku.site. | Full |
| Probability & statistics | Kolmogorov axioms as a bolt-on to real analysis. | StaTesc digits (U, ∪, ∩, V, W, ∅) carry uncertainty inside each numeral; probability is foundational, with three axioms (associativity, band-precedence, uncertainty monotonicity). | LaeStaDesc / StaTesc — see the Statistics page. | Full |
| Calculus | Leibniz / Newton derivatives and integrals. | Handheld calculus — gestural presentation over the same operations, with two-bit truth propagating through them. | spireason.neocities.org/#handheldcal. | Full |
| Newtonian / relativistic / quantum physics | Separate regimes with conversion constants. | Three lanes of one Lane geometry (LaeLane: loglinexp → linlin → lin). | LaeLane growth-function hashing, laGEOsis geometric substrate. | Partial |
| Thermodynamics | Zero-states, energy flows, entropy — engineering discipline. | Same objects promoted to a shared math paradigm; any efficiency-maximising machine already speaks it. | Logex runtime, exponometer.app. | Full |
| Chemistry / alchemy | Reaction kinetics, thermodynamic potentials. | Alchemy as transformation calculus between zero-states. | Natural Logecs (via thermodynamics). | Sketch |
| Social sciences | Empirical, statistical, model-heavy. | Society as statistical dynamics of collectives; soft-karma appears as measurable pressure. | Natural Logecs (soft-spiritual reproduction). | Partial |
| Philosophy of mind / ethics | Descriptive philosophy; formal logic explains an ideal world only. | Spiritual Reasoning Logecs models experience, improvisation and the ideal ↔ real contrast; Dukkha and Treth become simulable objects. | SpiritualReasoningLogecs — see the Logecs of Mind page. | Full |
| Theology / philosophy of religion | Outside the sciences. | Rebuilt in SpiReason's paradigm-compatible language, then scrutinised on the same basis as physics. | SpiReason + Alignment table. | Reframed |
| Computer science | Turing / lambda / physical computing. | Logex — Laegna Logecs Computing — as the runtime for two-bit and statistical arithmetic. | Logex; exponometer.app as reference applet. | Partial |
Reading key
What the statuses mean
- Full — Laegna provides a complete, working notation for the field.
- Reframed — the classical field survives inside Laegna but its foundations are restated (e.g. probability becomes foundational).
- Partial — the shared notation exists; not every subdiscipline is worked out yet.
- Sketch — the entry point is defined, systematic development pending.
On being a language
Why the comparison matters
For Laegna to be a common language it has to be more than a science. A calendar and a calculator are used by materialist and religious people on neutral basis — for orbits and for Bible codes. Laegna extends that neutrality to the whole notation: given any model, it seeks its measure and units, its internal and external coherence, and its consistency with what is already known — regardless of the field the model was born in.