# 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)

| ID | Claim | Tipo | Evidenza | Stato |
|---|---|---|---|---|
| C11.1 | Una tassonomia di controesempi è necessaria per revisione non arbitraria della teoria | metodologico | S1 | validated |
| C11.2 | La separazione L1-L4 migliora la diagnosi dei fallimenti | metodologico | S1 | validated |
| C11.3 | I criteri K1-K7 sono una base sufficiente per falsificabilità operativa tracciabile | epistemico-operativo | S2 | in_review |
| C11.4 | La matrice A-D riduce il rischio di revisioni ad hoc | epistemico | S1 | in_review |
| C11.5 | Non ogni fallimento locale implica rigetto globale della teoria | metateorico | S2 | in_proof |
| C11.6 | La pubblicazione dei fallimenti è parte costitutiva della qualità scientifica OCT | metodologico | S1 | validated |

---

## 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*.