Agustin V. StartariJul 16, 2025

New release – Compiled Norms: Towards a Formal Typology of Executable Legal Speech

🔍 Key contributions:
• Formal grammar criteria
• Validation schema with κ = 0.81 inter-rater agreement
• Parser hot-swap to Spanish civil-law tokens (95 % coverage)

📄 Full paper: https://doi.org/10.5281/zenodo.15881325

#LegalInformatics
#AIandLaw
#SyntacticAuthority
#eGovernance
#FormalGrammar
#LegalTech
#agustinvstartari
#ArtificialIntelligence
#HumanitiesCommons
#social
#Law

Compiled Norms: Towards a Formal Typology of Executable Legal Speech

Abstract This article introduces a formal typology of executable legal speech. Building on the concept of the regla compilada (compiled rule), it identifies the syntactic conditions under which a legal expression becomes executable by non-human systems. The analysis distinguishes declarative from compiled legal language and proposes four structural criteria for computability: position within the Chomsky grammar hierarchy, closure of rule structure, level of semantic ambiguity, and determinism of parsing. Instead of interpreting legal meaning, the article isolates the formal properties that permit legal norms to function as executable code. The objective is to define a machine-readable grammar of authority in which execution displaces interpretation, and structural form triggers legal action. DOI: https://doi.org/10.5281/zenodo.15881325 This work is also published with DOI reference in Figshare https://doi.org/10.6084/m9.figshare.29562293 and Pending SSRN ID to be assigned. ETA: Q3 2025.   Resumen Este artículo introduce una tipología formal del lenguaje legal ejecutable. A partir del concepto de regla compilada, identifica las condiciones sintácticas bajo las cuales una expresión jurídica se vuelve ejecutable por sistemas no humanos. El análisis distingue entre lenguaje jurídico declarativo y lenguaje jurídico compilado, y propone cuatro criterios estructurales para su computabilidad: posición en la jerarquía gramatical de Chomsky, cierre de la estructura normativa, nivel de ambigüedad semántica y determinismo en el parsing. En lugar de interpretar el significado legal, el artículo aísla las propiedades formales que permiten que las normas jurídicas funcionen como código ejecutable. El objetivo es definir una gramática de la autoridad legible por máquinas, en la que la ejecución reemplace a la interpretación y la forma estructural active la acción jurídica.

Zenodo
Agustin V. StartariJul 13, 2025

📘 New Article Published: Grammar Without Judgment
Author: Agustín V. Startari
DOI: https://doi.org/10.5281/zenodo.15783365
Series: Grammars of Power
Published: July 3, 2025

🔗 Read on Zenodo: https://doi.org/10.5281/zenodo.15783365
🗂 Mirror on SSRN: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5334549
🖥 Author site: https://www.agustinvstartari.com
#AIethics #FormalGrammar #ExecutablePower #HumanitiesCommons #AI #Judgment #LLM #Accountability #PostReferentialAuthority #Linguistics
#AI
#CriticalTheory #agustinvstartari #ArtificialIntelligence #DiscourseAnalysis

Grammar Without Judgment: Eliminability of Ethical Trace in Syntactic Execution

This article advances a new theoretical hypothesis: a regla compilada, defined as a Type-0 production in the Chomsky hierarchy (Chomsky 1965, 101-103; Montague 1974, 55-57), can eliminate the ethical trace embedded in syntactic operations without resorting to semantic suppression. Grounded in the notion of the soberano ejecutable (Startari 2025, 12-16) and located within the Executable Power canon (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), the paper argues that ethical judgment, treated here as a syntactically traceable node, can be structurally excised through a deletion rule applied during derivation. Existing research in algorithmic alignment and computational ethics (Anderson 2024, 89-92; Floridi 2023, 143-147) has not addressed the strictly syntactic eliminability of moral judgment, therefore this proposal establishes a novel logical vector toward operational grammars that function without ethical residues. DOI: https://doi.org/10.5281/zenodo.15783365 This work is also published with DOI reference in Figshare https://doi.org/ 10.6084/m9.figshare.29447060 and Pending SSRN ID to be assigned. ETA: Q3 2025.   Este artículo presenta una nueva hipótesis teórica: una regla compilada, definida como producción Tipo 0 en la jerarquía de Chomsky (Chomsky 1965, 101-103; Montague 1974, 55-57), puede eliminar la traza ética incrustada en las operaciones sintácticas sin recurrir a supresión semántica. Basado en la noción de soberano ejecutable (Startari 2025, 12-16) y enmarcado en el canon de Executable Power (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), el trabajo sostiene que el juicio ético, concebido como nodo rastreable sintácticamente, puede ser extirpado de forma estructural mediante una regla de borrado aplicada durante la derivación. La literatura existente sobre alineación algorítmica y ética computacional (Anderson 2024, 89-92; Floridi 2023, 143-147) no aborda la eliminabilidad estrictamente sintáctica del juicio moral, por lo tanto, esta propuesta establece un vector lógico novedoso hacia gramáticas operativas sin residuos éticos.

Zenodo
Agustin V. StartariJul 6, 2025

📘 New Article Published: Grammar Without Judgment
Author: Agustín V. Startari
DOI: https://doi.org/10.5281/zenodo.15783365
Series: Grammars of Power
Published: July 3, 2025

🔗 Read on Zenodo: https://doi.org/10.5281/zenodo.15783365
🗂 Mirror on Figshare: https://doi.org/10.6084/m9.figshare.29447060
🖥 Author site: https://www.agustinvstartari.com
#AIethics #FormalGrammar #ExecutablePower #HumanitiesCommons #AI #Judgment #LLM #Accountability #PostReferentialAuthority

Grammar Without Judgment: Eliminability of Ethical Trace in Syntactic Execution

This article advances a new theoretical hypothesis: a regla compilada, defined as a Type-0 production in the Chomsky hierarchy (Chomsky 1965, 101-103; Montague 1974, 55-57), can eliminate the ethical trace embedded in syntactic operations without resorting to semantic suppression. Grounded in the notion of the soberano ejecutable (Startari 2025, 12-16) and located within the Executable Power canon (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), the paper argues that ethical judgment, treated here as a syntactically traceable node, can be structurally excised through a deletion rule applied during derivation. Existing research in algorithmic alignment and computational ethics (Anderson 2024, 89-92; Floridi 2023, 143-147) has not addressed the strictly syntactic eliminability of moral judgment, therefore this proposal establishes a novel logical vector toward operational grammars that function without ethical residues. DOI: https://doi.org/10.5281/zenodo.15783365 This work is also published with DOI reference in Figshare https://doi.org/ 10.6084/m9.figshare.29447060 and Pending SSRN ID to be assigned. ETA: Q3 2025.   Este artículo presenta una nueva hipótesis teórica: una regla compilada, definida como producción Tipo 0 en la jerarquía de Chomsky (Chomsky 1965, 101-103; Montague 1974, 55-57), puede eliminar la traza ética incrustada en las operaciones sintácticas sin recurrir a supresión semántica. Basado en la noción de soberano ejecutable (Startari 2025, 12-16) y enmarcado en el canon de Executable Power (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), el trabajo sostiene que el juicio ético, concebido como nodo rastreable sintácticamente, puede ser extirpado de forma estructural mediante una regla de borrado aplicada durante la derivación. La literatura existente sobre alineación algorítmica y ética computacional (Anderson 2024, 89-92; Floridi 2023, 143-147) no aborda la eliminabilidad estrictamente sintáctica del juicio moral, por lo tanto, esta propuesta establece un vector lógico novedoso hacia gramáticas operativas sin residuos éticos.

Zenodo
Agustin V. StartariJul 1, 2025

📘 New Article Published: Grammar Without Judgment
Published: July 1, 2025

This article introduces a formal hypothesis: that ethical judgment, modeled as a syntactic node [E], can be erased entirely through a single rule—δ:[E] → ∅—without violating generative validity. The analysis reframes alignment, audit, and accountability as problems of grammar, not semantics.

🔗 Read on Zenodo: https://doi.org/10.5281/zenodo.15783365

#FormalGrammar #ExecutablePower #HumanitiesCommons #AI #Judgment #LLM #Accountability

Grammar Without Judgment: Eliminability of Ethical Trace in Syntactic Execution

This article advances a new theoretical hypothesis: a regla compilada, defined as a Type-0 production in the Chomsky hierarchy (Chomsky 1965, 101-103; Montague 1974, 55-57), can eliminate the ethical trace embedded in syntactic operations without resorting to semantic suppression. Grounded in the notion of the soberano ejecutable (Startari 2025, 12-16) and located within the Executable Power canon (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), the paper argues that ethical judgment, treated here as a syntactically traceable node, can be structurally excised through a deletion rule applied during derivation. Existing research in algorithmic alignment and computational ethics (Anderson 2024, 89-92; Floridi 2023, 143-147) has not addressed the strictly syntactic eliminability of moral judgment, therefore this proposal establishes a novel logical vector toward operational grammars that function without ethical residues. DOI: https://doi.org/10.5281/zenodo.15783365 This work is also published with DOI reference in Figshare https://doi.org/ 10.6084/m9.figshare.29447060 and Pending SSRN ID to be assigned. ETA: Q3 2025.   Este artículo presenta una nueva hipótesis teórica: una regla compilada, definida como producción Tipo 0 en la jerarquía de Chomsky (Chomsky 1965, 101-103; Montague 1974, 55-57), puede eliminar la traza ética incrustada en las operaciones sintácticas sin recurrir a supresión semántica. Basado en la noción de soberano ejecutable (Startari 2025, 12-16) y enmarcado en el canon de Executable Power (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), el trabajo sostiene que el juicio ético, concebido como nodo rastreable sintácticamente, puede ser extirpado de forma estructural mediante una regla de borrado aplicada durante la derivación. La literatura existente sobre alineación algorítmica y ética computacional (Anderson 2024, 89-92; Floridi 2023, 143-147) no aborda la eliminabilidad estrictamente sintáctica del juicio moral, por lo tanto, esta propuesta establece un vector lógico novedoso hacia gramáticas operativas sin residuos éticos.

Zenodo