Capitolo 11 - Controesempi, limiti del modello, criteri di falsificabilità

Metadati:

• Versione: v1.0
• Data: 2026-04-21
• Stato: draft completo
• Autore: Fabio Ghioni
• Allineato a: TE_CORE v5.1 / OST v2.1 / OCT baseline v1.0 candidate
• Target parole capitolo: 2.100

1. Problema

I Capitoli 8-10 hanno fornito metrica, teoremi fondativi e differenziali, più una prima architettura applicativa. A questo punto il rischio più serio non è l’assenza di materiale teorico, ma l’illusione di completezza: una teoria può sembrare robusta finché viene testata solo su casi favorevoli.

Per questo il Capitolo 11 introduce il passaggio critico:

1. costruire controesempi sistematici;
2. distinguere limiti intrinseci da limiti contingenti;
3. definire criteri espliciti di falsificabilità.

Senza questo passaggio, OCT resterebbe una teoria “forte per conferma” ma debole per confutazione. Con questo passaggio, OCT entra nella dinamica scientifica piena: può essere corretta, raffinata o respinta in modo tracciabile.

Il problema del capitolo è quindi:

come progettare una grammatica della confutazione che sia coerente con O1-O7, con lo spazio S_Omega e con il programma teorematico F/D/A senza ridurre la teoria a un insieme arbitrario di eccezioni?

La difficoltà è duplice:

1. troppi controesempi non tipizzati generano rumore e paralisi metodologica;
2. criteri di falsificazione troppo deboli trasformano ogni anomalia in “caso speciale”.

Questo capitolo risolve la tensione con una struttura a tre livelli:

1. tassonomia dei controesempi;
2. mappa dei limiti del modello;
3. regole decisionali di falsificazione/revisione.

2. Tesi del capitolo

La tesi è articolata in sette enunciati.

1. Una teoria ordinativa è scientificamente valida solo se include controesempi tipizzati e criteri di fallimento espliciti.
2. I controesempi utili non negano la teoria in blocco: localizzano assiomi, soglie o mapping contestuali che richiedono revisione.
3. I limiti del modello devono essere separati in limiti strutturali, limiti metrici e limiti di osservazione.
4. La falsificabilità in OCT non coincide con il solo errore numerico; riguarda anche perdita di coerenza epistemica e invalidità del trasporto contestuale.
5. La distinzione reject vs revise è decisiva: non ogni fallimento locale implica rigetto globale.
6. Una matrice decisionale unica riduce arbitrarietà nelle revisioni successive.
7. Il capitolo fornisce la base metodologica per i Capitoli 12-14 (protocollo, benchmark, governance).

3. Definizioni canoniche

Definizione 11.1 (Controesempio ordinativo)

Un controesempio ordinativo è un caso X in cui:

1. le ipotesi di un enunciato OCT sono soddisfatte;
2. la tesi dichiarata non si verifica;
3. il fallimento è riproducibile sotto protocollo dichiarato.

Definizione 11.2 (Controesempio strutturale)

Controesempio che colpisce la forma logica dell’enunciato o la dipendenza da assiomi O1-O7.

Definizione 11.3 (Controesempio contestuale)

Controesempio in cui il risultato cambia per variazione di Omega non coperta da regole di trasporto esplicite.

Definizione 11.4 (Controesempio metrico)

Controesempio dovuto a instabilità o ambiguità nelle metriche Coh, Phi, Delta, non risolvibile da semplice rumore statistico.

Definizione 11.5 (Limite strutturale del modello)

Vincolo non eliminabile senza modificare assiomi o architettura teorica di base.

Definizione 11.6 (Limite operativo)

Vincolo pratico dovuto a protocollo, dati, strumenti o granularità osservativa, in principio migliorabile senza rifondazione assiomatica.

Definizione 11.7 (Falsificazione forte)

Si ha falsificazione forte quando un controesempio riproducibile invalida un enunciato nel suo dominio dichiarato e non è riassorbibile tramite riformulazione conservativa.

Definizione 11.8 (Revisione conservativa)

Aggiornamento di soglie, condizioni o dominio di applicazione che preserva il nucleo teorico senza contraddizioni interne.

4. Sviluppo formale

4.1 Tassonomia minima dei controesempi (CEx1-CEx6)

Proponiamo sei classi operative.

1. CEx1 - Classically-valid / OCT-invalid
   Casi che confermano la selettività ordinativa (utile per F02/F08).

2. CEx2 - Isomorfismo sterile
   Casi isomorfi classici con divergenza su funzione singolare (utile per F01/F07).

3. CEx3 - Composizione fragile
   Casi in cui morfismi locali validi producono composta degenerativa (stress su F03).

4. CEx4 - Universalità vuota
   Limiti/colimiti classici senza emergenza ordinativa (stress su F05/F06).

5. CEx5 - Trasporto contestuale fallito
   Risultati non stabili sotto mapping Omega_1 -> Omega_2 (stress su F09, D/A).

6. CEx6 - Dualità/simmetria non conservativa
   Dualizzazioni o simmetrizzazioni formalmente lecite ma ordinativamente degradanti (stress su D04/D05).

Questa tassonomia consente di mappare ogni fallimento a una zona specifica della teoria, evitando critiche indistinte.

4.2 Mappa dei limiti del modello

Distinguamo quattro famiglie di limiti.

1. L1 - Limiti assiomatici
   Dipendono da O1-O7 (es. robustezza non completamente caratterizzata).

2. L2 - Limiti metrici
   Dipendono da normalizzazione Phi, scelta soglie tau, sensibilità a perturbazioni.

3. L3 - Limiti di osservazione
   Dipendono da definizione di Omega, granularità temporale e qualità dei dati.

4. L4 - Limiti di trasferibilità
   Dipendono da mapping contestuali non equivalenti o incompleti.

La distinzione è essenziale perché ogni famiglia richiede interventi diversi:

1. revisione teorica (L1);
2. calibrazione metodologica (L2);
3. miglioramento protocollo/dataset (L3);
4. formalizzazione del trasporto (L4).

4.3 Criteri di falsificabilità (K1-K7)

Proponiamo sette criteri minimi.

1. K1 - Riproducibilità: il fallimento deve essere replicabile da team indipendente.
2. K2 - Localizzazione: deve essere identificato il punto teorico colpito (assioma, teorema, soglia, mapping).
3. K3 - Persistenza: il fallimento non deve sparire con micro-variazioni irrilevanti.
4. K4 - Tracciabilità: log, metadati e configurazione devono essere completi.
5. K5 - Controfattualità: deve esistere confronto con baseline o variante di controllo.
6. K6 - Non-ambiguità: il caso non deve dipendere da definizioni circolari.
7. K7 - Decisione: il fallimento deve portare a esito formale (validated/revise/reject).

Senza K7 la falsificazione resta narrativa; con K7 entra nella governance scientifica.

4.4 Matrice decisionale post-fallimento

Quando un controesempio è confermato, proponiamo la seguente decisione:

1. Esito A - Conferma della teoria
   Il caso era fuori dominio dichiarato o mal specificato.

2. Esito B - Revisione locale (revise)
   Servono aggiustamenti conservativi (soglie, ipotesi, restrizioni esplicite).

3. Esito C - Revisione strutturale
   Serve modificare definizioni o dipendenze assiomatiche.

4. Esito D - Rigetto (reject)
   L’enunciato non è recuperabile nel dominio dichiarato.

La matrice impedisce due errori frequenti:

1. negare fallimenti reali trattandoli come rumore;
2. rigettare l’intero impianto per fallimenti locali.

4.5 Esempio sintetico di applicazione della matrice

Caso ipotetico: un benchmark mostra D commutativo con Phi=0 in condizioni replicate.

1. se il protocollo è incompleto -> non si decide (manca K4);
2. se il protocollo è completo ma il caso è fuori dominio -> Esito A;
3. se il caso è nel dominio e riproducibile -> Esito B o D a seconda della recuperabilità.

In questo modo la teoria resta criticabile ma non arbitraria.

4.6 Falsificabilità dei blocchi F/D/A

Per coerenza generale:

1. i teoremi F richiedono confutazione primariamente strutturale;
2. i teoremi D richiedono confutazione strutturale + metrica;
3. i teoremi A richiedono confutazione strutturale + metrica + protocollo empirico.

Questo schema evita la falsa equivalenza tra:

1. dimostrazione formale incompleta;
2. benchmark empirico negativo;
3. errore di implementazione.

4.7 Condizione di maturità critica

Una teoria raggiunge maturità critica quando:

1. i controesempi sono attivamente cercati, non evitati;
2. i limiti sono pubblicati con la stessa visibilità dei risultati positivi;
3. le decisioni di revisione sono versionate e motivate.

Questa condizione è parte del contenuto scientifico, non solo della forma editoriale.

5. Proposizioni e teoremi locali

Proposizione 11.1 (Necessità dei controesempi tipizzati)

Enunciato: Senza una tassonomia di controesempi, il ciclo di revisione OCT non è decidibile in modo non arbitrario.

Intuizione: Le anomalie non tipizzate producono discussioni non confrontabili e impediscono decisioni stabili.

Stato: validated.

Proposizione 11.2 (Separazione tra limite strutturale e limite operativo)

Enunciato: La mancata separazione L1-L4 porta sistematicamente a errori di diagnosi teorica.

Intuizione: Problemi di protocollo possono essere scambiati per errori assiomatici, e viceversa.

Stato: validated.

Teorema 11.3 (Sufficienza decisionale K1-K7)

Ipotesi:

1. un controesempio soddisfa K1-K6;
2. esiste matrice decisionale A-D con criteri pubblici.

Tesi: È possibile assegnare in modo tracciabile un esito teorico non arbitrario (validated/revise/reject).

Proof sketch:

1. K1-K6 garantiscono qualità minima dell’evidenza;
2. la matrice A-D forza una decisione esplicita;
3. la tracciabilità consente audit indipendente dell’esito.

Conseguenze: fornisce il meccanismo operativo di falsificabilità del programma OCT.

Stato: in_proof.

Teorema 11.4 (Non-collasso del giudizio globale)

Ipotesi:

1. esiste almeno un controesempio forte su un enunciato locale;
2. il resto del blocco teorico non dipende logicamente da quel punto in modo totale.

Tesi: Un fallimento locale non implica automaticamente rigetto globale della teoria.

Proof sketch:

1. la dipendenza tra enunciati è parziale e tracciata;
2. la matrice A-D consente revisione locale o strutturale;
3. il rigetto globale è riservato a fallimenti non recuperabili del nucleo.

Conseguenze: preserva rigore critico evitando sia dogmatismo sia nichilismo teorico.

Stato: in_proof.

6. Implicazioni operative

6.1 Per il protocollo scientifico (Capitolo 12)

Il Capitolo 12 dovrà incorporare K1-K7 come checklist obbligatoria prima di accettare risultati come evidenza forte.

6.2 Per benchmark e disegno sperimentale (Capitolo 13)

I benchmark dovranno essere progettati anche per generare controesempi, non solo per massimizzare performance.

6.3 Per governance epistemica (Capitolo 14)

Ogni cambio di stato teorema dovrà riportare:

1. tipo di controesempio;
2. famiglia di limite coinvolta;
3. decisione A-D e motivazione.

6.4 Per pubblicazione e replica

È raccomandato pubblicare in parallelo:

1. risultati positivi;
2. fallimenti significativi;
3. revisioni di ipotesi.

Questa pratica aumenta affidabilità e credibilità del framework.

6.5 Per roadmap editoriale

Con il presente capitolo si chiude la milestone v1.2 su basi critiche, non solo costruttive. Questo migliora la qualità del passaggio successivo (Capitoli 4-7), perché l’espansione del corpus classico avverrà con un filtro di falsificabilità già definito.

7. Limiti e non-claim

Limiti espliciti:

1. il capitolo definisce la grammatica della confutazione, ma non esaurisce tutti i controesempi possibili;
2. K1-K7 sono criteri minimi: domini specifici possono richiedere vincoli aggiuntivi;
3. la matrice A-D richiede disciplina editoriale costante per restare efficace.

Failure mode riconosciuti:

1. classificare come “fuori dominio” casi che in realtà confutano il modello;
2. introdurre revisioni ad hoc non tracciate;
3. usare criteri di prova diversi per risultati positivi e negativi;
4. non pubblicare i fallimenti più informativi.

Box C - Non-claim

Questo capitolo non implica:

1. che OCT sia già pienamente falsificata o pienamente confermata;
2. che ogni controesempio conduca necessariamente a rigetto;
3. che la governance metodologica sostituisca la necessità di nuova matematica dove richiesta.

8. Claim Ledger (S0-S3)

9. Bridge al Capitolo 12

Con questo capitolo si completa la fase metateorica 8-11:

1. Capitolo 8: spazio di validità e invarianti;
2. Capitolo 9: teoremi fondativi;
3. Capitolo 10: teoremi differenziali e applicativi;
4. Capitolo 11: controesempi, limiti e falsificabilità.

Il Capitolo 12 tradurrà questa base in protocollo scientifico operativo: metrica, osservazione, decisione. In altre parole, passeremo dalla teoria criticamente stabilizzata alla procedura standardizzata di valutazione.

Riferimenti

Riferimenti di framework interno:

1. Ghioni, F. (2026). TE_CORE_v5.1.md.
2. Ghioni, F. (2026). TE_OST_v2.1.md.
3. OCT_THEOREM_PROGRAM_v0_1.md.
4. OCT_FOUNDATIONAL_BOOK_CHAPTER_08_v1_0.md.
5. OCT_FOUNDATIONAL_BOOK_CHAPTER_09_v1_0.md.
6. OCT_FOUNDATIONAL_BOOK_CHAPTER_10_v1_0.md.

Riferimenti primari:

1. Popper, K. (1959). The Logic of Scientific Discovery.
2. Lakatos, I. (1978). The Methodology of Scientific Research Programmes.
3. Mac Lane, S. (1998). Categories for the Working Mathematician.