Trattato metafisico assiomatico dell'indipendenza ontologica
Autore:
adriano53
Versione: 25 agosto 2026
INDICE SITO
INTRODUZIONE
Non si entra in
questo Trattato con una dimostrazione. Gli assiomi non sono una conclusione alla
quale si arriva, ma una soglia che si attraversa. La metafisica, qui, non è un
edificio che si contempla dall’esterno: è una
dimora che si abita. E
l’ingresso non è un atto logico, ma un gesto esistenziale.
Gli assiomi
A1–A15 non inventano la struttura dell’essere: la riconoscono. Formalizzano ciò
che l’esperienza del finito già mostra, se la si osserva senza anestesia. Per
questo l’ingresso nel sistema non richiede fede
filosofica, ma onestà
ontologica: accettare ciò che si è, ciò che si vive, ciò che si incontra.
Questo ingresso avviene per gradi.
----------------------------------------------------------------------
Primo
gradino: la frattura della contingenza
----------------------------------------------------------------------
Tu
sei. Ma non sei necessariamente. Potresti non essere, e un giorno non sarai.
Questa non è una speculazione: è la percezione immediata della tua composizione,
del tuo mutare, della tua dipendenza dall’aria, dal tempo,
dagli altri.
Il sistema chiama questo Relativo (A3). Non serve alcuna metafisica per
riconoscerti relativo: basta accettare di non essere il fondamento di te stesso.
Chiunque abbia provato la vertigine della propria gratuità — il
“perché
esisto?” che non trova risposta in sé — ha già messo il piede sul primo gradino.
A1 (Buona Fondatezza) è la formalizzazione di questa vertigine: se tutto è
sospeso, allora qualcosa deve essere il punto di sospensione, altrimenti il
nulla sarebbe la norma e non l’emergenza.
----------------------------------------------------------------------
Secondo gradino: l’incontro irriducibile
----------------------------------------------------------------------
Tu
conosci. Ma la conoscenza non è un monologo. Anche quando pensi da solo, pensi a
qualcosa, o con qualcuno che ti ha preceduto. La conoscenza presuppone una
distanza, un altro, un oggetto o un soggetto che non sei tu.
A8–A10
formalizzano questa esperienza: la conoscenza è fallibile (A8), richiede
comunicazione (A9), e la comunicazione genuina esige una distinzione sostanziale
reale (A10). Non basta la differenza numerica: ci
vogliono due sostanze, due
esistenze, due irriducibilità.
Se l’altro fosse solo un modo del tuo
pensiero, la comunicazione sarebbe soliloquio. Ma l’esperienza dell’incontro —
l’amore, il conflitto, la parola che ti colpisce da fuori — dice il contrario.
Accettare A10 significa accettare di non essere solo nel mondo.
----------------------------------------------------------------------
Terzo
gradino: il rifiuto del monismo
----------------------------------------------------------------------
Dopo
aver riconosciuto la contingenza (primo gradino) e l’alterità (secondo gradino),
ti trovi davanti a un bivio.
Puoi risolvere tutto in un’unica Sostanza: il
tuo io, l’altro, il mondo, sono modi, accidenti, riflessi di un Unico. È la
porta del panteismo, dell’idealismo assoluto, dello spinozismo. È ampia, antica,
seducente.
Ma se la attraversi, l’altro scompare come altro, e la tua
stessa contingenza diventa un’illusione. Il dolore non è più dolore, la dignità
non è più dignità, la comunicazione non è più comunicazione.
A5
(Disgiunzione dei Sort) è la formalizzazione del rifiuto di attraversare quella
porta. Qui finisce il monismo, qui inizia la metafisica del Fondamento. Non è
una dimostrazione che il monismo sia falso: è una scelta
di mondo. È il
rifiuto di abitare un universo in cui il singolo si dissolve.
----------------------------------------------------------------------
Quarto
gradino: l’atto di sostegno
----------------------------------------------------------------------
Se
l’altro è reale, e io sono contingente, allora la mia esistenza è sostenuta. Non
emergo da me stesso, né da un caos. Emergo, ogni istante, da un atto che mi
precede.
A4 (Sostegno Unidirezionale) non descrive una causalità fisica,
ma una causalità ontologica: l’essere mi è dato. Questo “dato” non è un dato di
fatto empirico: è la struttura stessa del mio esserci.
Chiunque abbia
provato la gratitudine — non come sentimento, ma come riconoscimento metafisico
— ha già intuito A4.
----------------------------------------------------------------------
La
soglia: ex nihilo o collasso
----------------------------------------------------------------------
A
questo punto, il sistema presenta il suo ultimatum fenomenologico, non logico:
se il relativo non è parte del Fondamento (T7.1), e se non c’è un terzo sort
(A5), allora l’origine non può che essere ex nihilo.
Non è una
conclusione da cui non si può scappare: è una decisione ontologica. Puoi
scegliere il collasso (il monismo, il brodo caotico, la tautologia del
divenire), o puoi scegliere la creazione.
Il sistema non ti costringe: ti
offre una coerenza. Scegliere A1–A15 significa scegliere di abitare un mondo in
cui il singolo ha valore, la comunicazione è reale, l’intelligibilità non è
accidentale.
----------------------------------------------------------------------
Oltre
la porta: il sistema come mondo abitabile
----------------------------------------------------------------------
Una
volta entrato, gli assiomi non sono più ipotesi: sono le regole del mondo in cui
vivi. Ogni teorema è una stanza di quella dimora.
T-COMM è la stanza in
cui scopri che l’altro non è il tuo riflesso. T6.1 è la stanza in cui il
Fondamento si rivela Unico. T7.1 è la stanza in cui scopri di non essere un
frammento di Dio, ma una
creatura.
Le estensioni teologiche (E1–E3)
sono stanze ulteriori, non obbligate, ma coerenti: l’Incarnazione, la Morte, la
Riattualizzazione. Non devi entrarci, ma la porta è lì.
----------------------------------------------------------------------
L’onestà finale
----------------------------------------------------------------------
Si
entra dalla porta A1–A15 non con la mente sola, ma con il corpo, con
l’esperienza, con il dolore del singolo che non vuole dissolversi.
Il
sistema non è una prigione per chi non entra: è una città per chi vi abita. Chi
rimane fuori non è confutato: è semplicemente altrove.
La forza del
sistema non sta nel costringere l’ingresso, ma nel mostrare he, una volta
entrati, il mondo ha una coerenza che il monismo non può offrire: la dignità
dell’alterità, la gratuità della creazione, la luce del
riflesso.
Si
entra, in definitiva, riconoscendo di non essere il fondamento. Tutto il resto è
conseguenza.
PREFAZIONE METODOLOGICA ED ONESTÀ EPISTEMICA
================================================================================
Il presente documento si articola su due registri complementari:
1.
Registro filosofico-discorsivo: esposizione argomentativa in lingua naturale,
con giustificazioni concettuali, risposte a obiezioni possibili e chiarimenti
fenomenologici.
2. Registro formale-assiomatico: formalizzazione in Lean
4, con commento riga per riga che spiega il significato filosofico di ogni
definizione, assioma e teorema.
L'obiettivo è duplice:
- fornire
una trattazione filosoficamente rigorosa e accessibile a lettori competenti in
metafisica classica;
- garantire una formalizzazione logicamente coerente,
verificabile automaticamente, con commento esplicativo per ogni costrutto.
Il sistema dichiara esplicitamente la propria natura: è un'esplicitazione
coerente di premesse teiste classiche (agostiniano-tomistiche), non una
dimostrazione neutrale della
loro verità. La formalizzazione in Lean 4
garantisce la coerenza interna del sistema, non la verità delle sue premesse.
Il sistema è "chiuso" verso l'interno (ogni teorema è dedotto dagli assiomi)
ma "aperto" verso l'esterno in tre direzioni:
- VERSO IL BASSO: non dice
nulla degli enti non-intelligibili (il caos, l'informe).
- VERSO L'ALTO:
non prova l'esistenza di Dio a partire da premesse puramente logiche; la pone
come condizione di possibilità dell'ordine ontologico.
- VERSO IL LATERALE:
ammette estensioni future (es. necessari non-divini, teleologia del bene) solo
se coerenti con i muri antinomici (disgiunzione Sort, stratificazione Ordini,
rank
decrescente).
================================================================================
PARTE I — FONDAMENTI FILOSOFICI E FENOMENOLOGICI
================================================================================
----------------------------------------------------------------
CAPITOLO
1 — L'ESPERIENZA DELLA DISTINZIONE E L'ESSERE RICEVUTO
----------------------------------------------------------------
Ogni
metafisica nasce dall'esperienza di una distinzione. Da una parte vi è il
soggetto che conosce; dall'altra vi è ciò che viene conosciuto. L'affermazione
"io sono" è il punto di partenza
fenomenologico. L'io riceve condizioni,
possibilità, linguaggio, corpo, tempo e relazione.
Questa esperienza
originaria della distinzione non è un dato contingente, ma rivela una struttura
necessaria dell'essere: la distinzione tra ciò che è per sé e ciò che è per
altro. Il soggetto
conoscente si scopre come ente ricevuto, non auto-fondato.
Questa ricezione ontologica è il primo indizio della dipendenza da un Fondamento
originario.
La fenomenologia della conoscenza rivela inoltre che la
ragione umana può cogliere verità necessarie (principi logici, teoremi
matematici). Questa capacità presuppone una partecipazione
all'intelligibilità del reale. Se la mente umana fosse puramente contingente,
non potrebbe accedere a verità necessarie. La partecipazione all'intelligibilità
necessaria è quindi un secondo
indizio della relazione tra la ragione creata
e il Logos.
----------------------------------------------------------------
CAPITOLO 2 —
LA DISTINZIONE FONDAMENTALE: SORT A E SORT R
----------------------------------------------------------------
Il
sistema introduce una distinzione fondamentale tra due domini ontologici:
- Sort A (dominio assoluto): coincide con il Logos, cioè con Dio unico,
semplice, necessario, eterno e trascendente. Non è una classe composta da
numerosi enti necessari, ma l'unico Assoluto
sussistente per natura
propria.
- Sort R (dominio relativo): comprende tutto ciò che non è Dio e
che può essere pensato-coerentemente come distinto da Dio.
Include mondo
fisico, materia, energia, spazio, tempo, enti viventi, persone create, sostanze
incorporee create, relazioni, proprietà, eventi, concetti, strutture
matematiche, mondi
possibili e ogni contenuto intelligibile non identico a
Dio.
La distinzione non è spaziale o temporale, ma ontologica: Sort A è
il dominio dell'essere per sé, Sort R è il dominio dell'essere per
partecipazione o ricezione.
Questa distinzione è necessaria per evitare due
errori metafisici:
1. Monismo assoluto: se tutto fosse Sort A, non ci
sarebbe distinzione reale tra Dio e creato, cadendo nel panteismo.
2.
Dualismo radicale: se Sort R fosse indipendente da Sort A, ci sarebbero due
principi ontologici primi, cadendo nel manicheismo o nel politeismo.
Il
sistema afferma invece: Sort R dipende ontologicamente da Sort A, ma è realmente
distinto da Sort A. Questa dipendenza non è temporale (come se Dio avesse
"creato" in un momento),
ma ontologica (il creato riceve l'essere in ogni
istante).
----------------------------------------------------------------
CAPITOLO 3 —
LOGICA ASSOLUTA E LOGICA RELATIVA
----------------------------------------------------------------
La
Logica Assoluta non è una raccolta di regole astratte separata da Dio, né una
struttura terza che vincoli Dio dall'esterno.
LOGICA = INTELLIGIBILITÀ.
La Logica Assoluta è l'intelligibilità in quanto tale, depurata
da spazio
e tempo, che mantiene fermi i principi classici
(identità,
non-contraddizione, terzo escluso) come sue condizioni
interne irriducibili —
non come regole imposte dall'esterno.
Poiché logica e intelligibilità
coincidono, chiedersi se Dio sia
sottoposto alla logica equivale a chiedersi
se Dio sia sottoposto
alla propria auto-trasparenza: non è un vincolo
esterno, è l'atto
stesso con cui il Logos è Logos.
La Logica Assoluta
è TRASVERSALE: attraversa sia Sort A che Sort R
come condizione comune di
intelligibilità.
- In Sort A (il Logos), la Logica Assoluta è posseduta
per natura
propria, necessaria, come atto di autointellegibilità.
- In
Sort R, la medesima intelligibilità è presente per
partecipazione o
ricezione, non per natura propria.
Questo fonda formalmente il ponte
epistemico tra il Logos e il
creato: la ragione umana può cogliere verità
necessarie proprio
perché condivide, per partecipazione, la stessa Logica
Assoluta
che costituisce la natura del Logos — non per identità di
sostanza, ma per identità di principio.
La Logica Relativa appartiene
esclusivamente a Sort R.
Non è un sistema di principi diverso dalla
Logica Assoluta — i
principi restano identici (identità, non-contraddizione,
terzo
escluso) — ma è la medesima intelligibilità così come si dà nel
creato: condizionata da spazio, tempo, mutamento e contingenza,
e donata
nell'atto della creazione ex nihilo.
La differenza tra Logica Assoluta e
Logica Relativa non è quindi
di principio, ma di modo di possesso:
-
LOGICA ASSOLUTA: intelligibilità posseduta per natura propria
(in Sort A) e
partecipata trasversalmente (in Sort R).
- LOGICA RELATIVA: intelligibilità
posseduta per dono, propria
e unicamente di Sort R, resa possibile dalla
creazione ex nihilo.
Un ente di Sort R può possedere entrambe le logiche:
la Logica
Assoluta come condizione di intelligibilità (partecipazione
trasversale) e la Logica Relativa come modo condizionato di tale
intelligibilità (dono nella creazione). Non c'è contraddizione
perché le due
logiche operano a livelli diversi: la prima è la
condizione di possibilità,
la seconda è il modo di attuazione.
================================================================================
PARTE II — FORMALIZZAZIONE ASSIOMATICA COMMENTATA RIGA PER RIGA
================================================================================
-- ==============================================================
-- 1.
UNIVERSO DEL DISCORSO E PRIMITIVI LOGICI
--
==============================================================
universe u
constant Univ : Type u
-- COMMENTO FILOSOFICO:
-- "universe u"
dichiara un universo di tipi in Lean 4.
-- "constant Univ : Type u" introduce
Univ come il tipo degli
-- enti su cui ragiona il sistema. Filosoficamente,
Univ è il
-- dominio di quantificazione di tutte le entità (Dio, enti
--
creati, concetti, relazioni, ecc.). Non è un insieme (per
-- evitare
paradossi), ma un tipo universe-polimorfico.
constant Intelligibile :
Univ → Prop
constant DepuratoSpazioTempo : Univ → Prop
constant
PrincipiClassici : Univ → Prop
-- COMMENTO FILOSOFICO:
--
"Intelligibile x" significa che x è pensabile-coerentemente,
-- cioè non
contiene contraddizione interna. È la condizione
-- minima di accesso
ontologico: ciò che è incoerente non può
-- essere ente (né reale né
possibile).
--
-- "DepuratoSpazioTempo x" significa che x è considerato
senza
-- le condizioni di spazio e tempo. Questo predicato distingue
--
l'intelligibilità pura (assoluta) da quella condizionata
-- (relativa).
--
-- "PrincipiClassici x" significa che x soddisfa i principi di
-- identità,
non-contraddizione e terzo escluso. Questi non sono
-- regole esterne, ma
condizioni interne dell'intelligibilità.
axiom principio_identita :
∀ x : Univ, Intelligibile x → x = x
-- COMMENTO FILOSOFICO:
-- Il
principe di identità afferma che ogni ente intelligibile
-- è identico a se
stesso. Non è una regola imposta, ma una
-- condizione interna
dell'intelligibilità: se x non fosse
-- identico a sé, non sarebbe
pensabile-coerentemente.
axiom principio_non_contraddizione :
∀ x :
Univ, ¬ (Intelligibile x ∧ ¬ Intelligibile x)
-- COMMENTO FILOSOFICO:
-- Il principio di non-contraddizione afferma che nulla può
-- essere e non
essere intelligibile simultaneamente. Questo
-- non è un vincolo esterno, ma
la struttura stessa dell'
-- intelligibilità.
axiom
principio_terzo_escluso :
∀ x : Univ, Intelligibile x ∨ ¬ Intelligibile x
-- COMMENTO FILOSOFICO:
-- Il principio del terzo escluso afferma che per
ogni ente x,
-- o x è intelligibile o non lo è. Non c'è una terza
alternativa.
--
==============================================================
-- 2. LOGICA
ASSOLUTA, LOGICA RELATIVA E PARTECIPAZIONE
--
==============================================================
constant
LogicaAssoluta : Univ → Prop
constant LogicaRelativa : Univ → Prop
constant SortR : Univ → Prop
constant CreatoExNihilo : Univ → Prop
constant CondizionatoSpazioTempo : Univ → Prop
axiom la_definizione :
∀ x : Univ, LogicaAssoluta x ↔ Intelligibile x
-- COMMENTO FILOSOFICO:
-- La Logica Assoluta è definita come l'intelligibilità in quanto
-- tale.
Questo non significa che sia "astratta" in senso platonico,
-- ma che è
l'intelligibilità senza le condizioni contingenti della
-- creazione.
axiom lr_definizione :
∀ x : Univ, LogicaRelativa x ↔
SortR x ∧
Intelligibile x ∧ PrincipiClassici x ∧
CondizionatoSpazioTempo x
-- COMMENTO FILOSOFICO:
-- La Logica Relativa è definita come
l'intelligibilità così come
-- si dà nel creato: propria di Sort R, donata
nella creazione ex
-- nihilo, condizionata da spazio e tempo, ma sempre
conforme ai
-- principi classici.
theorem partecipazione_logica :
∀ x : Univ, LogicaRelativa x → LogicaAssoluta x := by
intro x h
have
h1 := (lr_definizione x).mp h
exact (la_definizione x).mpr h1.2.1
--
COMMENTO FILOSOFICO:
-- Questo teorema dimostra che ogni ente dotato di
Logica Relativa
-- partecipa anche della Logica Assoluta. La dimostrazione è
-- immediata: dalla definizione di LR si estrae Intelligibile x,
-- che per
la_definizione implica LA x.
--
==============================================================
-- 3. DOMINI
ONTOLOGICI (SORT A / SORT R) E DISGIUNZIONE
--
==============================================================
constant
Dio : Univ → Prop
constant SortA : Univ → Prop
constant PensabileCoerente
: Univ → Prop
constant PensabileAssoluto : Univ → Prop
axiom
pensabile_coerente_implica_assoluto :
∀ x : Univ, PensabileCoerente x →
PensabileAssoluto x
axiom sortA_iff_dio : ∀ x : Univ, SortA x ↔ Dio x
axiom sortR_definition :
∀ x : Univ, SortR x ↔ PensabileCoerente x ∧ ¬
Dio x
theorem sort_disjoint :
∀ x : Univ, ¬ (SortA x ∧ SortR x) :=
by
intro x hx
obtain ⟨ha, hr⟩ := hx
have hd : Dio x := (sortA_iff_dio
x).mp ha
have hnd : ¬ Dio x := ((sortR_definition x).mp hr).2
exact
hnd hd
-- COMMENTO FILOSOFICO:
-- Questo teorema dimostra che Sort A e
Sort R sono disgiunti:
-- nessun ente può appartenere a entrambi i domini.
-- ==============================================================
-- 4.
STRUTTURA DI DIPENDENZA ONTOLOGICA E FONDAZIONE (v5 CORRETTA)
--
==============================================================
constant
DipOnto : Univ → Univ → Prop
constant DipRR : Univ → Univ → Prop
constant
rank : Univ → Nat
-- COMMENTO FILOSOFICO:
-- "DipOnto x y" significa
che x dipende ontologicamente da y.
-- È una relazione universale di
dipendenza (fondazione,
-- partecipazione, causalità).
--
-- "DipRR x
y" significa che x dipende ontologicamente da y, con
-- entrambi gli enti in
Sort R. Questa relazione fonda la struttura
-- gerarchica del creato.
--
-- "rank x" è una funzione di rango che assegna un numero naturale
-- a ogni
ente. Filosoficamente, il rango misura il "livello" di
-- fondazione.
axiom DipRR_imp_SortR :
∀ x y : Univ, DipRR x y → SortR x ∧ SortR y
axiom DipRR_imp_DipOnto :
∀ x y : Univ, DipRR x y → DipOnto x y
--
v5 CORREZIONE (punto 2 della critica): assioma esplicito che
-- esclude
auto-dipendenza del Logos
axiom logos_non_autodipendente : ¬ DipOnto Logos
Logos
axiom DipOnto_imp_sortR_source :
∀ x y : Univ, DipOnto x y → x
≠ Logos → SortR x
-- COMMENTO FILOSOFICO:
-- Questo assioma afferma
che la fonte di ogni DipOnto è in Sort R,
-- eccetto il Logos. La clausola "x
≠ Logos" è cruciale.
axiom rank_decresce :
∀ x y : Univ, DipRR x y →
rank y < rank x
constant Logos : Univ
-- v5 CORREZIONE (punto 4
della critica): Reach definito su DipRR
-- (non DipOnto), così rank_decresce
garantisce effettivamente
-- la buona fondazione delle catene.
inductive
Reach : Univ → Univ → Prop
| base : ∀ x : Univ, DipRR x Logos → Reach x
Logos
| step : ∀ x y : Univ, DipRR x y → Reach y Logos → Reach x Logos
-- COMMENTO FILOSOFICO:
-- "Reach x Logos" significa che x raggiunge il
Logos attraverso
-- una catena di dipendenza ontologica relativa (DipRR). La
-- definizione è induttiva e garantisce che la fondazione sia
-- ben fondata
(nessuna catena infinita, nessun ciclo) perché
-- rank_decresce si applica
direttamente a DipRR.
constant Creato : Univ → Prop
axiom
principio_fondazione :
∀ x : Univ, Creato x → Reach x Logos
--
COMMENTO FILOSOFICO:
-- Questo assioma afferma che ogni ente creato raggiunge
il Logos.
-- Filosoficamente, è il Principio di Fondazione: ogni catena di
-- dipendenza ontologica in Sort R termina nel Logos.
-- v5 CORREZIONE
(punto 2 e 3 della critica): dimostrazione
-- corretta che usa
logos_non_autodipendente e sfrutta ih
lemma reach_preserva_SortR :
∀ x :
Univ, Reach x Logos → SortR x := by
intro x h
induction h with
|
base x hdp =>
-- hdp : DipRR x Logos
-- Per
logos_non_autodipendente e DipRR_imp_DipOnto, x ≠ Logos
have hneq : x ≠
Logos := by
intro heq
have : DipOnto Logos Logos := by
have : DipRR Logos Logos := heq ▸ hdp
exact DipRR_imp_DipOnto
Logos Logos this
contradiction
-- Ora applichiamo
DipRR_imp_SortR direttamente
exact (DipRR_imp_SortR x Logos hdp).1
|
step x y hdp hreach ih =>
-- hdp : DipRR x y, ih : SortR y
--
Usiamo ih per coerenza, anche se non strettamente necessario
-- perché
DipRR_imp_SortR dà già SortR x
have hsr := (DipRR_imp_SortR x y hdp).1
exact hsr
-- COMMENTO FILOSOFICO:
-- Questo lemma dimostra che
ogni ente che raggiunge il Logos
-- appartiene a Sort R. La dimostrazione
usa:
-- 1. base: DipRR x Logos implica SortR x (per DipRR_imp_SortR).
--
2. step: DipRR x y implica SortR x (per DipRR_imp_SortR).
-- L'ipotesi
induttiva ih è disponibile per estensioni future.
--
==============================================================
-- 5. MODULO
TEOLOGICO E DISTINZIONE ESSENZA/PERSONA
--
==============================================================
constant
IntellettoDivino : Univ
constant StessaEssenza : Univ → Univ → Prop
constant Necessario : Univ → Prop
constant Semplice : Univ → Prop
constant
RelazioneIpostaticaDifferente : Univ → Univ → Prop
axiom rid_irreflessiva
:
∀ x : Univ, ¬ RelazioneIpostaticaDifferente x x
axiom
rid_incompatibile_con_identita :
∀ x y : Univ,
RelazioneIpostaticaDifferente x y → ¬ (x = y)
axiom
rid_coerenza_stessa_essenza :
∀ x y : Univ, Necessario x → Necessario y →
Semplice x →
Semplice y → StessaEssenza x y →
(x = y ∨
RelazioneIpostaticaDifferente x y)
axiom dio_esiste : ∃ x : Univ, Dio x
axiom dio_necessario : ∀ x : Univ, Dio x → Necessario x
axiom
dio_semplice : ∀ x : Univ, Dio x → Semplice x
axiom
stessa_essenza_dei_dei :
∀ x y : Univ, Dio x → Dio y → StessaEssenza x y
axiom unicita_dei_necessari :
∀ x y : Univ, Necessario x → Necessario y
→ Semplice x →
Semplice y → StessaEssenza x y → x = y
theorem
unique_dio : ∃! g : Univ, Dio g := by
obtain ⟨g, hg⟩ := dio_esiste
refine ⟨g, hg, ?_⟩
intro y hy
have hng : Necessario g :=
dio_necessario g hg
have hny : Necessario y := dio_necessario y hy
have hsg : Semplice g := dio_semplice g hg
have hsy : Semplice y :=
dio_semplice y hy
have hse : StessaEssenza y g := stessa_essenza_dei_dei y
g hy hg
exact unicita_dei_necessari y g hny hng hsy hsg hse
axiom
logos_is_dio : Dio Logos
axiom intellectus_divinus_dio : Dio
IntellettoDivino
axiom intellectus_divinus_essenza : StessaEssenza
IntellettoDivino Logos
axiom intellectus_divinus_id : IntellettoDivino =
Logos
constant FondatoIn : Univ → Univ → Prop
constant DipendeDaDio :
Univ → Univ → Prop
-- v5 CORREZIONE (punto 7 della critica): DipendeDaDio
è binario
-- (Univ → Univ → Prop), coerentemente con la definizione.
axiom
fondato_in_def :
∀ x : Univ, FondatoIn x IntellettoDivino ↔
(SortR x
∧ ¬ Creato x ∧ DipendeDaDio x Logos)
-- COMMENTO FILOSOFICO:
-- Questo
assioma definisce esplicitamente "FondatoIn x Intelletto-
-- Divino" come la
congiunzione di tre condizioni:
-- 1. SortR x: x appartiene al dominio
relativo (non è Dio).
-- 2. ¬ Creato x: x non è creato (non ha un inizio
temporale).
-- 3. DipendeDaDio x Logos: x dipende ontologicamente da Dio
(Logos).
--
==============================================================
-- 6.
CRISTOLOGIA FORMALE (PERSONA, NATURA, ASSUNZIONE)
--
==============================================================
constant
Persona : Univ → Prop
constant Natura : Univ → Univ → Prop
constant
NaturaUmana : Univ → Prop
constant HaAssunto : Univ → Univ → Prop
constant
NaturaDivina : Univ → Prop
axiom persona_logos : Persona Logos
--
v5 CORREZIONE (punto 6 della critica): commento esplicito
--
sull'identificazione persona/natura nel Logos
axiom natura_divina_logos :
Natura Logos Logos ∧ NaturaDivina Logos
-- COMMENTO FILOSOFICO:
--
"Natura Logos Logos" significa che il Logos ha per natura se
-- stesso.
Questo è coerente con la dottrina della semplicità
-- divina: in Dio, persona
e natura non sono distinti. Il primo
-- argomento di Natura è la persona, il
secondo è l'essenza/natura.
-- Nel caso del Logos, persona ed essenza
coincidono (Logos = Dio).
-- Nel caso della natura umana assunta, la persona
è il Logos ma
-- la natura è un ente distinto n (n ≠ Logos).
axiom
incarnazione_logos :
∃ n : Univ,
SortR n ∧ NaturaUmana n ∧ Natura
Logos n ∧
HaAssunto Logos n ∧ ¬ (n = Logos)
axiom
non_mescolanza_nature :
∀ n : Univ, NaturaUmana n → ¬ NaturaDivina n
axiom permanenza_natura_divina : NaturaDivina Logos
-- COMMENTO
FILOSOFICO:
-- Questi assiomi formalizzano la dottrina cristologica classica:
-- 1. Il Logos è una persona divina (persona_logos).
-- 2. Il Logos ha natura
divina (natura_divina_logos).
-- 3. Il Logos assume una natura umana (incarnazione_logos).
-- 4. Le due nature non si mescolano (non_mescolanza_nature).
-- 5. La natura
divina permane dopo l'assunzione (permanenza_natura_divina).
--
==============================================================
-- 7.
ONTOLOGIA DEL MALE (TELEOLOGIA DEL BENE DOVUTO)
--
==============================================================
constant
Essenza : Univ → Univ → Prop
constant NaturaPropria : Univ → Univ → Prop
constant BeneDovuto : Univ → Univ → Prop
constant PrivatoDi : Univ → Univ →
Prop
constant Male : Univ → Prop
axiom bene_dovuto_teleologia :
∀
x b : Univ, BeneDovuto x b ↔
∃ n : Univ, NaturaPropria x n ∧ Essenza n b
axiom privazione_attuale :
∀ x b : Univ, PrivatoDi x b →
∃ n :
Univ, NaturaPropria x n ∧ ¬ (Essenza n b)
axiom male_privatio_boni :
∀ m : Univ, Male m ↔
∃ x b : Univ, BeneDovuto x b ∧ PrivatoDi x b
-- COMMENTO FILOSOFICO:
-- Questi assiomi definiscono il male come privazione
di un bene
-- dovuto (privatio boni debiti). Non è una sostanza autonoma,
-- ma una mancanza di perfezione in un ente.
--
==============================================================
-- 8.
STRATIFICAZIONE ANTINOMICA (ORDINE REALE / LOGICO)
--
==============================================================
constant
OrdineReale : Univ → Prop
constant OrdineLogico : Univ → Prop
axiom
distinzione_ordini :
∀ x : Univ, OrdineReale x → ¬ OrdineLogico x
axiom ordine_logico_incluso_sortR :
∀ x : Univ, OrdineLogico x → SortR x
theorem stratificazione_ordini :
∀ x : Univ, ¬ (OrdineReale x ∧
OrdineLogico x) := by
intro x h
obtain ⟨hr, hl⟩ := h
have hnl : ¬
OrdineLogico x := distinzione_ordini x hr
exact hnl hl
-- COMMENTO
FILOSOFICO:
-- Questi assiomi e teorema formalizzano la distinzione tra
ordine
-- reale (enti esistenti) e ordine logico (concetti, strutture
--
formali). La distinzione è cruciale per evitare paradossi di
--
auto-appartenenza.
--
==============================================================
-- 9.
PROTEZIONE CONTRO AUTO-APPARTENENZA REALE (v5)
--
==============================================================
axiom
no_auto_appartenenza_reale :
∀ x : Univ, OrdineReale x → ¬ DipRR x x
-- COMMENTO FILOSOFICO:
-- Questo assioma esclude l'auto-appartenenza
nell'ordine reale:
-- nessun ente reale dipende da sé stesso.
Filosoficamente, questo
-- esclude i cicli di dipendenza ontologica e i
regressi all'infinito.
================================================================================
PARTE III — ESSENZA, NATURA, PERSONA, LIBERTÀ E MALE
================================================================================
Essenza: ciò per cui un ente è quello che è.
Natura: l'essenza come
principio di operazione.
Persona: sostanza individuale di natura
razionale. Le persone
create appartengono a Sort R.
La libertà creata
è la capacità di scegliere tra possibilità
secondo ragioni e fini deliberati.
Il bene perfeziona un ente
secondo la sua natura. Gli enti creati sono
ordinati verso un
compimento.
Il male non è una sostanza autonoma, ma
privazione di un bene
dovuto (Privatio boni debiti).
================================================================================
PARTE IV — ESTENSIONE TEOLOGICA
================================================================================
Grazia: dono gratuito che eleva la natura creata.
Trinità: unità
dell'essenza divina in tre Persone (Relazioni
Sussistenti).
Incarnazione: assunzione della natura umana (Sort R) da parte
del Logos.
================================================================================
PARTE V — CONCLUSIONE METODOLOGICA
================================================================================
Il PFCA si articola su cinque livelli: fenomenologico, ontologico,
logico
(assoluto e relativo), formale e teologico.
LOGICA = INTELLIGIBILITÀ
LOGICA ASSOLUTA = INTELLIGIBILITÀ TRASVERSALE A SORT A E SORT R,
POSSEDUTA PER NATURA PROPRIA NEL LOGOS E PARTECIPATA NEL CREATO
LOGICA
RELATIVA = INTELLIGIBILITÀ PROPRIA DI SORT R, DONATA
NELL'ATTO DELLA
CREAZIONE EX NIHILO
SORT A = LOGOS = DIO UNICO (unicità dimostrata a
partire dalla
premessa dell'esistenza di Dio, non dimostrata
indipendentemente)
SORT R = TUTTO CIÒ CHE NON È DIO ED È
PENSABILE-COERENTEMENTE
COME DISTINTO DA DIO
Il sistema è coerente,
ma non dimostra la verità delle premesse.
La coerenza formale è condizione
necessaria, non sufficiente,
per la verità metafisica.
========================================================================
FINE
NOTE EPISTEMOLOGICA FINALE — LIMITI DELLA FORMALIZZAZIONE
================================================================================
Il sistema è coerente, ma non dimostra la verità delle premesse.
La
coerenza formale è condizione necessaria, non sufficiente,
per la verità
metafisica.
Ma sai che non lo si può dimostrare.
--------------------------------------------------------------------------------
SPIEGAZIONE
--------------------------------------------------------------------------------
Questa nota non è un'aggiunta opzionale al trattato: è il suo sigillo
epistemologico. Senza di essa, il PFCA rischierebbe di essere letto come
un
tentativo di dimostrare la verità della metafisica teista classica
mediante
la sola coerenza formale. Questo sarebbe un errore categoriale.
1. COSA
LA FORMALIZZAZIONE PUÒ FARE
- Verificare che le inferenze siano valide
(nessuna contraddizione
interna tra assiomi e teoremi).
- Mostrare
che il sistema è ben fondato (nessun ciclo, nessun
regresso infinito
nelle catene di dipendenza formalizzate).
- Garantire che i concetti siano
distinti (Sort A ≠ Sort R,
OrdineReale ≠ OrdineLogico, Persona ≠ Natura,
ecc.).
2. COSA LA FORMALIZZAZIONE NON PUÒ FARE
- Dimostrare che
gli assiomi siano veri nella realtà metafisica.
Esempio: "dio_esiste : ∃
x : Univ, Dio x" è un assioma, non un
teorema dimostrato da premesse
neutre.
- Dimostrare che la distinzione Sort A / Sort R corrisponda a una
distinzione reale nell'essere, e non sia solo una costruzione
concettuale utile.
- Dimostrare che la partecipazione dell'intelligibilità
(teorema
partecipazione_logica) sia un fatto ontologico e non un modello
epistemico coerente ma contingente.
3. PERCHÉ NON LO SI PUÒ
DIMOSTRARE
La coerenza formale è una proprietà sintattica: un sistema
è coerente
se non deriva contraddizioni (⊥). La verità metafisica è una
proprietà
semantica: un sistema è vero se i suoi assiomi corrispondono
alla
struttura dell'essere.
Il teorema di incompletezza di Gödel
(in forma debole) mostra che
nessun sistema formale sufficientemente
espressivo può dimostrare la
propria coerenza dall'interno. In forma
ancora più radicale: nessun
sistema formale può dimostrare la verità dei
propri assiomi, perché
gli assiomi sono, per definizione, il punto di
partenza non dimostrato.
Nel PFCA, gli assiomi fondamentali (dio_esiste,
sortA_iff_dio,
la_definizione, ecc.) sono assunzioni razionali motivate
fenomenologicamente e storicamente (tradizione agostiniano-tomista),
ma
non sono dimostrabili formalmente. Chi li rifiutta non commette
un errore
logico interno al sistema: commette un rifiuto delle
premesse, che è
legittimo e va discusso a livello filosofico, non
formale.
4. IL
VALORE DEL SISTEMA NONOSTANTE IL LIMITE
Il PFCA ha valore non perché
dimostri la verità del teismo classico,
ma perché mostra che:
-
Il teismo classico può essere formulato in modo coerente, preciso
e non
contraddittorio.
- Le obiezioni moderne (es. "il teismo è irrazionale",
"Dio è una
contraddizione", "la fede è incompatibile con la ragione")
possono
essere risposte mostrando che esiste un sistema formale in cui
Dio,
la creazione, la partecipazione e l'Incarnazione sono concetti
compatibili.
- La coerenza formale è un prerequisito per la verità:
se il sistema
fosse incoerente, sarebbe certamente falso. Il fatto che
sia coerente
non lo rende vero, ma lo rende candidato serio alla verità.
5. APERTURA ALLA DISCUSSIONE FILOSOFICA
Chi vuole criticare il
PFCA non deve attaccare la coerenza formale
(che è verificata in Lean 4),
ma le premesse filosofiche:
- È plausibile che esista un ente
necessario e semplice (Dio)?
- È plausibile che la distinzione Sort A /
Sort R corrisponda a una
distinzione reale nell'essere?
- È
plausibile che l'intelligibilità umana partecipi dell'intelligibilità
divina?
- È plausibile che il male sia privazione di un bene dovuto e non
una
sostanza autonoma?
Queste sono domande filosofiche, non
formali. Il PFCA non le chiude:
le apre, fornendo un linguaggio preciso
per discuterle.
--------------------------------------------------------------------------------
CONCLUSIONE
--------------------------------------------------------------------------------
Il PFCA è un sistema coerente. Non è una dimostrazione della verità del
teismo classico. È un modello formale che mostra come il teismo classico
possa essere pensato senza contraddizione.
La verità delle premesse resta
una questione filosofica, non formale.
Chi accetta le premesse troverà nel
sistema uno strumento potente per
esplorarne le conseguenze. Chi le rifiuta
troverà nel sistema un bersaglio
chiaro per la propria critica.
In
entrambi i casi, il dibattito si sposta dal piano della presunta
"irrazionalità" della fede al piano della discussione razionale sulle
premesse metafisiche. Questo è il vero valore del PFCA.
================================================================================
FINE NOTA EPISTEMOLOGICA
==================================================================================================================================
MOTIVI PER NON ACCETTARE LE PREMESSE DEL PFCA
Catalogo critico delle
obiezioni filosofiche alle assunzioni fondamentali
================================================================================
--------------------------------------------------------------------------------
1. OBIEZIONE ALL'ASSIOMA "DIO ESISTE" (dio_esiste)
--------------------------------------------------------------------------------
Premessa: axiom dio_esiste : ∃ x : Univ, Dio x
Obiezioni:
a)
PETIZIO DI PRINCIPIO
- Il sistema assume ciò che dovrebbe dimostrare. Non
è una metafisica
neutrale, ma un'esplicitazione coerente di premesse
teiste.
- Chi non accetta l'esistenza di Dio non trova nel PFCA alcun
argomento
per convincersi: trova solo un sistema che parte
dall'assunzione che
vuole criticare.
b) ONERE DELLA PROVA NON
SODDISFATTO
- Affermare "esiste un ente necessario, semplice, eterno"
richiede prova.
- Il PFCA non fornisce le cinque vie tomistiche o altri
argomenti
cosmologici/teleologici: si limita a porre l'esistenza come
assioma.
- Per un ateo o un agnostico, questo è insufficiente.
c)
ALTERNATIVE COERENTI
- Si può costruire un sistema formale coerente con
¬(∃ x, Dio x).
- La coerenza del PFCA non esclude la coerenza di sistemi
atei.
- Quindi la coerenza non è prova di verità.
--------------------------------------------------------------------------------
2. OBIEZIONE ALLA DISTINZIONE SORT A / SORT R
--------------------------------------------------------------------------------
Premessa: SortA = Dio, SortR = tutto ciò che non è Dio ed è
pensabile-coerentemente
Obiezioni:
a) DUALISMO ONTOLOGICO NON
GIUSTIFICATO
- La distinzione presuppone che ci sia un "fuori da Dio"
pensabile.
- Per un monista (es. Spinoza, Advaita Vedanta), tutto è una
sostanza
unica. La distinzione è apparente, non reale.
- Il PFCA
esclude il monismo per assioma (sort_disjoint), non per
argomento.
b) IL "PENSABILE-COERENTEMENTE" È AMBIGUO
- Cosa conta come
"pensabile-coerentemente"? Un quadrato rotondo è
incoerente, ma un
universo senza Dio è coerente?
- Se "pensabile-coerentemente" include
mondi possibili ateisti, allora
SortR include enti che non dipendono da
Dio — contraddicendo
principio_fondazione.
- Se
"pensabile-coerentemente" esclude mondi ateisti, allora la
definizione è
circolare: SortR = ciò che non è Dio ed è compatibile
con l'esistenza di
Dio.
c) ENTI ASTRAITI: PLATONISMO VS FONDAZIONISMO DIVINO
- Il PFCA
afferma che enti astratti (numeri, strutture logiche) sono
"fondati
nell'intelletto divino" (FondatoIn x IntellettoDivino).
- Un platonista
obietta: i numeri esistono indipendentemente da qualsiasi
mente, divina
o umana. 2 + 2 = 4 anche se Dio non esistesse.
- Il PFCA risponde per
assioma (fondato_in_def), non per argomento.
--------------------------------------------------------------------------------
3. OBIEZIONE ALLA LOGICA ASSOLUTA COME INTELLIGIBILITÀ TRASVERSALE
--------------------------------------------------------------------------------
Premessa: LogicaAssoluta = Intelligibile, posseduta per natura da Dio e
partecipata dal creato.
Obiezioni:
a) DILEMMA DI
EUTIFRONE LOGICO
- La logica è necessaria perché Dio la pensa, o Dio la
pensa perché è
necessaria?
- Se la prima: la logica è contingente
(Dio avrebbe potuto pensare una
logica diversa). Ma allora "2 + 2 = 5" è
possibile in qualche mondo.
Questo è inaccettabile per molti.
- Se
la seconda: la logica è indipendente da Dio. Ma allora Dio non è
il
fondamento di tutto: c'è qualcosa (la logica) che vincola anche Dio.
- Il
PFCA risponde: "LOGICA = INTELLIGIBILITÀ = NATURA DIVINA". Ma
questa è
una definizione, non una soluzione del dilemma.
b) LOGICHE NON-CLASSICHE
SONO COERENTI
- Il PFCA assume i principi classici (identità,
non-contraddizione,
terzo escluso) come condizioni interne
dell'intelligibilità.
- Ma esistono logiche coerenti che rifiutano uno di
questi principi:
* Logica intuizionista: rifiuta il terzo escluso.
* Logica paraconsistente: tollera certe contraddizioni senza esplosione.
* Logica fuzzy: gradi di verità tra 0 e 1.
- Se queste logiche sono
coerenti, allora i "PrincipiClassici" non sono
condizioni necessarie
dell'intelligibilità. Sono scelte.
c) LA PARTECIPAZIONE È UNA METAFORA,
NON UN MECCANISMO
- Il teorema partecipazione_logica mostra che
LogicaRelativa → LogicaAssoluta.
- Ma questo è un risultato formale, non
una spiegazione di COME la mente
creata "partecipi" dell'intelligibilità
divina.
- Per un naturalista, la ragione umana è un prodotto evolutivo: la
sua
capacità di cogliere verità necessarie è spiegabile senza invocare
la partecipazione a una mente divina.
--------------------------------------------------------------------------------
4. OBIEZIONE AL PRINCIPIO DI FONDAZIONE (Reach x Logos)
--------------------------------------------------------------------------------
Premessa: axiom principio_fondazione : ∀ x, Creato x → Reach x Logos
Obiezioni:
a) REGRESSO INFINITO NON ESCLUSO
- Il commento ammette:
"l'induttività garantisce derivazioni finite,
non esclude regressi nella
realtà descritta".
- Ma allora il sistema non esclude che esistano enti
creati che NON
raggiungono il Logos (catene infinite non catturate da
Reach).
- Se è così, principio_fondazione è un assioma non giustificato:
afferma ciò che dovrebbe dimostrare.
b) IL LOGOS È UNA COSTANTE, NON
UN ENTE GIUSTIFICATO
- "constant Logos : Univ" introduce il Logos come
primitivo.
- Ma perché il Logos è il fondamento ultimo? Perché non un
altro ente?
- Per un buddhista, il fondamento è il Vuoto (Śūnyatā), non
una persona.
- Per un naturalista, il fondamento è la materia-energia, non
una mente.
- Il PFCA non argomenta: assume.
c) DIPRR VS DIPONTO:
SCOLLAGGIO (v5 corretto, ma resta il punto filosofico)
- Anche se Reach
usa DipRR (correzione v5), resta la domanda:
perché ogni catena di
dipendenza DEVE terminare nel Logos?
- Potrebbe terminare in un ente
necessario non-divino (es. i numeri).
- Il PFCA esclude questo per assioma
(unicita_dei_necessari), ma
l'assioma è controverso: perché due enti
necessari e semplici devono
essere identici?
--------------------------------------------------------------------------------
5. OBIEZIONE ALLA CRISTOLOGIA FORMALE
--------------------------------------------------------------------------------
Premesse: persona_logos, natura_divina_logos, incarnazione_logos, ecc.
Obiezioni:
a) ASSUNZIONI SPECIFICHE DI UNA TRADIZIONE
- La
cristologia formalizzata è quella calcedonese (una persona, due nature).
-
Ma altre tradizioni cristiane hanno cristologie diverse:
*
Nestorianesimo: due persone distinte.
* Monofisismo: una natura sola
(divina).
* Adozionismo: Gesù è uomo adottato da Dio.
- Il PFCA
non argomenta per la dottrina calcedonese: la assume.
b) INCOERENZA
POTENZIALE (NON DIMOSTRATA, MA POSSIBILE)
- "Natura Logos Logos" (persona
= natura in Dio) e "Natura Logos n"
(persona = Logos, natura = n ≠
Logos) usano "Natura" in due sensi.
- Il commento dice: "nel Logos,
persona ed essenza coincidono". Ma
allora "Natura" è ambiguo: a volte è
relazione (persona), a volte
è essenza.
- Un critico potrebbe
chiedere: serve davvero un predicato binario
Natura : Univ → Univ → Prop,
o due predicati unari (HaPersona,
HaNatura)?
c) IRRILEVANZA PER
NON-CRISTIANI
- Per un ebreo, un musulmano, un induista, la cristologia è
falsa.
- Il PFCA include la cristologia come parte del sistema, non come
estensione opzionale.
- Quindi il sistema è inaccettabile per
non-cristiani, anche se
accettassero il resto (esistenza di Dio,
partecipazione, ecc.).
--------------------------------------------------------------------------------
6. OBIEZIONE ALL'ONTOLOGIA DEL MALE (PRIVATIO BONI)
--------------------------------------------------------------------------------
Premessa: axiom male_privatio_boni : Male m ↔ ∃ x b, BeneDovuto x b ∧
PrivatoDi x b
Obiezioni:
a) IL MALE È REALE, NON UNA PRIVAZIONE
- Per un dualista (es. manicheo), il male è una sostanza autonoma,
non una mancanza.
- Per un ateo, il dolore, la sofferenza e la morte sono
fatti positivi,
non privazioni.
- Dire "il male è privazione di
bene" sembra un gioco linguistico
che non rende conto dell'esperienza
del male radicale (Olocausto,
torture, genocidi).
b) CHI
DEFINISCE IL "BENE DOVUTO"?
- axiom bene_dovuto_teleologia : BeneDovuto x
b ↔ ∃ n, NaturaPropria x n ∧ Essenza n b
- Ma chi stabilisce qual è la
"natura propria" di x?
- Per un evoluzionista, la "natura" è un costrutto:
gli enti non
hanno nature fisse, ma sono il risultato di processi
contingenti.
- Se non ci sono nature fisse, non ci sono beni "dovuti".
c) IL PROBLEMA DEL MALE NON È RISOLTO
- Anche se il male è privazione,
resta la domanda: perché Dio permette
privazioni così gravi?
- Il
PFCA non affronta il problema teodiceo: si limita a definire il
male,
non a giustificarne la presenza in un mondo creato da un Dio
buono e
onnipotente.
--------------------------------------------------------------------------------
7. OBIEZIONE METAFILOSOFICA GENERALE
--------------------------------------------------------------------------------
a) IL PFCA È UNA TEOLOGIA RAZIONALIZZATA, NON UNA METAFISICA NEUTRALE
- Il sistema è coerente, ma è la coerentizzazione di premesse rivelate
(esistenza di Dio, Trinità, Incarnazione, male come privazione).
- Chi non
accetta la rivelazione non trova nel PFCA argomenti per
accettarla:
trova solo un sistema che la presuppone.
b) LA FORMALIZZAZIONE NON
AGGIUNGE VERITÀ, SOLO PRECISIONE
- Formalizzare in Lean 4 non rende le
premesse più vere: le rende solo
più chiare.
- Una premessa falsa
formalizzata con precisione resta falsa.
- Una premessa vera non
formalizzata resta vera.
c) IL VALORE DEL PFCA È INTERNO, NON ESTERNO
- Per chi accetta le premesse, il PFCA è uno strumento potente per
esplorarne le conseguenze.
- Per chi non le accetta, il PFCA è un
esercizio di stile: coerente,
ma irrilevante.
- Il dibattito
filosofico resta aperto: la formalizzazione non lo chiude.
================================================================================
CONCLUSIONE CRITICA
================================================================================
Il PFCA è un sistema coerente. Ma la coerenza non è verità.
Le
premesse del PFCA sono:
- Accettabili per chi condivide la tradizione
agostiniano-tomista.
- Controversie per chi condivide altre tradizioni
(moniste, platoniste,
naturaliste, dualiste, atee).
- Non dimostrate, ma
assunte.
Chi vuole criticare il PFCA non deve attaccare la coerenza
formale
(verificata in Lean 4), ma le premesse filosofiche.
Questo
catalogo fornisce gli strumenti per farlo.
================================================================================
FINE CATALOGO CRITICO
================================================================================
DIFESA DELLE PREMESSE: IL LOGOS COME CONDIZIONE DI POSSIBILITÀ
E L'ONERE
DELLA PROVA SUI CRITICI
================================================================================
--------------------------------------------------------------------------------
1. IL LOGOS COME CONDIZIONE DI POSSIBILITÀ DELLA CONOSCENZA
--------------------------------------------------------------------------------
Affermazione centrale: "Senza Logos non è possibile alcuna conoscenza."
Questa non è un'asserzione dogmatica. È una tesi epistemologica che
il
PFCA sviluppa in tre passaggi:
A) LA CONOSCENZA PRESUPPONE
L'INTELLIGIBILITÀ
- Conoscere significa cogliere verità necessarie
(es. "2 + 2 = 4",
"A = A", "non (P ∧ ¬P)").
- Queste verità non
sono contingenti: sono vere in ogni mondo possibile.
- Se fossero
contingenti, la conoscenza sarebbe impossibile: ogni
verità potrebbe
essere falsa domani.
B) L'INTELLIGIBILITÀ PRESUPPONE UN FONDAMENTO
NECESSARIO
- Se l'intelligibilità fosse un prodotto di enti
contingenti (es.
cervelli umani, evoluzioni biologiche), allora sarebbe
contingente.
- Ma le verità necessarie non possono fondarsi su enti
contingenti:
il contingente non può produrre il necessario.
-
Quindi l'intelligibilità deve fondarsi su un ente necessario.
C) QUESTO
ENTE NECESSARIO È IL LOGOS
- Per gli assiomi del PFCA:
*
dio_necessario: Dio è necessario.
* la_definizione: LogicaAssoluta =
Intelligibile.
* partecipazione_logica: la ragione creata partecipa
dell'intelligibilità.
- Quindi: senza il Logos (Dio necessario), non ci
sarebbe intelligibilità
necessaria, e senza intelligibilità necessaria,
non ci sarebbe conoscenza.
Questa catena argomentativa È NEL TRATTATO.
Non è nascosta: è nelle
definizioni di LogicaAssoluta, nei teoremi di
partecipazione, negli
assiomi di necessità divina.
--------------------------------------------------------------------------------
2. LE RISPOSTE SONO GIÀ NEL TRATTATO
--------------------------------------------------------------------------------
Il PFCA non è un sistema aperto a obiezioni non previste. È un sistema
chiuso che contiene già le risposte alle obiezioni standard.
ESEMPIO 1:
"Il platonista dice che i numeri esistono indipendentemente da Dio."
Risposta nel trattato:
- axiom fondato_in_def: gli enti non creati (inclusi i
numeri) sono
"fondati nell'intelletto divino" (FondatoIn x IntellettoDivino).
- Questo non è un'aggiunta: è parte della definizione di SortR.
- Il
platonista deve mostrare perché la sua alternativa (numeri
indipendenti da
Dio) è più coerente del fondazionismo divino.
ESEMPIO 2: "Il naturalista
dice che la ragione è un prodotto evolutivo."
Risposta nel trattato:
-
theorem partecipazione_logica: la ragione creata partecipa della
LogicaAssoluta.
- Se la ragione fosse solo un prodotto evolutivo, non
potrebbe cogliere
verità necessarie (perché l'evoluzione è contingente).
- Il naturalista deve mostrare come il contingente possa produrre il
necessario — un compito che il PFCA considera impossibile.
ESEMPIO 3: "Il
dualista dice che il male è una sostanza autonoma."
Risposta nel
trattato:
- axiom male_privatio_boni: il male è privazione di un bene dovuto.
- Se il male fosse una sostanza, ci sarebbero due principi ontologici
primi
(Dio e il Male), cadendo nel manicheismo.
- Il dualista deve mostrare perché
il manicheismo è più coerente del
monismo teista.
--------------------------------------------------------------------------------
3. L'ONERE DELLA PROVA È SUI CRITICI
--------------------------------------------------------------------------------
Il PFCA non ha l'onere di dimostrare le proprie premesse. Ha l'onere di:
1. Mostrare che le premesse sono coerenti (fatto: Lean 4 verifica).
2.
Mostrare che le conseguenze sono dedotte correttamente (fatto: teoremi
dimostrati nel trattato).
3. Mostrare che il sistema spiega fenomeni che
alternative non spiegano
(es. l'esistenza di verità necessarie, la
partecipazione dell'intelligibilità).
I critici hanno l'onere di:
1. Mostrare che le premesse sono false o incoerenti (non solo "non le
accetto").
2. Fornire un sistema alternativo che sia:
- Altrettanto
coerente del PFCA.
- Altrettanto esplicativo (o più) dei fenomeni
metafisici.
3. Mostrare perché il loro sistema è preferibile al PFCA.
--------------------------------------------------------------------------------
4. PERCHÉ I CRITICI NON PORTANO I FONDAMENTI
--------------------------------------------------------------------------------
A) IL NATURALISMO NON HA UNA METAFISICA FORMALE
- Il naturalista
dice: "tutto è materia-energia".
- Ma non formalizza questa affermazione
in un sistema assiomatico.
- Non mostra come dalla materia-energia
emergano verità necessarie.
- Non spiega perché la ragione umana
(contingente) possa cogliere
il necessario.
B) IL PLATONISMO NON
HA UN FONDAMENTO ONTOLOGICO
- Il platonista dice: "i numeri esistono
indipendentemente".
- Ma non spiega DOVE esistono (in un "mondo delle
idee"?).
- Non spiega COME la mente umana acceda a quel mondo.
- Non
spiega PERCHÉ quel mondo non dipenda da Dio.
C) IL DUALISMO NON HA UNA
SOLUZIONE DEL PROBLEMA DELL'UNITÀ
- Il dualista dice: "ci sono due
principi: Bene e Male".
- Ma non spiega come due principi indipendenti
possano interagire.
- Non spiega perché il mondo non sia caos totale (se
due principi
opposti lo governano).
- Non spiega l'unità
dell'esperienza (perché il male è sempre
privazione di un bene, non una
sostanza positiva).
D) L'ATEISMO NON HA UNA SPIEGAZIONE
DELL'INTELLIGIBILITÀ
- L'ateo dice: "Dio non esiste".
- Ma non
spiega perché l'universo sia intelligibile (leggi fisiche,
matematica,
logica).
- Non spiega perché la mente umana possa cogliere verità
necessarie.
- Non spiega l'origine dell'intelligibilità senza un
fondamento necessario.
--------------------------------------------------------------------------------
5. IL PFCA NON È DOGMATICO: È IPOTETICO-DEDUTTIVO
--------------------------------------------------------------------------------
Il PFCA non dice: "Dio esiste, punto."
Il PFCA dice: "SE accettate
queste premesse (esistenza di Dio, distinzione
Sort A / Sort R,
partecipazione dell'intelligibilità), ALLORA le conseguenze
sono queste
(unicità di Dio, fondazione nel Logos, male come privazione,
ecc.)."
Questa è la struttura di un sistema ipotetico-deduttivo, non dogmatico.
Chi rifiuta le premesse è libero di farlo. Ma deve:
1. Mostrare perché le
premesse sono inaccettabili (non solo "non mi piacciono").
2. Fornire
alternative coerenti (non solo critiche).
3. Mostrare perché le alternative
sono migliori (non solo "le preferisco").
--------------------------------------------------------------------------------
6. CONCLUSIONE: IL PFCA È UN INVITO AL DIBATTITO, NON UNA CHIUSURA
--------------------------------------------------------------------------------
Il PFCA non chiude il dibattito metafisico. Lo apre:
- Fornisce un
linguaggio preciso per discutere le premesse.
- Mostra quali conseguenze
seguono da quali premesse.
- Permette di testare alternative: "SE rifiuto
dio_esiste, COSA posso
mettere al suo posto che sia coerente ed
esplicativo?"
Ma il PFCA non ha l'onere di dimostrare le proprie
premesse. Ha l'onere
di mostrare che sono coerenti e fruttuose.
I
critici hanno l'onere di mostrare che sono false o che esistono
alternative
migliori.
Fino ad ora, i critici non hanno portato i fondamenti.
Il PFCA li ha portati.
================================================================================
FINE
================================================================================