Autore del pensiero: @adriano53s Edizione Integrata: 27 ottobre 2026
La formalizzazione L_A^F può essere letta non solo come un sistema di simboli, assiomi e regole, ma come una teoria del reale. Essa afferma che l'Assoluto è fondamento, che il relativo è creato e dipendente, che il discorso relativo può contraddirsi, e che la contraddizione non risale mai all'ordine dell'essere.
Il sistema parte da un Assoluto, indicato con la costante g. g non è un ente fra gli enti: non è un oggetto accanto ad altri oggetti, né una parte del mondo. È il fondamento incondizionato dell'ordine dell'essere.
Il sistema afferma che g è:
Dire che g è necessario (\Box E(g)) significa che non potrebbe non essere. La sua esistenza non dipende da un altro, non nasce da un processo, non è concessa da una realtà precedente. L'Assoluto non riceve l'essere: è.
Tutto ciò che non è g appartiene al Piano Relativo (R). Il relativo non è una parte di Dio, né un frammento dell'Assoluto, né un'emanazione necessaria di Dio. È un altro (R(x) \iff x \neq g).
Ma il suo essere "altro" non lo rende indipendente. Al contrario: il relativo esiste perché è stato posto nell'essere dall'Assoluto. Il sistema afferma quindi la creazione e conservazione universale: g \to R.
L'Assoluto crea il relativo ex nihilo. Il relativo non si dà l'essere da sé. Esso riceve l'essere e viene mantenuto in esso.
Il relativo non è soltanto creato una volta e poi lasciato a sé. Il sistema afferma la conservazione continua: Dio crea ogni ente relativo e lo conserva nell'essere. Il relativo non possiede in sé il principio della propria permanenza. La sua esistenza attuale rimanda sempre al Fondamento.
Ogni ente relativo dipende da Dio (Dip(x,g)), ma Dio non dipende da alcun ente relativo (\neg Dip(g,x)). Questa asimmetria è fondamentale. Il relativo ha bisogno del Fondamento; il Fondamento non ha bisogno del relativo. Il relativo è ricezione, l'Assoluto è pienezza. Non esiste alcun circolo ontologico.
Ogni ente relativo è ontologicamente incompleto (Inc(x)). Questo non significa imperfezione morale o estetica, ma assenza della pienezza assoluta dell'essere. Il relativo è temporale, in divenire, capace di cambiamento e di crescita.
Nessun ente relativo è chiuso in sé stesso: ogni relativo è in relazione costitutiva con almeno un altro ente diverso da sé. La relazione non distrugge l'identità, ma la compie. Il relativo attua il proprio essere nell'incontro, nella disponibilità, nella cura e nella ricezione.
Per questo il sistema conserva il principio relazionale:
\text{Amo te ergo nos sumus}La cura (Cur(x,y,t)) e la disponibilità reciproca (Disp(x,y,t)) generano il Nos: una realtà relazionale, temporale e contingente. Il Nos non è una sostanza eterna, ma il luogo in cui la relazionalità del relativo raggiunge la sua espressione più alta, riflettendo la natura relazionale dell'Assoluto.
Il relativo tende alla pienezza (Tende(x)). Questa tendenza è la possibilità del relativo di aprirsi all'Assoluto e partecipare di lui.
Il ritorno, o Reditus, non è fusione panteistica: il relativo non diventa Dio, non cessa di essere relativo, non si dissolve nell'Assoluto. Il ritorno è partecipazione (Part(x,g)). Il relativo rimane sé stesso, aprendosi al Fondamento e conformandovisi.
La legge strutturale del sistema è:
g \to R \to g, \quad \text{con } g \neq rIl sistema stabilisce una distinzione capitale: il relativo, in quanto ente ontologico, non è contraddittorio. Tuttavia, il relativo, in quanto pensa, parla e costruisce teorie formali o filosofiche, può produrre contraddizioni.
Una teoria o un linguaggio umano può affermare una proposizione p e la sua negazione \neg p. Questo è un fatto reale, ma è un fatto del discorso relativo (L_R), non un fatto dell'ordine dell'essere (\Sigma).
La logica del discorso relativo (L_R) ammette tre valori di verità:
V_{L_R} = \{ T, F, B \}dove T sta per Vero, F per Falso, e B sta per "Entrambi" (sia vero che falso).
Il valore B non indica che una cosa sia contraddittoria nella realtà oggettiva. Esso è un valore puramente informazionale che segnala un sovraccarico, un'anomalia o un limite strutturale del discorso.
Nella logica classica vale il principio di esplosione (p \land \neg p \vdash q). In L_R, grazie alla semantica paraconsistente (LP), la contraddizione viene isolata e non esplode: dalla presenza di p e \neg p non segue qualsiasi conclusione q.
I paradossi logici (come il Mentitore o il paradosso di Russell) e le costruzioni matematiche complesse appartengono al discorso relativo (L_R). Essi mostrano che certi linguaggi e definizioni umane contengono limiti intrinseci.
I teoremi di incompletezza di Gödel dimostrano che i sistemi formali ricorsivi contengono enunciati indecidibili. Questo costituisce un limite interno del pensiero finito, ma non è una dimostrazione diretta dell'esistenza di Dio. Il limite del relativo richiama la necessità di un Fondamento, ma non lo confuta né lo sostituisce.
La contraddizione in L_R è un segnale di confine; l'errore (Err) è una contraddizione non riparabile che viene bloccata affinché non infetti l'ordine ontologico.
Il sistema formale è una quadrupla definita come:
L_A^F = \langle L_\Sigma, \Sigma, L_R, I \rangleLa teoria non pretende di dimostrare l'esistenza di Dio partendo dal relativo, ma assume l'Assoluto come assioma fondativo e ne deduce le conseguenze formali.
\text{Sort} = \{ E, Ess, P, T, S \}La connessione tra il linguaggio ontologico \Sigma (bivalente e coerente) e il linguaggio del discorso relativo L_R (paraconsistente con valore B) è regolata dalle funzioni di traduzione \rho: L_\Sigma \to L_R e \tau: \Delta_{safe} \to L_\Sigma.
Val_{L_R}(\rho(\alpha)) = B \implies Val_\Sigma(\alpha) \neq BLa regola [B5] garantisce che la contraddizione informazionale o il limite del discorso non possa mai essere proiettato nell'ordine ontologico.
Per dimostrare che \Sigma è soddisfacibile e priva di contraddizioni, si definisce il modello minimo M = \langle D_E, D_{Ess}, D_P, D_T, D_S, I_M, W, sim, @ \rangle:
D_E = \{ g, a \}D_{Ess} = \{ e_g \}D_P = \{ P_F, P_{Fig}, P_S \}D_T = \{ t_0, t_1 \}W = \{ w \}, \quad sim = \{ (w,w) \}A = \{ g \}, \quad R = \{ a \}, \quad I = \{ g \}, \quad E = \{ g \}Dip = \{ (a,g) \}, \quad Crea = \{ (g,a) \}, \quad Cons = \{ (g,a) \}Rel = \{ (a,g), (g,a) \}, \quad Part = \{ (a,g) \}RelT = \{ (a,g,t_0), (g,a,t_0), (a,g,t_1), (g,a,t_1) \}Poiché M \models \Sigma, la teoria ontologica \Sigma è coerente (Teorema Metateorico 1).
| Concetto Metafisico | Definizione Formale in \Sigma | Stato nel Discorso L_R |
|---|---|---|
| Assoluto (g) | A(g) \land \Box E(g) \land Atto(g) | Valore esatto (T), inconfutabile |
| Relativo (R) | R(x) \iff x \neq g | Soggetto a divenire e a fluttuazione |
| Nos | Somma(z,x,y) \land RelT(x,y,t) | Realtà temporale e contingente |
| Ritorno (Reditus) | Part(x,g) \land x \neq g | Partecipazione senza assorbimento |
| Contraddizione | Assente da \Sigma | Ammessa in L_R con valore B |
| Errore (Err) | Impossibile a livello ontologico | Bloccato dalle regole di interfaccia |
La teoria L_A^F non dimostra l'esistenza di Dio partendo dal relativo. Essa assume l'Assoluto come assioma fondativo e ne mostra la rigorosa coerenza e le conseguenze.
g \to R \to g, \quad \text{con } g \neq r \text{Amo te ergo nos sumus.}