Start Here (SA)
The easiest path for understanding Semantic Algebra in this repository.
Step-by-Step Path
- Read
README.md(what SA means here, and what it is not). - Read
SA_BOOK/00_prologue.md(the four-people-in-a-room framing). - Read
SA_BOOK/00b_before_you_object.md(anticipated critiques with structural responses). - Read
SA_BOOK/01_the_lossy_channel.md(the foundational claim about natural language). - Read
SA_BOOK/02_domain_binding.mdandSA_BOOK/03_the_projection_problem.md(the two structural mechanisms that occlude invariants). - Read
SA_BOOK/04_the_axiom_and_the_invariant.md(the formal axiom). - Read
SA_BOOK/05_the_library_of_invariants.md(the catalogue: ι₁ through ι₁₀). - Read
SA_BOOK/06_the_strip_operator.md(S — the analytical operator). - Read
SA_BOOK/07_the_recontextualization_operator.md(π — the synthetic operator). - Read
SA_BOOK/08_the_seven_text_experiment.md(positive validation). - Read
SA_BOOK/09_the_discrimination_test.md(negative validation). - Read
SA_BOOK/10_the_self_correction.md(case study: the Ungaretti correction). - (Optional) Read
SA_BOOK/10b_the_ghost_observer.md,11_connections.md,12_implications.md,13_epilogue.md.
If You Only Want the Bottom Line
- SA gives you two operators (S and π) and a library of 10 invariants.
- S extracts structural content from natural language. π re-projects that content into any target domain.
- The round-trip
S(π(ι, 𝔻)) = ιis the integrity test. - The method is procedural, replicable, and falsifiable.
- Most expressions, when stripped, contain no invariant — the rarity of invariants is what makes the method operationally useful.
If You Want the Single-File Version
SA_FULL/Semantic_Algebra_Foundations_EN.md contains the full content in compact form (~580 lines).
For the extended manuscript with case studies and additional context: SA_FULL/Semantic_Algebra_Complete_Manuscript.md (~4770 lines).
Cross-Reference to PA
PA formalises the space, metric, and operators that explain why SA works. The SA → PA reading path:
- Finish the SA chapters above.
- Read
../PA/PA_BOOK/appendix_c_sa_pa_equivalences.mdfor the complete correspondence table. - Read
../PA/PA_BOOK/09_strip_and_recontextualisation.mdfor the SA-as-PA-restriction theorem.