LA LOGICA ASSOLUTA
Sistema filosofico in forma rigorosa
1. Premessa metodologica
2. Linguaggio formale e assiomi
3. Esistenza e unicità del Fondamento
4. Natura dell'Assoluto e del Relativo
5. L'infinito: potenza logica e atto ontologico
6. Trascendenza e creazione
7. La condizione umana
8. Conclusione
1. PREMESSA METODOLOGICA Questo testo espone un sistema di teologia naturale fondato su premesse minime. Non pretende di dimostrare l'esistenza di Dio con la stessa necessità con cui si dimostra un teorema matematico, ma di mostrare che, accettate alcune premesse metafisiche plausibili, la conclusione segue con coerenza interna. Tre principi guida: a) Separazione netta tra ciò che è dimostrato formalmente, ciò che è premessa filosofica dichiarata e ciò che è interpretazione teologica. b) Un solo assioma strutturale esplicito (Buona Fondatezza), più una premessa metafisica sull'identità di atto e assenza di potenzialità. c) Onestà sui punti deboli: ogni salto non rigorosamente logico viene segnalato e giustificato come premessa filosofica, non come teorema.
2. LINGUAGGIO FORMALE E ASSIOMI
2.1 Struttura del linguaggio Adottiamo una logica del prim'ordine con identità, su un dominio di enti. Distinguiamo due sorte concettuali (non due domini ontologici pregiudicati): - Variabili x, y, z, ... per enti in generale. - Costante g (da introdurre solo dopo averne provato esistenza e unicità). Predicati primitivi: - Dip(x, y): "x dipende da y per esistere" - Div(x): "x è soggetto a mutamento o potenzialità" - E(x): "x esiste" (nel dominio attuale)
2.2 Definizioni Def 1 — Ente necessario (senso debole): NecDeb(x) := ¬∃y Dip(x, y) "x non dipende da nulla per esistere" Def 2 — Ente necessario (senso forte): NecEss(x) := NecDeb(x) ∧ ¬Div(x) "x non dipende da nulla e non è soggetto a mutamento" Def 3 — Relativo: R(x) := ∃y Dip(x, y) ∨ Div(x) "x dipende da altro o è mutabile" Def 4 — Assoluto: A(x) := NecEss(x) "x è assoluto se e solo se è necessario nel senso forte" Osservazione: per costruzione logica, nessun ente è simultaneamente A e R, poiché A richiede ¬Div(x) mentre R richiede Div(x) oppure dipendenza. La mutua esclusività è tautologica; ciò che richiede argomentazione filosofica è stabilire che ogni ente reale rientri in A oppure in R (esaustività della classificazione). 2.3 Gli assiomi Assioma 1 — Buona Fondatezza (BF): Ogni catena non vuota di dipendenze {x : Dip(x, x₁), Dip(x₁, x₂), ...} possiede un elemento minimale z tale che ¬∃y Dip(z, y). Questo assioma non è dimostrabile da premesse più elementari: è il punto in cui il sistema richiede un atto di adesione filosofica. La sua plausibilità deriva dall'idea che una serie infinita di dipendenze senza fondamento sposti il problema senza risolverlo.
Premessa filosofica 1 (PF1) — Atto e potenza: Se un ente non dipende da nulla per esistere, allora non contiene in sé alcuna potenzialità all'esser-diverso. Ogni potenzialità implicherebbe infatti una relazione di dipendenza rispetto a ciò che potrebbe attualizzarla. Nota: PF1 non è un teorema logico. È una tesi metafisica di stampo aristotelico-tomista, qui assunta esplicitamente come premessa. Senza di essa, da BF seguirebbe solo l'esistenza di un ente non dipendente (NecDeb), non di un ente immutabile (NecEss).
3. ESISTENZA E UNICITÀ DEL FONDAMENTO 3.1 Esistenza Premessa empirica (PE): Esistono enti che dipendono da altri per esistere. (∃x ∃y Dip(x, y))
Questa non è un'assunzione logica ma un'osservazione: il mondo contiene enti contingenti (organismi, stelle, eventi) la cui esistenza non si spiega da sé. Teorema 1 (Esistenza): Da PE e BF segue ∃z NecDeb(z). Dimostrazione: per PE esiste una catena di dipendenze non vuota. Per BF, questa catena ha un elemento minimale z privo di dipendenze. Quindi NecDeb(z). ∎ Teorema 1 forte (Esistenza dell'Assoluto): Da T1 e PF1 segue ∃z NecEss(z). Dimostrazione: per T1 esiste z con NecDeb(z). Per PF1, l'assenza di dipendenza implica l'assenza di potenzialità, quindi ¬Div(z). Dunque NecEss(z). ∎
3.2 Unicità Premessa filosofica 2 (PF2) — Semplicità e identità: Se un ente è privo di potenzialità e di dipendenza (NecEss), allora è semplice, nel senso che non ammette in sé composizione reale di parti o determinazioni molteplici. Due enti semplici e totalmente attuali, se distinti, dovrebbero differire per qualche determinazione; ma ogni differenziazione reale implica composizione, e quindi potenzialità. Nota: PF2 non è dimostrabile in logica del prim'ordine. Quantifica su proprietà e sulla nozione di "composizione reale", che esula dal formalismo.
Viene assunta come premessa metafisica sulla natura dell'Atto Puro.
Teorema 2 (Unicità): Da PF2 segue che esiste al più un ente NecEss. Dimostrazione: per assurdo, siano z₁ e z₂ entrambi NecEss, con z₁ ≠ z₂. Se fossero distinti, per PF2 dovrebbero differire per qualche determinazione reale. Ma ogni differenza reale implica composizione, e quindi potenzialità (Div), contro l'ipotesi NecEss(z₁) e NecEss(z₂). Quindi z₁ = z₂. ∎ Corollario: Esiste un unico ente NecEss.
Lo indichiamo con la costante g. Teorema 3 (Separazione): ∀x (A(x) ↔ x = g) Ogni ente assoluto è identico a g, e g è assoluto. Corollario: ∀x (x ≠ g → R(x)). Ogni ente diverso da g è relativo.
4. NATURA DELL'ASSOLUTO E DEL RELATIVO 4.1 L'Assoluto (g) Per definizione e per i teoremi precedenti, g è: - Indipendente: ¬∃y Dip(g, y) - Immutabile: ¬Div(g) - Necessario: la sua esistenza non è ricevuta né derivata - Semplice: privo di composizione reale (per PF2) - Unico: non ammette multipli (per T2) Queste proprietà non sono aggiunte arbitrariamente, ma discendono dalle definizioni e dalle premesse assunte. 4.2 Il Relativo Ogni ente x ≠ g è relativo: la sua esistenza è derivata, partecipata, contingente. Il relativo: - Dipende, direttamente o mediamente, da g (per BF) - È soggetto a mutamento (Div) - Non contiene in sé la ragione sufficiente del proprio essere
4.3 La relazione tra Assoluto e Relativo La dipendenza è strutturalmente asimmetrica: - Ogni relativo dipende da g (in ultima istanza, per BF) - g non dipende da alcun relativo
Questa asimmetria definisce la trascendenza: g non è un oggetto tra gli oggetti, né è lontano nello spazio, ma è ontologicamente di ordine diverso.
La sua prossimità al relativo si esprime come condizione di possibilità, non come vicinanza fisica. 5. L'INFINITO: POTENZA LOGICA E ATTO ONTOLOGICO 5.1 Due nozioni di infinito Nel dominio del Relativo, l'infinito si presenta come: - Successione illimitata (tempo, numeri) - Processo indefinito (+1 matematico) - Serie senza termine ultimo Questo è l'infinito come potenza logica: parcellizzato, potenziale, mai attualizzato in un tutto compiuto. Appartiene alla sfera del divenire. Nell'Assoluto, l'infinito non è successione né grandezza. Coincide con: - La pienezza dell'atto - L'assenza di limiti derivati - La semplicità identitaria Non è l'Eternità intesa come "tempo infinitamente lungo", ma come radicalità fuori dal tempo.
5.2 Il divieto ontologico È impossibile costruire l'Assoluto sommando parti di relativo. Una serie infinita di enti dipendenti non genera l'autofondazione, così come una serie infinita di istanti non costituisce l'eternità. Il relativo non diventa Assoluto per accumulo quantitativo. Osservazione: questa tesi non implica una critica alla matematica cantoriana. Gli insiemi transfiniti sono enti formali o concettuali: se esistono, esistono nel dominio del relativo come oggetti di pensiero costruiti, non come candidati a soddisfare NecEss.
6. TRASCENDENZA E CREAZIONE
6.1 La creazione come fondazione continua Il relativo non possiede l'essere come proprietà autonoma. La sua dipendenza da g non si limita a un atto iniziale nel tempo, ma investe la permanenza attuale. Il mondo sussiste solo in quanto g resta attivamente presente nel sostenerlo. Questa relazione è reale dal lato del relativo (il relativo è effettivamente fondato), ma non introduce composizione reale nel Fondamento. g non è modificato dal sostenere il relativo, né riceve determinatezza da esso. Nota: questa affermazione tocca un problema classico della metafisica teologica (la compatibilità tra relazione reale del creato a Dio e assenza di relazione reale di Dio al creato). Qui la si assume come coerente con la semplicità di g, riconoscendo che la sua piena giustificazione esula dal presente sistema formale. 6.2 L'Incarnazione La tesi che l'Assoluto si sia unito a un ente relativo senza cessare di essere Assoluto non è derivabile dai teoremi precedenti. È una tesi teologica rivelata, che il sistema filosofico può al massimo mostrare non contraddittoria: se g può entrare in relazione non-identitaria con un ente di sorte R senza violare la propria semplicità, allora l'Incarnazione è logicamente compatibile con il sistema. Non è però dimostrata da esso.
7. LA CONDIZIONE UMANA
7.1 La frattura costitutiva L'uomo occupa una posizione intermedia: - Come autocoscienza e pensiero riflessivo, può concepire l'identità, il principio di non contraddizione, l'idea di fondamento necessario. - Come realtà biologica e storica, appartiene al dominio del relativo: è contingente, mutabile, dipendente. Questa tensione non è un errore da correggere, ma la struttura stessa della condizione umana.
7.2 Il realismo gnoseologico Conoscere non è creare. L'intelletto umano non produce l'oggetto, ma vi si adegua. I principi logici fondamentali non sono convenzioni arbitrarie del linguaggio, ma riflettono la stabilità strutturale dell'essere. La logica formale descrive le condizioni del pensiero corretto; il Fondamento ne garantisce la possibilità ontologica. L'uomo può pensare l'Assoluto, ma non può identificarsi con esso. La partecipazione conoscitiva non implica partecipazione ontologica.
8. CONCLUSIONE
Il sistema qui esposto si fonda su:
1. Un assioma strutturale (BF)
2. Due premesse filosofiche esplicite (PF1, PF2)
3. Una premessa empirica (PE) Da queste premesse minime discende con coerenza interna l'esistenza di un unico ente necessario, semplice, immutabile e trascendente, ontologicamente distinto dal dominio del relativo. La forza del sistema non sta in una pseudo-dimostrazione matematica, ma nella linearità del suo nucleo ontologico: se esiste il relativo, e se il relativo non può fondarsi da sé all'infinito, allora esiste un Fondamento.
Questo Fondamento, per essere tale, deve essere di natura diversa da ciò che fonda. Ciò che non dipende da nulla per esistere, se esiste, esiste necessariamente. Tutto il resto è relativo.
--- Note tecniche sui limiti del sistema
a) Il passaggio da NecDeb a NecEss (PF1) richiede una metafisica dell'atto e della potenza. Chi nega questa metafisica può accettare l'esistenza di un fondamento non dipendente, ma non necessariamente immutabile.
b) L'argomento di unicità (PF2) si fonda sulla nozione di "composizione reale". In una metafisica che ammetta enti semplici distinti per principio (come certe forme di pluralismo), PF2 viene meno.
c) L'apparato modale S5, se aggiunto, non fornisce una prova indipendente. In un frame con domini variabili tra mondi possibili, da ◇∃x□E(x) non segue ∃x□E(x) nel mondo attuale senza ulteriori assunzioni (domini costanti o schema di Barcan). Pertanto l'argomento cosmologico classico resta la via principale; quella modale è al massimo una conferma condizionata.
d) La compatibilità tra creazione continua e immutabilità del Fondamento (§6.1) è assunta come coerente, ma la sua dimostrazione rigorosa richiederebbe un'analisi più approfondita della nozione di relazione in un ente assolutamente semplice.