Nei precedenti articoli abbiamo lasciato quattro punti aperti che non abbiamo ancora trattato. In questo articolo verranno affrontate una ad una, fino al punto in cui la filosofia cedrà il passo all'informatica affinché verrà realizzato il core di TheoryFlow.
0. Il fondamento topologico: B, τ, ▷
C'è un livello rimasto implicito sotto l'etichetta "aggregati mereologici" (che cosa si aggrega, secondo quali vincoli), e finché resta implicito sia il paradosso tropista sia il problema della semantica come scatola nera (punto 3) restano ancorati a un'intuizione senza struttura formale dietro.
B, il piano dei tipi, è l'insieme delle proprietà intese come tipi ontologici: l'essere stesso. Niente oggetti, niente individui, niente copie, solo unità strutturali primitive come "rosso", "massa", "carica", ciascuna elemento unico di un dominio pre-spaziale la cui identità è puramente strutturale, non estensionale né semantica. τ vive esclusivamente tra elementi di B: non tocca istanze, non opera nello spazio, stabilisce quali insiemi di proprietà possono coesistere senza contraddizione. È lo spazio delle possibilità di co-istanziazione, i gradi di libertà delle proprietà. E poi c'è ▷, il livello generativo, quello che prende sottoinsiemi compatibili secondo τ e produce aggregati, entità concrete emergenti. È solo qui che compare la molteplicità: un tipo di B può essere istanziato in molti aggregati distinti senza che il tipo si duplichi.
La molteplicità degli oggetti, quindi, non nasce da B né da τ: nasce dal processo di istanziazione tramite ▷, che realizza configurazioni diverse dello stesso insieme di tipi. Niente universali platonici separati, B è già il livello ontologico primario, non un regno a parte. Niente entanglement tra istanze tropiste, semplicemente perché non ci sono occorrenze da correlare prima che ▷ agisca.
Il paradosso tropista trova qui la sua chiusura. Il bianco del gessetto e il bianco del vaso (l'immagine tornava più volte nel testo originale, quasi un'ossessione) sono due aggregazioni distinte tramite ▷ dello stesso elemento di B, rese possibili dalla stessa posizione in τ. Nessuna duplicazione del tipo, nessuna relazione tra copie: istanziazione multipla di un'unica unità strutturale. E non è nemmeno questione di senso e riferimento, che presuppongono già individui spazializzati, un livello successivo a B. "Rosso" non è un intervallo di lunghezze d'onda né una classe per somma di occorrenze: quelle letture arrivano dopo ▷.
1. Fermare il regresso per stipulazione
Il testo ammette la circolarità, la scienza assegna nomi alla natura e poi verifica che i nomi corrispondano, senza dire dove la catena si ferma. Deve fermarsi da qualche parte: un regresso infinito non fonda niente, e il punto in cui si ferma, per definizione, non è giustificato dal resto del sistema.
Quel punto esiste già, semplicemente non era stato dichiarato: è il Livello 0, "l'essere è, il non-essere non può essere", insieme alla distinzione fra episteme certa (assiomatica, indimostrabile ma certa) e conoscenza scientifica (fallibile). L'episteme certa non deriva dagli strati successivi, pragmatismo, coerentismo, sintesi coerentista, li rende possibili. Con la sezione 0 questo Livello 0 smette di essere uno slogan e diventa il piano B con la sua τ: un dominio strutturato, non un principio dichiarato e basta, che non deriva la propria certezza da nulla perché a quel livello non c'è ancora nulla: non ci sono istanze, non c'è spazio, non c'è nemmeno la molteplicità che permetterebbe di parlare di "derivazione". La circolarità denunciata nel testo riguarda il rapporto tra scienza e linguaggio scientifico, non quello tra ontologia e tutto il resto.
Va detto con la parola giusta: è una stipulazione, non un teorema. Ogni sistema che voglia dire qualcosa deve fissare un punto scoperto (lo stesso motivo per cui nessun sistema formale sufficientemente potente dimostra la propria coerenza dall'interno). Resta aperta però una domanda diversa, e più scomoda: la stipulazione scelta è la più economica possibile, o nasconde altre premesse più deboli sotto forma di assunzioni implicite? Non ha risposta strutturale. Va verificata teoria per teoria.
2. Coerenza come test, non come motore
Qui l'oscillazione era vera, non solo apparente. Nasceva dal confondere ordo essendi e ordo cognoscendi, cosa rende vera una teoria, contro come sospettiamo che lo sia. Sul primo il testo aveva già preso posizione: la verità produce coerenza, non il contrario, una teoria è coerente perché è vera. Sul secondo, però, la coerenza resta l'unico strumento maneggevole che abbiamo, dato che all'ordo essendi non abbiamo accesso diretto.
Verità implica coerenza, ma coerenza non implica verità. Un'unica direzione. La contrapposizione logica resta però pienamente operativa: se una teoria è incoerente, è falsa, senza eccezioni: test di eliminazione, non di conferma. Bob lo scopre sulla propria pelle nel racconto: il collega che "dimostra" con eleganza matematica l'assenza dell'inquinante rispetta ogni condizione di coerenza interna e resta comunque falso.
Da qui lo schema pragmatismo → coerentismo → sintesi coerentista va riletto come catena di filtri, non come catena causale: ogni livello elimina candidati falsi, nessuno genera la verità del successivo. La "sintesi coerentista tra mondi plausibili" restringe lo spazio dei falsi. Punto. Non produce verità aggregando plausibilità, e il testo aveva ragione a restare vago su come lo farebbe, perché non lo fa.
3. La semantica smette di essere una scatola nera
Due proposizioni fatte di proprietà diverse, "sono a casa", "sono al lavoro", possono essere equivalenti sotto esclusione mereologica, ma la logica proposizionale del primo ordine non se ne accorge: lavora su atomi già dati, non sulla loro scomposizione interna.
Con B e τ già definiti, il grafo di proprietà che l'impianto di TheoryFlow suggeriva naturalmente smette di essere una metafora. I nodi sono elementi di B, gli archi sono istanze di τ, e la proposizione, "sono a casa", non è il grafo ma un'istanza di quel grafo prodotta da ▷. "Casa mia" e "lavoro" non sono due etichette da collassare a mano in un nodo comune "luogo": sono due aggregazioni distinte dello stesso elemento compatibile di B, proprio come il bianco del gessetto e quello del vaso. Il confronto tra proposizioni diventa allora un problema di identità strutturale, non di somiglianza tra parole; a livello B/τ l'identità è puramente strutturale, quindi verificabile senza scomodare l'intuizione linguistica. In pratica: matching di sottografi, dove due proposizioni sono equivalenti sotto esclusione se, dopo aver collassato i nodi sinonimici, i grafi risultano isomorfi.
Resta un punto scoperto, ed è proprio quel collasso: decidere che "contemporaneamente" e "nello stesso momento" contano come la stessa proprietà. Non sparisce, ma si restringe: un'unica operazione, contro un'ontologia di sinonimie versionata, motivata da etimologia e dibattito filosofico anziché lasciata al giudizio del momento. L'utente finale di TheoryFlow non tocca la logica; al massimo propone una modifica a quell'ontologia, che resta un artefatto tracciabile.
4. Integrità, autenticità, e il costo di mentire
Qui l'addendum coglieva il punto più serio. La blockchain garantisce che nessuno alteri il dato dopo la registrazione, ma non che il dato fosse vero al momento della registrazione; nessun registro distribuito può risolverlo, per costruzione: garbage in, garbage out.
La Physical History Signature, sviluppata in parallelo a tutto questo, non offre una garanzia. Offre una funzione di costo. L'idea è che le tracce osservabili di un sistema fisico penalizzano le storie generative alternative, comprese le simulazioni, in modo misurabile: teorema di Landauer, divergenza di Kullback-Leibler tra distribuzioni di tracce, complessità fisica operativa. Il risultato centrale, la separazione causale asintotica, mostra che questa penalizzazione cresce senza limite al crescere della complessità osservata, un termine proporzionale a n·D_KL, dove n sono le tracce indipendenti raccolte.
La firma quantistica dell'esperimento, che il testo originale scartava perché "simulabile", non andava buttata via: andava riformulata. Non come prova binaria, autentico o falso, ma come costo termodinamico crescente della falsificazione. Simulare un singolo dato può costare poco. Simulare in modo coerente un numero crescente di tracce fisiche indipendenti diventa, secondo PHS, asintoticamente costoso in entropia prodotta e informazione da falsificare: resta vero che nessuna quantità finita di tracce rende la falsificazione logicamente impossibile, solo sempre più cara. È la differenza tra un atto di fede indistinguibile dal dogma e una scienza che sa dire quanto costerebbe mentire, e a chi.
La TheoryChain ad alto livello ed il protocollo PHS non si sovrappongono: una copre l'integrità della registrazione, l'altra la metrica di costo per l'autenticità. Nessuna delle due chiude il regresso scettico, il passato resta, in linea di principio, inverificabile con certezza assoluta. Quello che cambia è la domanda: da "è vero o simulato?", senza risposta, a "quanto sarebbe costato, in bit e in joule, simulare questo?", che di rado si riesce davvero a calcolare, ma è già qualcosa. Resta da capire cosa succede quando n è piccolo, quando la traccia disponibile è una sola misura isolata, un campione come il 47/B di Bob prima ancora che arrivi la seconda taratura di Davide.