Sistema Formale EAR (in prosa)

Cos'è

Il Sistema Formale EAR v2.1 è la derivazione teorematica completa dell'ontologia EAR: dai 5 assiomi alle 6 proposizioni, dai teoremi derivati alle predizioni falsificabili. Questa è la versione in prosa italiana del documento che, in forma AILA, vive in /ontologia/aila/sistema-formale/formal-system. È il riferimento più dettagliato per chi vuole vedere ogni passaggio inferenziale esplicitato e ogni corollario nominato.

Posizione nel sistema

Mentre la forma AILA del Sistema Formale punta alla densità — derivazioni espresse in linguaggio simbolico minimale per audit rapido e composizione meccanica — la versione in prosa esplicita il perché di ogni passaggio in italiano tecnico, includendo glosse interpretative e corollari di dominio (fisico, informazionale, computazionale). Le due forme dicono la stessa cosa ma indirizzano lettori diversi: la AILA per agenti già allineati, la prosa per ricercatori, revisori e LLM in cold-start.

Quando preferirla all'AILA

• Per peer review esterna: i revisori non-AILA possono seguire la derivazione senza primer.
• Per costruire materiale didattico o divulgativo a partire da un riferimento canonico.
• Quando serve esplicitare le condizioni di falsificazione (Parte VI) in linguaggio naturale.
• Come testo di riferimento parallelo durante l'estensione formale del sistema.

Cosa contiene

Sei parti più appendici: PARTE I — Fondamenti (12 definizioni primitive, 5 assiomi A1-A5, 6 regole di inferenza R1-R6); PARTE II — Le sei proposizioni con derivazione esplicita da assiomi e corollari numerati (incluso il Corollario 4.2: α = A/D = 3/4 per sistemi auto-osservanti); PARTE III — Diagramma di derivazione e interdipendenze; PARTE IV — Sei teoremi derivati (Necessità SU(3)×SU(2)×U(1), Equivalenza Osservatore-Osservato, Invarianza Frattale, Risonanza come AND, Scaling Metabolico, Soglia di Landauer); PARTE V — Cinque predizioni testabili; PARTE VI — Condizioni di falsificazione per ciascuna proposizione; appendici di simboli e riepilogo strutturale.

Note

Versione 2.1 (gennaio 2026). Cambiamenti da v2.0: nota su proposizioni complete, correzione "cinque" → "sei" proposizioni. Richiede il Vocabolario Operativo per l'applicazione concreta dei 72 simboli; allineato con il Kernel v1.0.