LINGENIC
Lingenic is a notation. Not a programming language. Not an ontology. Not a query language.
Mathematics for structure. Natural language for content. Any human language.
The name derives from Latin lingua and Greek -genic. Arising from language.
THE DESIGN
Seven principles.
Compose known primitives. No new symbols invented. Everything is drawn from existing Unicode mathematical operators.
Separation of concerns. Math handles structure. Natural language handles content.
Language-agnostic. Works in English, Japanese, Russian, Arabic, or any language.
Granularity-scalable. The same framework expresses statements from coarse to forensic.
Parenthetical, single-line capable. Every statement can fit on one line.
Unicode-native. Leverages the full Unicode mathematical operators block.
Descriptive only. It describes knowledge. It does not query or command.
THE COMPONENTS
Foundational mathematics as substrate. Arithmetic, algebra, standard relations, numeric types, function notation. This is the floor everything stands on.
On top of that substrate, thirteen specialized formal traditions.
Propositional logic. Frege, Russell. 1879, 1910.
Modal logic. Lewis, Kripke. 1918, 1959.
Temporal logic. Pnueli. 1977.
Epistemic logic. Hintikka. 1962.
Deontic logic. Von Wright. 1951.
Probability theory. Kolmogorov. 1933.
Counterfactual causation. Lewis. 1973.
Interventionist causation. Pearl. 2000.
Type theory. Church, Martin-Löf. 1940, 1972.
Lambda calculus. Church. 1936.
Dynamic logic. Pratt, Harel. 1976, 1979.
Set theory. Cantor, Peano. 1874, 1889.
Relational algebra. Codd. 1970.
The innovation is not any single component. It is the composition. These traditions developed in disciplinary silos. Modal logicians did not talk to probabilists. Type theorists did not talk to causation researchers. Database theorists did not talk to logicians.
Lingenic composes them.
METADATA
The left outer join operator from relational algebra attaches metadata to logical statements.
□(E = mc²) ⟕ {src: Einstein, year: 1905}
The metadata supplements but does not alter the primary statement. This is exactly the right relationship.
Logical notation has never had a clean mechanism for attaching provenance, confidence, and attribution. The outer join solves this.
ISOMORPHISM
The notation works across languages because structure is invariant.
∀x(human(x) → mortal(x))
∀x(人間(x) → 死ぬ(x))
∀x(человек(x) → смертен(x))
The logical structure is identical. Only the predicate names change. Translation becomes: preserve structure, map lexicon.
GRANULARITY
The same notation scales from vague to forensic.
Coarse: happened(something, recently)
Casual: sat(cat, mat)
Specific: sat(the_orange_cat, on(the_welcome_mat)) ∧ at(this, yesterday_afternoon)
Precise: adds ISO timestamps, durations.
Forensic: adds entity IDs, mass, material, observer attribution, confidence levels.
Most knowledge representation systems force a single granularity level. Lingenic makes granularity a spectrum within the same notation.
WHY NOW
The components existed for over a century. They were never combined.
Disciplinary silos. Each field published in its own journals.
No purpose without execution. A pure notation with no proof engine seemed useless.
Formalists reject natural language. Mixing it in felt like contamination.
No reader existed. Humans prefer prose. Machines need code. Neither benefited from the hybrid.
Unicode was unavailable. You could not practically type ∀x(人間(x) → 死ぬ(x)) before UTF-8.
Knuth's insight was not generalized. Knuth showed that formal structure plus natural content works for algorithms. Nobody extended it to knowledge.
Metadata had no home. No formal mechanism existed for attaching provenance to logic.
THE READER
AI models are the first reader that benefits from both mathematical structure and natural language content simultaneously.
AI is trained on logic textbooks, code, natural language, and multiple human languages. It is the ideal consumer of a notation that combines all four.
The reader existed nowhere before. The reader exists now.
---
Lingenic
2026