Anti-Exceptionalism About Logic and the Regress Problem

Le regole del gioco: perché la logica potrebbe essere intrappolata in un loop

Immaginate di voler costruire il libro delle regole definitivo per un gioco. Volete che le regole siano perfette, eque e indiscutibili. Nel mondo della scienza, di solito scopriamo le migliori regole osservando il gioco che viene praticato, testando diversi libri delle regole e vedendo quale di essi spiega meglio l'azione. È così che scegliamo tra le teorie nella fisica o nella biologia. Ma esiste un angolo speciale della scienza chiamato logica. Per molto tempo, la gente ha pensato che la logica fosse diversa da tutto il resto. Credevano che la logica fosse il "arbitro" che non commette mai errori, l'insieme di regole che esisteva prima ancora che il gioco iniziasse, e l'unico modo per dimostrare che qualsiasi altra regola fosse corretta.

Tuttavia, un gruppo di pensatori ha iniziato a dire: "Aspettate un momento". Sostengono che la logica sia proprio come ogni altra scienza. Chiamano questa visione Anti-Eccezionalismo. La loro idea è che le regole logiche non siano perfette o immutabili; sono solo teorie che usiamo per dare un senso al ragionamento, e dovremmo scegliere la migliore usando gli stessi strumenti che usiamo per tutto il resto: osservare l'evidenza, mantenere le cose semplici e vedere cosa funziona meglio. Questo si chiama Abduzione (o "inferenza alla migliore spiegazione"). È come essere un detective: guardi gli indizi e indovini quale storia li incastra tutti insieme.

Ma ecco il problema: per decidere quale teoria logica sia la migliore storia da detective, devi usare la logica stessa per controllare gli indizi. Se due detective (due diverse teorie logiche) dissentono su una regola fondamentale, come fai a decidere chi ha ragione senza assumere già che uno dei due abbia ragione? Questo articolo esplora se questa idea "Anti-Eccezionalista" possa effettivamente risolvere il problema della scelta tra diverse logiche, o se rimanga bloccata in un loop in cui serve una regola per scegliere la regola, e un'altra regola per scegliere quella regola, all'infinito.

---

Il dilemma del detective: quando le regole si combattono tra loro

Questo articolo, scritto da Yi Ding, affronta un problema complicato che affligge la visione "Anti-Eccezionalista" della logica. L'autore sostiene che, sebbene l'idea di trattare la logica come una scienza normale sia attraente, essa si scontra con un muro enorme quando due teorie logiche dissentono fondamentalmente. L'articolo suggerisce che il metodo usato per scegliere tra queste teorie — il "lavoro da detective" dell'abduzione — rimanga bloccato in un loop infinito, proprio come un famoso enigma filosofico chiamato "Il Problema del Criterio".

L'impostazione: la logica come scienza
L'articolo inizia spiegando la visione Anti-Eccezionalista. Immaginate che la logica non sia un insieme sacro e immutabile di leggi scritte nelle stelle. Invece, immaginate che sia una cassetta degli attrezzi. Abbiamo diversi strumenti (diverse teorie logiche) come la Logica Classica (quella standard) e la Logica Intuizionista (una più rigorosa che non accetta certi scorciatoie). Gli Anti-Eccezionalisti dicono che dovremmo scegliere lo strumento migliore basandoci su Criteri Abduttivi:

1. Semplicità: Quale strumento è più facile da usare?
2. Forza: Quale strumento spiega più cose?
3. Adeguatezza: Quale strumento si adatta ai dati (come il modo in cui le persone ragionano realmente o come funziona la matematica)?

L'obiettivo è essere neutrali, come un giudice che non sceglie una parte finché non ha ascoltato le prove.

La trappola: gli indizi influenzati dalla teoria
L'articolo sostiene che questo "giudice neutrale" non esista affatto. Ecco perché: l' "evidenza" che usi per giudicare gli strumenti è essa stessa plasmata dallo strumento che stai impugnando.

Immaginate un Logico Classico e un Logico Intuizionista che discutono.

• Il Logico Classico dice: "Il mio strumento è più semplice perché ha meno regole".
• L'Intuizionista dice: "No, il mio strumento è più semplice perché non assume l'esistenza di cose che non possiamo provare".

Chi ha ragione? L'articolo dice che dipende da ciò che si valorizza. Ma ecco il punto cruciale: ciò che conta come "semplice" o "forte" dipende dalla logica in cui credi già. Il Logico Classico vede la rinuncia dell'Intuizionista a una certa regola come una debolezza; l'Intuizionista la vede come una forza. Gli "indizi" (i dati) sono "carichi di teoria" (theory-laden), ovvero sono colorati dalla teoria stessa. Non puoi usare gli indizi per scegliere la teoria perché gli indizi sono stati già scelti dalla teoria.

Il loop infinito: il problema della Meta-Logica
Questo porta alla principale scoperta dell'articolo: un Problema di Regresso.
Per decidere tra la Logica A e la Logica B, hai bisogno di una "Meta-Logica" (una logica di livello superiore) per valutare gli argomenti.

• Se usi la Logica A come tua Meta-Logica, stai semplicemente assumendo che la Logica A sia giusta per dimostrare che la Logica A è giusta. Questo è un ragionamento circolare.
• Se usi la Logica B, stai assumendo la direzione opposta.
• Quindi, hai bisogno di una Logica C per scegliere tra A e B. Ma poi, come scegli la Logica C? Hai bisogno di una Logica D. E poi di una Logica E.

L'articolo mostra che questo processo continua all'infinito. Sei bloccato in un loop in cui serve una regola per scegliere la regola, e un'altra regola per scegliere quella regola, senza un punto di partenza.

Perché le solite soluzioni non funzionano
L'autore testa quattro modi con cui solitamente si cerca di sfuggire a questo loop e mostra perché falliscono per la logica:

1. Partire da fatti specifici (Particolarismo): In altri campi, potresti dire: "So di avere due mani, quindi costruiamo una regola partendo da lì". Ma nella logica, i "fatti" (come "questo argomento è valido") sono esattamente ciò su cui i due schieramenti dissentono. Non puoi partire da un fatto se i due logici non concordano nemmeno su cosa sia un fatto.
2. Partire da un metodo (Metodismo): Potresti dire: "Usiamo semplicemente il metodo dell'Abduzione". Ma l'articolo sostiene che usare il metodo dell'Abduzione richiede la logica. Se non hai una logica per far funzionare il metodo, il metodo non può nemmeno iniziare.
3. Arrendersi (Scetticismo): Potresti dire: "Ok, non possiamo sapere quale logica sia giusta". Ma se non possiamo saperlo, allora anche il consiglio degli Anti-Eccezionalisti ("usa l'abduzione per scegliere") è esso stesso non provato.
4. La via del "Terreno Comune": Forse entrambi i lati concordano su alcune regole di base (come "se A e B, allora A") e possono usarle come punto di partenza neutrale? L'articolo dice di no. Anche quelle regole di base sono contestate da altri tipi di logici (come i Logici Rilevanti), e il "terreno comune" non è abbastanza forte da sostenere il peso di dimostrare teorie complesse.

La conclusione: un limite modesto
L'articolo non dice che l'Anti-Eccezionalismo sia falso. Non dice che la logica non sia rivedibile. Suggerisce invece che la visione Anti-Eccezionalista abbia un punto cieco strutturale specifico.

L'autore conclude che, sebbene possiamo trattare la logica come una scienza in molti modi, non possiamo usare un metodo abduttivo "neutrale" per risolvere i disaccordi fondamentali tra le logiche. Il metodo dell' "inferenza alla migliore spiegazione" non può uscire dall' scatola per scegliere la scatola. L'articolo suggerisce che, se vogliamo scegliere tra queste profonde differenze logiche, potremmo dover fare affidamento su obiettivi o valori filosofici più ampi, piuttosto che su una puramente neutra lista di controllo scientifica.

In breve, l'articolo trova che il sogno degli Anti-Eccezionalisti di un modo perfettamente neutrale e scientifico per scegliere tra tutte le logiche si scontra con un muro. Il "detective" ha bisogno di una lente d'ingrandimento per trovare gli indizi, ma la lente d'ingrandimento stessa è una delle cose che viene investigata. Il loop è reale, e l'articolo sostiene che i modi standard per uscirne non funzionano per la logica.