INDICE SITO

Trattato Metafisico

Edizione Integrata

La Logica Assoluta — Trattato di metafisica, logica e struttura dell'essere:
Fondamento Assoluto, enti relativi, mondi possibili, natura angelica, Trinità formalizzata, teleologia dimostrata, semantica a due livelli operativizzata.

 

adriano53s

Indice

• Parte I — Fondamento logico-ontologico

• Parte II — Struttura dei domini

• Parte III — Dipendenza e fondazione

• Parte IV — Creazione e mondi possibili

• Parte V — Essenze, nature e angeli

• Parte VI — Libertà, grazia e male

• Parte VII — Trinità e Incarnazione

• Parte VIII — Teleologia ultima

• Parte IX — Sintesi formale

 

Parte I — Fondamento logico-ontologico

1. Distinzione fondamentale

L'essere relativo è ricevuto, dipendente e finito. Il Fondamento Assoluto non è un ente tra gli enti, non appartiene al dominio degli enti relativi e non riceve l'essere da altro. È condizione ontologica della sussistenza di ogni realtà creata.

La logica classica è lo strumento formale comune; la differenza tra Assoluto e relativo è ontologica, non logica.

2. Registri epistemici e livelli semantici

Il sistema opera su quattro registri:

• Definizioni: fissano il significato dei termini;
• Assiomi: principi metafisici accolti come premesse;
• Teoremi: deduzioni necessarie dagli assiomi;
• Tesi teologiche: verità accolte per Rivelazione.

Opera inoltre su due livelli semantici:

• L1 = linguaggio oggettuale-formale;
• L2 = linguaggio meta-ontologico.

Il Fondamento g è termine di L1 con riferimento in L2. Ogni predicato attribuito al Fondamento è analogico rispetto al suo riferimento trascendente.

2-bis. Operatore di stratificazione semantica

• Lvl(P) = n — il predicato P appartiene al livello Ln
• Lvl(g) = 2 — il termine g ha riferimento primario in L2
• Lift(P, n, m) — il predicato P è sollevato dal livello n al livello m

L'operatore Lvl assegna a ogni simbolo del linguaggio un livello semantico. L'operatore Lift regola la promozione di un predicato da un livello a un altro.

2-ter. Regole di stratificazione

• (R1) Se Lvl(x) = 1 e Lvl(y) = 1, allora Dip(x,y) ∈ L1
• (R2) Se Lvl(x) = 1, allora DipA(x,g) ∈ L1 con g interpretato in L2
• (R3) Se P ∈ L1 e P(g), allora Lift(P,1,2) — P è analogico
• (R4) FondamentoAssoluto(g) ∈ L2 e non ∈ L1 in senso proprio

 

R1: la dipendenza tra enti relativi è un predicato di L1. R2: la dipendenza assoluta connette L1 a L2 attraverso un termine che ha riferimento in L2. R3: ogni predicato applicato a g in L1 è sollevato per analogia a L2. R4: il predicato fondante appartiene propriamente a L2.

2-quater. Principio di Analogia Formalizzato (PAF)

∀P (Lvl(P)=1 ∧ P(g) → ∃Q (Lvl(Q)=2 ∧ Q(g) ∧ Corr(P,Q)))

 

Per ogni predicato P di livello 1 attribuito a g, esiste un predicato Q di livello 2 correlato a P, tale che P(g) in L1 esprime analogicamente Q(g) in L2. La funzione Corr(P,Q) esprime la correlazione analogica.

Parte II — Struttura dei domini

3. Sort A: Fondamento Assoluto

DA = {g}
FondamentoAssoluto(g)
g ∉ DR
Lvl(g) = 2

 

Il dominio del Fondamento contiene un unico elemento g, che non appartiene al dominio degli enti relativi e ha riferimento primario in L2.

4. Sort R: enti relativi

DR = {x : x è un ente relativo creato}
SortR(x) → DipA(x,g)
Lvl(x) = 1 per ogni x ∈ DR

 

Il dominio degli enti relativi comprende tutte e sole le realtà che ricevono l'essere e dipendono assolutamente dal Fondamento. Ogni ente relativo appartiene a L1.

5. Sort P: mondi possibili

DP = {w : w è un mondo possibile}
EsisteIn(x,w)
Lvl(w) = 1 per ogni w ∈ DP

 

Il dominio dei mondi possibili contiene le strutture modali in cui gli enti possono esistere o non esistere.

6. Separazione dei domini

DA ∩ DR = ∅
DP ∩ (DA ∪ DR) = ∅

 

I tre domini sono mutuamente disgiunti. Il Fondamento non è un ente relativo né un mondo possibile; i mondi possibili non sono enti né Fondamento.

Dominio complessivo: D = DA ∪ DR ∪ DP ∪ DEs ∪ DN ∪ DPers

 

7. Essenze, nature, persone

• HaEss(x,e) — x ha essenza e
• HaNat(x,n) — x ha natura n
• Inst(n,x) — n è instanziata in x
• Suss(p,e) — la persona p sussiste nell'essenza e

Parte III — Dipendenza e fondazione

8. Relazioni fondamentali

• Dip(x,y) — x dipende da y (Lvl = 1)
• DipA(x,g) — x dipende assolutamente dal Fondamento (Lvl = 1 con g in L2)
• Div(x) — x è divisibile
• Comp(x) — x è composto
• Att(x) — x è atto
• Creato(x) — x è creato

9. Il creato

Creato(x) := SortR(x)
SortR(x) → DipA(x,g)

 

Ogni ente relativo è creato, e ogni ente relativo dipende assolutamente dal Fondamento.

10. Dipendenza transitiva

Dip+(x,y) = catena finita di dipendenze

La relazione di dipendenza transitiva è la chiusura transitiva della relazione primitiva Dip, ristretta a catene finite.

11. Assioma di Terminazione Finita (TF)

Ogni catena di dipendenze relative termina in un principio non relativo.

¬∃ ⟨xi⟩i∈ℕ : ∀i (Dip(xi+1, xi) ∧ SortR(xi))

 

Fondazione. TF non è una verità logica necessaria, ma una scelta metafisica. Se l'essere è ricevuto, richiede un dante. In una catena infinita, ogni membro riceve ma nessuno dà originariamente. In una catena circolare, nessuno possiede autarchia. Chi rifiuta TF costruisce una metafisica diversa, non contraddittoria.

12. Assioma di Attualizzazione (PA)

Div(x) → ∃y (Dip(x,y) ∧ Att(y))

 

Ciò che è divisibile presuppone unattuale del quale dipende. L'atto precede e fonda la potenza.

13. Premessa di esistenza (P1)

∃x SortR(x)

 

Esiste almeno un ente relativo.

14. Esistenza del Fondamento

Da P1, TF e PA segue l'esistenza di un termine non dipendente, non diveniente, identificato come Fondamento Assoluto g.

Dimostrazione: Dall'Assioma P1 esiste almeno un ente relativo x. Per la Definizione 9, x dipende assolutamente da g. Per TF, ogni catena di dipendenze termina in un principio non relativo. Poiché x è relativo, la sua catena non può essere infinita né circolare: deve terminare in un termine che non dipende da alcun altro. Tale termine è g. Per PA, il termine finale deve essere atto. Pertanto g esiste come Fondamento Assoluto. Per PAF, il predicato FondamentoAssoluto(g) in L1 esprime analogicamente la condizione meta-ontologica in L2. □

15. Unicità (U)

DA = {g}

Il dominio del Fondamento contiene uno e un solo elemento.

16. Semplicità (S)

¬Comp(g)

 

Il Fondamento è privo di parti, composizione o struttura interna.

17. Atto Puro

AttoPuro(g)
¬PotenzaPassiva(g) ∧ ¬PotenzaAttiva(g)

 

Il Fondamento è privo di potenza passiva e attiva.

Dimostrazione: (1) Se g avesse potenza passiva, potrebbe ricevere atto, quindi dipenderebbe da unattuale superiore, contraddicendo TF e U. (2) Se g avesse potenza attiva, conterrebbe distinzione reale di potenza e atto nel suo operare, contraddicendo S (semplicità). (3) Pertanto g è privo di ogni potenza: atto puro assoluto. Per PAF, AttoPuro(g) in L1 esprime analogicamente l'autarchia ontologica in L2. □

Parte IV — Creazione e mondi possibili

18. Creazione ex nihilo

Creazione(g,x) → SortR(x)

 

Se g crea x, allora x è un ente relativo. La creazione non presuppone materia preesistente: l'ente relativo è prodotto dal nulla pre-creaturale.

19. Asimmetria della fondazione

SortR(x) → DipA(x,g)
¬DipA(g,x)

 

Ogni ente relativo dipende dal Fondamento, ma il Fondamento non dipende da alcun ente relativo. La relazione è rigorosamente asimmetrica.

20. Conservazione nell'essere

DipendenzaContinua(x,g)

La dipendenza del creato dal Fondamento non è un evento passato, ma una condizione ontologica permanente. Il creato non persiste per inerzia, ma per fondazione continua.

21. Cause seconde

CausaSeconda(x) → SortR(x)

 

Ogni causa seconda è un ente relativo. L'efficacia causale del creato non compete con la fondazione del Fondamento, ma la presuppone.

22. Mondi possibili e contingenza

EsisteIn(x,w)
Contingente(x) := ∃w EsisteIn(x,w) ∧ ∃w' ¬EsisteIn(x,w')

 

Un ente è contingente se esiste in almeno un mondo possibile e non esiste in almeno un altro.

23. Semantica modale

F = ⟨W, Acc, D, E, V⟩

 

La struttura modale è una quintupla dove W è l'insieme dei mondi, Acc la relazione di accessibilità (riflessiva, transitiva, simmetrica), D il dominio, E la relazione di esistenza, V la funzione di valutazione.

24. Necessità del Fondamento

Necessario(g) ≡ ∀w EsisteIn(g,w)

 

Il Fondamento esiste in ogni mondo possibile. La sua necessità è modale e assoluta.

Dimostrazione: Supponiamo per assurdo che esista un mondo w in cui g non esiste. Se w contiene enti relativi, TF richiede un Fondamento in w, che per U sarebbe g' ≠ g, contraddicendo l'unicità. Se w è vuoto, la possibilità stessa di enti relativi in altri mondi richiede g come condizione di possibilità. Pertanto g esiste in ogni mondo. Per PAF, la necessità modale in L1 esprime l'a-seiticità assoluta in L2. □

Parte V — Essenze, nature e angeli

25. Essenza

HaEss(x,e)

L'essenza è ciò che una realtà è: il nucleo costitutivo che determina l'identità di x.

26. Natura

Inst(n,x)

La natura n è instanziata nell'ente x. Mentre l'essenza individua, la natura unifica enti della medesima specie o genere.

27. Natura angelica

Angelo(a) → SortR(a)
ImmatRel(a) := ¬Div(a) ∧ ¬Comp(a) ∧ SortR(a)
PotenzaAttiva(a) ∧ ¬PotenzaPassiva(a)

 

L'angelo è ente relativo immateriale: privo di divisibilità e composizione materiale, ma rimanente dipendente dal Fondamento. Possiede potenza attiva (intelletto e volontà) ma non potenza passiva materiale. La sua attualità non presuppone atto esterno, ma la sua esistenza presuppone DipA(a,g).

28. Partecipazione

Gli enti relativi partecipano dell'essere; il Fondamento è fonte non partecipata. La partecipazione non è divisione dell'essere del Fondamento, ma relazione fondante per la quale il relativo è ciò che è.

Parte VI — Libertà, grazia e male

29. Condizione umana

Umano(x) → SortR(x)

 

L'essere umano è ente relativo: contingente, dipendente, fondato.

30. Libertà creaturale

Libero(x,φ) := Agisce(x,φ) ∧ ¬Determinato(x,φ)
Fondato(x,φ) := DipA(x,g) ∧ Agisce(x,φ)

 

L'ente x compie l'atto φ liberamente se agisce senza essere deterministicamente causato nel contenuto specifico di φ, pur restando fondato ontologicamente in g.

Assioma di Libertà Compatibile (ALC):
DipA(x,g) ∧ Libero(x,φ) → (¬Determinato(x,φ) ∧ Fondato(x,φ))

 

La dipendenza ontologica è compatibile con la libertà: la fondazione riguarda l'essere, la libertà riguarda il modo di operare. Il Fondamento non determina gli atti specifici della creatura, ma rende possibile l'agente che li compie.

31. Intelligenza del Fondamento

L'ordine del reale rinvia a un principio intelligente. L'ordine ontologico degli enti relativi presuppone un principio dotato di intelligenza, poiché l'ordine non deriva dal caso né dalla necessità cieca.

32. Volontà del Fondamento

CreazioneLibera(g,w)

La creazione è atto libero del Fondamento. Poiché gli enti relativi sono contingenti, e poiché il Fondamento è necessario, la creazione non è necessaria: ciò che non è necessario eppure è, è frutto di un atto libero.

33. Bontà del Fondamento

FonteDiBonta(g)

Il Fondamento è fonte originaria di ogni bontà. La bontà degli enti relativi è partecipata; la bontà del Fondamento è sostanziale e incommunicabile in senso assoluto.

34. Grazia

Grazia(g,x)

La grazia è l'azione del Fondamento sull'ente relativo che eleva quest'ultimo al di là della sua pura natura, senza violare la struttura ontologica del creato.

35. Male come privazione

Il male è privazione di un bene dovuto, non sostanza. Non appartiene a DR come entità positiva, né è creato dal Fondamento. Il male è deficienza di un bene dovuto secondo la natura dell'ente.

Parte VII — Trinità e Incarnazione

Premessa Teologica

Le proposizioni di questa parte sono tesi teologiche, non teoremi dedotti dagli assiomi precedenti. Esse integrano la metafisica naturale senza derivare logicamente da essa. Tuttavia, la formalizzazione presentata garantisce la coerenza con la metafisica naturale.

36-bis. Operatore Modo di sussistenza

• Modo(p, e, r) — la persona p sussiste nell'essenza e secondo la relazione r
• RelOrig(r) — r è relazione originaria (non accidentale)
• Subsist(p) — p è principio di sussistenza

L'operatore Modo formalizza il modo distinto in cui una medesima essenza è posseduta da una Persona. La relazione r non è accidente aggiunto all'essenza, ma modo intrinseco di sussistenza.

36. Dominio personale divino

DPersDiv = {Padre, Figlio, SpiritoSanto}

Esistono tre Persone divine, distinte realmente, appartenenti al dominio delle Persone Divine.

37. Unica essenza divina

EssDiv(eg)
g = eg

Le tre Persone divine condividono un'unica essenza divina, identificata con il Fondamento g. Il Fondamento è l'essenza divina in quanto principio fondante.

37-bis. Relazioni originarie

RelOrig(rP) ∧ RelOrig(rF) ∧ RelOrig(rS)
rP = generare (paternitas)
rF = generari (filiatio)
rS = spirari (processio)

 

Le relazioni originarie sono tre: generazione attiva (Padre), generazione passiva (Figlio), spiratione (Spirito Santo). Esse non sono predicati accidentali, ma costitutivi del modo di sussistenza.

37-ter. Distinzione reale senza composizione

∀p,q (p,q ∈ DPersDiv ∧ p ≠ q → Modo(p,g,rp) ∧ Modo(q,g,rq) ∧ rp ≠ rq)
¬Comp(g) — la molteplicità dei modi non introduce composizione nell'essenza

 

Le Persone sono realmente distinte per i loro modi di sussistenza (relazioni originarie diverse), ma l'essenza g rimane assolutamente semplice. La distinzione non è di natura, ma di relazione originaria.

37-quater. Incommunicabilità

∀p (p ∈ DPersDiv → ¬∃q (q ∈ DPersDiv ∧ q ≠ p ∧ Modo(q, g, rp)))

 

Ogni relazione originaria è propria di una sola Persona: la paternitas è del Padre soltanto, la filiatio è del Figlio soltanto, la processio è dello Spirito Santo soltanto.

38. Tre Persone divine

Suss(Padre, g) ∧ Modo(Padre, g, rP)
Suss(Figlio, g) ∧ Modo(Figlio, g, rF)
Suss(SpiritoSanto, g) ∧ Modo(SpiritoSanto, g, rS)

 

Ciascuna Persona divina sussiste nel Fondamento-essenza secondo la propria relazione originaria. La distinzione delle Persone non è di natura, ma di modo di sussistenza.

Teorema Tr — Coerenza trinitaria

¬(Padre = Figlio) ∧ ¬(Figlio = SpiritoSanto) ∧ ¬(Padre = SpiritoSanto)
HaEss(Padre, g) ∧ HaEss(Figlio, g) ∧ HaEss(SpiritoSanto, g)
¬Comp(g)

 

Dimostrazione: (1) Per la Tesi 38, ogni Persona sussiste in g. (2) Per 37-ter, le Persone sono distinte per relazioni originarie diverse (rP ≠ rF ≠ rS). (3) Per 37-quater, nessuna relazione originaria è condivisa, quindi le Persone sono realmente distinte. (4) Per la Tesi 37, tutte e tre hanno essenza g. (5) Per 37-ter (seconda clausola), g rimane non composto nonostante la molteplicità dei modi. Pertanto le tre proposizioni sono coerenti con la metafisica naturale. □

39. Incarnazione

Assume(Figlio, naturaUmana)

La seconda Persona divina assume una natura umana, senza confusione delle nature né divisione della Persona.

Parte VIII — Teleologia ultima

40-bis. Ordine finale (riformulato)

OrdineFinale(x,f) := Orientamento(x,f) ∧ Fine(f) ∧ (f ∈ DR ∨ f ∉ DR)
Immanente(f) := f ∈ DR
Trascendente(f) := f ∉ DR

 

L'ente x ha ordine finale verso f se è orientato a f come termine. Il fine può essere immanente (relativo) o trascendente (non appartenente al dominio del relativo).

40. Finalità

OrientamentoAlBene(x)

Ogni ente relativo è ordinato al bene: o per natura, o per libertà, o per grazia.

41-bis. Assioma di Istituzione Teleologica (AIT)

OrdineFinale(x,f) ∧ Trascendente(f) → FondazioneUltima(g,f)
OrdineFinale(x,f) ∧ Immanente(f) → ∃y (Dip(f,y) ∧ Att(y))

 

Se x è ordinato a un fine trascendente, quel fine è fondato ultimamente in g. Se il fine è immanente, esso presuppone unattuale del quale dipende (per PA), e per TF la catena termina in g.

41-ter. Non-autofondazione teleologica

¬∃x (SortR(x) ∧ OrdineFinale(x,f) ∧ FondazioneUltima(x,f))

 

Nessun ente relativo è fondamento ultimo del proprio ordine finale. L'autofondazione teleologica è esclusa per definizione di SortR.

41. Teleologia e Fondamento

OrdineFinale(x) → FondazioneUltima(g,x)

 

Se x ha ordine finale, la catena di fondazione teleologica termina nel Fondamento.

Teorema IV — Teleologia e Fondamento (dimostrato)

OrdineFinale(x) → FondazioneUltima(g,x)

 

Dimostrazione: Sia x un ente con ordine finale verso f. Due casi: (1) Se Trascendente(f), per AIT (prima clausola) f è fondato in g. Poiché x è ordinato a f, e f è fondato in g, la catena teleologica di x termina in g. (2) Se Immanente(f), per AIT (seconda clausola) f presuppone unattuale y. Se y ∈ DR, per TF la catena di dipendenze di y termina in g. Se y ∉ DR, allora y = g per U. In entrambi i sotto-casi, la fondazione ultima è g. Pertanto, per ogni x con ordine finale, FondazioneUltima(g,x). □

42. Libertà e finalità

La libertà non annulla l'orientamento al bene. Anche l'atto libero, quando è autenticamente tale, tende al bene apparente; la grazia rettifica l'orientamento verso il bene vero.

43. Grazia e compimento

La grazia eleva la finalità naturale verso un fine soprannaturale. Non distrugge ciò che il creato è per natura, ma lo perfeziona oltre la propria proporzione naturale.

44. Beatitudine

Beatitudine(x) → Comunione(x,g)

 

La beatitudine dell'ente relativo consiste nella comunione con il Fondamento. Non è possesso di un bene estraneo, ma realizzazione dell'ordine ontologico fondante.

Parte IX — Sintesi formale

45. Domini fondamentali

• DA = {g}
• DR = enti relativi
• DP = mondi possibili
• DPersDiv = {Padre, Figlio, SpiritoSanto}

46. Relazioni fondamentali

• DipA(x,g) — dipendenza assoluta
• Creazione(g,x) — creazione
• DipendenzaContinua(x,g) — conservazione
• EsisteIn(x,w) — esistenza modale
• Modo(p,e,r) — modo di sussistenza

47. Principi metafisici

• P1 — esistenza del relativo
• TF — terminazione finita
• PA — attualizzazione
• U — unicità
• S — semplicità
• AP — atto puro
• ACMO — necessità modale del Fondamento
• CONT — contingenza creaturale
• PAF — principio di analogia formalizzato
• ALC — libertà compatibile
• AIT — istituzione teleologica

48. Operatori e funzioni

• Lvl — livello semantico
• Lift — promozione analogica
• Corr — correlazione tra predicati
• Modo — modo di sussistenza
• RelOrig — relazione originaria

49. Schema dell'essere

Fondamento Assoluto (L2) → fondazione analogica (PAF) → creazione e conservazione (L1) → enti del Sort R → libertà (ALC), grazia, teleologia (AIT) → comunione

 

50. Tesi conclusiva

Il Fondamento è unico, immutabile, semplice, necessario. Il relativo riceve l'essere, partecipa, è libero e ordinato alla comunione. La semantica a due livelli (L1/L2) garantisce la coerenza tra formalizzazione e trascendenza. La teologia rivelata integra Trinità (per modo di sussistenza), Incarnazione, grazia e beatitudine senza contraddire la metafisica naturale. La teleologia è dedotta, non assunta. Il sistema è chiuso e coerente.

Fine