# TRATTATO DI LOGICA ASSOLUTA
## Fenomenologia, ontologia e metafisica del
Fondamento, con il sistema Def/Cr e la logica dei due sort
Autore:
Adriano53s · Ottobre 2026
---
## INDICE
- Premessa logica e
metodologica
- Parte 0: Mediazione trascendentale, ermeneutica e realismo
critico
- Parte I: Fenomenologia dell'incontro e della domanda
- Parte II:
Ontologia della dipendenza e dei due sort
- Parte III: Metafisica del
Fondamento: la via della contingenza, il collasso modale e la via ontologica
- Parte IV: Il sistema Def/Cr
- Parte V: Teologia filosofica: qualificazione
del Fondamento
- Parte VI: Le due logiche: assoluta e relativa
- Parte
VII: Creazione dal nulla, libertà creatrice e atemporalità
- Parte VIII:
Unicità dell'Assoluto
- Parte IX: La struttura del soggetto umano
- Parte
X: Kant, Hegel e l'idealismo
- Parte XI: Categorie tomiste e cristiane
-
Parte XII: Tempo creato, futuro aperto e infinito potenziale
- Parte XIII:
Conoscenza divina e libertà creaturale
- Parte XIV: Il male e la teodicea
- Parte XV: Apofasi e obiezioni della filosofia contemporanea
- Parte XVI:
Formalizzazione e modello di consistenza
- Parte XVII: Il ponte noetico:
dall'intelligibilità del relativo al Fondamento
- Parte XVIII: Dinamica
esistenziale della libertà: prova, tentazione, caduta, cura, destinazione
-
Parte XIX: Comunità e relazione intersoggettiva
- Parte XX: Architettura
conclusiva e formula del sistema
- Appendice A: Registro dei livelli
proposizionali (Norma N1)
- Appendice B: Questioni aperte
- Abstract e
bibliografia
---
## PREMESSA LOGICA E METODOLOGICA
**1.
Logica adottata.** Logica modale quantificata del primo ordine con identità, a
dominio variabile e su base libera (Lambert 2003). I quantificatori sono
attualisti: ∃x φ e ∀x φ ricorrono sugli enti che esistono nel mondo di
valutazione (equivalentemente: dominio costante con predicato di esistenza E_w(x);
E(x) indica l'esistenza nel mondo attuale). S5 è ipotesi di lavoro: la via
principale della Parte III (§§1–5) non ne dipende; vi dipendono la variante
modale (§6), la via ontologica (§7) e il modello della Parte XVI. Il secondo
ordine, con semantica di Henkin e comprensione sulle proprietà qualitative,
serve soltanto alle premesse di unicità (Parte VIII) e allo schema analogico
(Parte VI). Dualità: ¬◇¬p ↔ □p. Esistenza: E!t := ∃x(x = t), mai predicato reale
(KrV A598/B626).
**2. Sort, registri e logiche: notazione.**
|
Simbolo | Significato |
|---|---|
| SortA(x), SortR(x) | i due *sort*: x è
assoluto; x è relativo (definiti nella Parte II) |
| a, r | variabili di sort:
relativizzazioni di ∀x e ∃x a SortA e a SortR (Parte II §2) |
| LA, LR |
*registri*: le classi {x : SortA(x)} e {x : SortR(x)} |
| ∃LA, ∃LR |
abbreviazioni di ∃x SortA(x) e ∃x SortR(x) |
| logica assoluta, logica
relativa | le due *teorie*, scritte nelle firme Σ_A e Σ_R (Parte VI) |
|
«l'Assoluto», g | nomi introdotti **solo dopo** l'unicità (Parte VIII) |
Non si usa alcun nome proprio per il Fondamento prima che ne sia argomentata
l'unicità (logica libera).
**3. Connettivi.** → implicazione materiale; A
⇒ B implicazione stretta, □(A → B); ⊢ derivabilità; ⊨ conseguenza semantica.
**4. Quattro relazioni da non confondere.** Exp(q,p): q spiega p (fattiva);
Gr(x,y): x fonda ontologicamente y; Cr(x,y): x produce o sostiene l'esistenza di
y; Def(x,y): x concepisce y. Exp ≠ Gr ≠ Cr ≠ Def: i passaggi richiedono
premesse-ponte esplicite.
**5. Tre tipi di tesi.**
1. *Coerenza*: gli
assiomi sono consistenti e il collasso modale non ne segue (Teorema III.1, con
modello).
2. *Accesso*: dato un insieme dichiarato di premesse, esiste almeno
un Assoluto (Parte III).
3. *Confronto*: rispetto a spinozismo e fatto bruto,
la struttura a due sort ha costi diversamente distribuiti; non è l'unica
coerente (Parti III e V).
Nessuna conclusione è assoluta: vale
condizionatamente alle premesse dell'Appendice A.
**6. Statuti
proposizionali e Norma N1.** Ogni proposizione del trattato appartiene a uno
solo di cinque livelli:
1. **Definizioni (D):** stipulazioni di significato e
convenzioni simboliche; senza valore di verità autonomo.
2. **Assiomi (A):**
principi formali assunti come punti di partenza non dimostrati: fondazione
(AF1–AF5), regole di tipizzazione dei sort (relativizzazione dei quantificatori,
Parte II §2), non mescolanza (NM), atemporalità (A.5).
3. **Assunti
metafisici (AM):** prese di posizione ontologiche sostantive, non deducibili
dalla sola logica, dotate di impegno ontologico (P1–P7, AD, A1, U1–U3, …).
4.
**Teoremi (T):** conseguenze derivate unicamente da definizioni, assiomi e
assunti, di cui si indicano le premesse.
5. **Proposte interpretative (PI):**
letture ermeneutiche, teodiceiche e orientamenti di senso che estrapolano il
significato del sistema senza rivendicare necessità apodittica.
**Norma
N1 (divieto di contaminazione).** (i) Un teorema dipende soltanto da
definizioni, assiomi e assunti dichiarati. (ii) Nessuna proposta interpretativa
è premessa di un teorema. (iii) Un assunto non si presenta come teorema, né una
proposta come assunto. L'Appendice A assegna ogni proposizione al suo livello;
le tesi numerate al termine di ciascuna Parte sono sintesi e ereditano il
livello delle proposizioni che riassumono.
---
## PARTE 0:
MEDIAZIONE TRASCENDENTALE, ERMENEUTICA E REALISMO CRITICO
**Statuto.**
Parte metodologica e interpretativa (PI): precisa il modo in cui il soggetto
finito accede al reale. L'unica formula che è teorema è SortR(S) → ¬SortA(S)
(T1). Le formule epistemiche (Acc, Med, ConosceQuid, ComprendeEsaustivamente)
sono assunti epistemici (AM), coerenti con XI §4 (conoscenza *quia*, non
*quid*).
Il trattato non identifica la realtà con una datità
immediatamente disponibile a un soggetto privo di storia, linguaggio, concetti e
pratiche interpretative. Il soggetto umano, in quanto ente relativo, conosce
entro condizioni trascendentali, orizzonti linguistici, tradizioni storiche e
forme di vita. Tali condizioni non producono l'essere degli enti, ma
costituiscono la forma finita nella quale l'essere può apparire, essere
compreso, nominato e giudicato.
Questa precisazione distingue il trattato
sia dal realismo ingenuo sia dall'idealismo produttivo. Il realismo ingenuo
considera il soggetto come colui che riceve il reale senza mediazione;
l'idealismo produttivo sostiene che il soggetto produca ontologicamente il
reale. Il trattato assume una terza posizione: il soggetto accede al reale
mediante mediazioni storiche, linguistiche, pratiche e trascendentali, ma non lo
produce nell'essere.
Il soggetto non è un osservatore esterno che si
trova di fronte a oggetti già pienamente disponibili. Appartiene all'orizzonte
dell'essere, lo comprende da una situazione concreta e viene a sua volta
trasformato dall'incontro con ciò che comprende. La comprensione non è un atto
puramente acquisitivo: è anche una modificazione dell'orizzonte entro cui il
soggetto si comprende e comprende il mondo.
La relazione fondamentale non
è dunque soltanto S → x, come se S fosse un soggetto già costituito e x un
oggetto già determinato. La struttura concreta dell'esperienza è una relazione
dinamica tra soggetto, mondo, linguaggio, storia e prassi. Questa circolarità
non è necessariamente viziosa: è la struttura propria della comprensione finita.
La circolarità ermeneutica non implica che il soggetto produca ontologicamente
l'essere; significa che può incontrarlo soltanto entro forme di comprensione già
linguistiche, storiche e pratiche, che possono essere corrette, approfondite e
trasformate.
La condizione della conoscibilità non è la condizione
dell'esistenza. La mediazione dell'accesso non è la produzione dell'oggetto.
L'interpretazione di un ente non è la sua fondazione ontologica. Ma la
distinzione ontologica non autorizza a ignorare la forma concreta e storica
nella quale l'accesso all'essere avviene.
### 0.1 I quattro livelli della
questione
Il confronto con il metodo trascendentale e con l'ermeneutica
richiede di distinguere quattro piani, senza separarli arbitrariamente.
1. **Piano ontologico:** che cosa esista e da che cosa dipenda nell'essere
(fondazione, creazione, dipendenza, necessità, contingenza).
2. **Piano
trascendentale:** quali condizioni rendano possibili l'esperienza, il giudizio,
l'oggettività e l'autocomprensione di un soggetto.
3. **Piano ermeneutico:**
come un contenuto venga compreso, interpretato e articolato entro un orizzonte
di senso.
4. **Piano storico-pratico:** le forme linguistiche, culturali,
sociali e istituzionali nelle quali il conoscere e l'agire si esercitano.
I piani non sono identici: una condizione trascendentale non è per ciò
stesso una causa ontologica; un'interpretazione non è per ciò stesso una
fondazione; una forma storica non è per ciò stesso il contenuto ultimo della
verità. Sono però concretamente connessi: il soggetto ontologicamente relativo
conosce mediante condizioni trascendentali, interpreta entro un linguaggio e
agisce in una storia. Il trattato evita due riduzioni opposte: non riduce
l'ontologia all'ermeneutica, come se l'essere fosse soltanto ciò che viene
interpretato; non riduce l'ermeneutica a un ostacolo soggettivo posto tra il
soggetto e una realtà già completamente posseduta.
### 0.2 Il soggetto
come apertura finita
Il soggetto umano è un ente contingente, corporeo,
temporale, dipendente e storico: appartiene al registro relativo. La sua
relatività non è però soltanto privazione dell'Assoluto: il soggetto è anche
apertura all'essere, alla verità, al bene, all'altro e al Fondamento. SortR(S)
non significa che S sia chiuso entro il finito come orizzonte autosufficiente;
significa che l'apertura di S avviene da una posizione finita, incarnata e
storica. Si distinguono:
- la *relatività ontologica* del soggetto (ciò che è
nell'ordine dell'essere);
- la *trascendenza intenzionale* del soggetto (ciò
verso cui può orientarsi);
- la *storicità ermeneutica* del soggetto (il modo
concreto e finito in cui tale orientamento è esercitato).
Ne segue: SortR(S)
→ ¬SortA(S) (T1), ma non SortR(S) → ChiusuraAssoluta(S). Il soggetto relativo
non è il Fondamento, ma è capace di domandarlo; non possiede l'Assoluto, ma può
lasciarsi interpellare da ciò che lo trascende.
### 0.3 Mediazione,
interpretazione e verità
Ogni accesso umano alla verità avviene da una
situazione concreta: il soggetto non dispone di un punto di vista assoluto sul
reale, poiché appartiene al registro relativo. Ogni comprensione è mediata da
lingua, storia, memoria, corporeità, formazione concettuale, comunità,
tradizione e prassi:
```
Acc(S,p) → ∃c Med(S,p,c)
```
Il
contesto c non è una semplice cornice esterna: contribuisce a determinare ciò
che il soggetto può vedere, nominare, distinguere e comprendere. Non decide però
automaticamente la verità di ciò che viene compreso: l'interpretazione resta
esposta alla realtà, alla resistenza dell'oggetto, alla coerenza,
all'esperienza, al confronto e alla revisione.
La storicità
dell'interpretazione non implica relativismo. Dal fatto che ogni accesso alla
verità sia mediato non segue che ogni interpretazione sia vera, né che nessuna
verità sia indipendente dal soggetto: Med(S,p,c) non implica Verità(p) né
¬Verità(p). La verità trascende ogni singola interpretazione, ma si manifesta al
soggetto finito soltanto attraverso interpretazioni storiche; ciò evita sia
l'oggettivismo ingenuo sia il relativismo assoluto.
L'interpretazione è
un compito infinito. Ciò non significa che ogni progetto di verità sia destinato
al fallimento: significa che nessuna formulazione finita esaurisce il contenuto
della verità e che ogni comprensione può essere approfondita, corretta o
riformulata. La verità non è soltanto una proposizione isolata alla quale si
assegna il valore vero: può manifestarsi anche come apertura di un orizzonte,
comprensione di un senso, riconoscimento di una situazione o trasformazione del
rapporto del soggetto con l'essere. La logica proposizionale resta
indispensabile per controllare la validità degli argomenti, ma non esaurisce
tutte le dimensioni fenomenologiche ed ermeneutiche della verità.
### 0.4
Comprensione e trasformazione dell'orizzonte
Il rapporto con la verità non è
puramente acquisitivo. Quando il soggetto comprende realmente qualcosa, non
soltanto possiede un contenuto: può modificare il proprio modo di vedere,
giudicare e agire. Detto h l'orizzonte storico-esistenziale del soggetto:
```
Interp(S,p,h) → ◇Trasforma(S,p,h)
```
La tesi non significa
che ogni interpretazione trasformi necessariamente il soggetto, né che la verità
dipenda dall'effetto psicologico prodotto: significa che la conoscenza umana è
una relazione nella quale il soggetto può essere coinvolto e modificato da ciò
che comprende. Il soggetto non è soltanto colui che guarda un oggetto: è anche
colui che viene messo in questione dall'incontro con ciò che pretende di
comprendere. Ciò vale in particolare per il Fondamento, che non può essere
trattato come un oggetto disponibile senza che il soggetto sia coinvolto nella
domanda sul proprio essere (Parte I).
### 0.5 Il Fondamento e il limite
della comprensione
Il Fondamento, se la Parte III è valida condizionatamente
alle sue premesse, non è un oggetto fra gli altri del registro relativo: non è
un ente finito da osservare, manipolare, possedere concettualmente o collocare
nello spazio e nel tempo. Dopo la Parte VIII, se l'unicità è accettata, lo si
designa con g; ma la designazione non equivale alla comprensione esaustiva.
Il soggetto può giungere, condizionatamente, alla tesi che esiste un ente
necessario e non dipendente. Può interpretarlo, per analogia, come Fondamento,
causa creatrice, bene, intelligenza o libertà, se accetta le ipotesi ulteriori
delle Parti V, VII e XI. Non può trasformare queste qualificazioni analogiche in
una comprensione integrale dell'essenza dell'Assoluto. Il trattato distingue il
sapere *che* il Fondamento è dalla comprensione di *ciò che* è:
```
Acc(S, «esiste un Fondamento necessario e non dipendente») (condizionatamente)
non: ConosceQuid(S,g)
SortR(S) ∧ SortA(g) → ¬ComprendeEsaustivamente(S,g)
```
La limitazione non è scetticismo: esprime la sproporzione tra il
soggetto relativo e il Fondamento non dipendente. L'apofasi non nega ogni
discorso sul Fondamento; nega che il discorso finito possa esaurirlo. Restano
possibili la via dell'affermazione, della negazione e dell'eminenza, nei limiti
dell'analogia delle Parti VI e XI.
### 0.6 Confronto con Massimo Marassi
Il confronto con Massimo Marassi è metodologicamente istruttivo. La sua
riflessione su Kant, sul metodo trascendentale, sull'ermeneutica e sulla
metafisica dopo Kant non va assimilata all'idealismo produttivo criticato nella
Parte X: il punto centrale non è la produzione ontologica dell'essere da parte
del soggetto, ma la mediazione storica, simbolica, linguistica e trascendentale
dell'esperienza e della sua intelligibilità.
Una possibile obiezione
marassiana al trattato sarebbe che la distinzione tra mediazione epistemica e
produzione ontologica, pur necessaria, non basta: non è sufficiente dire che il
soggetto non crea l'essere; occorre mostrare come l'essere possa essere
incontrato e compreso da un soggetto finito, storico e interpretante. Il
soggetto non è prima un ente completamente costituito che poi si rivolge a un
mondo già articolato: si comprende nel rapporto con il mondo, con gli altri, con
il linguaggio e con la storia; diventa ciò che è anche attraverso
l'interpretazione.
Questa costituzione ermeneutica non è una creazione
ontologica di sé. Si distinguono:
- *autocostituzione ermeneutica e pratica*,
compatibile con il registro relativo;
- *autocreazione ontologica*, esclusa
da AF1 e da T2 (Cr(S,S) darebbe Gr(S,S)).
Un soggetto può formarsi
mediante relazioni, linguaggio, memoria, decisioni e riconoscimento senza essere
causa ultima del proprio essere. Il soggetto non è soltanto un limite negativo,
ciò che non è l'Assoluto: è anche il luogo finito nel quale l'essere può essere
interrogato, compreso e interpretato; la sua trascendenza intenzionale non
implica aseità.
*Convergenza:* l'accesso umano all'essere è mediato e
interpretativo. *Separazione dal costruttivismo ontologico:* l'essere non è
prodotto dalla mediazione che lo rende accessibile. Il trattato può dunque
recepire una lezione ermeneutica senza abbandonare il realismo metafisico:
l'essere è indipendente dal soggetto, mentre l'accesso umano all'essere è
finito, storico, linguistico, pratico e mediato.
### 0.7 Formula della
posizione
La posizione complessiva è definita **realismo metafisico a
mediazione trascendentale ed ermeneutica**, o più brevemente **realismo critico
teistico**. Sostiene congiuntamente che:
- il soggetto umano è contingente,
storico e interpretante;
- il reale non è prodotto dall'atto interpretativo;
- l'accesso al reale è sempre finito e mediato;
- il Fondamento non è un
oggetto disponibile né concettualmente esauribile;
- la metafisica resta
possibile come argomentazione condizionata, critica e fallibile.
Formula
conclusiva: il Fondamento non è prodotto dal soggetto, ma è compreso soltanto
attraverso la finita mediazione del soggetto. La verità trascende ogni
interpretazione, ma si manifesta al soggetto finito solo in interpretazioni
storiche. Il soggetto non crea l'essere; interpreta l'essere da una situazione
storica; e l'interpretazione non esaurisce il Fondamento che rende possibile
l'essere del soggetto e della sua stessa interpretazione.
---
##
PARTE I: FENOMENOLOGIA DELL'INCONTRO E DELLA DOMANDA
**1. Il dato.** Il
punto di partenza è un'esperienza descrivibile: l'incontro con un Tu che
interpella (Buber 1923; Levinas 1961, 1974; Marion 1997). Il soggetto si scopre
chiamato in causa prima di essersi posto.
**2. Che cosa mostra e non
mostra.** Mostra la *ricettività* e la *domanda sull'origine*. Non dimostra
alcun Fondamento; e un'esperienza di passività non equivale da sola a dipendenza
ontologica, che richiede argomentazione propria (Parte II).
**3.
Movimento.** Incontro → ricettività → domanda. La fenomenologia apre la
questione, non la chiude.
---
## PARTE II: ONTOLOGIA DELLA
DIPENDENZA E DEI DUE SORT
### 1. Assiomi sulla fondazione
Primitivo
Gr(x,y); Gr* ne è la chiusura transitiva.
- **AF1** (irriflessività) ∀x
¬Gr(x,x)
- **AF2** (asimmetria) Gr(x,y) → ¬Gr(y,x)
- **AF3**
(transitività) (Gr(x,y) ∧ Gr(y,z)) → Gr(x,z)
- **AF4** (esistenzialità) Gr(x,y)
→ (E!x ∧ E!y)
- **AF5** (condizionalità modale) Gr(x,y) → □(E!y → E!x)
### 2. Definizioni e quantificatori di sort
- **D1** Dip(y) := ∃x (x ≠ y
∧ Gr(x,y))
- **D2** Cont(y) := E!y ∧ ◇¬E!y
- **D3** Nec(y) := E!y ∧ □E!y
- **D4** SortR(y) := Cont(y) ∧ Dip(y)
- **D5** SortA(y) := Nec(y) ∧ ¬Dip(y)
*(non causa sui: semplicemente non fondato da altro)*
- **D6** Cr(x,y) := Gr(x,y)
∧ x è causa efficiente, produttiva o sostentatrice di y
- **D7** Involge(q,x)
:= □(q → E!x)
Per un fatto o una proposizione p: Nec(p) := □p; Cont(p) :=
p ∧ ◇¬p.
I quantificatori di sort sono relativizzazioni:
```
∀a
φ :≡ ∀x (SortA(x) → φ[a/x]) ∃a φ :≡ ∃x (SortA(x) ∧ φ[a/x])
∀r φ :≡ ∀x (SortR(x)
→ φ[r/x]) ∃r φ :≡ ∃x (SortR(x) ∧ φ[r/x])
```
I sort hanno dunque un
contenuto *modale e fondazionale*, non sono etichette sintattiche. Un'identità a
= r tra variabili di sort diverso è ben formata e falsa (T1).
### 3.
Criterio di distinzione dei sort
Se esiste un predicato P tale che P(a) ∧
¬P(b), allora a ≠ b (legge di Leibniz). Applicato ai sort:
| Predicato |
SortA (assoluto) | SortR (relativo) |
|---|---|---|
| Esistenza |
necessaria | contingente |
| Dipendenza | no | sì |
| Composizione
mereologica | no (semplice) | sì |
| Finitudine | no | sì |
| Collocazione
temporale | no | sì |
Le prime due righe discendono dalle definizioni; le
altre sono *tesi ulteriori* (semplicità, atemporalità: Parti VII e XI).
### 4. Teoremi
- **T1** (incompatibilità dei sort). □¬∃x (SortA(x) ∧ SortR(x)).
*Dim.* SortA(x) dà □E!x; SortR(x) dà ◇¬E!x: contraddizione in ogni mondo. ∎
-
**T2.** Cr(x,y) ⇒ Gr(x,y). *Dim.* Da D6. ∎
- **T3** (aciclicità). Non
esistono cicli Gr(x₁,x₂), …, Gr(xₙ,x₁). *Dim.* Per AF3 un ciclo darebbe Gr(x₁,x₁),
contro AF1. ∎
- **T4** (necessità dell'esplicante). Nec(q) ∧ Involge(q,x) →
Nec(x). *Dim.* □q e □(q → E!x) danno □E!x; E!x segue da q attuale. ∎
- **T5**
(trasmissione della necessità). Gr*(z,x) ∧ Nec(x) → Nec(z). *Dim.* Da AF4 si ha
E!z; da AF5 e □E!x si ha □E!z; si itera con AF3. ∎
- **T6** (asimmetria
modale). SortA(a) ∧ SortR(r) ∧ Gr(a,r) → □(E!r → E!a) ∧ ¬□(E!a → E!r). *Dim.* Il
primo congiunto è AF5. Per il secondo: □E!a vale; se □(E!a → E!r) si avrebbe □E!r,
contro Cont(r). ∎ La dipendenza è unilaterale.
### 5. Relazione tra enti
relativi
L'incontro di due relativi è interpellanza reciproca; T3 esclude la
co-fondazione. Non si afferma che una somma di dipendenti *richieda* un
Fondamento esterno: è il nodo della Parte III.
### 6. Dipendenza del
contingente
**Ponte PB.** Se Cont(x) e q spiega E!x, esiste y ≠ x con Gr(y,x)
(la natura di un contingente non implica la sua esistenza, quindi non può
spiegarla).
**T7.** Cont(x) → Dip(x) (condizionato a P2 e PB). Il soggetto
umano è contingente, dunque relativo.
### 7. Dicotomia del concreto
-
**AD.** ∀x ((Concr(x) ∧ E!x) → (SortA(x) ∨ SortR(x))).
*Statuto.* AD
esclude (i) concreti **contingenti non dipendenti** (fatti bruti: Oppy) e (ii)
concreti **necessari ma dipendenti** (derivazione necessitante: Spinoza). È
quindi la premessa anti-naturalista e anti-necessitarista del sistema. La prima
metà è, condizionatamente, l'esito della Parte III (T7 e Teorema III.0); la
seconda è la tesi di non necessitazione discussa in III §5. Le entità astratte
(numeri, proposizioni) sono fuori ambito: richiedono una trattazione a parte
(Appendice B).
---
## PARTE III: METAFISICA DEL FONDAMENTO
### 1. Strategia
La via principale è la contingenza leibniziana (Gale–Pruss
1999; Pruss 2006; Pruss–Rasmussen 2018). Seguono: una variante modale (§6), la
via ontologica (§7) e vie sussidiarie (§9). **Nessun teorema delle Parti
successive dipende dalla via ontologica.**
### 2. Il fatto contingente
totale
Se ogni congiunto è contingente, la congiunzione lo è (valido). Il
problema è la *totalità* (Grim 1991). Si assume perciò un fatto B che totalizza
il concreto contingente, non una congiunzione infinita di verità.
### 3.
Premesse
- **P1** Esiste un fatto B che totalizza la realtà contingente
concreta; Cont(B).
- **P2** (PRS ristretto) Cont(p) → ∃q Exp(q,p).
-
**P3** (esteriorità) Cont(q) → ¬Exp(q,B).
- **P4** (concretezza) Exp(q,B) →
∃n (n concreto ∧ Involge(q,n)).
- **P5** (fondatezza) Dip(x) → ∃z (Gr*(z,x) ∧
¬Dip(z)).
- **P6** (estensione al fondamento) Exp(q,B) ∧ Involge(q,n) ∧ Gr*(z,n)
→ ∃q′ (Exp(q′,B) ∧ Involge(q′,z)).
- **P7** (contingenza forte del creato)
◇∃LR ∧ ◇¬∃LR: il creato avrebbe potuto non esistere affatto.
P7 è più
forte di Cont(B) (B potrebbe essere diverso senza che nulla di relativo manchi)
e non è usata nell'argomento dei §§4 e 6; serve ai Teoremi III.1, III.2 e VII.1
e al modello. La sua motivazione è discussa in §5.
### 4. L'argomento
1. Cont(B) (P1).
2. ∃q Exp(q,B) (1, P2).
3. Ogni tale q è non contingente
(P3); essendo vero, □q: Nec(q).
4. ∃n con Involge(q,n) (P4).
5. Nec(n) (3,
4, T4).
6. Se ¬Dip(n), allora SortA(n) (D5).
7. Se Dip(n), per P5 ∃z con
Gr*(z,n) ∧ ¬Dip(z); per T5 Nec(z); dunque SortA(z).
8. Per P6 l'esplicazione
si estende a z.
**Conclusione (Teorema III.0).** ∃y SortA(y),
condizionatamente a P1–P6 e AF1–AF5. Non sono dimostrate unicità, personalità,
creatività. L'asserto ∃y SortA(y) è indicato nel seguito come **A1** (esistenza
dell'Assoluto).
### 5. Spiegazione necessaria e necessitante: il collasso
modale
- *Necessaria*: Nec(E) ∧ Exp(E,B).
- *Necessitante*: Nec(E) ∧ □(E →
B). In tal caso □B, contro Cont(B).
Deve dunque valere Nec(E) ∧ Exp(E,B)
∧ ¬□(E → B).
**Il collasso spinoziano** richiede due premesse (Ethica I,
P16, P29, P33):
```
(SP) □∃LA ∧ □(∃LA ⇒ ∃LR) ⊢ □∃LR
```
La
necessità del Fondamento non basta: serve la *necessitazione* del derivato, ed è
questa che il trattato nega.
**Teorema III.1 (consistenza del
non-collasso).** L'insieme Γ = {AF1–AF5, D1–D7, A1, AD, A.5, H1} (Appendice A)
non implica □∃LR, né □(∃LA ⇒ ∃LR); e Γ ∪ {P7} è soddisfacibile.
*Dim. per
modello.* Il modello M della Parte XVI, §6 ha due mondi: in w₀ esistono a
(assoluto) e u (relativo, con Gr(a,u)); in w_C esiste solo a. In M valgono tutti
gli assiomi di Γ e P7, mentre ∃LR è falso in w_C. Dunque M ⊨ ¬□∃LR e M ⊭ □(∃LA ⇒
∃LR). ∎
*Portata:* prova la compatibilità degli assiomi con la contingenza,
non che il modello descriva la realtà.
**Teorema III.2 (incompatibilità
condizionale con lo spinozismo).** (SP) è incompatibile con P7.
*Dim.* (SP) e
A1 danno □∃LR; ciò contraddice ◇¬∃LR (P7). ∎
*Natura:* mostra
un'incompatibilità, **non** una refutazione di SP. La scelta tra le due
posizioni dipende dalle ragioni *indipendenti* per P7: (i) l'intuizione modale
stabile che il mondo avrebbe potuto essere diverso; (ii) la pratica deliberativa
(deliberare, rimproverare e pentirsi presuppongono alternative reali); (iii) la
contingenza dei parametri cosmici, che appaiono non logicamente necessari. Lo
spinozista può bilanciare i costi accettando il collasso, come fa Spinoza; il
trattato sostiene che i costi di questa scelta eccedono quelli della struttura a
due sort, non che l'alternativa sia incoerente. Si noti che i modi di Spinoza
sono *inerenti* alla Sostanza, non parti mereologiche: l'incompatibilità non si
basa sulla composizione.
**Tre modelli di spiegazione non necessitante:**
1. *Azione libera per ragioni.* L'esplicante E è il fatto necessario riguardante
l'agente (esistenza, poteri, ragioni); l'atto contingente appartiene a B, non a
E (P3 rispettata). Resta la questione contrastiva: perché B e non non-B? (Leibniz:
"inclinare senza necessitare").
2. *Causalità indeterministica impersonale.*
Evita il necessitarismo, ma lascia più problematica la questione contrastiva.
3. *Necessitarismo.* Nega P1 e Cont(B).
### 6. Variante modale (Gale–Pruss),
condizionata a S5
Si sostituisce P2 con il **WPSR**: ∀p ((p ∧ ¬□p) → ◇∃q Exp(q,p)).
Il WPSR è più debole di P2: richiede solo la *possibilità* di una spiegazione;
l'attualità si ottiene col passaggio S5.
1. Per WPSR e Cont(B): ◇∃q Exp(q,B).
2. In un mondo w tale che q spiega B, per P3 e P4 esiste un ente necessario Q:
in w, □∃Q.
3. Dunque ◇□∃Q.
4. Per l'assioma S5 (◇□p → □p): □∃Q.
5.
Quindi ∃Q attualmente.
**Premesse aggiuntive della variante:** (P3′) la
spiegazione di B in w non è un contingente interno a B; (P4′) la spiegazione
personale di un fatto contingente (un agente libero che agisce per ragioni) non
richiede un ulteriore contingente da spiegare (Pruss), il che blocca il regresso
per il fatto contingente "Q ha causato B". Entrambe sono controverse (Oppy
2006). L'identificazione di Q con un SortA richiede un passo supplementare.
### 7. Via ontologica (secondaria, isolata)
Plantinga (1974a): se un ente
massimamente grande è possibile, esiste in ogni mondo (S5: ◇□P → □P). Applicata
al sort assoluto: se ◇∃LA, allora □∃LA.
**Limiti dichiarati.**
- La
premessa ◇∃LA non è argomentata; l'obiezione di parità (◇¬∃LA) è seria.
- La
via è conservata come indipendente e isolata: nessun risultato seguente ne
dipende.
- Plantinga non sostiene che la necessità divina saturi lo spazio
modale: l'apporto del trattato è mostrare (Teorema III.1) che la necessità
dell'essere non si trasmette ai suoi effetti.
- Le due vie non si sostengono
per circolarità: se la cosmologica fallisce, la ontologica resta in piedi solo
accettando ◇∃LA; viceversa non c'è dipendenza.
### 8. Obiezioni
(a)
*Composizione* (Hume, Edwards): P2 è applicato a B, non si inferisce dalle parti
al tutto. L'obiezione si sposta su P1 e P2.
(b) *Fatti bruti* (Russell 1948).
Negare P2 è lecito, con un costo (arresto arbitrario della domanda).
(c)
*Quantistica.* Spiegazioni probabilistiche sono spiegazioni; la questione non si
decide dalla sola fisica.
(d) *Kant.* La formulazione non usa l'*ens
realissimum*; la necessità deriva dalla struttura esplicativa (passi 3–5). Che
l'argomento si regga di nascosto sull'ontologico è tesi kantiana contestata.
Includere la via ontologica (§7) rende l'obiezione kantiana pertinente per
quella via, non per la cosmologica.
(e) *Totalità* (Grim): P1 è limitata al
concreto, ma resta contestabile.
(f) *Passo da n a z*: P6 è contestabile;
serve solo al passo 8.
(g) *Oppy: il fatto bruto come dilemma di costi.* Oppy
(2006) tratta il fatto bruto come opzione teorica paritetica quanto a costi,
aperta sia a una versione necessaria sia a una contingente. Due orizzonti:
-
*Bruto necessario* (□S₀): costo 1, richiede che i parametri fisici siano
logicamente necessari, mentre sono concepibili alternative (il passaggio
concepibilità → possibilità è contestato); costo 2, con leggi deterministiche
□S₀ ∧ □(S₀ ⇒ S_k) ⊢ □S_k (collasso), che non vale con leggi indeterministiche,
nel qual caso l'esito specifico resta non spiegato.
- *Bruto contingente*:
nessun collasso; viola P2 e il WPSR, che Oppy rifiuta. La disputa verte su P2 e
si valuta per virtù teoriche (potere esplicativo, parsimonia): il teista paga un
ente ulteriore e guadagna una spiegazione; il naturalista risparmia l'ente e
accetta un fatto inspiegato. Non è una confutazione.
La contingenza di S₀ è
compatibile con S5; e il WPSR da solo non richiede un sostentamento attuale, ne
richiede la possibilità.
### 9. Vie sussidiarie
- *Attualità ricevuta*
(ST I q.2 a.3): regresso essenziale impossibile; presuppone atto/potenza e serie
*per se*. Rafforza la via principale se accettata, altrimenti cade senza
intaccarla (Feser 2017; Oppy 2006).
- *Intelligibilità*: argomento
trascendentale; premessa non difesa; stabilisce condizioni epistemiche salvo
ulteriori premesse realiste.
- *Gödel*: nessuna via si fonda sui teoremi di
incompletezza (Franzén 2005).
### 10. Statuto
Se P1–P6 (o la variante
con WPSR e S5) sono accettate, esiste almeno un ente necessario e non
dipendente. L'argomento è valido; la solidità dipende dalle premesse, che il
trattato ritiene difendibili, non obbligate.
---
## PARTE IV: IL
SISTEMA DEF/CR
**1. Pensare non è porre.** Def(x,y): atto
epistemico-semantico. Ref(x,y): orientamento intenzionale (non richiede E!y; il
riferimento riuscito sì). Cr(x,y): come D6. Legame: □(Def(x,y) → Ref(x,y)).
**2. Teorema anti-idealista.**
**T8.** □∀y (SortA(y) → ∀x ¬Cr(x,y)).
*Dim.*
Sia SortA(y) e Cr(x,y). Per T2, Gr(x,y); per AF1, x ≠ y; dunque Dip(y), contro ¬Dip(y).
∎
T8 vale per qualunque x: nessun ente, dipendente o no, può creare un
Assoluto. Vale come enunciato universale condizionale anche se nessun y soddisfa
SortA.
**Corollario.** □∀x∀y ((SortA(y) ∧ Def(x,y)) → (Ref(x,y) ∧ ¬Cr(x,y))).
**3. Estensione.** "Pensare non è causare" è una tesi generale sull'atto
intenzionale; l'Assoluto è l'istanza rafforzata da T8.
**4. Riferimento
ed esistenza.** Quattro piani: Def, Ref, E!, Nec. Def garantisce Ref, non E!.
L'esistenza si stabilisce con la Parte III o non si stabilisce.
**5.
Portata.** Bersaglio: l'idealismo produttivo ontologico (certe letture del *Setzen*
fichtiano). Non bersaglio: l'idealismo trascendentale kantiano. Il sistema non
dimostra l'esistenza dell'Assoluto: fornisce un criterio di coerenza.
**6. Sintesi.** □((SortR(u) ∧ SortA(y) ∧ Def(u,y)) → (Ref(u,y) ∧ ¬Cr(u,y))).
---
## PARTE V: TEOLOGIA FILOSOFICA
**1. Stabilito e non
stabilito.** La Parte III dà "almeno un Assoluto". Non dà unicità, personalità,
libertà, creatività, donatività.
**2. Ipotesi.**
- **H1** causalità
produttiva o sostentatrice dei contingenti (Parte VII)
- **H2** rapporto non
necessitante meglio spiegato come azione libera per ragioni
- **H3**
agentività con intelletto e volontà (personalità, per analogia)
- **H4**
relazione produttiva interpretabile analogicamente come donazione
- **H5**
unicità (Parte VIII, premesse U1–U3)
**3. Perché H1 non è un assioma.**
Dalla fondazione non segue la creazione: Gr non implica Cr. H1 è sostenuta da
un'inferenza alla migliore spiegazione: se il fondamento fosse solo necessitante
(Spinoza), la contingenza sarebbe illusoria (Teorema III.2). Spinoza, Plotino (Enn.
V–VI) e Schelling (1809) sono compatibili con la sola Parte III: non sono
confutati, ma respinti a patto di accettare la contingenza genuina.
**4.
Dall'agentività alla persona.** L'azione libera per ragioni è l'unico modello
non necessitante che offra anche una spiegazione non arbitraria (Pruss 2006;
Swinburne 2004). Il modello impersonale lascia la selezione tra alternative
priva di ragione sufficiente. Inferenza alla migliore spiegazione, non cogente.
**5. Sostegno fenomenologico.** L'esperienza del Tu offre un sostegno
indiretto, basato su un principio di proporzione (Cartesio, Med. III) contestato
dalle teorie dell'emergenza: indicativo, non probatorio.
**6.
Obiezioni.** Le obiezioni di Heidegger (onto-teo-logia), Marion (*Dieu sans l'être*)
e Derrida (aporia del dono) sono discusse nella Parte XV. L'alternativa
impersonale (modello 2 di III §5) resta possibile senza incoerenza formale; il
trattato la ritiene meno adatta, non impossibile.
**7. Statuto.** La
Parte V è inferenza alla migliore spiegazione. Presuppone: (a) contingenza
genuina; (b) PRS ristretto; (c) spiegazione necessaria non necessitante; (d)
insufficienza del modello impersonale; (e) per l'unicità, un argomento autonomo
(Parte VIII).
**8. Sintesi del percorso.** Incontro → ricettività →
domanda → contingenza e dipendenza → fatto contingente totale → spiegazione
necessaria → ente necessario non dipendente → almeno un Assoluto → [H1]
causalità → [H2] agentività → [H3, H4] persona e dono → [H5] unicità.
---
## PARTE VI: LE DUE LOGICHE: ASSOLUTA E RELATIVA
**Coordinamento.**
Non due calcoli incompatibili: due *teorie* in due firme non logiche distinte,
entro un'unica disciplina logica. Cambiano il dominio, i predicati e le premesse
legittime; non cambiano l'identità, la non contraddizione, i quantificatori e le
regole di inferenza.
### 1. Tesi direttrice
Ciò che vale del relativo
non si trasferisce senza mediazione all'Assoluto, e viceversa. Il relativo
dipende dall'Assoluto, non viceversa (T6).
### 2. Una logica, due teorie,
tre firme
- **Logica sottostante unica:** identità =, non contraddizione,
quantificatori attualisti, □ e ◇, regole di inferenza.
- **Firma relativa
Σ_R:** Comp (composto), Fin (finito), Mut (mutabile), Tempo, Loc, Hylem, … I
predicati *propri* del relativo, Σ_R^prop, sono quelli di composizione,
finitudine, mutabilità, temporalità.
- **Firma assoluta Σ_A:** Semplice,
Aseità, Eterno, Perf^A (perfezioni eminenti), …; i predicati propri Σ_A^prop.
- **Firma di raccordo Σ_B** (relazioni eterogenee, valide per entrambi i sort):
Gr, Cr, Dep, S (sostentamento), Def, Ref, Ana.
**Disgiunzione delle
firme:** Σ_R^prop ∩ Σ_A^prop = ∅.
**Assioma di non mescolanza (NM).** Per
ogni P ∈ Σ_R^prop: SortA(a) → ¬P(a). Per ogni Q ∈ Σ_A^prop: SortR(r) → ¬Q(r).
I predicati propri dell'uno sono dunque *falsi*, non indefiniti, dell'altro:
non si introducono valori di verità non classici. L'identità e i quantificatori
sono univoci; l'analogia non riguarda l'identità logica ma i predicati di
perfezione e il modo di sussistenza (Parte XI).
### 3. Logica relativa
(LR)
Dominio: enti finiti, contingenti, dipendenti; spazio, tempo, mutamento;
causalità fisica; quantità e matematica applicata; dialettiche del finito. I
caratteri (finitudine, composizione, mutabilità, temporalità, dipendenza,
contingenza) non sono un elenco universale senza eccezioni: entità astratte e
strutture matematiche richiedono analisi a parte.
- *Infinito matematico ≠
infinità divina.* L'infinito formale è quantitativo; l'Assoluto è infinito
perché non limitato da altro. Regola: dai paradossi dell'infinito matematico non
si inferiscono proprietà dell'infinità divina.
- *Geometrie e parallele.* Un
enunciato geometrico vale entro assiomi determinati; nessuna contraddizione
metafisica, né prova di un ordine assoluto.
- *Dialettica.* Linguaggio
possibile del finito, non legge costitutiva dell'Assoluto: se questo fosse
risultato di opposizione, dipenderebbe dal proprio contrario, contro D5.
### 4. Logica assoluta (LA)
Dominio minimo: SortA. Qualificazioni ulteriori
(creatore, unico) sono ipotesi (H1, H5).
- Non si sospendono identità e non
contraddizione: Dio non è "oltre la logica". Cambia l'applicazione dei predicati
(mutabile, composto, temporale, quantitativo non si attribuiscono all'Assoluto).
- *Infinità qualitativa.* Non una quantità illimitata ma assenza di limite
ontologico e di dipendenza.
- *Trascendenza e immanenza.* La trascendenza non
è lontananza; l'immanenza corretta è causale e fondativa, non identità. Si
evitano il deismo della lontananza e il panteismo dell'identità.
### 5.
Analogia formale
Una perfezione ha **due predicati distinti**: P^A (eminente,
in Σ_A) e P^R (partecipato, in Σ_R), legati dalla relazione Ana(P^A, P^R). Per
NM, P^A è falso dei relativi e P^R degli assoluti: non vi è inferenza P^R(r) ⊢
P^R(a). Il legame è dato dal ponte di partecipazione:
- **BA**
(partecipazione). Per ogni coppia analogica: P^R(r) → ∃a (P^A(a) ∧ Cr(a,r)).
Esempio: la personalità forma una coppia (Pers^A, Pers^R), personalità
eminente e persona creata (H3). Quali coppie (P^A, P^R) siano ammesse non è
formalizzato: è punto aperto (Appendice B).
### 6. Regola di non
mescolanza
Nessun predicato proprio del relativo si attribuisce all'Assoluto
senza giustificazione analogica, e viceversa. Errori: antropomorfismo univoco,
riduzione panteistica, soggettivismo produttivo, matematizzazione idolatrica,
dialettizzazione dell'Assoluto.
*Ponte legittimo:* regola causale (BA),
analogica (Ana), apofatica (NM).
### 7. L'errore di proiezione temporale
Si sostiene che gran parte dei paradossi classici (la prescienza, il mutamento
divino, l'efficacia della preghiera) nasce da una violazione della disgiunzione
delle firme (Σ_A^prop ∩ Σ_R^prop = ∅, con NM): la proiezione indebita delle
strutture del relativo (spazio, tempo, successione, divenire) sull'Assoluto
(eterno, semplice, atemporale).
**L'errore.** L'io relativo, immerso nel
tempo, concepisce l'eternità come un «tempo infinitamente lungo» (sempiternità)
e attribuisce all'Assoluto relazioni di successione («prima», «dopo», «poi») che
appartengono soltanto a Σ_R. L'assioma A.5 (VII §4.5) è la sua negazione
formale: □∀x (SortA(x) → ¬∃t (Tempo(t) ∧ Sottomesso(x,t))), dove «sottomesso al
tempo» coincide con la collocazione Loc(x,t). Chiamato anche assioma di
incommensurabilità dei regimi di durata, esso non fa dell'eternità una durata:
Aeternitas non è tempo infinito (XI §3).
**Prima conseguenza: la
prescienza.** L'Assoluto non «pre-vede» il futuro dal passato: nessun «prima»
gli appartiene. Abbraccia la totalità della linea temporale in un unico sguardo
d'eternità; la scelta libera dell'io al tempo t è conosciuta come presenza
attuale nell'eterno, senza che la conoscenza preceda e determini la scelta (XIII
§2a).
**Seconda conseguenza: il mutamento divino.** La creazione, la cura
e l'efficacia della preghiera non implicano che l'Assoluto «passi dall'inazione
all'azione»: mutamento e successione avvengono interamente sul lato del
relativo; la causa è un unico atto eterno il cui effetto si dispiega nel tempo
(VII §4.2).
*Portata.* La dissoluzione riguarda la *forma temporale* dei
due problemi. Non risolve la questione di quale storia l'eternità abbracci se il
futuro è aperto (XII §6; XIII §2a), né la coerenza di un atto libero atemporale
(VII §4.5): sono punti aperti (Appendice B).
### 8. Rapporto con Kant e
Hegel
Si accoglie che l'esistenza non è un predicato; si nega la
trasformazione di un'epistemologia in ontologia produttiva (Parte X).
###
Tesi VI.1–VI.9
(1) Distinzione ontologico-metodologica, non duplicazione
della logica. (2) Relativo: finitezza, contingenza, dipendenza, pluralità,
successione; Assoluto: necessità e non dipendenza. (3) Infinito matematico non
trasferibile. (4) Dialettica: descrive il finito. (5) Trascendenza non esclude
immanenza causale. (6) Ponte: analogia (Ana, BA). (7) Il soggetto finito si
riferisce al Fondamento ma non lo produce (Def/Cr). (8) Le firme proprie sono
disgiunte e NM le tiene separate: è il contenuto formale dell'apofasi (Parte
XV). (9) Attribuire all'Assoluto successione o mutamento è un errore di
proiezione temporale (§7).
---
## PARTE VII: CREAZIONE DAL NULLA,
LIBERTÀ CREATRICE E ATEMPORALITÀ
**Coordinamento.** Dalla Parte III: ∃y
SortA(y). Qui si difende **H1**: almeno un Assoluto è causa creatrice del
contingente.
### 1. Dal Fondamento alla creazione
Gr ≠ Cr;
l'implicazione (SortA ∧ Gr) → Cr non vale in generale. La creazione è
un'inferenza alla migliore spiegazione: una ragione puramente strutturale
(legge, verità necessaria) non rende conto dell'esistenza effettiva del mondo
concreto.
- **H1a** ∃a ∃r Cr(a,r) (produzione minima)
- **H1** □∃a ∀r (E!r
→ Cr(a,r)) (sostentamento universale: in ogni mondo, se esistono relativi,
almeno un Assoluto li sostiene tutti; vacua nei mondi senza relativi)
-
**H1c** come H1 con ExNihilo (forma teistica forte)
Cr comprende la
componente sostentatrice S, priva di argomento temporale (§4.5).
### 2.
Significato di "dal nulla"
Il nulla non è una cosa né una causa. *Ex nihilo
sui et subjecti*: l'ente non esisteva prima, e non è tratto da un soggetto o da
una materia preesistente. Creare non è cambiare: la creazione riguarda il fatto
stesso che esista una serie temporale; è compatibile con un cosmo temporalmente
finito o infinito ma dipendente.
### 3. Trascendenza e immanenza
Dio
non appartiene al genere degli enti finiti; è presente a ogni ente come causa
del suo essere ("più intimo a ogni ente di quanto l'ente lo sia a se stesso",
per analogia). Distinzione reale senza separazione. Si evitano deismo,
panteismo, emanazionismo, materialismo.
### 4. Libertà creatrice e
contingenza
**4.1 Il problema della semplicità.** Se ◇¬(Dio vuole il
mondo), allora Dio avrebbe una determinazione che avrebbe potuto non avere:
contingenza nell'Assoluto, in tensione con la semplicità (Parte XI) e
l'immutabilità.
**4.2 Soluzione adottata: denominazione estrinseca**
(Tommaso, *S.Th.* I q.13 a.7; q.19 a.3). La relazione di creazione è reale nella
creatura e solo di ragione in Dio. La contingenza sta nell'*effetto*, non in una
variazione intrinseca dell'Assoluto: «Dio crea r» è vero in virtù dell'esistenza
di r, come «essere a sinistra di Maria» è vero di Anna in virtù della posizione
di Maria. L'atto è unico e identico all'essenza; ciò che differisce da mondo a
mondo è se esiste un termine di quell'atto.
*Mutamento divino, cura e
preghiera.* La creazione e l'efficacia della cura e della preghiera non
richiedono che l'Assoluto passi dall'inazione all'azione: la successione è tutta
sul lato del relativo, e la causa è un unico atto eterno il cui effetto si
dispiega nel tempo (VI §7). Che tale atto sia «amore creativo» è una lettura
interpretativa (H4), non un teorema.
**D.VII.1.** V :≡ ∃LR ∧ ∃a ∀r (E!r →
Cr(a,r)).
*(Dopo la Parte VIII, ∃a si legge «l'Assoluto».)*
**Teorema
VII.1.** ◇V ∧ ◇¬V.
*Dim.* Per H1, in ogni mondo ∃LR → V; per D.VII.1, V →
∃LR. Dunque □(V ↔ ∃LR). Da P7, ◇∃LR ∧ ◇¬∃LR, segue ◇V ∧ ◇¬V. ∎
La volizione
non è un assioma: è un teorema che dipende dalla contingenza del creato. Nei
mondi in cui ¬V, LR è vuoto e il secondo relatum manca: la relazione non vale,
senza bisogno di un termine fantasma.
**4.3 Che cosa si guadagna e che
cosa si perde.** Si guadagna coerenza con la semplicità e una prova rigorosa del
non-collasso. Si perde la lettura *forte* dell'*agent causation* (Chisholm
1976), per cui l'agente ha alternative reali intrinseche nell'atto. Alternativa
legittima: *semplicità debole* (nessuna parte, ma stati intenzionali
contingenti); non è adottata perché fa ricadere l'Assoluto nella contingenza
proprio nel punto che D5 vuole proteggere.
**4.4 Libertà per ragioni.**
Un atto libero può essere intelligibile mediante ragioni senza esserne
necessitato. Un agente atemporale non sceglie «in t₁ invece che in t₂»: la sua
libertà è **modale** (esiste un mondo senza il termine dell'atto) e la sua
attualità è spiegata dal bene che l'agente è e conosce (spiegazione personale),
non da una necessità di natura. Il dilemma resta aperto: se la ragione perfetta
determina infallibilmente, il mondo torna necessario; se non determina, la
scelta va dichiarata razionale senza necessità. Il sistema adotta la libertà per
ragioni come modello più adatto, senza dichiarare risolto il problema
contrastivo (perché questo termine e non un altro: Parte XIII §4).
**4.5
Sostentamento atemporale (Sustentatio).**
- **Assioma A.5 (negativo).** □¬∃t
(Tempo(t) ∧ Loc(a,t)) per ogni a ∈ SortA. Nessun predicato temporalmente
indicizzato è vero dell'Assoluto. Non si scrive A(tᵢ) ≡ A(tⱼ): ciò
presupporrebbe in lui una persistenza attraverso i tempi, mentre egli non è in
relazione con alcun tempo.
- **Proposizione VII.2.** La relazione di
sostentamento S(a,x) è a due posti, *senza argomento temporale*: per ogni ente
relativo x esistente (a qualunque tempo), S(a,x) vale. È **neutrale** rispetto a
eternalismo (sostiene l'intero blocco; cfr. Sider 2001) e presentismo (sostiene
ciò che esiste ora): non dipende dalla metafisica del tempo.
- La creazione è
anche conservazione: due aspetti del medesimo rapporto di dipendenza, non due
atti. Un atto libero atemporale resta da articolare (Stump e Kretzmann 1981).
**4.6 Attualismo modale.** ◇¬∃LR si legge in chiave attualista (mondi come
rappresentazioni astratte, come in Plantinga). Nel realismo modale di Lewis
(1986) i mondi sono concreti e causalmente isolati, la contingenza è indicale e
«l'Assoluto crea LR» andrebbe riformulato. L'attualismo modale è assunto come
premessa.
### 5. Critica delle alternative
Materialismo (dipende da P2
e PB; non confuta chi accetta fatti bruti), panteismo (identificare Dio e mondo
attribuisce a Dio contingenza e composizione, o nega le differenze),
emanazionismo (derivazione necessaria: perdita di contingenza), idealismo
produttivo (T8), deismo (la contingenza è attuale: sostentamento).
###
Tesi
VII.1 creazione dal nulla: tesi ulteriore, non segue dalla definizione
di SortA. VII.2 «dal nulla» nega materia o principio coeterno. VII.3 creare non
è trasformare. VII.4 trascendenza senza distanza, immanenza senza identità.
VII.5 contingenza richiede derivazione non necessitante. VII.6 libertà per
ragioni, modello non unico. VII.7 sostentamento attuale. VII.8 le alternative
sono possibili, ma meno adatte. VII.9 la creazione è denominazione estrinseca
(Teorema VII.1). VII.10 l'atemporalità è negativa e il sostentamento neutrale
rispetto alla metafisica del tempo.
---
## PARTE VIII: UNICITÀ
DELL'ASSOLUTO
### 1. Perché non è automatica
SortA(y) := Nec(y) ∧ ¬Dip(y)
non esclude formalmente più enti: due enti necessari e non fondati da altro sono
compatibili con la sola definizione. L'unicità richiede premesse ulteriori, che
si enunciano esplicitamente.
### 2. Premesse
Siano Perf(P) una
proprietà positiva che non implica limite, Lim(Q) una proprietà che implica
privazione, contingenza o dipendenza, e Qual l'insieme delle proprietà
*qualitative e intrinseche*, cioè non contenenti costanti individuali né
predicati relazionali a particolari (sono escluse «creatore di r», «identico a
x»).
- **U1** (identità degli indiscernibili qualitativi). ∀x,y (∀P ∈
Qual (P(x) ↔ P(y)) → x = y).
- **U2** (massimalità). SortA(x) → (∀P (Perf(P)
→ P(x)) ∧ ∀Q (Lim(Q) → ¬Q(x))).
- **U3** (semplicità qualitativa). SortA(x) ∧
P(x) ∧ P ∈ Qual → (Perf(P) ∨ ∃Q (Lim(Q) ∧ P = ¬Q)): nessuna proprietà
qualitativa intrinseca neutra appartiene a un Assoluto.
### 3. Teorema
VIII.1 (unicità, condizionale)
**Enunciato.** Da U1–U3: SortA(x) ∧ SortA(y) →
x = y.
**Dimostrazione.** Siano SortA(x), SortA(y) e x ≠ y. Per U1 esiste P ∈
Qual non condivisa; senza perdita di generalità P(x) ∧ ¬P(y). Per U3, P è una
perfezione o la negazione di un limite. Se Perf(P), U2 dà P(y): contraddizione.
Se P = ¬Q con Lim(Q), U2 applicata a y dà ¬Q(y), cioè P(y): contraddizione.
Dunque x = y. ∎
### 4. Il nome g
**D8.** g :≡ l'unico x tale che SortA(x)
(da A1 e dal Teorema VIII.1, in logica libera). Da qui in avanti «l'Assoluto» e
g designano rigidamente tale ente. Per T8 nessuno lo crea; per H1 ogni relativo
dipende da esso.
### 5. Statuto e limiti
Il teorema è valido; il suo
contenuto è nelle premesse.
- **U2 è il passo più fragile.** La Parte III dà
necessità e non dipendenza, non la massima perfezione: che l'aseità implichi la
massimalità è un'assunzione sostantiva, motivabile con la tradizione anselmiana
e tomista, non derivata.
- **U1** è controverso (due sfere indiscernibili,
Black 1952); è limitato alle proprietà qualitative intrinseche proprio per
evitare le aecceità.
- **U3** è una forma di semplicità qualitativa: se la si
rifiuta, l'unicità cade.
- L'esclusione dei predicati relazionali dalla
classe Qual è coerente con la denominazione estrinseca di «creatore» (Parte VII
§4.2).
### 6. Argomenti supplementari (non necessari al teorema)
-
*Unità dell'ordine.* Un ordine unitario è più intelligibile con un solo
principio ultimo; più Fondamenti richiederebbero un principio di coordinazione
(che sarebbe il vero Fondamento) o un fatto bruto di armonia (contro P2).
-
*Limite reciproco.* Due infiniti ontologici si limiterebbero a vicenda;
l'infinito ontologico è unico. L'argomento non riguarda l'infinito matematico ed
è contestabile: due enti possono essere distinti senza che l'uno limiti l'altro.
### 7. Obiezioni
- *Assoluti con proprietà diverse:* una asimmetria di
perfezione contraddice U2.
- *Stessa natura, numericamente distinti* (come
due uomini): negli enti finiti l'individuazione viene da materia, posizione,
storia, limiti; nell'Assoluto mancano.
- *Pluralità di attributi senza
pluralità di soggetti:* ammessa (Parte XI).
- *Mera parsimonia:* è
conseguenza, non fondamento.
- *Unicità e trascendenza:* non c'è una seconda
realtà dello stesso ordine ontologico divino; la trascendenza non è ostacolata.
### Tesi VIII.1–VIII.6
(1) L'unicità non segue dalla sola definizione di
SortA. (2) Con U1–U3, due Assoluti sarebbero indistinguibili (Teorema VIII.1).
(3) L'individuazione finita non si trasferisce all'Assoluto. (4) L'unità
dell'ordine è un argomento supplementare. (5) L'infinito ontologico è unico. (6)
H5 è un'ipotesi forte, argomentata ma non dimostrata: il suo peso è su U2.
---
## PARTE IX: LA STRUTTURA DEL SOGGETTO UMANO
**Premessa.**
La Parte IX affronta il luogo in cui l'architettura delle Parti I–VIII viene
colta: il soggetto umano. Non è psicologia empirica ma analisi
ontologico-trascendentale delle condizioni di possibilità della conoscenza
metafisica e dell'agire intenzionale. **Statuto:** le tesi di questa Parte sono
*ulteriori*: non entrano nelle premesse della Parte III e hanno forza in parte
abduttiva, in parte condizionata alla definizione di libertà adottata (§2).
### 1. La natura del soggetto conoscente
**1.1 Due assi: stato
ontologico e portata cognitiva.** Il soggetto umano S va descritto su due assi,
da non confondere.
- *Stato ontologico:* S appartiene al sort relativo, SortR(S):
è contingente, corporeo, temporale, dipendente (T7, B3).
- *Portata
cognitiva:* gli atti di S possono raggiungere verità necessarie (matematica,
logica, metafisica) e riferirsi intenzionalmente all'Assoluto (Parte IV: Def,
Ref), senza produrlo (T8).
Collocare S «nel sort assoluto» in quanto
soggetto di autocoscienza contraddirebbe T1 e B3. Si distingue dunque
l'*appartenenza* a un sort (S ∈ LR) dall'*accesso* a contenuti che riguardano
LA. Nessun nuovo assioma: Acc(S,p), «S ha accesso epistemico a p», è
un'abbreviazione metodologica; la mediazione dell'accesso è precisata nella
Parte 0 (§0.3: Acc(S,p) → ∃c Med(S,p,c)).
**1.2 Intenzionalità e
appercezione.** Il soggetto non è una monade chiusa né una mera serie di stati
psichici:
```
□ ∀S (Soggetto(S) → ∀x (Conosce(S,x) → Intenzionale(S,x)))
□ ∀S (Conosce(S,x) → ◇ConosceSé(S))
```
La seconda formula esprime il
motivo kantiano dell'unità dell'appercezione («l'Io penso deve poter
accompagnare ogni mia rappresentazione») nella forma debole della *possibilità*
di accompagnamento. La forma forte (ogni atto conoscitivo include
simultaneamente un'autoconsapevolezza riflessa) non è richiesta e la
fenomenologia della coscienza pre-riflessiva la contraddice.
**1.3
L'irriducibilità delle funzioni mentali (argomento abduttivo).**
- (1) Se i
processi cognitivi fossero spiegati interamente da cause fisiche insensibili al
contenuto, l'affidabilità del giudizio rispetto alla verità resterebbe priva di
spiegazione (C. S. Lewis 1947, *Miracles*, cap. 3; Plantinga 1993, cap. 12).
- (2) La metafisica, come ogni teoria, pretende valore di verità.
- (3)
L'ipotesi riduzionista è dunque in *tensione* con la propria pretesa; l'ipotesi
di una dimensione intelligibile non riducibile è esplicativamente preferibile,
**non** dimostrata.
L'argomento non va letto come inferenza dall'origine
causale alla validità di un giudizio (sarebbe una fallacia genetica): riguarda
la spiegazione dell'*affidabilità*. *Obiezioni (non chiuse):* (a) affidabilismo:
la selezione naturale favorisce credenze vere perché utili; (b) sopravvenienza:
il contenuto può sopravvenire al fisico senza esserne riducibile ma anche senza
essere «non materiale»; (c) autoconfutazione: l'argomento prova troppo se
applicato alla percezione. Il risultato sostiene l'ipotesi della spiritualità
dell'intelletto (Parte XI §5), che resta ipotesi metafisica, non dato.
### 2. Libertà e determinismo
**2.1 Definizione.** La libertà dell'agente
umano non è assenza di causa (mero indeterminismo) ma autodeterminazione
intenzionale fondata su ragioni:
```
Def. Libera(S,α) := S compie α al
tempo t potendo scegliere ¬α,
fissati passato e leggi, in virtù di un
giudizio di ragione R.
□ (Libera(S,α) → (◇α ∧ ◇¬α ∧ CausaIntenzionale(S,α)
∧ Ragione(R,S,α)))
```
La possibilità ◇ è relativa a passato e leggi
fissati («a parità di condizioni esterne»): è una nozione **libertaria** (incompatibilista)
e richiede indeterminismo nel punto della scelta (van Inwagen 1983). Resta
l'obiezione della *fortuna*: se la scelta non è determinata dal passato, come si
distingue dal caso? La risposta è la spiegazione per ragioni (CausaIntenzionale,
Ragione), già adottata per l'azione libera divina (III §5; VII §4.4);
l'obiezione non è considerata risolta. Chi preferisce una definizione
compatibilista può sostituire la clausola ◇¬α con una condizione di responsività
alle ragioni; le tesi IX.4–IX.6 non cambiano.
**2.2 Dato contingente e
autodeterminazione.** Il soggetto è condizionato da fatti contingenti, parti di
B (genetica, ambiente, storia), che costituiscono il *campo di possibilità* su
cui si esercita la decisione intenzionale. *Condizione di coerenza:* se il
determinismo fisico dominasse l'intero processo di scelta, la definizione 2.1
non sarebbe mai soddisfatta. La tesi va dunque intesa così: il determinismo,
dove vale, non esaurisce il processo che porta alla scelta; altrimenti la tesi
libertaria cade. Non si dimostra qui che il determinismo sia falso.
**2.3
La libertà come apertura all'Assoluto.** La volontà desidera il bene in generale
(*bonum in communi*; Tommaso, *S.Th.* I-II q.10 a.2: la volontà non è
necessitata da alcun bene particolare in quanto tale). Nessun bene finito può
saturare tale capacità:
```
□ ∀b ((Cont(b) ∧ Bene(b)) → ¬DeterminaNecessariamente(b,
Volontà(S)) in quanto bene finito)
```
Si ha qui un **indizio
fenomenologico-abduttivo** (desiderio naturale di un bene non finito) che
sostiene H3 e H4 (Parte V), non una prova ontologica: il trattato non usa
l'argomento ontologico come via principale (Parte III) e accoglie la lezione
kantiana sull'esistenza. La clausola «in quanto bene finito» è necessaria: la
volontà può essere determinata da fattori neurofisiologici o psicologici senza
che il *bene* come tale la necessiti. La premessa che la volontà tenda al bene
in generale è contestata (volontarismo nominalista, scetticismo sul desiderio
naturale).
### 3. La persona creata
**3.1 Statuto ontologico.** Se
S è persona ed è creato, S è relativo e non assoluto (B3): reale, dipendente,
non meramente apparente né strumentale (X.6). L'unione con Dio (X §3) è
comunione entro distinzione reale, non assimilazione.
**3.2
Individuazione e irripetibilità (punto aperto).** Negli enti finiti
l'individuazione dipende da materia, posizione, storia e relazioni (VIII §7), e
l'uomo è unità ilemorfica (XI §5). L'irripetibilità della persona può dunque
essere pensata come individuazione incarnata e storica, non come aggiunta di un
principio extra. È una *traccia*, non una tesi argomentata: la teoria
dell'irripetibilità resta da svolgere (Appendice B).
**3.3 Cause seconde
e libertà creaturale.**
- **IX.5 (cause seconde, tesi).** Sia c₁ → c₂ una
relazione causale in LR regolata da L_LR. Il sostentamento (VII §4.5) non è un
termine della catena (causa *per se*, non *per accidens* nella serie): rende
possibili c₁ e c₂ senza fissare il nesso; la causalità immanente è dunque
preservata e non vi è sovradeterminazione. Si tratta di concorso, non di
determinazione, in linea con la lettura tomista.
- **IX.6 (libertà
creaturale, condizionale).** Se la libertà in senso 2.1 richiede indeterminismo
e L_LR lo ammette nel punto della scelta, il sostentamento non determina l'esito
delle azioni libere (S(a,x) non ha argomento temporale né contenuto di scelta):
la struttura dei sort è compatibile con la libertà creaturale. *Aperto:* il
rapporto con la conoscenza divina dei futuri contingenti (Parte XIII).
### Tesi della Parte IX
- **IX.1.** Il soggetto umano è ontologicamente
relativo (contingente, corporeo, dipendente) e cognitivamente aperto a verità
necessarie e al riferimento all'Assoluto; i due assi non vanno confusi (T1, B3).
- **IX.2.** L'ipotesi riduzionista è in tensione con la pretesa di verità della
conoscenza; l'ipotesi di una dimensione intelligibile non riducibile alla sola
materia contingente è preferibile in senso abduttivo (non dimostrata).
-
**IX.3.** La libertà umana è autodeterminazione razionale, fondata
sull'asimmetria tra la finitezza dei beni e l'apertura dell'orizzonte
intenzionale; vale come tesi *condizionata* alla definizione libertaria 2.1 (o a
una definizione compatibilista alternativa).
- **IX.4.** La persona creata è
realtà distinta e non assoluta (B3); la sua irripetibilità è tema aperto (§3.2).
- **IX.5.** Il sostentamento è compatibile con le cause seconde.
- **IX.6.**
Il sostentamento è compatibile con la libertà creaturale, a condizione di
indeterminismo nel punto della scelta.
---
## PARTE X: KANT, HEGEL
E L'IDEALISMO
**Premessa.** Non storiografia: si isola una questione
sistematica. «Soggetto assolutizzato»: il soggetto finito o il processo
storico-dialettico elevato a Fondamento ontologico. Bersaglio: l'idealismo
produttivo *ontologico*, non ogni idealismo.
**1. Kant.** Si accoglie che
l'esistenza non è un predicato e che la conoscenza è attivamente mediata. Si
contesta il passaggio dall'epistemologico all'ontologico: *condizioni di
conoscibilità non sono condizioni di esistenza.* Kant stesso nega che il
soggetto crei le cose in sé; il bersaglio è la lettura costruttivista.
L'obiezione kantiana all'argomento cosmologico resta una sfida: la distinzione
tra spiegazione del contingente e deduzione dal concetto potrebbe non bastare
(Parte III, §8d).
**2. Fichte.** Due letture dell'autoposizione dell'Io:
epistemologico-trascendentale (compatibile) e ontologico-produttiva
(incompatibile, T8). Un soggetto corporeo, temporale, dipendente non può essere
la ragione ontologica completa del proprio essere o del mondo.
**3. Hegel.**
La dialettica coglie tensioni del finito. Se l'Assoluto è *risultato* del
processo che lo porta a sé, dipende da esso: non è Assoluto in senso D5. Le
persone finite non sono meri momenti dello Spirito: l'unione con Dio è comunione
entro distinzione reale, non dissoluzione.
**4. Forme da distinguere.**
Idealismo trascendentale (compatibile); idealismo assoluto (incompatibile se
l'Assoluto dipende dal processo); idealismo produttivo (incompatibile con Def/Cr).
**Realismo critico teistico:** realistico, critico, teistico. La posizione è
formulata per esteso nella Parte 0 (§0.7).
**5. Obiezioni.** (a)
Semplificazione di Kant e Hegel: il testo parla di «alcune letture». (b)
Realismo ingenuo: la mediazione epistemica non implica produzione ontologica.
(c) La dialettica come grammatica concettuale non è in questione.
**Tesi
X.1–X.7.** (1) Si accoglie che l'esistenza non è un predicato e la mediazione
conoscitiva. (2) Dalla mediazione non segue la produzione. (3) La critica
riguarda letture produttive. (4) Fichte: l'autoposizione come creazione
ontologica. (5) La dialettica non costituisce un Fondamento necessario. (6) Le
persone finite sono soggetti creati reali. (7) Realismo critico teistico.
---
## PARTE XI: CATEGORIE TOMISTE E CRISTIANE
Statuto:
interpretazione teologico-metafisica ulteriore, non teoremi.
**1. Essenza
ed esistenza.** Negli enti finiti la natura non contiene la ragione completa del
proprio esistere: contingenza. **Partecipazione:** la creatura riceve realmente
l'atto di essere, non una porzione di sostanza divina. **Ipsum esse subsistens:**
in Dio nessuna composizione tra ciò che è e il suo essere; rafforza D5 senza
sostituirla. Equivale a dire che Dio è **atto puro**, privo di potenzialità
passiva: ciò che è in atto non ha da ricevere l'essere.
**2. Analogia
dell'ente.** Né univocità (stesso genere) né equivocità (nessun discorso
razionale). Regola: ciò che è perfezione nella creatura si attribuisce al
Creatore in modo eminente, liberato dai limiti. L'analogia è il ponte tra i due
sort (Parte VI §5: Ana, BA).
**3. Tempo, eternità, aevum.** Il tempo è il
divenire creato. L'eternità (Tommaso, S.Th. I q.10) è pienezza indivisa
dell'essere (*tota simul*), non durata infinita. Coerenza con l'atemporalità
negativa della Parte VII §4.5: il tempo è struttura interna a LR; l'Assoluto non
vi è collocato. L'*aevum* è categoria teologica per creature spirituali
incorruttibili, non nozione scientifica. La struttura del tempo creato è
trattata nella Parte XII. La modalità con cui una coscienza temporale percepisce
l'azione dell'Atemporale (Med, Parte 0 §0.3) resta un limite per la ragione
finita (Appendice B).
**4. Conoscenza quia e non quid.** Si può conoscere
che Dio è (condizionatamente), non comprenderne l'essenza. Via di affermazione,
negazione, eminenza.
**5. Uomo ilemorfico.** Unità sostanziale di materia
e forma: l'uomo non è un'anima-sostanza e un corpo-sostanza accidentalmente
uniti, ma un solo composto sostanziale; la persona umana concreta non è né la
sola forma né il solo corpo, ma il composto vivente. Spiritualità
dell'intelletto: ipotesi metafisica, non dato scientifico.
**6. Modi di
sussistenza, morte, sospensione, risurrezione.** I modi di sussistenza sono
quattro: Aeternitas, InfSucc (successione aperta), Sospensione, Aevum. Si
assumono, come **ipotesi teologiche** (non teoremi):
- **E1** (modo
dell'Assoluto). SortA(a) → M(a, Aeternitas); SortR(r) → ¬M(r, Aeternitas).
-
**E2** (morte). La morte è dissoluzione dell'organizzazione materiale del
composto: Umano(x) ∧ Morte(x) → ¬SussisteComeUmanoNelTempus(x).
- **E3**
(sospensione). Umano(x) ∧ HaForma(x,f) ∧ Morte(x) → M(f, Sospensione): la forma
persiste non come sostanza completa né come persona separata, ma per
conservazione divina (B4).
- **E4** (ricostituzione). Al compimento esiste x′
con la medesima forma, nuova materia e unità sostanziale: Ricostituzione(x′,x).
L'identità personale del risorto si pone nella continuità formale più la
ricostituzione.
- **E5** (Aevum). M(r, Aevum) → ¬Corruttibile(r) ∧ ¬M(r,
Aeternitas).
**Proposizione XI.1.** M(r, Aevum) → ¬SortA(r). *Dim.* Da
E5, ¬M(r, Aeternitas); per E1 (contrapposta), ¬SortA(r). ∎ L'Aevum non è
eternità divina: la creatura incorruttibile non si fonde con l'Assoluto.
*Statuto e limiti.* La sopravvivenza della forma è tesi subordinata
all'ilemorfismo; la risurrezione è tesi di fede, non deducibile dalla
metafisica: la metafisica mostra solo che non è concettualmente assurda. La
continuità formale come criterio d'identità non risolve da sola il problema
della replica (un secondo composto con la medesima forma); se la forma è
individuata dalla materia (come in Tommaso), l'individuazione della forma
separata è problematica. Il regime escatologico non è modellato in M (Parte XVI
§6). Compimento e privazione sono trattati nella Parte XIV.
**7.
Convergenze e sviluppo rispetto a Tommaso.**
- Convergenze: rifiuto
dell'autonomia ontologica del creato; libertà dell'atto creativo che evita il
collasso; efficacia delle cause seconde (IX.5); relazione di creazione reale
nella creatura, di ragione in Dio (VII §4.2).
- Sviluppo: la distinzione tra
i due sort è applicata non solo alle sostanze ma a campi, leggi, eventi e
relazioni spaziotemporali, ed è formalizzata (Parte XVI). La distinzione *essentia/esse*
opera *dentro* la sostanza; quella tra i sort opera tra registri.
**Tesi
XI.1–XI.8.** (1) Essenza ed esistenza. (2) Partecipazione. (3) Ipsum esse
subsistens (interpreta D5). (4) Analogia. (5) Eternità ≠ tempo infinito; aevum.
(6) Quia, non quid. (7) Ilemorfismo. (8) Sopravvivenza, risurrezione e Aevum con
statuti epistemici progressivamente più forti (E2–E5); XI.1.
---
## PARTE XII: TEMPO CREATO, FUTURO APERTO E INFINITO POTENZIALE
**Coordinamento.** Il tempo è una struttura interna al sort relativo (VII §4.5;
XI §3). Questa Parte ne propone una semantica come **ipotesi ulteriore**: non è
richiesta dalle Parti I–VIII e non è modellata in M.
### 1. Due modalità,
non una
- *Modalità metafisica*: □ e ◇ della Premessa (S5), che varia tra
mondi.
- *Modalità storica*: ciò che è già deciso o ancora aperto all'interno
di un mondo temporale.
I due piani non vanno fusi: l'accessibilità
universale vale per la modalità metafisica; la ramificazione per la storica.
Ogni mondo w ha la propria struttura temporale T_w (assente in un mondo senza
relativi).
### 2. Struttura (logica ockhamista)
- **D.XII.1**
Struttura temporale: ⟨T,<⟩ con < transitiva, irriflessiva, a passato lineare
(per ogni t, {s : s < t} è totalmente ordinato) e seriale verso il futuro.
-
**D.XII.2** Storia: catena massimale h ⊆ T.
- **D.XII.3** La valutazione è su
coppie (t,h) con t ∈ h. F φ è vera in (t,h) se esiste t′ ∈ h con t < t′ e φ vera
in (t′,h); G φ :≡ ¬F¬φ.
- **D.XII.4** Determinato(φ) in t: φ vera in (t,h)
per ogni storia h ∋ t.
- **D.XII.5** Futuro aperto in t: esistono h ≠ h′
contenenti t che divergono dopo t.
- **D.XII.6** InfSucc(r): per ogni t in
cui r sussiste, esiste una storia h ∋ t e t′ ∈ h con t < t′ in cui r sussiste.
### 3. Infinito potenziale
L'infinito potenziale è serialità senza ultimo
istante: ogni istante in cui una creatura sussiste ammette un successore
*possibile*, senza che il successore sia necessario nella storia attuale e senza
che la successione sia posseduta come totalità conclusa. La nozione è metafisica
e temporale; non nega la matematica dei naturali, che è una teoria di strutture
formulata in LR. Non si usano confronti di cardinalità: che gli istanti
attualizzati fino a ora siano finiti nulla dice sulla serie aperta.
###
4. Regimi
L'apertura del futuro è assunta nel regime di InfSucc. Non è
assunta per un mondo privo di creature (nessun tempo), né per Sospensione e
Aevum, la cui struttura temporale resta punto aperto (Appendice B).
###
5. Rapporto con sostentamento ed eternità
S(a,x) non ha argomento temporale;
la ramificazione è interna a LR; l'Assoluto non è collocato in T. L'apertura del
futuro è una tesi ulteriore: chi adotta l'eternalismo può leggere la struttura
come blocco con storie soltanto modali. La neutralità del sostentamento rispetto
alla filosofia del tempo (VII §4.5) resta intatta.
### 6. Problemi
-
*Verità dei futuri contingenti.* L'ockhamismo (la verità è relativa alla storia)
conserva la bivalenza e la compatibilità con la conoscenza divina; il costo è la
nozione di storia «attuale». La concezione peirceana (futuri contingenti né veri
né falsi) evita tale nozione ma rende problematica la conoscenza divina (Prior
1967; Belnap, Perloff e Xu 2001).
- *Conoscenza divina del futuro
contingente*: Parte XIII.
### Tesi XII.1–XII.5
(1) Modalità metafisica
e storica sono distinte. (2) Il tempo creato è un albero a passato lineare. (3)
L'infinito potenziale è serialità senza ultimo istante. (4) Il futuro aperto
vale solo nel regime di InfSucc. (5) Il sostentamento resta atemporale e
neutrale.
---
## PARTE XIII: CONOSCENZA DIVINA E LIBERTÀ
CREATURALE
### 1. Il problema
Dio conosce tutto; la libertà creaturale
richiede ◇α ∧ ◇¬α a parità di passato e leggi (IX §2.1); il futuro creaturale è
aperto (XII). Se Dio sa che r compirà α, α è necessario? La distinzione
scolastica tra necessità del conseguente e necessità della conseguenza (□(K → α)
non è □K → □α) evita l'inferenza invalida ma non il problema sostanziale: *come*
Dio conosca un futuro contingente libero.
### 2. Tre linee
**(a)
Conoscenza di visione atemporale** (Boezio; Tommaso, *S.Th.* I q.14 a.13). Dio
non prevede: conosce nel suo eterno presente (A.5). La conoscenza è identica
all'essenza e il suo oggetto è contingente; il rapporto è una denominazione
estrinseca, come la creazione (VII §4.2). Costo: dipende dall'atemporalità e dal
rapporto tra eterno e temporale (Stump e Kretzmann 1981); richiede la nozione di
storia attuale (XII §6).
*Dissoluzione della forma temporale del paradosso.*
L'Assoluto non pre-vede dal passato, perché nessun «prima» gli appartiene (A.5;
VI §7): la scelta libera di r al tempo t è conosciuta come presente nell'eterno
e la conoscenza non la precede né la determina. Resta il problema della storia
attuale: se il futuro è aperto, occorre dire quale storia l'eternità abbracci.
**(b) Scienza media** (Molina 1588). Dio conosce controfattuali di libertà
creaturale (CCF) prevolizionali. Dilemma dei verificatori:
- se il
verificatore è un fatto divino necessario, il CCF è necessario e la libertà
(◇¬α) è compromessa;
- se è un fatto divino contingente, la contingenza entra
nell'Assoluto, contro la semplicità (VII §4.2);
- se sta nel carattere libero
della creatura, sorge l'obiezione di fondazione (Adams 1977): che cosa rende
vero un CCF prima che la creatura esista?
**(c) Teismo aperto.** Dio non
conosce i futuri contingenti liberi come tali. Costo: rivedere la perfezione
cognitiva attribuita all'Assoluto da U2.
### 3. Posizione
Il trattato
non adotta come tesi nessuna delle tre. La linea (a) è la più coerente con A.5,
con la denominazione estrinseca (VII §4.2) e con U2; (b) e (c) sono alternative
con costi dichiarati. La questione resta aperta (Appendice B).
### 4. La
questione contrastiva
Perché l'Assoluto attualizza questo termine e non un
altro? La bontà divina è ragione della creazione che *inclina senza necessitare*
(III §5), ma per la scelta di un termine particolare vale un dilemma:
- se
esiste un mondo migliore e l'agente è perfettamente razionale, la ragione
determina la scelta e si ricade nel necessitarismo (Leibniz); applicato anche
alla scelta di creare piuttosto che non creare, questo corno contraddice P7;
- se non esiste un mondo migliore, o i mondi sono incommensurabili, la bontà non
determina un termine e la scelta è atto primitivo dell'agente (Adams 1972).
Il trattato non decide tra i due corni: il secondo è compatibile con la
libertà per ragioni (VII §4.4) ma lascia il contrastivo senza risposta
ulteriore.
### 5. Fine necessario e termine contingente
La bontà
divina è il fine necessario dell'atto; la partecipazione creaturale è termine
contingente (Parte VII §4.2). La distinzione conferma, non risolve, la questione
contrastiva.
### Tesi XIII.1–XIII.5
(1) La libertà creaturale e la
conoscenza divina sono compatibili solo secondo una delle tre linee, con costi
propri. (2) La linea (a) è la più coerente con il sistema. (3) La scienza media
incontra il dilemma dei verificatori. (4) La questione contrastiva si risolve
nell'alternativa tra necessitarismo e scelta primitiva. (5) Nessuna delle due
linee è dimostrata.
---
## PARTE XIV: IL MALE E LA TEODICEA
### 1. Il male come privazione
- **D.XIV.1** Dovuto(x,F): F è un bene
dovuto alla natura di x.
- **D.XIV.2** Privazione(x,F) :≡ Dovuto(x,F) ∧
¬F(x).
- **D.XIV.3** MaleIn(x,F) :≡ SortR(x) ∧ Privazione(x,F).
-
**D.XIV.4** MaleMorale(r,a) :≡ Libera(r,a) ∧ DeviazioneMorale(a,r) (Libera: IX
§2.1).
- **D.XIV.5** MaleNaturale(x) :≡ SortR(x) ∧ Fin(x) ∧ Corruttibile(x).
Il male non è una sostanza positiva opposta all'Assoluto: è mancanza di
forma, misura, ordine o bene dovuto in un ente relativo (Tommaso, *S.Th.* I
q.48–49).
**Proposizione XIV.1.** Se ogni bene dovuto è una perfezione,
SortA(a) → ¬Privazione(a,F).
*Dim.* Se Dovuto(a,F) allora Perf(F); per U2,
F(a): dunque ¬(¬F(a)). ∎ Nessun male è nell'Assoluto.
**Proposizione
XIV.2.** Una privazione non è oggetto di fondazione: ¬Gr(x, Privazione(r,F)).
*Dim.* Una privazione non è un ente concreto (premessa dell'ontologia della
privazione); per AF4, Gr(x,y) richiede E!y. ∎ Ciò che l'Assoluto sostiene è
l'atto in quanto ente (S(a,x)); la deviazione, in quanto mancanza, non ha una
causa efficiente positiva ma una *causa deficiente* nella creatura (Tommaso, *S.Th.*
I q.49 a.1).
### 2. Libertà e male morale
- **IM** (imputabilità).
MaleMorale(r,a) → Responsabile(r,a).
Se la libertà è libertaria (IX §2.1)
e il sostentamento non determina l'esito (IX.6), l'esistenza di un Assoluto
onnipotente e perfettamente buono non è logicamente incompatibile con il male
morale (Plantinga 1974b). Questo risolve il problema *logico* del male; non il
problema *evidenziale*. La tesi di ordine di §4 (bene morale > bene fisico)
sostiene il tentativo di giustificare il male morale con la libertà come bene
superiore, ma non lo completa.
### 3. Male naturale
Il male naturale
designa la vulnerabilità propria di un ordine finito e corruttibile, non una
seconda potenza ontologica. Il trattato non lo giustifica: indica soltanto che
il finito e il corruttibile appartengono a ciò che è relativo (D4) e non a ciò
che è assoluto. Resta aperta l'eccedenza del male fisico e della sofferenza
incolpevole, che richiederebbe una formalizzazione del concetto di «resistenza
ontologica del relativo» (Appendice B).
### 4. Gerarchia dei beni e
compensazione escatologica
Si assume una **tesi di ordine**: bene ontologico
> bene morale > bene intellettuale > bene fisico, come ordine di perfezione (non
come misura numerica). L'ordine non è dimostrato: poggia su una concezione
aristotelico-tomista dei beni.
**Ipotesi di compensazione (EV).** Per la
creatura che giunge al compimento, il bene escatologico supera il male temporale
(XI §6).
*Limiti.* La compensazione non è una giustificazione: che un
bene futuro superi un male subito non mostra che quel male fosse necessario.
Nessuna misura oggettiva e universale del male, della sofferenza e del bene
complessivo è fornita. La privazione definitiva (la creatura che non giunge al
compimento) non è trattata (Appendice B).
### Tesi XIV.1–XIV.5
(1) Il
male è privazione in un ente relativo. (2) Nessun male è nell'Assoluto (XIV.1).
(3) L'Assoluto sostiene l'atto, non la privazione (XIV.2). (4) Il problema
logico del male è risolto sotto libertà libertaria; il problema evidenziale
resta aperto. (5) La compensazione escatologica è ipotesi, non giustificazione.
---
## PARTE XV: APOFASI E OBIEZIONI DELLA FILOSOFIA CONTEMPORANEA
### 1. L'apofasi formalizzata
L'apofasi (nessun predicato proprio del
finito si applica univocamente all'Assoluto) è il contenuto formale dell'assioma
NM e della disgiunzione Σ_R^prop ∩ Σ_A^prop = ∅ (Parte VI §2).
**Proposizione XV.1.** Per ogni P ∈ Σ_R^prop: ∀a ¬P(a); e non esiste predicato
proprio comune ai due sort. *Dim.* Da NM e dalla disgiunzione delle firme. ∎
Le obiezioni che seguono sono discusse come **argomenti filosofici in
prosa**, non come teoremi: il trattato non pretende di averle confutate.
### 2. Heidegger: onto-teo-logia
Heidegger (1957a, 1957b) intende l'onto-teo-logia
come il pensare Dio quale fondamento e causa sui degli enti, ente supremo di un
genere condiviso. Il sistema rifiuta la causa sui (D5) e, per XV.1, non pone
alcun predicato proprio comune ai due sort. *Limite:* la Parte III si regge su
P2 e su Gr, cioè su un principio di ragione, e Heidegger problematizza proprio
questo. La risposta è che P2 è un principio *ristretto* a un fatto contingente
(non il principio di ragione universale come «legge dell'essere»). L'obiezione
resta aperta per chi rifiuta P2.
### 3. Marion: descrizione e
costituzione
Marion (1982, 1997) obietta ai nomi che pretendono di dire che
cosa Dio è. Il sistema nomina l'Assoluto per relazioni (Gr, Cr, Def) e per
negazioni (NM), non per quiddità (XI §4: *quia*, non *quid*). *Limite:* la
donazione saturata come evento fenomenologico non è formalizzabile, e il
trattato non pretende di formalizzarla (Parte I).
### 4. Levinas:
fondazione senza totalizzazione
Levinas (1961, 1974) critica la totalità che
riduce l'Altro. La fondazione del sistema è asimmetrica (T6); per XV.1 nessun
genere comune comprende i due sort; le persone create sono reali e distinte
(IX.4, X.6); la relazione produttiva si interpreta come dono (H4). *Limite:*
Levinas contesta il primato dell'ontologia sull'etica; il trattato assume che
l'alterità sia anche ontologicamente reale, e non smentisce l'alterità etica
come primaria.
### 5. Derrida: il dono
Se la creazione è dono, vale
l'aporia (Derrida 1991): un dono riconosciuto è già scambio. Il sistema indica
che l'Assoluto non guadagna nulla dal creato (VII §4.2: denominazione
estrinseca; T6), e che dunque non vi è ritorno. *Limite:* l'aporia non è
risolta, solo spostata sul riconoscimento da parte della creatura.
### 6.
Kant
L'obiezione kantiana all'argomento cosmologico è discussa in III §8(d) e
X §1.
### Tesi XV.1–XV.4
(1) L'apofasi è la disgiunzione delle firme
proprie con NM. (2) La critica di Heidegger resta aperta per chi rifiuta P2. (3)
Le obiezioni di Marion e Levinas sono accolte come limiti dichiarati. (4) Le
risposte sono argomenti, non confutazioni.
---
## PARTE XVI:
FORMALIZZAZIONE E MODELLO DI CONSISTENZA
**Premessa.** La formalizzazione
non crea né dimostra il Fondamento: rende visibili distinzioni, premesse e
ponti. Non introduce due logiche incompatibili.
### 1. Linguaggio
Variabili x,y,z,u,n individui; a, r di sort (Parte II §2); p,q,B fatti; P,Q
proprietà. Operatori □, ◇, E!, ∀, ∃, ∀P, ∃P.
**Primitivi:** Gr, Concr, Perf,
Lim, Qual, Tempo, Loc, M, Def, Ref, Pers, Ana.
**Definiti:** Gr*, Dip, Cont,
Nec, SortA, SortR, Cr, Involge, Creato, Creatore, V.
**Firme:** Σ_A, Σ_R, Σ_B
(Parte VI §2); S(x,y) (sostentamento, a due posti, *senza argomento temporale*)
in Σ_B.
### 2. Definizioni di coordinamento
- **D16.1** Creato(y) :≡
∃a Cr(a,y).
- **D16.2** Creatore(x) :≡ SortA(x) ∧ ∀y (Creato(y) → Cr(x,y)).
- **D16.3** ExNihilo(x,y) :≡ Cr(x,y) ∧ Creato(y) ∧ ¬∃m MateriaIndipendente(m,y,x)
(schema concettuale; richiede una teoria della materia).
- **D16.4** S(x,y) è
l'aspetto *sostentatore* di Cr, senza indice temporale.
### 3. Assiomi e
ipotesi
- **Fondazione:** AF1–AF5.
- **Sort e dicotomia:** D4, D5, AD, NM.
- **Esistenza dell'Assoluto:** A1.
- **Atemporalità:** A.5.
-
**Creazione:** H1; **CR** Creato(y) → Cont(y); H1c (ExNihilo).
-
**Contingenza forte del creato:** P7.
- **Unicità:** U1–U3.
### 4.
Ponti
- **B1** (partecipazione): P^R(r) → ∃a (P^A(a) ∧ Cr(a,r)) per ogni
coppia analogica (BA).
- **B2** (epistemico): □(Def(u,x) → Ref(u,x)); con T8,
Def(u,x) ∧ SortA(x) → Ref(u,x) ∧ ¬Cr(u,x).
- **B3** (persona creata;
derivato): Pers(u) ∧ Creato(u) → SortR(u) (Teorema XVI.1).
- **B4**
(conservazione della forma, ipotesi teologica E3): Umano(x) ∧ HaForma(x,f) ∧
Morte(x) → ConservataDaDio(f).
### 5. Teoremi di riepilogo
-
**XVI.1.** Creato(y) → SortR(y).
*Dim.* Se Cr(a,y), per T2 Gr(a,y); per AF1,
a ≠ y; dunque Dip(y). Per CR, Cont(y). Per D4, SortR(y). ∎
- **XVI.2.**
Creatore(x) ∧ Creatore(y) → x = y. *Dim.* Da D16.2 e dal Teorema VIII.1. ∎
-
**XVI.3.** ¬(Creatore(x) ∧ Creato(x)). *Dim.* Creatore(x) dà SortA(x); Creato(x)
darebbe ∃a Cr(a,x), contro T8. ∎
### 6. Il modello di consistenza M
-
W = {w_C, w₀}, accessibilità universale (S5).
- D_e = {a, u}; Concr(a), Concr(u).
- E_{w_C} = {a}; E_{w₀} = {a, u}.
- Gr^{w₀} = Cr^{w₀} = S^{w₀} = {⟨a,u⟩};
Gr^{w_C} = Cr^{w_C} = S^{w_C} = ∅.
- Tempo = ∅; Loc = ∅; M(a, Aeternitas);
M(u, InfSucc) in w₀.
- Perf, Lim, Qual: a possiede tutte le perfezioni e
nessun limite; u possiede proprietà limitate.
- Σ_A^prop vera solo di a; Σ_R^prop
vera solo di u; Ana(P^A,P^R) ha per estensione le coppie con P^R(u) → P^A(a).
**Verifica.**
| Assioma | Verifica in M |
|---|---|
| AF1–AF3 |
Gr è un solo arco a→u: irriflessiva, asimmetrica, transitiva |
| AF4 | in w₀
entrambi esistono |
| AF5 | Gr(a,u) → □(E!u → E!a): E!a vale in ogni mondo |
| D5, SortA(a) | Nec(a) ✓; ¬∃y≠a Gr(y,a) ✓ |
| D4, SortR(u) in w₀ | Cont(u):
E!u in w₀, ¬E!u in w_C ✓; Dip(u): Gr(a,u) ✓ |
| AD | in ogni mondo ogni
concreto esistente è a oppure u, rispettivamente SortA e SortR ✓ |
| A1 | a
esiste ovunque ✓ |
| NM | le estensioni proprie sono disgiunte ✓ |
| A.5 |
Loc = ∅ ✓ |
| H1 | w_C: vacua; w₀: Cr(a,u) ✓ |
| CR | Creato(u) in w₀;
Cont(u) ✓ |
| P7 | ◇∃LR in w₀; ◇¬∃LR in w_C ✓ |
| U1–U3 | a è l'unico
SortA; ogni proprietà qualitativa di a è perfezione o negazione di un limite ✓ |
| B1 | P^R(u) → ∃a (P^A(a) ∧ Cr(a,u)) in w₀ ✓ |
Dunque M soddisfa gli
assiomi di Γ e P7, e **M ⊭ □∃LR** (Teorema III.1). Con D.VII.1: V vale in w₀,
non in w_C, quindi ◇V ∧ ◇¬V (Teorema VII.1). ∎
**Portata.** Consistenza
degli assiomi rispetto alla logica modale quantificata S5. Non prova la verità
delle premesse né la coerenza dell'interpretazione metafisica (semplicità,
atemporalità).
### 7. Limiti della formalizzazione
Non si decide la
verità di AD, U1–U3, B1, H1, CR. Perfezione, limite, persona, materia
indipendente, analogia, libertà ed eternità non sono riducibili a predicati
senza perdita. Il modello M non rappresenta il soggetto umano, la libertà, il
regime escatologico, il tempo ramificato e la conoscenza divina: l'estensione di
M a questi domini è aperta (Appendice B). Ciò che si ottiene è la forma
condizionale: se gli assiomi sono veri, seguono certi risultati.
### Tesi
XVI.1–XVI.5
(1) La distinzione dei sort si rappresenta in un unico linguaggio
modale. (2) SortR = enti contingenti e dipendenti; SortA = Fondamento necessario
e non dipendente. (3) I ponti B1–B4 esprimono partecipazione, riferimento
epistemico, statuto della persona creata, conservazione della forma. (4)
L'unicità è derivabile solo con U1–U3. (5) Valore chiarificatore e condizionale.
---
## PARTE XVII: IL PONTE NOETICO: DALL'INTELLIGIBILITÀ DEL
RELATIVO AL FONDAMENTO
**Statuto.** Le premesse I1–I3 sono assunti
metafisici (AM). Il Teorema XVII.1 è condizionato a esse e a P2 (principio di
ragione sufficiente). L'inferenza XVII.2 è una proposta (PI): un'inferenza alla
migliore spiegazione, non una deduzione. Nessuna proposta di questa Parte è
premessa di un teorema (N1).
### 1. Il fatto di partenza
- **I1
(intelligibilità).** Il relativo presenta ordine, struttura e leggibilità, e può
essere oggetto di proposizioni vere. (AM)
- **I2 (struttura logica del
soggetto).** Il soggetto relativo possiede una struttura logica capace di
cogliere, almeno in parte, tale intelligibilità. (AM)
- **I3 (ragione
strutturale non interna).** La ragione ultima di una proprietà strutturale e
universale del dominio dei relativi non si trova in alcun relativo particolare
né nella loro mera somma. (AM; è il punto da difendere, perché un
fondazionalismo che ammettesse una spiegazione interna e collettiva la
negherebbe)
### 2. Non autosufficienza dell'intelligibilità
**Teorema
XVII.1** (condizionato a P2, I1, I3 e AD). L'intelligibilità strutturale del
relativo ha una ragione sufficiente, e tale ragione non è interna al relativo;
dunque cade nell'unico altro sort ammesso da AD, cioè SortA, e dipende da g se
l'unicità è accettata (VIII.1).
*Nota.* Il teorema non dice *che cosa* sia in
g la ragione dell'intelligibilità: stabilisce solo la sede ontologica. Per
questo la determinazione successiva non è deduzione.
### 3.
Dall'intelligibilità all'Intelligenza
**Proposta XVII.2 (PI).** La migliore
spiegazione della sede ontologica della ragione dell'intelligibilità è che g sia
intelligenza in atto (H3), e che l'intelligibilità del relativo sia
partecipazione finita di essa (B1).
- *Perché non è un teorema.* Un'identità
«atto puro ↔ intelligenza in atto» assunta come premessa renderebbe la
conclusione già contenuta nelle premesse: sarebbe circolare. Qui l'identità non
è premessa, e l'inferenza è una selezione fra spiegazioni rivali.
- *Rivali.*
Volontà pura; struttura impersonale e necessaria (l'alternativa spinoziana,
discussa nella Parte III); Uno ineffabile (Parte XV). XVII.2 non le esclude per
deduzione: le giudica meno adeguate nello spiegare insieme ordine, verità e
conoscibilità.
- *Circolarità ermeneutica.* L'interpretazione noetica
interviene dopo la determinazione ontologica di SortA, non prima: la circolarità
è ridotta al minimo controllato dell'accesso mediato descritto nella Parte 0
(§0.3).
### 4. Analogia e limiti
Le regole di predicazione sono quelle
della Parte VI e della Parte XV: via affermativa, negativa, di eminenza. **Tesi
di confine (PI):** la ragione relativa può sapere *che* g è e *che*
l'intelligibilità vi si radica; non può conoscere g come g conosce sé stesso (XI
§4; Parte 0 §0.5). Contro Kant: il ponte non applica le categorie a g come a un
oggetto fenomenico; distingue pensabilità, conoscibilità analogica e conoscenza
esaustiva (Parte X).
### Tesi XVII.1–XVII.3
(1) L'intelligibilità del
relativo, se P2 e I3 sono accolti, rinvia a SortA. (2) La determinazione di tale
sede come intelligenza è la migliore spiegazione, non un teorema. (3) Il
soggetto relativo conosce analogicamente, non esaustivamente.
---
## PARTE XVIII: DINAMICA ESISTENZIALE DELLA LIBERTÀ: PROVA, TENTAZIONE, CADUTA,
CURA, DESTINAZIONE
**Statuto.** Parte interpretativa (PI), costruita
sulla nozione libertaria di libertà (IX §2.1), sulla definizione di privazione
(XIV §1) e sulla struttura dei beni dovuti. Solo la tesi XVIII.1 è un teorema, e
dipende dalle definizioni. Le altre proposizioni sono letture del senso
dell'esperienza morale entro il sistema; la loro verità non è condizione della
validità delle Parti precedenti.
### 1. Definizioni
Per
«corrispondenza» si intende la realizzazione, da parte di un relativo libero,
del bene dovuto alla sua natura e alla sua destinazione (Parte XIV §1). Il
termine non presuppone un Logos non definito: il bene dovuto è quello della
Parte XIV.
- **D.XVIII.1 Prova:** situazione in cui la libertà di un relativo
personale è chiamata a corrispondere a un bene dovuto non ancora realizzato.
- **D.XVIII.2 Tentazione:** situazione in cui la libertà è sollecitata verso la
non-corrispondenza, senza esserne determinata.
- **D.XVIII.3 Caduta:** atto
libero che realizza la non-corrispondenza, cioè una privazione morale (XIV).
- **D.XVIII.4 Superamento:** atto libero che ristabilisce la corrispondenza dopo
una caduta.
- **D.XVIII.5 Cura:** atto di g o di altri relativi che sostiene
e promuove il superamento senza determinarlo.
- **D.XVIII.6 Destinazione:**
il termine verso cui la natura del relativo personale è ordinata (E1–E5).
**Teorema XVIII.1** (dalle definizioni e dalla nozione libertaria). Prova e
tentazione, nel senso di D.XVIII.1–2, hanno luogo soltanto dove c'è libertà nel
senso libertario di IX §2.1; la tentazione non è determinante.
### 2.
Proposte interpretative
- **PI.XVIII.2 (prova come occasione).** La prova non
è punizione: è occasione di maturazione della libertà. Ammette lettura
teleologica: il bene che essa chiama a realizzare è un bene proprio del
soggetto.
- **PI.XVIII.3 (tentazione come deviazione).** La tentazione non è
una sostanza, ma una deviazione dell'orientamento: coerente con XIV (privazione
non ente).
- **PI.XVIII.4 (caduta e ferita).** La caduta non annulla la
libertà: la ferisce. La reversibilità dipende dal fatto che la libertà resta
orientata e che g continua a sostenere (VII.2; IX.5). Se tale sostegno sia un
amore, è H4.
- **PI.XVIII.5 (cura come elevazione).** Il ritorno non è mera
restaurazione ma maturazione («non si torna indietro, ma avanti»). Lettura di
senso, non teorema.
- **PI.XVIII.6 (destinazione aperta).** La destinazione
resta proposta alla libertà e sostenuta dalla cura, mai imposta; questo la
collega alle ipotesi E1–E5 (XI §6) e a EV (XIV).
### 3. Limiti dichiarati
Questa Parte non dimostra che il male morale sia giustificato, né che la
sofferenza incolpevole abbia senso: la teodicea resta quella condizionata della
Parte XIV (compatibilità, non giustificazione piena). Non risolve il problema
evidenziale. Il linguaggio di «maturazione» presuppone una teleologia della
natura personale che è assunta, non provata (Appendice B).
---
##
PARTE XIX: COMUNITÀ E RELAZIONE INTERSOGGETTIVA
**Statuto.** Le
definizioni sono D; C1 e il realismo della comunicazione sono AM; il Teorema
XIX.1 è condizionato a essi; il resto è PI.
### 1. Definizioni
-
**D.XIX.1 Comunicazione reale:** atto in cui un soggetto personale trasmette a
un altro un contenuto intelligibile mediante un medium.
- **D.XIX.2
Comunità:** insieme di soggetti personali legati da comunicazione,
riconoscimento reciproco e ordinamento a un fine comune.
### 2. Pluralità
dei soggetti
- **C1 (AM).** La comunicazione reale richiede che mittente e
destinatario siano distinti come soggetti.
- **R (AM).** Esiste almeno una
comunicazione reale tra soggetti relativi, non soltanto apparente.
**Teorema XIX.1** (da C1 e R). Esiste una pluralità di soggetti relativi: il
monismo che identifichi tutti i soggetti in uno è incompatibile con C1 e R.
*Nota critica.* Il teorema non è un argomento indipendente contro il monismo: C1
incorpora già la distinzione. Ha valore contro chi accetta C1 e R, e converge
con Teorema III.2 (Spinoza), che esclude il monismo per altra via (modale). Un
monista non è obbligato ad accettare R.
### 3. Relazione e destinazione
comune
- **PI.XIX.2.** Il soggetto personale non è monade chiusa: è
costitutivamente relazionale, aperto all'altro (Parte 0 §0.2; sull'alterità, la
discussione di Levinas in XV).
- **PI.XIX.3 (destinazione comune).** I
soggetti sono ordinati, singolarmente e insieme, a una comunione di verità,
giustizia e amore (E1–E5; D.XVIII.6).
- **PI.XIX.4 (comunità e cura).** La
comunità è luogo privilegiato della cura: aiuto reciproco, riconoscimento,
correzione e sostegno nella prova (XVIII).
### 4. Libertà finita e
sostegno
La libertà finita non è autonoma in senso assoluto: esiste e opera
perché sostenuta (IX.5; VII.2). **Teorema XIX.4** (dalle premesse di IX.5–IX.6).
Se il concorso di g è non determinante (IX.6), ogni atto di corrispondenza è
insieme atto della libertà finita e atto sostenuto, «cooperazione senza
confusione». In lettura teologica il sostegno è grazia (H5, PI): che il sostegno
sia amore non si deduce (H4).
---
## PARTE XX: ARCHITETTURA
CONCLUSIVA E FORMULA DEL SISTEMA
**Statuto.** Proposta interpretativa
(PI): sintetizza il percorso senza aggiungere teoremi (Norma N1).
### 1.
La formula conclusiva
```
g ⊳_{Gr,□} ( Σ_R ——Ana——> Σ_A ) ⇔ Logos o
Amor
```
| Simbolo | Lettura nel trattato |
|---|---|
| g |
l'Assoluto, unico SortA (D8); atto puro (XI §1); intelligenza in atto, per
analogia (H3) |
| ⊳_{Gr,□} | sostegno transmondiale continuo nell'essere: H1,
□∃a ∀r (E!r → Cr(a,r)), con la componente sostentatrice S priva di argomento
temporale |
| Σ_R | il registro di tutti i relativi: materia, vita, io
personale (SortR) |
| Ana | partecipazione e riflesso dell'ordine del
Fondamento: B1, P^R(r) → ∃a (P^A(a) ∧ Cr(a,r)) |
| Σ_A | il registro
dell'Assoluto come orizzonte di ritorno e destinazione |
| ⇔ Logos o Amor |
coincidenza indissolubile di Verità e Amore: lettura interpretativa (H3, H4),
non teorema |
I primi cinque elementi sono ricostruibili da D8, H1 e B1
(assunti); l'ultimo è una proposta. La formula non è dunque una conclusione
dedotta: riassume la lettura d'insieme.
### 2. Significato sistematico
La realtà non è un aggregato caotico né una necessità cieca (III §5, Teorema
III.2), ma la manifestazione partecipata di un Fondamento trascendente (VII). La
critica della confusione tra tempo ed eternità (VI §7) libera dai falsi enigmi
dell'antropomorfismo. Il tempo creato (XII) può essere letto non come prigione
ma come luogo in cui la libertà finita (IX §2), sostenuta (IX.5, IX.6) e, in
lettura teologica, dalla grazia, può corrispondere all'amore eterno che muove e
fonda ogni essere, in vista del compimento (XI §6: Aevum).
---
##
APPENDICE A: REGISTRO DEI LIVELLI PROPOSIZIONALI (NORMA N1)
**Definizioni
(D):** D.XVIII.1–D.XVIII.6; D.XIX.1–D.XIX.2; D1–D7; D8 (g); relativizzazione dei
quantificatori di sort; D.VII.1; D.XII.1–D.XII.6; D.XIV.1–D.XIV.5; D16.1–D16.4;
definizione di Libera (IX §2.1).
**Assiomi (A):** AF1–AF5; regole di
tipizzazione dei sort (Parte II §2); NM; A.5 (atemporalità negativa, equivalente
all'assioma di incommensurabilità dei regimi di durata).
**Assunti
metafisici (AM):** I1, I2, I3 (Parte XVII); C1 e R (Parte XIX); P1–P7; PB; AD;
A1; CR; H1 (H1a, H1c); U1, U2, U3; B1 (partecipazione), B2 (Def → Ref); E1–E5 e
B4; attualismo modale (VII §4.6); adozione della nozione libertaria di libertà
(IX §2.1); tesi di ordine dei beni (XIV §4); premesse di XIV §1 (i beni dovuti
sono perfezioni; le privazioni non sono enti); assunti epistemici della Parte 0
(Acc, Med, ConosceQuid, ComprendeEsaustivamente). *Variante modale:* WPSR, P3′,
P4′, S5. *Via ontologica:* ◇∃LA.
**Teoremi (T):** XVII.1; XVIII.1; XIX.1;
XIX.4; T1–T8; Teoremi III.0, III.1, III.2; VII.1; VII.2; VIII.1; XI.1; XIV.1,
XIV.2; XV.1; XVI.1–XVI.3.
**Proposte interpretative (PI):** H2, H3, H4 e
H5 come lettura teologica; EV (compensazione escatologica); tesi IX.1–IX.6; la
Parte 0 (salvo T1); le letture delle Parti X, XIII, XIV e XV; la formula
conclusiva (Parte XX); le Parti XVII (salvo XVII.1), XVIII e XIX (salvo XIX.1).
---
## APPENDICE B: QUESTIONI APERTE
1. **U2** (aseità ⇒
massimalità) non è derivata; da essa dipende l'unicità. U1 e U3 sono
controversi.
2. **AD** esclude fatti bruti e necessari dipendenti: è la
premessa più impegnativa del sistema; va argomentata oltre quanto la Parte III
consente.
3. **Entità astratte** (numeri, proposizioni): fuori dall'ambito di
AD, da trattare.
4. **Analogia:** quali coppie (P^A, P^R) siano ammesse; una
teoria delle perfezioni.
5. **Atto libero atemporale** e rapporto fra
sostentamento atemporale e conoscenza divina dei futuri contingenti (VII §4.5;
XIII).
6. **Questione contrastiva:** perché questo termine e non un altro
(XIII §4).
7. **Via ontologica:** la premessa ◇∃LA richiede un argomento
autonomo.
8. **P2** è più forte del WPSR; la variante modale richiede S5 e le
premesse P3′ e P4′, controverse.
9. **Irripetibilità della persona** (IX
§3.2).
10. **Libertà:** scelta fra definizione libertaria e compatibilista
(IX §2.1); la scelta incide sulle Parti IX, XIII, XIV.
11. **Formalizzazione
dei predicati** delle Parti IX–XIV (Conosce, Intenzionale, Conosce Sé, Libera,
Causa Intenzionale, Determina Necessariamente, Dovuto, Deviazione Morale) nel
linguaggio della Parte XVI, e **estensione di M** al soggetto, alla libertà, al
tempo ramificato e al regime escatologico.
12. **Identità personale del
risorto:** il problema della replica; individuazione della forma separata (XI
§6).
13. **Teodicea:** male naturale; privazione definitiva; problema
evidenziale (XIV).
14. **Struttura temporale** di Sospensione e Aevum (XII
§4).
15. **Heidegger:** l'obiezione al principio di ragione resta aperta per
chi rifiuta P2 (XV §2).
16. **Classe Qual:** manca una specificazione
assiomatica del sottodominio delle proprietà qualitative nella semantica di
Henkin, tale da evitare paradossi di comprensione del secondo ordine (VIII §2).
17. **Modello integrale:** i teoremi sono verificati in sottomodelli (M per il
non-collasso); occorre un modello di Henkin che soddisfi simultaneamente
l'intera sequenza assiomatica, dalla fondazione alle ipotesi di creazione e
unicità.
18. **Formalizzazione modale della scelta contrastiva:** la ragione
sufficiente contrastiva richiede un operatore di ottimizzazione o una logica
delle preferenze che esprima la scelta del mondo senza ridurla né a necessità
logica né ad arbitrarietà (XIII §4).
19. **Incontro del finito con
l'eterno:** la modalità con cui una coscienza temporale percepisce l'azione
dell'Atemporale (Med) resta un limite per la ragione finita; l'Aevum offre il
ponte categoriale, non la spiegazione (XI §3; Parte 0 §0.5).
20. **Male
naturale estremo:** l'eccedenza del male fisico e della sofferenza incolpevole
richiede un'ulteriore formalizzazione della «resistenza ontologica del relativo»
(XIV §3).
21. **Storia attuale ed eternità:** quale storia l'eternità
abbracci, se il futuro è aperto (VI §7; XII §6; XIII §2a).
22. **Premessa
I3:** il passaggio dall'intelligibilità strutturale del relativo a una ragione
non interna richiede una difesa indipendente contro spiegazioni collettive e
immanenti (XVII).
23. **Teleologia della natura personale:** la lettura di
prova, cura e destinazione come maturazione presuppone una teleologia non
dimostrata (XVIII §3).
24. **Pluralità e monismo:** manca un argomento contro
il monismo che non assuma già la distinzione dei soggetti (XIX §2).
---
## ABSTRACT
**Italiano.** Il trattato articola un percorso
dall'esperienza dell'incontro alla qualificazione filosofico-teologica del
Fondamento. Distingue i piani (fenomenologia, ontologia, metafisica, teologia
filosofica), dichiara le premesse e mostra dove l'argomento è valido e dove
controverso. Due sort, assoluto (necessario e non dipendente) e relativo
(contingente e dipendente), sono definiti in una logica modale quantificata a
dominio variabile; due teorie, assoluta e relativa, in firme non logiche
disgiunte sopra un'unica logica, esprimono formalmente l'apofasi e l'analogia.
Il collasso modale (◇P ⇔ P ⇔ □P) è escluso per modello (consistenza relativa a
S5). La via cosmologica conduce, condizionatamente a premesse esplicite (o al
principio di ragion sufficiente debole di Gale–Pruss con S5), ad almeno un ente
necessario e non dipendente; la via ontologica è conservata come via secondaria
isolata; l'unicità è un teorema condizionale a tre premesse dichiarate. Il
sistema Def/Cr separa il pensare dal porre nell'essere. La creazione è trattata
come denominazione estrinseca dell'Assoluto, la libertà come libertà modale per
ragioni, la dipendenza come sostentamento atemporale. Una parte iniziale tratta
la mediazione trascendentale ed ermeneutica dell'accesso al reale (realismo
critico teistico); seguono antropologia, tempo ramificato, errore di proiezione
temporale, conoscenza divina, teodicea e risposte a Kant, Heidegger, Marion,
Levinas e Derrida. Seguono un ponte noetico dall'intelligibilità al Fondamento,
la dinamica esistenziale della libertà e la comunità. Una norma metodologica
assegna ogni proposizione a uno di cinque livelli: definizioni, assiomi, assunti
metafisici, teoremi, proposte interpretative. Spinoza, Oppy e l'idealismo
produttivo sono messi in rapporto di costi, non confutati. Sono dichiarati i
punti aperti.
**English.** The treatise moves from the phenomenology of
encounter to a philosophical-theological account of the Ground, distinguishing
planes of inquiry, declaring premises and marking where arguments are valid and
where contested. Two sorts, absolute (necessary and non-dependent) and relative
(contingent and dependent), are defined in variable-domain