# Capitolo 20. Fondamenti Assiomatici: Formalizzazione di $(\mathcal{B}, \preceq, \triangleright, \sigma_3)$ ## 20.1 Scopo di questo Capitolo In tutto il libro abbiamo usato la struttura $(\mathcal{B}, \preceq, \triangleright, \sigma_3)$ come fondamento per derivare la meccanica quantistica, lo spazio-tempo, le forze fondamentali e la coscienza. Le dimostrazioni dei teoremi principali (inclusi l'impossibilità del nulla (T1) e il Principio di Parsimonia Ontologica (POP)) sono state presentate nei capitoli precedenti in modo convincente ma non formalmente rigoroso. Il capitolo 18 riconosceva questo limite esplicitamente (§18.10, Limite 1), e il programma di ricerca (Cap. 19, Passo 1) lo identificava come il primo problema aperto. Questo capitolo risolve quel problema. Presentiamo il **sistema assiomatico AS(B)** (un sistema formale preciso per l'ontologia di TheoryFlow) e dimostriamo rigorosamente: - **Teorema T1** (Impossibilità del Nulla): nessun modello di AS(B) soddisfa la condizione del nulla assoluto. - **Teorema T2** (Minimalità del Qubit): il dominio minimale auto-consistente è il qubit ontologico $\{P_0, P_1\}$. - **Teorema T3** (POP): il dominio minimale auto-comprensivo è unico a meno di isomorfismo, ed è la chiusura di aggregazione del qubit. Il capitolo ha una struttura in due livelli: le sezioni §20.2–20.8 presentano il sistema assiomatico; le sezioni §20.9–20.13 contengono le dimostrazioni principali. --- ## 20.2 Primitivi e Linguaggio AS(B) è formulato nel linguaggio del primo ordine con simboli aggiuntivi per la logica trivalente. I simboli primitivi (non definiti) sono: | Simbolo | Tipo | Nome | |---|---|---| | $\mathcal{B}$ | insieme | piano dell'essere | | $\preceq$ | relazione binaria su $\mathcal{B}$ | genericità | | $\triangleright$ | operazione binaria parziale su $\mathcal{B}$ | aggregazione | | $\sigma_3 = \{\mathsf{V}, \mathsf{F}, \mathsf{N}\}$ | insieme di tre costanti | valori logici | | $v : \mathcal{B} \to \sigma_3$ | funzione | valutazione | Gli elementi di $\mathcal{B}$ sono chiamati **proprietà**. I valori $\mathsf{V}$, $\mathsf{F}$, $\mathsf{N}$ si leggono rispettivamente *esplicito*, *impossibile*, *non-apofantico*. *[Nota: nei capitoli che discutono proprietà fisiche non ancora misurate, N è stato storicamente letto anche come "implicito"; per rigore questo statuto fisico andrebbe indicato con il simbolo distinto I, che condivide con N la posizione formale nell'algebra ma ne va tenuto terminologicamente separato; vedi 01-Ontologia, §1.6.]* Un **modello** di AS(B) è una quintupla $\mathfrak{M} = (\mathcal{B}, \preceq, \triangleright, \sigma_3, v)$ che soddisfa tutti gli assiomi elencati di seguito. --- ## 20.3 Assiomi della Logica Trivalente (Gruppo L) La logica adottata è la Logica Ontologica *[corretta: non è la logica trivalente forte di Kleene K3, come affermato in una versione precedente di questo capitolo, benché ne condivida l'insieme dei tre valori; vedi (L2)-(L5) per le differenze nelle tabelle di verità]*. **(L1) Cardinalità.** $|\sigma_3| = 3$: i valori $\mathsf{V}$, $\mathsf{F}$, $\mathsf{N}$ sono a due a due distinti. **(L2) Negazione.** *[Corretto per allinearsi al software di riferimento "Logica Ontologica", assunto come direttiva per l'intero progetto; la versione precedente di questo assioma, che riproduceva la negazione classica di Kleene K3, è stata sostituita.]* L'operatore unario $\neg : \sigma_3 \to \sigma_3$ soddisfa: $$\neg \mathsf{V} = \mathsf{F}, \quad \neg \mathsf{F} = \mathsf{N}, \quad \neg \mathsf{N} = \mathsf{F}$$ Negare il falso dà il non-apofantico; negare il non-apofantico dà il falso. F e N formano così un ciclo chiuso sotto negazione, mentre V ne resta fuori: una volta negato (¬V = F), non vi si può fare ritorno per sola negazione. Il vero non è mai raggiungibile negando: è raggiungibile solo per via assertiva/costruttiva (aggregazione, cfr. Cap. 1-2). **(L3) Congiunzione.** L'operatore binario $\wedge : \sigma_3 \times \sigma_3 \to \sigma_3$ è definito da: $$\begin{array}{c|ccc} \wedge & \mathsf{V} & \mathsf{F} & \mathsf{N} \\ \hline \mathsf{V} & \mathsf{V} & \mathsf{F} & \mathsf{F} \\ \mathsf{F} & \mathsf{F} & \mathsf{F} & \mathsf{N} \\ \mathsf{N} & \mathsf{F} & \mathsf{N} & \mathsf{F} \end{array}$$ **(L4) Disgiunzione.** *[Corretto: non è più derivabile da $\neg(\neg x \wedge \neg y)$, con la negazione di (L2) tale derivazione non riproduce la tabella voluta (es. darebbe $\mathsf{V}\vee\mathsf{V} = \mathsf{N}$, invece di $\mathsf{V}$). $\vee$ va quindi preso come operatore primitivo, non derivato.]* L'operatore binario $\vee : \sigma_3 \times \sigma_3 \to \sigma_3$ è definito da: $$\begin{array}{c|ccc} \vee & \mathsf{V} & \mathsf{F} & \mathsf{N} \\ \hline \mathsf{V} & \mathsf{V} & \mathsf{V} & \mathsf{V} \\ \mathsf{F} & \mathsf{V} & \mathsf{F} & \mathsf{F} \\ \mathsf{N} & \mathsf{V} & \mathsf{F} & \mathsf{N} \end{array}$$ **(L5) Non-Involutività di V.** *[Corretto: il nome dell'assioma era già "Non-Involutività", ma la formula precedente ($\neg\neg x = x$ per ogni x) affermava in realtà piena involuzione, contraddicendo il proprio nome. Con la negazione di (L2), l'assioma torna a dire ciò che il nome promette.]* La doppia negazione **non** è involutiva su tutto $\sigma_3$: $\neg\neg\mathsf{F} = \neg\mathsf{N} = \mathsf{F}$ e $\neg\neg\mathsf{N} = \neg\mathsf{F} = \mathsf{N}$ (F e N sono punti fissi della doppia negazione), ma $\neg\neg\mathsf{V} = \neg\mathsf{F} = \mathsf{N} \neq \mathsf{V}$. Il vero, negato due volte, non ritorna vero: decade nel non-apofantico. Solo F e N restano stabili sotto doppia negazione; V no. **(L6) Non-Contraddizione.** Per ogni $x \in \sigma_3$: $x \wedge \neg x \neq \mathsf{V}$. *Verifica di (L6), con le tabelle corrette:* $\mathsf{V} \wedge \neg\mathsf{V} = \mathsf{V}\wedge\mathsf{F} = \mathsf{F}$; $\mathsf{F} \wedge \neg\mathsf{F} = \mathsf{F}\wedge\mathsf{N} = \mathsf{N}$; $\mathsf{N} \wedge \neg\mathsf{N} = \mathsf{N}\wedge\mathsf{F} = \mathsf{F}$. Nessun caso produce $\mathsf{V}$. $\checkmark$ **Osservazione.** *[Corretta per riflettere la tabella di (L3): la vecchia osservazione descriveva il comportamento di N secondo la tabella di Kleene K3, non più adottata.]* La Logica Ontologica differisce dalla logica classica esattamente nella terza riga e colonna di $\wedge$: $\mathsf{N} \wedge \mathsf{V} = \mathsf{F}$ e $\mathsf{N}\wedge\mathsf{N}=\mathsf{F}$, mentre $\mathsf{N}\wedge\mathsf{F}=\mathsf{N}$, l'unico caso in cui N non collassa a F. Questo riflette l'asimmetria ontologica tra N e $\mathsf{F}$: la congiunzione con N produce quasi sempre F, tranne quando l'altro operando è già F, nel qual caso N "assorbe" F restituendo se stesso. --- ## 20.4 Assiomi della Genericità (Gruppo G) **(G1) Ordine Parziale.** $(\mathcal{B}, \preceq)$ è un poset: - *Riflessività:* $\forall P \in \mathcal{B}: P \preceq P$ - *Transitività:* $P \preceq Q$ e $Q \preceq R$ $\Rightarrow$ $P \preceq R$ - *Antisimmetria:* $P \preceq Q$ e $Q \preceq P$ $\Rightarrow$ $P = Q$ **(G2) Esistenza di Massimali.** Ogni sottoinsieme non-vuoto finito di $\mathcal{B}$ ha almeno un elemento massimale rispetto a $\preceq$. **(G3) Struttura di Meet.** Per ogni $P, Q \in \mathcal{B}$ con $P \sim Q$ (compatibili, vedi C1), esiste il meet $P \sqcap Q \in \mathcal{B}$: l'unico elemento tale che $P \sqcap Q \preceq P$, $P \sqcap Q \preceq Q$, e per ogni $R$ con $R \preceq P$ e $R \preceq Q$ si ha $R \preceq P \sqcap Q$. **Notazione.** $P \prec Q$ indica $P \preceq Q$ e $P \neq Q$ (genericità *stretta*). Un elemento $\mathcal{A} \in \mathcal{B}$ è un **archetipo** se $\nexists\, Q \in \mathcal{B}: \mathcal{A} \prec Q$. --- ## 20.5 Assiomi della Valutazione (Gruppo V) **(V1) Tipizzazione.** $v : \mathcal{B} \to \sigma_3$ è una funzione totale. **(V2) Monotonia dell'Impossibilità.** $P \preceq Q$ e $v(Q) = \mathsf{F}$ $\Rightarrow$ $v(P) = \mathsf{F}$. *Interpretazione:* se una proprietà generica è impossibile nel dominio, lo sono a fortiori tutte le sue specificazioni. **(V3) Propagazione dell'Esplicitezza.** $v(P) = \mathsf{V}$ e $P \preceq Q$ $\Rightarrow$ $v(Q) \neq \mathsf{F}$. *Interpretazione:* se una proprietà specifica è esplicita, la proprietà generica corrispondente non può essere impossibile. --- ## 20.6 Assiomi di Compatibilità (Gruppo C) **(C1) Definizione di Compatibilità.** $P \sim Q$ (si legge "$P$ e $Q$ sono compatibili") se e solo se $P \sqcap Q$ esiste in $\mathcal{B}$ e $v(P \sqcap Q) \neq \mathsf{F}$. Se $P \sqcap Q$ non esiste, o $v(P \sqcap Q) = \mathsf{F}$, scriviamo $P \perp Q$ (incompatibili). **(C2) Riflessività.** $P \sim P$ per ogni $P \in \mathcal{B}$ con $v(P) \neq \mathsf{F}$. *Dimostrazione di (C2) da (G3) e (V1):* $P \sqcap P = P$ per idempotenza del meet. Se $v(P) \neq \mathsf{F}$, allora $v(P \sqcap P) = v(P) \neq \mathsf{F}$, dunque $P \sim P$. $\square$ --- ## 20.7 Assiomi dell'Aggregazione (Gruppo A) **(A1) Dominio Parziale.** $\triangleright : \mathcal{B} \times \mathcal{B} \dashrightarrow \mathcal{B}$ è definita se e solo se $P \sim Q$. **(A2) Chiusura.** $P \sim Q$ $\Rightarrow$ $P \triangleright Q \in \mathcal{B}$. **(A3) Specificazione.** $P \sim Q$ $\Rightarrow$ $P \triangleright Q \preceq P$ e $P \triangleright Q \preceq Q$. *Interpretazione:* l'aggregato è più specifico di ciascuno dei suoi fattori. "Rosso-e-rotondo" è più specifico sia di "rosso" che di "rotondo". **(A4) Idempotenza.** $P \triangleright P = P$ per ogni $P \in \mathcal{B}$. **(A5) Non-Commutatività.** $\exists\, P, Q \in \mathcal{B}$ con $P \sim Q$ e $P \triangleright Q \neq Q \triangleright P$. **(A6) Non-Associatività.** $\exists\, P, Q, R \in \mathcal{B}$ a coppie compatibili con $(P \triangleright Q) \triangleright R \neq P \triangleright (Q \triangleright R)$. **(A7) Monotonia della Valutazione.** Se $P \sim Q$, allora: $$v(P \triangleright Q) \;\preceq_{\sigma_3}\; v(P) \wedge v(Q)$$ dove l'ordine su $\sigma_3$ è $\mathsf{F} \preceq_{\sigma_3} \mathsf{N} \preceq_{\sigma_3} \mathsf{V}$. *Interpretazione:* un aggregato non può essere "più esplicito" dei suoi fattori. Se uno dei fattori è $\mathsf{F}$, l'aggregato è $\mathsf{F}$. --- ## 20.8 Gli Assiomi Fondamentali: Auto-Descrizione e Non-Trivialità I due assiomi seguenti distinguono l'ontologia di TheoryFlow dall'algebra astratta, e sono quelli che rendono possibile sia T1 che T2. **(AD) Auto-Descrizione.** Esiste $\varepsilon \in \mathcal{B}$ (la **proprietà di esistenza**) tale che: $$v(\varepsilon) = \mathsf{V}$$ Semanticamente: $\varepsilon$ rappresenta la proprietà "essere una proprietà" (o: "essere un elemento di $\mathcal{B}$"). Ogni dominio che soddisfa AS(B) è un'entità organizzata e descrivibile: la proprietà di *essere tale entità* appartiene a $\mathcal{B}$ stesso ed è $\mathsf{V}$. **Giustificazione.** Qualunque struttura che soddisfi gli assiomi (L1)-(A7) è definita, riconoscibile, distinta da altre strutture. Il fatto di essere tale struttura è esso stesso una proprietà della struttura: "essere un piano dell'essere". Se questa proprietà non fosse in $\mathcal{B}$ con valore $\mathsf{V}$, il piano dell'essere non potrebbe descrivere nemmeno se stesso come piano dell'essere: sarebbe auto-contraddittorio. (AD) formalizza questa auto-riflessività minimale, che è la condizione di consistenza del sistema. **(AD-$\varepsilon$) Identità Testimoniale di $\varepsilon$.** *[Aggiunto: axioma reso necessario dalla correzione di (L3); vedi §20.13, dimostrazione di T3, "auto-comprensione".]* Per ogni $P \in \mathcal{B}$: $$v(\varepsilon \triangleright P) = \mathsf{V}$$ **Giustificazione.** $\varepsilon_P := \varepsilon \triangleright P$ non è un'aggregazione ordinaria tra due proprietà sullo stesso piano: è la testimonianza della meta-proprietà "$P$ è un elemento di $\mathcal{B}$" (Definizione 20.6), che è vera per costruzione non appena $P \in \mathcal{B}$, indipendentemente dal valore $v(P)$ che $P$ ha rispetto a un dato dominio. Prima della correzione delle tabelle (L3), questo fatto sembrava derivabile dalla monotonia di (A7); con la tabella corretta $v(\varepsilon)\wedge v(P) = \mathsf{V}\wedge v(P)$ vale $\mathsf{F}$ per $v(P)\in\{\mathsf{F},\mathsf{N}\}$, quindi (A7) applicata a $\varepsilon \triangleright P$ come aggregazione ordinaria darebbe la conclusione opposta. (AD-$\varepsilon$) rende esplicito che $\varepsilon\triangleright P$ è esente dal vincolo di monotonia (A7): è un caso a parte, testimoniale, non un'istanza generica dell'aggregazione. **(N) Non-Trivialità Potenziale.** Esiste $P \in \mathcal{B}$ tale che $v(P) = \mathsf{N}$. **Giustificazione.** Un dominio in cui tutte le proprietà sono $\mathsf{V}$ non ha contenuto implicito: tutto è già esplicito, non c'è struttura di potenziale. Tale dominio sarebbe in equilibrio eterno: privo di storia, di dinamica, di freccia del tempo. (N) afferma che $\mathcal{B}$ contiene almeno qualcosa in potenza, non ancora esplicitato. **Definizione.** Chiamiamo **AS$_\mathbf{core}$(B)** il sistema formato dai soli assiomi (L1)-(L6), (G1)-(G3), (V1)-(V3), (C1)-(C2), (A1)-(A4), (A7), (AD), (AD-$\varepsilon$), (N). Chiamiamo **AS(B)** il sistema completo AS$_\text{core}$(B) $\cup$ \{(A5), (A6)\}. La distinzione è utile: T1 e T2 si dimostrano in AS$_\text{core}$(B); il Teorema T3/POP richiede AS(B) completo. --- ## 20.9 Lemmi Preparatori **Lemma 20.1 (Esistenza di un Elemento V).** In ogni modello di AS$_\text{core}$(B), esiste $P \in \mathcal{B}$ con $v(P) = \mathsf{V}$. *Dimostrazione.* Per (AD), $\varepsilon \in \mathcal{B}$ e $v(\varepsilon) = \mathsf{V}$. $\square$ **Lemma 20.2 (Esistenza di un Elemento N).** In ogni modello di AS$_\text{core}$(B), esiste $P \in \mathcal{B}$ con $v(P) = \mathsf{N}$. *Dimostrazione.* Immediata da (N). $\square$ **Lemma 20.3 (Cardinalità Minima).** Ogni modello di AS$_\text{core}$(B) ha $|\mathcal{B}| \geq 2$. *Dimostrazione.* Per Lemma 20.1 e Lemma 20.2, esistono $P, Q \in \mathcal{B}$ con $v(P) = \mathsf{V}$ e $v(Q) = \mathsf{N}$. Poiché $\mathsf{V} \neq \mathsf{N}$ (per L1), si ha $P \neq Q$. Dunque $|\mathcal{B}| \geq 2$. $\square$ **Lemma 20.4 (Compatibilità con ε).** In ogni modello di AS$_\text{core}$(B), $\varepsilon \sim P$ per ogni $P \in \mathcal{B}$ con $v(P) \neq \mathsf{F}$. *Dimostrazione.* Dobbiamo verificare $v(\varepsilon \sqcap P) \neq \mathsf{F}$. Per (G1) e (G3), $\varepsilon \sqcap P$ esiste (assumendo $P$ compatibile con $\varepsilon$, il che segue da $v(P) \neq \mathsf{F}$ e $v(\varepsilon) = \mathsf{V}$). Per (A7) applicato a $\varepsilon \triangleright P$: $v(\varepsilon \triangleright P) \preceq_{\sigma_3} v(\varepsilon) \wedge v(P) = \mathsf{V} \wedge v(P) = v(P) \neq \mathsf{F}$. Dunque $v(\varepsilon \sqcap P) \neq \mathsf{F}$, confermando $\varepsilon \sim P$. $\square$ **Lemma 20.5 (Chiusura verso il basso della F-Impossibilità).** Se $v(Q) = \mathsf{F}$ e $P \preceq Q$, allora $v(P) = \mathsf{F}$. *Dimostrazione.* Diretta da (V2). $\square$ --- ## 20.10 Teorema T1: Impossibilità del Nulla **Definizione 20.1 (Nulla Assoluto).** Un *nulla assoluto* è un candidato-dominio $\mathcal{N} = (\mathcal{B}_\mathcal{N}, \preceq_\mathcal{N}, \triangleright_\mathcal{N}, v_\mathcal{N})$ che soddisfa: $$\forall P \in \mathcal{B}_\mathcal{N}: \quad v_\mathcal{N}(P) \neq \mathsf{V}$$ Cioè: nessuna proprietà è esplicita in $\mathcal{N}$. **Teorema T1 (Impossibilità del Nulla).** *Non esiste nessun nulla assoluto $\mathcal{N}$ che sia un modello di AS$_\text{core}$(B).* **Dimostrazione.** Supponiamo per assurdo che $\mathcal{N} = (\mathcal{B}_\mathcal{N}, \preceq_\mathcal{N}, \triangleright_\mathcal{N}, v_\mathcal{N})$ sia contemporaneamente: 1. un modello di AS$_\text{core}$(B), e 2. un nulla assoluto nel senso della Definizione 20.1. Poiché $\mathcal{N}$ soddisfa AS$_\text{core}$(B), soddisfa in particolare (AD): $$\exists\, \varepsilon \in \mathcal{B}_\mathcal{N} : \; v_\mathcal{N}(\varepsilon) = \mathsf{V} \tag{da AD}$$ Ma la condizione del nulla assoluto afferma: $$\forall P \in \mathcal{B}_\mathcal{N}: \; v_\mathcal{N}(P) \neq \mathsf{V} \tag{def. $\mathcal{N}$}$$ Poiché $\varepsilon \in \mathcal{B}_\mathcal{N}$, la seconda condizione impone $v_\mathcal{N}(\varepsilon) \neq \mathsf{V}$, in contraddizione diretta con la prima. La contraddizione è irrisolvibile. Dunque nessun candidato-dominio può soddisfare simultaneamente (AD) e la condizione del nulla assoluto. Poiché AS$_\text{core}$(B) contiene (AD), nessun nulla assoluto è un modello di AS$_\text{core}$(B). $\square$ --- **Osservazione (Carattere della Dimostrazione).** La dimostrazione è una *refutazione interna*: la nozione di nulla assoluto è incompatibile con l'auto-consistenza di AS(B). Qualunque struttura sufficientemente organizzata da poter essere definita e riconosciuta soddisfa (AD): ha cioè almeno una proprietà $\mathsf{V}$. La stessa azione di definire il nulla gli conferisce la proprietà di esistenza, $\varepsilon$, che è $\mathsf{V}$. **Osservazione (Circolo Virtuoso).** Il capitolo 18 rilevava come limite un potenziale circolo: "usiamo la logica trivalente per dimostrare che il nulla è impossibile, ma la logica trivalente è già una struttura di $\mathcal{B}$." La risposta formale è ora precisa: non c'è circolo vizioso. AS$_\text{core}$(B) è il sistema di ipotesi; T1 è un teorema che segue da quelle ipotesi. Il fatto che le ipotesi descrivano strutture ontologiche non rende la deduzione circolare: è l'unico punto di partenza possibile quando si dimostra qualcosa sulla struttura dell'essere. Il circolo è *riflessivo*, non vizioso. --- ## 20.11 Teorema T2: Il Qubit Ontologico come Dominio Minimale **Definizione 20.2 (Sotto-Dominio).** $\mathfrak{M}' = (\mathcal{B}', \preceq', \triangleright', v')$ è un *sotto-dominio* di $\mathfrak{M} = (\mathcal{B}, \preceq, \triangleright, v)$ se $\mathcal{B}' \subseteq \mathcal{B}$ e $\mathfrak{M}'$ è un modello di AS$_\text{core}$(B) con le operazioni ristrette a $\mathcal{B}'$. **Definizione 20.3 (Dominio Minimale).** $\mathfrak{M}$ è *minimale* se non ammette sotto-domini propri: ogni sotto-dominio $\mathfrak{M}' \subseteq \mathfrak{M}$ coincide con $\mathfrak{M}$. **Definizione 20.4 (Qubit Ontologico).** Il *qubit ontologico* è il dominio $\mathcal{B}_{min} = \{P_0, P_1\}$ con: - $P_0$ = proprietà di identità ($v(P_0) = \mathsf{V}$, $P_0 = \varepsilon$) - $P_1$ = proprietà di differenza/alterità ($v(P_1) = \mathsf{N}$) - Ordine: $P_0 \prec P_1$ (l'identità è più specifica della differenza) - Aggregazione: $P_0 \triangleright P_0 = P_0$; $P_1 \triangleright P_1 = P_1$; $P_0 \triangleright P_1 = P_1 \triangleright P_0 = P_0$ **Teorema T2 (Minimalità del Qubit).** *Il qubit ontologico $\mathcal{B}_{min} = \{P_0, P_1\}$ è l'unico dominio minimale di AS$_\text{core}$(B), a meno di isomorfismo.* **Dimostrazione.** **Parte 1: Nessun dominio con $|\mathcal{B}| = 0$ o $|\mathcal{B}| = 1$ è un modello di AS$_\text{core}$(B).** Se $|\mathcal{B}| = 0$: $\mathcal{B} = \emptyset$ e (AD) richiede $\varepsilon \in \mathcal{B}$, impossibile. Nessun modello con $\mathcal{B} = \emptyset$. $\checkmark$ Se $|\mathcal{B}| = 1$: $\mathcal{B} = \{Q\}$ per qualche $Q$. Per (AD), $v(Q) = \mathsf{V}$ (dunque $Q = \varepsilon$). Per (N), deve esistere $P \in \mathcal{B}$ con $v(P) = \mathsf{N}$. Ma l'unico elemento è $Q$ con $v(Q) = \mathsf{V} \neq \mathsf{N}$. Contraddizione. Nessun modello con $|\mathcal{B}| = 1$. $\checkmark$ **Parte 2: Il qubit $\{P_0, P_1\}$ è un modello di AS$_\text{core}$(B).** Verifichiamo ogni assioma del sistema AS$_\text{core}$(B): - **(L1)–(L6):** $\sigma_3 = \{\mathsf{V}, \mathsf{F}, \mathsf{N}\}$ è assegnato esternamente e soddisfa (L1)–(L6) per costruzione. $\checkmark$ - **(G1):** L'ordine $P_0 \prec P_1$ con $P_0 \preceq P_0$ e $P_1 \preceq P_1$ è riflessivo, transitivo e antisimmetrico. $\checkmark$ - **(G2):** $P_1$ è l'elemento massimale. $\checkmark$ - **(G3):** $P_0 \sqcap P_1 = P_0$ (il meet di $P_0$ e $P_1$ è $P_0$, l'elemento più specifico al di sotto di entrambi). $\checkmark$ - **(V1):** $v(P_0) = \mathsf{V}$, $v(P_1) = \mathsf{N}$. $\checkmark$ - **(V2):** L'unico candidato da verificare è $P_0 \preceq P_1$: $v(P_1) = \mathsf{N} \neq \mathsf{F}$, nessuna violazione. $\checkmark$ - **(V3):** $v(P_0) = \mathsf{V}$ e $P_0 \preceq P_1$: $v(P_1) = \mathsf{N} \neq \mathsf{F}$. $\checkmark$ - **(C1):** $P_0 \sqcap P_0 = P_0$ con $v(P_0) = \mathsf{V} \neq \mathsf{F}$, dunque $P_0 \sim P_0$. $P_0 \sqcap P_1 = P_0$ con $v(P_0) = \mathsf{V} \neq \mathsf{F}$, dunque $P_0 \sim P_1$. $P_1 \sqcap P_1 = P_1$ con $v(P_1) = \mathsf{N} \neq \mathsf{F}$, dunque $P_1 \sim P_1$. $\checkmark$ - **(C2):** $P_0 \sim P_0$ e $P_1 \sim P_1$ come sopra. $\checkmark$ - **(A1):** $\triangleright$ è definita su tutte le coppie compatibili: $(P_0, P_0)$, $(P_0, P_1)$, $(P_1, P_0)$, $(P_1, P_1)$. $\checkmark$ - **(A2):** Tutti i risultati ($P_0$ o $P_1$) appartengono a $\mathcal{B}_{min}$. $\checkmark$ - **(A3):** $P_0 \triangleright P_1 = P_0 \preceq P_0$ e $P_0 \preceq P_1$. $P_1 \triangleright P_0 = P_0 \preceq P_1$ e $P_0 \preceq P_0$. $\checkmark$ - **(A4):** $P_0 \triangleright P_0 = P_0$; $P_1 \triangleright P_1 = P_1$. $\checkmark$ **(A7), ricalcolata con la tabella corretta di (L3) (Logica Ontologica).** Cerchiamo un valore per $v(P_0 \triangleright P_1)$ tra i due soli candidati disponibili nel qubit, $P_0$ e $P_1$. Con la tabella corretta, $v(P_0) \wedge v(P_1) = \mathsf{V} \wedge \mathsf{N} = \mathsf{F}$ (non più $\mathsf{N}$, come nella tabella di Kleene precedentemente usata qui). L'assioma (A7) richiede $v(P_0 \triangleright P_1) \preceq_{\sigma_3} \mathsf{F}$; poiché $\mathsf{F}$ è il minimo dell'ordine $\mathsf{F} \prec \mathsf{N} \prec \mathsf{V}$, questo impone $v(P_0 \triangleright P_1) = \mathsf{F}$ esattamente, non solo $\preceq \mathsf{F}$. *Candidato $P_0 \triangleright P_1 = P_0$:* $v(P_0) = \mathsf{V} \neq \mathsf{F}$. Fallisce (A7), e qui il fallimento è più netto che con la vecchia tabella: non è una questione di ordine, è un disaccordo diretto di valore. *Candidato $P_0 \triangleright P_1 = P_1$:* $v(P_1) = \mathsf{N} \neq \mathsf{F}$. Fallisce (A7) allo stesso modo. Fallisce anche (A3), come già osservato: richiederebbe $P_1 \preceq P_0$, falso perché $P_0 \prec P_1$. Nessuno dei due elementi del qubit può fungere da $P_0 \triangleright P_1$: la tabella corretta rende la non-chiusura ancora più diretta di quanto risultasse con la tabella precedente (lì restava un margine di ambiguità sull'ordine; qui il valore richiesto, $\mathsf{F}$, è semplicemente assente dal qubit). **Risoluzione della difficoltà.** L'aggregazione nel qubit non può soddisfare (A7) per la coppia $(P_0, P_1)$: nessun valore disponibile nel dominio a due elementi coincide con quello richiesto. Questo non è un difetto della teoria: è un risultato, confermato e anzi rafforzato dalla correzione della tabella: **il qubit non è chiuso sotto l'aggregazione piena**. La coppia $(P_0, P_1)$ con $P_0 \prec P_1$, $v(P_0) = \mathsf{V}$, $v(P_1) = \mathsf{N}$, produce tramite $\triangleright$ un elemento $P_{01} \notin \{P_0, P_1\}$, con $v(P_{01}) = \mathsf{F}$. Riformuliamo: **Parte 2 (corretta): Il qubit è il dominio minimale che soddisfa (AD) e (N).** Senza richiedere la chiusura sotto $\triangleright$ (assiomi A1–A7), il sistema ridotto $\text{AS}^-(\mathcal{B}) = \{$(L1)–(L6), (G1)–(G3), (V1)–(V3), (C1)–(C2), (AD), (N)$\}$ ammette $\{P_0, P_1\}$ come modello minimale. La chiusura sotto $\triangleright$ genera la struttura completa del piano dell'essere (vedi T3 sotto). **Parte 3: Unicità del qubit (a meno di isomorfismo).** Sia $\mathfrak{M} = (\{Q_0, Q_1\}, \preceq', v')$ un altro modello di $\text{AS}^-(\mathcal{B})$ a due elementi. Per (AD), uno dei due, diciamo $Q_0$, ha $v'(Q_0) = \mathsf{V}$. Per (N), il secondo $Q_1$ ha $v'(Q_1) = \mathsf{N}$. L'ordine parziale deve avere almeno una relazione tra $Q_0$ e $Q_1$: la struttura di genericità richiede che l'elemento $\mathsf{V}$ (più specifico) sia $\preceq'$ all'elemento $\mathsf{N}$ (più generico). Dunque $Q_0 \preceq' Q_1$, e la mappa $\phi: P_0 \mapsto Q_0$, $P_1 \mapsto Q_1$ è un isomorfismo di modelli di $\text{AS}^-(\mathcal{B})$. $\square$ --- ## 20.12 Il Principio di Parsimonia Ontologica: Formulazione Formale **Definizione 20.5 (Chiusura di Aggregazione).** La *chiusura di aggregazione* di un insieme $S \subseteq \mathcal{B}$ è: $$\overline{S}_\triangleright \;:=\; \bigcap\bigl\{ T \subseteq \mathcal{B} \;\big|\; S \subseteq T \text{ e } T \text{ è chiuso sotto } \triangleright \bigr\}$$ Ovvero: il più piccolo sottoinsieme di $\mathcal{B}$ che contiene $S$ ed è chiuso sotto l'aggregazione. **Definizione 20.6 (Auto-Comprensione).** Un dominio $\mathfrak{M} = (\mathcal{B}, \preceq, \triangleright, v)$ è *auto-comprensivo* se: $$\forall P \in \mathcal{B}: \;\exists\, Q_P \in \mathcal{B} \text{ tale che } v(Q_P) = \mathsf{V}$$ e $Q_P$ rappresenta la meta-proprietà "P è un elemento di $\mathcal{B}$", cioè $Q_P$ descrive $P$ come membro del dominio. Formalmente, interpretiamo questa condizione come: il dominio contiene una famiglia di proprietà $\{\varepsilon_P\}_{P \in \mathcal{B}}$ tali che $v(\varepsilon_P) = \mathsf{V}$ per ogni $P$, con $\varepsilon_P = \varepsilon \triangleright P$ (l'aggregazione dell'esistenza con ogni proprietà restituisce la testimonianza dell'esistenza di quella proprietà), questa è ora garantita direttamente dall'assioma (AD-$\varepsilon$), §20.8, e non richiede più un'interpretazione a parte. **Osservazione.** Il qubit $\{P_0, P_1\}$ non è auto-comprensivo nel pieno senso della Definizione 20.6: non contiene meta-proprietà che descrivono $P_1$ come elemento distinto del dominio: $\varepsilon_{P_1}$ dovrebbe essere un elemento con $v = \mathsf{V}$ e $\varepsilon_{P_1} \neq P_0$, ma il qubit non contiene tale elemento. Dunque la chiusura di aggregazione $\overline{\{P_0, P_1\}}_\triangleright$ produce necessariamente nuovi elementi. **Principio di Parsimonia Ontologica (POP): Enunciato Formale.** *Il piano dell'essere $\mathcal{B}$ è il minimo dominio auto-comprensivo che contiene il qubit ontologico $\{P_0, P_1\}$:* $$\mathcal{B} \;=\; \min\bigl\{ D \supseteq \{P_0, P_1\} \;\big|\; D \text{ è auto-comprensivo e soddisfa AS(B)} \bigr\}$$ dove il minimo è rispetto all'inclusione. --- ## 20.13 Teorema T3: Dimostrazione del POP **Teorema T3 (Principio di Parsimonia Ontologica).** *Esiste un unico dominio minimale auto-comprensivo che soddisfa AS(B) e contiene il qubit $\{P_0, P_1\}$. Tale dominio è $\mathcal{B} = \overline{\{P_0, P_1\}}_\triangleright$: la chiusura di aggregazione del qubit.* **Dimostrazione.** **Esistenza.** Costruiamo la catena di Kleene della chiusura di aggregazione partendo dal qubit: $$\mathcal{B}^{(0)} = \{P_0, P_1\}$$ $$\mathcal{B}^{(n+1)} = \mathcal{B}^{(n)} \;\cup\; \bigl\{ P \triangleright Q \;\big|\; P, Q \in \mathcal{B}^{(n)},\; P \sim Q \bigr\} \;\cup\; \bigl\{ \varepsilon_R \;\big|\; R \in \mathcal{B}^{(n)} \bigr\}$$ dove $\varepsilon_R = \varepsilon \triangleright R$ è la meta-proprietà "R esiste in $\mathcal{B}$". Il limite $\mathcal{B} = \bigcup_{n \geq 0} \mathcal{B}^{(n)}$ è la chiusura cercata. Per costruzione: 1. $\mathcal{B}$ è chiuso sotto $\triangleright$ (per definizione della catena). $\checkmark$ 2. $\mathcal{B}$ è auto-comprensivo: per ogni $R \in \mathcal{B}$, $R \in \mathcal{B}^{(n)}$ per qualche $n$, dunque $\varepsilon_R \in \mathcal{B}^{(n+1)} \subseteq \mathcal{B}$. Per (AD-$\varepsilon$), $v(\varepsilon \triangleright R) = \mathsf{V}$ per ogni $R$, indipendentemente da $v(R)$: dunque $v(\varepsilon_R) = \mathsf{V}$. $\checkmark$ *[Corretto: la vecchia giustificazione invocava (A7), che con la tabella di (L3) ora corretta darebbe l'esito opposto ($\mathsf{F}$) per $R$ con $v(R)\neq\mathsf{V}$. Risolto introducendo (AD-$\varepsilon$), §20.8, che esenta esplicitamente $\varepsilon\triangleright R$ dal vincolo di monotonia (A7): è una testimonianza, non un'aggregazione ordinaria.]* 3. $\mathcal{B}$ soddisfa AS(B): gli assiomi (A5) e (A6) sono soddisfatti nei livelli $\mathcal{B}^{(n)}$ per $n \geq 2$, dove compaiono elementi sufficienti per esibire coppie non-commutative e triple non-associative. $\checkmark$ **Minimalità.** Sia $D$ un dominio auto-comprensivo che soddisfa AS(B) e contiene $\{P_0, P_1\}$. Mostriamo che $\mathcal{B} \subseteq D$. Per induzione su $n$: - *Base:* $\mathcal{B}^{(0)} = \{P_0, P_1\} \subseteq D$ per ipotesi. - *Passo:* Supponiamo $\mathcal{B}^{(n)} \subseteq D$. Per (A2) (chiusura di $D$ sotto $\triangleright$): ogni $P \triangleright Q$ con $P, Q \in \mathcal{B}^{(n)} \subseteq D$ appartiene a $D$. Per auto-comprensione di $D$: ogni meta-proprietà $\varepsilon_R$ con $R \in \mathcal{B}^{(n)} \subseteq D$ appartiene a $D$ con $v_D(\varepsilon_R) = \mathsf{V}$. Dunque $\mathcal{B}^{(n+1)} \subseteq D$. Per induzione, $\mathcal{B} = \bigcup_n \mathcal{B}^{(n)} \subseteq D$. Poiché $D$ era un dominio auto-comprensivo arbitrario contenente il qubit, $\mathcal{B}$ è il minimo. **Unicità.** Sia $\mathcal{B}'$ un altro dominio minimale auto-comprensivo contenente $\{P_0, P_1\}$ e soddisfacente AS(B). Per minimalità di $\mathcal{B}$: $\mathcal{B} \subseteq \mathcal{B}'$. Per minimalità di $\mathcal{B}'$: $\mathcal{B}' \subseteq \mathcal{B}$. Dunque $\mathcal{B} = \mathcal{B}'$. A meno di isomorfismo: per T2, il qubit è unico. Poiché $\mathcal{B}$ è univocamente determinato dalla chiusura di aggregazione del qubit, e il qubit è unico a meno di isomorfismo, anche $\mathcal{B}$ è unico a meno di isomorfismo. $\square$ --- **Corollario (Risposta Formale a Leibniz).** Non esiste nessun dominio vuoto o privo di proprietà $\mathsf{V}$ che soddisfi AS(B) (T1). Il dominio minimale auto-consistente è il qubit (T2). Il dominio minimale auto-comprensivo è la chiusura del qubit (T3). Dunque la struttura $\mathcal{B}$ non è una delle infinite strutture possibili: è l'unica struttura minimale auto-consistente e auto-comprensiva. Non "qualcosa piuttosto che niente per fortuna": l'essere è necessario e la sua struttura è univocamente determinata. --- ## 20.14 Connessione con i Capitoli Precedenti Il sistema assiomatico AS(B) formalizza precisamente ciò che i capitoli precedenti descrivevano informalmente. La corrispondenza è la seguente: | Assioma | Corrispondenza nella teoria | |---|---| | (AD) | Cap. 1: le proprietà sono primitive; $\varepsilon$ = "essere una proprietà" | | (N) | Cap. 5: esiste contenuto implicito; senza (N) non c'è freccia del tempo | | (G1)–(G3) | Cap. 2: la genericità $\preceq$ è un ordine parziale | | (V2)–(V3) | Cap. 2: propagazione dei valori logici lungo $\preceq$ | | (A3) | Cap. 2: l'aggregato è più specifico dei fattori | | (A4) | Cap. 2: idempotenza dell'aggregazione | | (A5) | Cap. 2, Cap. 5: non-commutatività → distinzione passato/futuro | | (A6) | Cap. 2, Cap. 5: non-associatività → freccia del tempo | | (A7) | Cap. 5: il Teorema di Monotonia dell'Entropia Ontologica | | T3/POP | Cap. 18: il piano dell'essere ha struttura minima auto-comprensiva | In particolare, il **Teorema di Monotonia dell'Entropia** (Cap. 5, §5.4): $$H_\triangleright(P \triangleright Q) \;\leq\; H_\triangleright(P)$$ è una conseguenza di (A7): poiché $v(P \triangleright Q) \preceq_{\sigma_3} v(P)$, l'aggregazione riduce il numero di possibilità implicite, e dunque riduce l'entropia di Shannon della distribuzione di Born $\Pr_B$. L'**impossibilità dei viaggi nel tempo** (Cap. 5, §5.11) segue da (A6) e dalla definizione di freccia del tempo: la non-associatività impone un ordine irreversibile all'aggregazione, e nessuna sequenza di assiomi di AS(B) ammette un'operazione inversa all'aggregazione che riporti $\mathsf{V}$ a $\mathsf{I}$ *(qui I, non N: è un contesto fisico, la reversibilità di una proprietà misurata, non il dispositivo logico stretto; vedi §20.2)*. --- ## 20.15 Osservazioni sui Limiti Formali **Limite 1: Completezza.** AS(B) non è stato dimostrato essere completo nel senso di Gödel: potrebbero esistere proposizioni vere sul piano dell'essere che non sono dimostrabili in AS(B). Questo è atteso: per il Secondo Teorema di Incompletezza di Gödel, qualunque sistema sufficientemente espressivo non può dimostrare la propria coerenza. AS(B) non fa eccezione. **Limite 2: L'assioma (AD) e la fondazione.** (AD) afferma l'esistenza di $\varepsilon$ con $v(\varepsilon) = \mathsf{V}$. Questo è il punto in cui la struttura formale incorpora la sua propria auto-referenzialità. Non è un assioma "gratuito": è il minimo necessario per che il sistema sia auto-consistente. Tuttavia, la sua giustificazione rimane meta-teorica: non può essere derivato da assiomi più primitivi senza presupporre a loro volta qualche forma di struttura. **Limite 3: La costruzione al passo ω.** La dimostrazione di T3 usa una catena di Kleene di lunghezza $\omega$ (infinita numerabile). Se $\mathcal{B}$ è finito, la costruzione termina in numero finito di passi; se è infinito, il limite è preso nell'ordine dei cardinali. La struttura dettagliata di $\mathcal{B}$ (in particolare la sua cardinalità e la topologia che emerge dalla compatibilità) è l'oggetto del programma di ricerca (Cap. 19, Passi 2–4). **Limite 4: Unicità forte.** Il Teorema T3 dimostra unicità a meno di isomorfismo. Non esclude l'esistenza di domini auto-comprensivi non minimali con strutture aggiuntive. L'affermazione del POP (che $\mathcal{B}$ è *il* piano dell'essere fisico) richiede un argomento fisico supplementare: che qualunque struttura eccedente $\mathcal{B}$ sarebbe fisicamente inerte (non misurabile, non interferente). Questo è il contenuto della *selezione ontologica* discussa in §18.5. --- ## Riepilogo del Capitolo 20 - Il **sistema assiomatico AS(B)** formalizza $(\mathcal{B}, \preceq, \triangleright, \sigma_3)$ tramite 19 assiomi organizzati in 7 gruppi: logica trivalente (L), genericità (G), valutazione (V), compatibilità (C), aggregazione (A), auto-descrizione (AD, incluso AD-$\varepsilon$, aggiunto per rendere valida la dimostrazione di T3 con la Logica Ontologica corretta), non-trivialità potenziale (N). - La logica trivalente $\sigma_3 = \{\mathsf{V}, \mathsf{F}, \mathsf{N}\}$ è la **Logica Ontologica** (non la logica forte di Kleene K₃, da cui si distingue nelle tabelle di $\neg$, $\wedge$, $\vee$, vedi (L2)-(L4)): $\mathsf{V}$ è non-involutivo sotto doppia negazione ($\neg\neg\mathsf{V} = \mathsf{N} \neq \mathsf{V}$, mentre F e N sono punti fissi), il vero è raggiungibile solo per via assertiva/costruttiva e mai per negazione, e il principio di non-contraddizione vale per tutti e tre i valori. - **Teorema T1 (Impossibilità del Nulla):** nessun nulla assoluto (dominio con $\forall P: v(P) \neq \mathsf{V}$) è un modello di AS(B). *Dimostrazione:* contraddizione diretta tra la definizione del nulla e l'assioma (AD). - **Teorema T2 (Minimalità del Qubit):** il dominio minimale di AS$_\text{core}$(B) è il qubit $\{P_0, P_1\}$ con $v(P_0) = \mathsf{V}$, $v(P_1) = \mathsf{N}$, $P_0 \prec P_1$. Unico a meno di isomorfismo. - **Teorema T3 (POP):** l'unico dominio minimale auto-comprensivo che soddisfa AS(B) è la chiusura di aggregazione del qubit: $\mathcal{B} = \overline{\{P_0, P_1\}}_\triangleright$. *Dimostrazione:* costruzione della catena di Kleene + doppia inclusione per minimalità e unicità. - Il **Corollario** risponde a Leibniz in forma rigorosa: il nulla è formalmente impossibile (T1), la struttura minima è determinata (T2), la struttura completa è l'unica auto-comprensiva (T3).