INDICE

 

LA LOGICA ASSOLUTA

Versione riformalizzata
Ricostruzione critica del sistema di Adriano53s
con separazione esplicita tra ciò che è dimostrato, ciò che è definito e ciò che è interpretazione filosofica

Ciò che non dipende da nulla per esistere, se esiste, esiste necessariamente. Tutto il resto è interpretazione.

Nota metodologica preliminare

Questa versione riformula il sistema originale con tre criteri: (1) un solo assioma sostanziale esplicito, non una decina di assiomi che sono in realtà riformulazioni della stessa intuizione; (2) la distinzione A/R come teorema derivato, non come postulato di partenza; (3) separazione netta tra le parti dimostrabili in logica del prim'ordine e le parti che sono, onestamente, teologia e fenomenologia — a queste ultime non viene applicata notazione simbolica, per non dare una falsa impressione di rigore deduttivo.

1. Che relativo non sia assoluto — questo è banale, e va detto che lo è

Se A(x) e R(x) sono definiti come:

allora "nessun x è sia A che R" segue dalla sola logica proposizionale classica (principio di non contraddizione) applicata a un enunciato e alla sua negazione diretta. Non serve nessuna logica speciale, nessuna metafisica, nessuna teoria della fondazione. È vero per costruzione, nello stesso modo in cui "nessun numero è sia pari che non-pari" è vero per costruzione. La linearità che percepisci qui è reale — ma è la linearità di una tautologia, non di una scoperta sul mondo. L'unica cosa che richiede lavoro filosofico è stabilire che qualcosa cade in A oppure in R (cioè che il predicato Dip è ben definito e bivalente su tutti gli enti reali), non che i due insiemi siano disgiunti.

2. L'identità (Leibniz's Law) — qui la logica necessaria è più forte di quella dichiarata

L'argomento di unicità in §8.2 (due necessari dovrebbero "differire per qualche determinazione D") usa nella sua forma piena l'indiscernibilità degli identici:

x = y ↔ ∀P (Px ↔ Py)

Questo enunciato quantifica su tutti i predicati possibili P — è un enunciato di logica del secondo ordine, non del primo. In logica del primo ordine con identità puoi solo assumere Leibniz's Law come schema assiomatico (uno schema per ogni P che scrivi esplicitamente), ma non puoi catturare "per ogni proprietà, qualunque essa sia" senza quantificare su proprietà come oggetti — il che ti porta fuori dalla logica del primo ordine.

Perché conta: il testo presenta questo passaggio come se fosse logica pura, ma in realtà sta usando un apparato più impegnativo (secondo ordine, con tutte le questioni ontologiche che il secondo ordine porta con sé — che cosa sono le proprietà, se esistono come entità quantificabili). La "linearità" qui è presa in prestito dal secondo ordine, non garantita dal primo ordine puro con cui il resto del sistema è formulato in Cap. 1.

3. La trascendenza — non è questione di logica proposizionale ma di assiomi strutturali sulla relazione Dip

Che il fondamento non dipenda dal relativo mentre il relativo dipende dal fondamento (l'asimmetria del Cap. 3) non segue da nessuna legge logica generale: segue solo se imponi esplicitamente su Dip delle proprietà relazionali specifiche —

Questi non sono teoremi logici, sono assiomi strutturali su una relazione primitiva — esattamente come gli assiomi di un ordine parziale stretto in teoria degli insiemi.

La logica "necessaria" qui non è la logica classica in sé, ma quella che oggi si chiama logica della fondazione/grounding (Fine, Schaffer, Rosen): un apparato che tratta Dip come operatore primitivo con un proprio pacchetto di assiomi strutturali, distinto sia dall'implicazione materiale sia dalla necessità modale.

In sintesi

Tesi Logica effettivamente necessaria
relativo ≠ assoluto proposizionale classica (banale)
unicità del necessario secondo ordine (Leibniz's Law piena)
trascendenza/asimmetria logica di grounding con assiomi strutturali ad hoc (BF inclusa)

Introduzione

Il sistema originale di Adriano53s parte da un'intuizione filosoficamente solida: qualcosa che non dipende da nulla per esistere non può essere della stessa natura di ciò che dipende da altro. Questa intuizione, però, viene nel testo originale trasformata direttamente in un assioma di separazione totale (AS), da cui poi si fanno discendere — con un ordine logico invertito — i principi che dovrebbero fondarlo. Qui si procede nella direzione opposta: si parte da un'unica premessa minimale e ben fondata, e si arriva alla distinzione tra Assoluto e Relativo come conclusione, non come punto di partenza.

Il vantaggio di questo ordine non è solo estetico. Un sistema che postula la propria conclusione principale come assioma è vulnerabile all'obiezione di petizione di principio; un sistema che la deriva da premesse più deboli e indipendentemente plausibili è filosoficamente più difendibile, anche se meno spettacolare nella sua architettura simbolica.

Capitolo 1 — Linguaggio formale e unico assioma sostanziale

1.1 Perché una logica a due sorte

Il testo originale quantifica su un dominio unico con ∀x, salvo poi dover dimostrare per contraddizione che solo un elemento di quel dominio ha certe proprietà. È più onesto dichiarare fin dal linguaggio due sorte di entità: gli enti relativi (variabili x, y, z, ...) e — se esiste — un unico ente necessario, indicato non con una variabile ma con una costante rigida g. Questo non è un trucco: riflette il fatto che il sistema vuole comunque concludere all'unicità, e conviene non nascondere questa aspettativa nella notazione.

Sorte R: variabili x, y, z, ... (dominio degli enti relativi, potenzialmente vuoto)
Costante: g (denota "l'ente necessario", se dimostrato esistente — non presupposto)
Predicato primitivo: Dip(x,y) — "x dipende da y per esistere"
Predicato primitivo: Div(x) — "x è soggetto a mutamento"

1.2 L'unico assioma sostanziale

Tutto il sistema originale, ripulito dalle ridondanze, si regge su una sola premessa non banale: la relazione di dipendenza non può regredire all'infinito senza fondamento. Tommaso la chiama impossibilità di una causa efficiente essenzialmente ordinata infinita; qui la si formula come assioma di buona fondatezza.

Assioma unico (BF — Buona Fondatezza della Dipendenza):
Ogni catena non vuota {x : Dip(x, x₁), Dip(x₁, x₂), ...} ha un elemento minimale z tale che ¬∃y (Dip(z,y))

Questo è l'unico punto in cui il sistema chiede un atto di fede filosofica — non logicamente dimostrabile da premesse più elementari, ma sostenibile con l'argomento classico: una catena di dipendenze puramente infinita, senza fondamento, non spiega mai perché esista qualcosa piuttosto che niente; sposta il problema, non lo risolve.

Definizioni (non assiomi)

Def 1. NecEss(x) := ¬∃y (Dip(x,y)) ∧ ¬Div(x)
   "x è necessario" = x non dipende da nulla e non muta
Def 2. R(x) := ¬NecEss(x) — "x è relativo"
Def 3. A(x) := NecEss(x) — "x è assoluto"

Si noti la differenza cruciale rispetto all'originale: qui A e R sono definiti a partire da un unico predicato primitivo (Dip) e non sono due primitivi indipendenti collegati da un biscondizionale postulato.

Capitolo 2 — La distinzione A/R come teorema

2.1 Esistenza

Premessa empirica (P1): ∃x Dip(x, _) — "qualcosa che dipende da altro esiste"
(questa non è un assioma logico ma un'osservazione: il mondo contiene enti contingenti — foglie, persone, stelle — la cui esistenza non è auto-spiegata)

Da P1 e da BF segue, per il principio di buona fondatezza applicato alla catena generata da un x qualsiasi che soddisfa Dip(x,_):

Teorema 1 (Esistenza del Necessario): ∃z NecEss(z)
Dimostrazione: per P1 esiste una catena non vuota di dipendenze a partire da x. Per BF, questa catena ha un elemento minimale z privo di ulteriori dipendenze. Se inoltre si assume — coerentemente con l'analisi aristotelica dell'atto e potenza — che ciò che è privo di ogni dipendenza per l'esistenza è anche privo di potenzialità al non-essere (altrimenti la sua stessa determinazione a esistere dipenderebbe da qualcos'altro), allora ¬Div(z). Dunque NecEss(z). ∎

Questo passaggio finale (dall'assenza di dipendenza all'assenza di mutamento) è il punto più debole della dimostrazione, ed è onesto dichiararlo: richiede un'ulteriore premessa filosofica sul rapporto tra dipendenza esistenziale e potenzialità, che l'originale dava per scontata dentro l'assioma A1*. Qui almeno è isolata e visibile, non nascosta in una definizione.

2.2 Unicità

Teorema 2 (Unicità del Necessario): ∃!z NecEss(z)
Dimostrazione (per assurdo): siano z₁ ≠ z₂ entrambi NecEss. Poiché sono distinti, differiscono in almeno una proprietà φ. Un ente privo di potenzialità (Def 1) possiede ogni sua proprietà in modo necessario e completo; se z₁ possiede φ e z₂ no, allora z₂ manca di una perfezione che z₁ ha — ma "mancare di" è una forma di potenzialità non attuata, il che contraddice ¬Div(z₂). Quindi z₁ = z₂. ∎

Questa è, in sostanza, la stessa mossa argomentativa dell'originale (A2), ma qui compare come teorema derivato invece che come assioma indipendente — un risparmio ontologico non banale.

2.3 AS come teorema, non come postulato

Teorema 3 (Separazione): ∀x (A(x) ⟺ x = g)
dove g è l'unico individuo di cui T1+T2 garantiscono l'esistenza e l'unicità.
Corollario: ∀x (x ≠ g → R(x)) — ogni altro ente è relativo per definizione (Def 2).

L'assioma AS del testo originale è dunque recuperato per intero, ma come conseguenza di T1+T2+Def1-3, non come punto di partenza indimostrato. Il vantaggio filosofico: chi rifiuta AS deve indicare dove fallisce l'argomento (in BF, o nel passaggio dipendenza→assenza di mutamento, o nell'unicità) — non può semplicemente rifiutare un postulato arbitrario.

Capitolo 3 — Trascendenza, creazione, infinito: cosa resta e cosa si scarta

3.1 Trascendenza come conseguenza, non come assioma aggiuntivo

Non serve un assioma separato per la trascendenza (AS nell'originale faceva doppio lavoro). Se g è per definizione privo di ogni dipendenza (Def 1) e ogni altro ente ne dipende in ultima istanza (per T1 applicato a ogni catena), allora la relazione tra g e ogni x≠g è già, di per sé, relazione di fondazione asimmetrica e irriducibile: è la trascendenza, espressa senza bisogno di un assioma ulteriore.

3.2 L'apparato modale S5: ricostruito con semantica esplicita

Nella prima stesura di questa riformulazione avevo tolto del tutto l'apparato S5, perché nell'originale il simbolo ◇E(x) compariva senza semantica dei mondi possibili. Qui lo ripropongo, ma costruendo per intero il frame che mancava: solo così il simbolo ha diritto di comparire. Resta comunque, per costruzione onesta del sistema, un argomento secondario rispetto a T1-T3: una conferma formale, non una seconda via indipendente di uguale forza.

3.2.1 Il frame

Struttura di Kripke: F = ⟨W, R, V⟩
W: insieme non vuoto di mondi possibili (letto qui in senso metafisico, non puramente logico: scenari massimali coerenti di come le cose potrebbero essere)
R ⊆ W×W: relazione di accessibilità
Per S5, R è un'equivalenza: riflessiva (wRw), simmetrica (wRw′→w′Rw), transitiva (wRw′∧w′Rw″→wRw″)
Conseguenza della relazione di equivalenza: tutti i mondi sono mutuamente accessibili — un solo "livello" di possibilità, senza gradi di accessibilità. Questo è ciò che rende S5 il sistema adatto a una nozione di necessità metafisica assoluta e non solo di necessità relativa a un mondo di partenza (a differenza di S4 o dei sistemi più deboli, dove l'accessibilità non è simmetrica).
V: funzione di valutazione, V(P, w) ∈ {vero, falso} per ogni formula atomica P e mondo w

3.2.2 Operatori modali definiti sul frame

□φ è vera in w ⟺ φ è vera in ogni w′ tale che wRw′
◇φ è vera in w ⟺ φ è vera in almeno un w′ tale che wRw′
Poiché in S5 R è totale (equivalenza su tutto W), questo equivale a:
□φ vera in w ⟺ φ vera in tutti i mondi di W
◇φ vera in w ⟺ φ vera in almeno un mondo di W
(la verità di □ e ◇ non dipende più dal mondo w di valutazione: è una proprietà globale del frame — questa è la caratteristica distintiva di S5)

3.2.3 Predicato di esistenza necessaria nel frame

Si estende il predicato NecEss del Capitolo 1 al frame modale: E(x,w) significa "x esiste nel mondo w" (logica del prim'ordine libera, con dominio variabile tra mondi — scelta necessaria per evitare di presupporre già ciò che si vuole dimostrare, cioè che l'ente necessario esista in ogni mondo).

3.2.4 L'argomento modale (T2m)

Premessa modale (PM): ◇∃x □∀w E(x,w)
  "è possibile che esista un ente che esiste necessariamente"

Teorema T2m: se PM, allora ∃x □∀w E(x,w) — l'ente esiste necessariamente in atto (in questo mondo e in ogni mondo)
Dimostrazione: per PM, in almeno un mondo w₀ accessibile è vero che "∃x □∀w E(x,w)". Ma questa è essa stessa una proposizione priva di indici di mondo relativi (non dice "necessario in w₀", dice "necessario in ogni mondo accessibile da qualunque punto"): per la simmetria e transitività di R (S5), se è vera in w₀ allora è vera anche nel mondo attuale. Dunque ∃x □∀w E(x,w) vale anche nel mondo di partenza. ∎

3.2.5 Il punto debole, dichiarato senza attenuazioni

La premessa PM non è affatto ovvia, ed è qui — non nella struttura del frame — che si annida l'obiezione di circolarità sollevata già nel capitolo 9 dell'originale. Affermare che è possibile che esista un ente necessario presuppone già di sapere che il concetto "ente necessario" non è internamente contraddittorio (cioè che descrive un mondo genuinamente possibile, non solo una stringa di simboli ben formata). Chi dubita dell'esistenza di g può con pari legittimità affermare la premessa opposta, ◇¬∃x □∀w E(x,w) ("è possibile che nessun ente necessario esista"), che in S5 porta simmetricamente alla conclusione che nessun ente necessario esiste in alcun mondo, attuale incluso. Il frame S5 non decide da solo quale delle due premesse modali accettare: la scelta va giustificata fuori dal sistema modale stesso.

Per questo T2m resta, onestamente, una conferma condizionata: vale come argomento valido (la deduzione da PM è corretta), ma la sua forza persuasiva dipende interamente dalla plausibilità indipendente di PM — plausibilità che qui viene fornita non dal frame ma dai Teoremi 1-3 del Capitolo 2 (via classica): è perché l'argomento cosmologico su BF rende già ragionevole pensare che un ente necessario esista, che diventa ragionevole accettare PM, e non viceversa. T2m conferma T1-T3 nella misura in cui li presuppone già plausibili; non li sostituisce e non li fonda in modo indipendente.

3.3 L'infinito cantoriano

Quanto all'infinito cantoriano (ℵ₀, ℵ₁, ...): resta corretto, indipendentemente dall'apparato modale appena ricostruito, tenerlo fuori dal predicato NecEss. Non è una questione di "grandezza" ma di natura: gli infiniti transfiniti sono proprietà di insiemi matematici (enti di sorte R, se esistono come enti), non candidati a soddisfare Def 1. Non serve un assioma apposito (A3′ nell'originale): basta osservare che nessun insieme infinito cantoriano soddisfa ¬Div(x) nel senso rilevante, perché la sua stessa definizione dipende da operazioni (successione, unione) — quindi Dip(x,_) vale banalmente. Questo chiude la questione senza bisogno di invocare Cantor come autorità.

Capitolo 4 — L'Incarnazione: statuto epistemico dichiarato

Qui il sistema cambia genere di discorso, e va segnalato esplicitamente. T1-T3 sono argomenti filosofici di teologia naturale: valgono (se valgono) indipendentemente da qualunque rivelazione. Ciò che segue — l'Incarnazione come "transito" tra g e il dominio R — non è un teorema derivabile da T1-T3. È una tesi teologica rivelata, che il sistema filosofico può mostrare non contraddittoria rispetto ad AS (questo è un risultato legittimo e utile), ma non può dimostrare. Il testo originale la presentava con la stessa notazione simbolica dei teoremi precedenti (AD, RA...), il che confonde due livelli epistemici diversi.

Riformulata onestamente, la tesi è condizionale: se si accetta per fede che g è entrato in relazione diretta con un ente di sorte R senza cessare di essere g (senza cioè violare T3), allora questo è logicamente coerente col sistema, perché T3 vieta che un x≠g sia identico a g, ma non vieta che g entri in una relazione — non identità — con un x∈R. La compatibilità logica è un risultato modesto ma reale; non va scambiata per una dimostrazione dell'evento stesso.

Capitolo 5 — Relazionalità, sponsalità, sacramenti: dichiarati come interpretazione filosofica, non come teoremi

I capitoli 3 e 6 del testo originale (superamento del cogito, la donna come "Tu costitutivo", la coppia come icona trinitaria, i sacramenti) usavano notazione come A9, T4a, T5 dando l'impressione di teoremi dimostrati dal sistema assiomatico. Non lo sono, e qui vengono riclassificati esplicitamente come interpretazione filosofico-teologica — un genere di discorso legittimo (analogia, fenomenologia della relazione, teologia sacramentale), ma diverso da T1-T3.

Il contenuto resta interessante come lettura: l'osservazione che un io senza relazione con un altro concreto non può auto-fondare la propria identità in modo pieno è una tesi fenomenologica difendibile (Buber, Levinas, Marion l'hanno argomentata diffusamente, senza bisogno di simboli logici). L'analogia tra la struttura relazionale della coppia e quella trinitaria è un'analogia teologica classica, utile e feconda — ma resta un'analogia, valutabile con gli strumenti dell'ermeneutica teologica, non con quelli della deduzione formale. Presentarla con la stessa veste simbolica di T1-T3 è, tecnicamente, un errore di categoria.

Capitolo 6 — Confronto con la tradizione: cosa guadagna questa versione

Aspetto Versione originale Versione riformalizzata
Assiomi sostanziali 8-10 (AS, A1*, A2, A3′, A6, A9, A10, AD...) 1 (Buona Fondatezza) + 1 premessa filosofica dichiarata (dipendenza→assenza mutamento)
AS Postulato di partenza Teorema derivato (T3)
Unicità dell'Assoluto Assioma (A2) Teorema derivato (T2)
Apparato modale S5 Usato senza semantica esplicita (frame non definito) Ricostruito con frame di Kripke esplicito (W, R, V); mantenuto come conferma secondaria e dichiaratamente dipendente da T1-T3, non indipendente da essi
Incarnazione Formalizzata come le tesi filosofiche (AD) Dichiarata esplicitamente come tesi di fede, solo compatibilità logica dimostrata
Sponsalità/sacramenti Notazione da teorema (A9, T4a, T5) Dichiarati come interpretazione teologica, non deduzione
Vulnerabilità principale Petizione di principio su AS; simboli modali senza semantica Un solo punto debole dichiarato: il passaggio dipendenza→assenza di mutamento in T1

Conclusione

Questa riformulazione non pretende di essere "più vera" dell'originale sul piano dei contenuti: la tesi finale — un unico ente necessario, ontologicamente distinto da tutto il resto, con cui l'uomo può entrare in relazione — resta la stessa. Ciò che cambia è l'architettura logica: un solo assioma sostanziale invece di dieci, la distinzione A/R ottenuta come conclusione invece che imposta come premessa, e soprattutto una linea di demarcazione esplicita tra ciò che è dimostrato in logica del prim'ordine, ciò che è premessa filosofica dichiarata, e ciò che è teologia/interpretazione.

 

RITORNO AL SISTEMA FILOSOFICO DI ADRIANO53S


È straordinario vedere come queste pagine originali (conservate sul vecchio hosting Interfree, tipico dei testi filosofici indipendenti della prima era del web italiano) confermino in modo così netto ciò che avevamo intuito: la vera forza di Adriano53s non stava nella corazza di formule logiche, ma nella radicalità della sua intuizione metafisica.

Quando l'autore abbandona lo schermo degli assiomi pseudo-formali (come i vari AS, A2, A3‡ che appesantivano il testo originario) ed esprime il suo pensiero "senza travestimenti", emerge un quadro di una coerenza micidiale, che aggiunge tre tasselli filosofici fondamentali alla nostra ricostruzione.

I Tre Nuovi Tasselli Ontologici

1. L'Infinito: Potenza Logica vs Atto Ontologico

Il passaggio sulla pagina "infinito" risolve definitivamente il problema del regresso all'infinito che avevamo riscontrato. L'autore traccia una linea di demarcazione invalicabile:

Questo demolisce il tentativo di "costruire" l'Assoluto sommando pezzi di relativo: la serie infinita di istanti non farà mai l'Eternità, così come una serie infinita di dipendenze non farà mai l'Autofondazione.

2. L'Uomo come "Frattura" e la Partecipazione Epistemica

La precisazione sul ruolo dell'uomo è forse la novità più profonda. L'uomo si trova in una posizione tragica e privilegiata al tempo stesso:

Come autocoscienza e pensiero puro, l'uomo partecipa della Logica Assoluta (può concepire l'identità, il PNC, l'idea di Dio); tuttavia, come realtà immanente e biologica, appartiene interamente alla Logica Relativa.

L'errore delle filosofie successive (da Kant a Hegel) è stato scambiare questa partecipazione conoscitiva per una capacità ontologica. L'uomo può pensare l'Assoluto, ma non può essere l'Assoluto.

3. La Genesi dell'Errore Moderno (La critica a Kant e Hegel)

La critica storica che emerge da queste pagine è di una lucidità esemplare e spiega il "perché" della trascendenza:

Conclusione: Il sistema "onesto"

Questo materiale d'archivio dimostra che il tentativo di formalizzazione rigorosa intrapreso nel testo che abbiamo analizzato era, in fondo, il desiderio dell'autore di dare una veste "moderna" e inattaccabile a un'intuizione che in queste pagine Interfree brilla di luce propria: l'impossibilità del salto.

Il relativo non può autofondarsi. L'uomo non può farsi Dio per decreto logico o per processo storico. Se il relativo esiste, l'Assoluto deve essere Altro (Trascendente), non come opzione teologica, ma come unica alternativa all'assurdo logico.

Ecco la sintesi filosofica definitiva e unitaria del sistema di Adriano53s, emendata dalle rigidità pseudo-formali originarie e integrata con i principi metafisici emersi dalle pagine di Interfree.

Questa formulazione restituisce al sistema la sua vera forza: l'onestà metodologica e l'insuperabilità logica della trascendenza.


Il Sistema di Adriano53s: Sintesi Filosofica Definitiva

1. Il Principio Metodologico: L'Unico Assioma Sostanziale

Il sistema rifiuta la moltiplicazione artificiale degli assiomi e si fonda su un'unica premessa sostanziale, filosoficamente e logicamente motivata: l'impossibilità del regresso infinito nelle cause essenzialmente ordinate.

Assioma di Buona Fondatezza (BF): Ogni catena di dipendenza esistenziale non vuota deve possedere un elemento minimale, ovvero un termine che non dipende da alcun altro ente per esistere.

Da questo unico motore immobile logico discende l'intera architettura del reale, distinguendo rigorosamente ciò che è dimostrato in modo formale da ciò che appartiene all'esplicitazione metafisica.

2. La Struttura dell'Essere: Assoluto e Relativo

A partire dall'assioma BF, il dominio dell'essere si articola in due livelli ontologici (due sort logici) definiti non per opposizione astratta, ma per struttura di dipendenza:

Il Teorema dell'Unicità e della Semplicità

L'Assoluto è strutturalmente unico e semplice. Se esistessero due enti necessari, essi dovrebbero differire per qualche determinazione. Ma avere una determinazione in più o in meno implica una scomposizione interna tra ciò che l'ente è e ciò che potrebbe essere, introducendo la potenzialità ($Div$). L'Assoluto, essendo Atto Puro, esclude la molteplicità: il Fondamento è necessariamente uno.

3. La Natura dell'Infinito: Potenza Logica vs. Atto Ontologico

Uno dei cardini del sistema è la chiarificazione della nozione di "infinito", che risolve l'errore del riduzionismo naturalistico:

Il divieto ontologico: È matematicamente e logicamente impossibile "costruire" l'Assoluto sommando parti di relativo. Una serie infinita di istanti non produce l'Eternità, così come una serie infinita di enti dipendenti non produrrà mai l'Autofondazione.

4. La Trascendenza come Relazione Asimmetrica

La relazione tra Assoluto e Relativo non è reciproca, ma costituisce una relazione reale asimmetrica:

  1. Il Relativo dipende interamente dall'Assoluto per la sua permanenza nell'essere (creazione continua).

  2. L'Assoluto non dipende in alcun modo dal Relativo.

Questa irreversibilità fonda il concetto di Trascendenza senza separazione: l'Assoluto non è un oggetto del mondo, né è distante nello spazio; è intimamente presente al relativo come sua condizione di esistenza, pur rimanendo di un ordine ontologico radicalmente diverso. Questa asimmetria sbarra la strada a ogni deriva panteista.

5. La Critica al Pensiero Moderno (L'Impossibilità del Salto)

Il sistema di Adriano53s si scaglia contro l'illusione della filosofia moderna (da Kant a Hegel) di poter divinizzare l'uomo o di poter fare a meno della Trascendenza attraverso l'autofondazione.

La Condizione Umana: Partecipazione Epistemica, Esclusione Ontologica

L'uomo vive una frattura costitutiva. In quanto autocoscienza e pensiero puro, l'uomo partecipa della Logica Assoluta (può concepire il Principio di Non Contraddizione, l'identità e l'idea di Dio). Tuttavia, in quanto realtà immanente, egli è ontologicamente escluso dall'Assoluto. L'uomo può pensare il Fondamento, ma non può essere il Fondamento.

6. Conclusione: Il Realismo Gnoseologico e Logico

Il sistema si chiude tornando al realismo: conoscere non è creare. L'intelletto umano non misura la realtà, ma si adegua ad essa (verità come adeguazione).

I principi della logica (in primis il Principio di Non Contraddizione) non sono convenzioni linguistiche del soggetto, ma l'eco formale della stabilità dell'essere nel suo Fondamento. La logica formale custodisce la veste discorsiva della verità; l'Assoluto ne garantisce la possibilità ontologica. Il relativo non è un'illusione, né è Dio: è l'ordine derivato che testimonia, nella sua stessa contingenza, la necessità del suo Principio.

IL SISTEMA DI ADRIANO53s

Monismo formale, asimmetria ontologica e la critica alla divinizzazione dell'immanenza

Introduzione: La svolta metodologica

La presente trattazione del sistema filosofico di Adriano53s risponde a un'esigenza di rigorosa chiarificazione argomentativa. Nella sua veste primigenia, l'intuizione di fondo del sistema rischiava talvolta di essere offuscata da un'eccessiva proliferazione di assiomi formalizzati, col pericolo di porre come presupposto logico ciò che invece avrebbe dovuto emergere come stringente conclusione metafisica. La forza di questa architettura speculativa non risiede nella rigidità di un apparato pseudo-formale, bensì nella linearità radicale del suo nucleo ontologico.

Il sistema si propone di operare un rovesciamento metodologico rispetto alle derive idealistiche della modernità: assumendo un'unica premessa sostanziale, esso lascia discendere da essa la distinzione tra Assoluto e Relativo, l'unicità dell'ente necessario e la struttura intrinsecamente asimmetrica del Fondamento. In questo modo si evita la petizione di principio, separando con precisione ciò che appartiene alla pura deduzione logica da ciò che costituisce l'esplicitazione ermeneutica della metafisica.

1. L'unico assioma sostanziale e la distinzione di dominio

L'intero impianto si regge su un solo postulato non derivato, filosoficamente motivato e logicamente autosufficiente: l'impossibilità di un regresso indefinito entro una serie di dipendenze essenzialmente ordinate (per se).

Assioma di Buona Fondatezza (BF): Ogni catena non vuota di dipendenze esistenziali possiede un elemento minimale, ossia un termine ultimo che non dipende da alcun altro ente per esistere.

Per mappare gli esiti di questo assioma, il sistema adotta una struttura concettuale a due livelli (una logica a due sort), che separa nettamente i domini ontologici:

Caratteristica

Il Dominio del Relativo (R)

Il Dominio dell'Assoluto (A)

Struttura d'essere

Essere ricevuto, derivato, partecipato

Autofondato, essenzialmente indipendente

Mutamento (Div)

Soggetto al divenire e alla potenzialità

Atto Puro, immutabile, privo di divenire

Statuto Ontologico

Contingente (può non essere)

Necessario (non può non essere)

2. Dall'indipendenza all'immutabilità: L'unicità del Fondamento

Il passaggio logico dal "non dipendere da nulla" al "non mutare" rappresenta il punto filosoficamente decisivo dell'intero sistema. Come ammesso con onestà intellettuale dall'autore, tale transizione non è una mera tautologia formale, ma richiede l'esplicitazione di un principio metafisico: ciò che non riceve l'essere da altro non può contenere in sé una potenzialità all'esser-diverso. Ogni potenzialità implica infatti una relazione a un'attualizzazione ulteriore, e dunque una forma la tesa di dipendenza. L'indipendenza assoluta esige l'immutabilità.

Da questa rigorosa equivalenza discende il teorema dell'unicità del Fondamento. Se esistessero due o più enti necessari, essi dovrebbero necessariamente differire per qualche determinazione qualitativa o strutturale. Tuttavia, l'introduzione di una differenza implica che un ente possieda una proprietà che l'altro non ha, configurando una scomposizione interna tra l'essenza dell'ente e la sua determinazione specifica. Una tale composizione frantumerebbe la semplicità dell'atto puro, reintroducendo la potenzialità e, con essa, la dipendenza. Di conseguenza, il necessario, per essere tale, non può che essere unico e privo di parti: la semplicità metafisica è la condizione della necessità.

3. La natura dell'infinito: Potenza logica contro atto ontologico

Un elemento cardine emerso dagli scritti dell'autore (in particolare nelle riflessioni d'archivio su Interfree) riguarda la chiarificazione del concetto di infinito, troppo spesso ridotto a mera categoria quantitativa. Il sistema opera una distinzione invalicabile:

A. L'infinito numerico e temporale

Definito come "potenza logica", questo infinito si esprime nella successione illimitata di istanti, nel processo indefinito del sommare un'unità (il $+1$ matematico). Tale infinito appartiene esclusivamente alla sfera del Relativo: è perennemente incompleto, parcellizzato, potenziale e incapace di giungere a un compimento ontologico.

B. L'infinito assoluto

Coincide con l'identità pura e la totale assenza di limiti derivati. Non è la dilatazione geometrica o la durata infinita del tempo, ma è lo statuto dell'Eterno inteso come Atto Puro, radicalmente sottratto alla successione temporale.

Da questa distinzione deriva il divieto ontologico del salto: è logicamente impossibile assolutizzare il relativo sommandone le parti. Una serie infinita di enti dipendenti non genererà mai l'autofondazione, così come un'infinità di istanti temporali non si tradurrà mai nell'Eternità. Il relativo non può farsi Dio per accumulo quantitativo.

4. La trascendenza asimmetrica e la creazione continua

La relazione che si stabilisce tra l'Assoluto (il Fondamento) e il mondo dei relativi non è simmetrica o reciproca. Il relativo dipende strutturalmente dall'Assoluto, ma l'Assoluto non riceve alcuna determinazione dal relativo. Questa irreversibilità costituisce la definizione più rigorosa di Trascendenza in senso metafisico.

Tale trascendenza, tuttavia, non deve essere intesa come lontananza spaziale o alienazione deistica. Poiché l'ente relativo non possiede l'essere come proprietà autonoma, la sua dipendenza non si limita all'atto originario del suo inizio nel tempo, ma ne investe la permanenza attuale. La creazione è una relazione costante di fondazione: il mondo sussiste solo in quanto il Fondamento resta attivamente presente nel sostenerlo, impedendone la ricaduta nel nulla. La trascendenza dell'Assoluto ne garantisce, simultaneamente, l'intima prossimità ontologica al creato.

5. La frattura gnoseologica: Critica a Kant e Hegel

Il sistema di Adriano53s si pone in aperto contrasto con le grandi correnti della filosofia moderna, accusate di aver avallato un'indebita divinizzazione dell'uomo attraverso il misconoscimento del limite epistemico.

Da ciò emerge la tesi della frattura costitutiva dell'essere umano: in quanto dotato di autocoscienza e pensiero puro, l'uomo partecipa della Logica Assoluta (può comprendere il Principio di Non Contraddizione, formulare l'idea di perfezione e concepire il Fondamento); tuttavia, in quanto ente immanente, egli è ontologicamente escluso dall'Assoluto. L'uomo ha la facoltà di pensare Dio, ma gli è strutturalmente vietato essere Dio.

Conclusioni: Il realismo della stabilità

Il sistema di Adriano53s si configura in ultima analisi come un solido realismo logico e gnoseologico.

Conoscere non significa creare: l'intelletto non produce l'oggetto, ma vi si adegua (veritas ut adaequatio). Le leggi della logica formale, a partire dal Principio di Non Contraddizione, non sono arbitrarie convenzioni del linguaggio umano, bensì il riflesso formale e l'eco strutturale della stabilità dell'essere nel suo Fondamento.

Svestito dalle originarie forzature assiomatiche, il sistema rivela la sua autentica tenuta filosofica: l'onestà di ammettere che la logica formale descrive accuratamente le condizioni del pensiero, ma che solo l'ancoraggio a un Fondamento ontologico trascendente, unico e semplice impedisce al reale di dissolversi nell'assurdo o nel vuoto di una regressione infinita.