Trattato Metafisico
Edizione Integrata
|
La Logica Assoluta — Trattato di metafisica, logica e
struttura dell'essere: |
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 |
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} |
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} |
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} |
Il dominio dei mondi possibili contiene le strutture
modali in cui gli enti possono esistere o non esistere.
6. Separazione dei domini
|
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) |
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) |
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) |
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) |
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) |
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,φ) |
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): |
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) |
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) |
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) |
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) |
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) |
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) |
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