Carnap on Quantum Mechanics

Questo articolo esamina la prospettiva filosofica di Rudolf Carnap sulla meccanica quantistica del suo tempo e ipotizza come le sue idee potrebbero applicarsi agli sviluppi recenti nei fondamenti del campo.

L'essenziale

Immaginate Rudolf Carnap come un architetto molto severo e meticoloso, che crede che non si possa discutere adeguatamente del progetto di un edificio (la sua filosofia) finché i progetti non sono stati tracciati perfettamente in un linguaggio formale e matematico.

Questo articolo, scritto da Sebastian Horvat e Iulian D. Toader, esplora come questo architetto abbia visto la Meccanica Quantistica (MQ) — la fisica del molto piccolo — nel suo libro del 1966, Fondamenti filosofici della fisica.

Ecco la storia della visione di Carnap, scomposta in concetti e analogie semplici:

1. Il problema dei "Progetti"

La regola principale di Carnap era: Non discutere della filosofia di una teoria finché la teoria non è stata completamente scritta come un sistema formale e logico.

Pensate alla Meccanica Quantistica negli anni '50 e '60 come a una casa ancora in costruzione. I muri erano su e l'elettricità funzionava, ma i progetti erano disordinati. Alcune parti erano scritte in "linguaggio naturale" (come l'inglese), che è vago, piuttosto che in "linguaggio formale" (come la logica matematica pura), che è preciso.

Carnap riteneva che, poiché i "progetti" della Meccanica Quantistica non erano ancora finiti, i filosofi stavano facendo le cose in fretta. Stavano cercando di dibattere questioni profonde sulla natura della realtà, della logica e del linguaggio basandosi su una teoria che non era ancora completamente formalizzata. Credeva che, finché la comunità scientifica non avesse completato la "ricostruzione razionale" (il progetto formale perfetto), non potessimo chiederci in sicurezza: "Cosa significa davvero questa teoria?".

2. Cosa Carnap ha compreso (Il terreno solido)

Anche se pensava che i progetti fossero incompleti, Carnap conosceva molto bene le basi della casa. L'articolo chiarisce che non era confuso riguardo alla Meccanica Quantistica; voleva solo essere prudente.

Basandosi su ciò che sapeva, offrì alcune risposte chiare:

• Il mondo è statistico: Sosteneva che la casualità nella Meccanica Quantistica non fosse dovuta alla nostra ignoranza o alla nostra scarsa abilità nel misurare le cose (come una foto sfocata). Era perché l'universo stesso è costruito in quel modo. È come lanciare un dado: l'esito è casuale non perché il dado sia rotto, ma perché è così che funzionano i dadi.
• Spazio e tempo potrebbero essere "pixelati": Speculò che l'universo potesse essere composto da piccoli pezzi discreti (come i pixel su uno schermo) piuttosto che da un flusso continuo e liscio.
• Il libero arbitrio è al sicuro: Rifiutò l'idea che la casualità quantistica salvasse il "libero arbitrio". Sosteneva che, se le nostre decisioni fossero solo salti quantici casuali, non sarebbero affatto "scelte"; sarebbero solo incidenti. Casualità $\neq$ Libertà.
• Nessuna definizione semplice: Non si possono definire concetti quantistici complessi (come lo "spin") usando parole semplici e quotidiane. Serve un intero nuovo sistema formale per spiegarli.

3. Cosa Carnap si è rifiutato di fare (La trappola logica)

Questa è la parte più famosa della sua posizione. Alcuni fisici e filosofi guardarono la Meccanica Quantistica e dissero: "Le regole della logica che usiamo nella vita quotidiana (come 'A e B') non funzionano qui. Dobbiamo inventare una nuova logica".

Carnap disse: "Nessun modo".

Usò una grande analogia (parafrasata da un incontro del 1962): Se le regole di un gioco sembrano strane, non cambiate le regole del gioco; cambiate i pezzi o la scacchiera.

• La visione: Credeva che dovessimo cambiare i nostri concetti fisici (i "pezzi") per adattarli alla nostra logica esistente e solida, piuttosto che cambiare la logica stessa per adattarla alla fisica.
• La ragione: Riteneva che, poiché i "progetti" della fisica non erano finiti, non potevamo essere sicuri se la stranezza fosse nella fisica o solo nella nostra comprensione incompleta. Voleva vedere l'intero sistema della fisica (inclusa la gravità) formalizzato prima di considerare la riscrittura delle regole della logica.

4. Il dibattito sul "Realismo" (Cosa c'è "davvero" là fuori?)

Oggi, gli scienziati discutono su ciò che la Meccanica Quantistica dice sulla realtà: Ci sono molti mondi? Ci sono particelle nascoste?

• La posizione di Carnap: Probabilmente definirebbe questi argomenti "privi di significato". Nella sua visione, chiedersi cosa c'è "davvero" là fuori al di fuori di un quadro linguistico specifico è una domanda trabocchetto.
• L'analogia: Immaginate due persone che discutono se una mappa di una città sia "reale". Uno dice che la mappa è solo linee; l'altro dice che la mappa è la città. Carnap direbbe: "Smettetela di discutere della città 'reale'. Concordiamo semplicemente su quale mappa sia utile per guidare". Giudicherebbe le diverse teorie in base a quale sia più semplice e funzioni meglio, non su quale descriva la "vera" realtà invisibile.

5. Cosa penserebbe Carnap oggi?

L'articolo conclude chiedendosi: Se Carnap fosse vivo oggi, cambierebbe idea?

• La cattiva notizia: Non abbiamo ancora un "progetto" perfetto e unificato che combini la Meccanica Quantistica con la gravità (la teoria di Einstein). La casa è ancora in costruzione. Quindi, Carnap probabilmente rifiuterebbe ancora di dire che la Meccanica Quantistica ci costringe a cambiare le regole della logica.
• La buona notizia: Ci sono nuovi tentativi di costruire la teoria dal basso verso l'alto utilizzando la teoria dell'informazione (pensando all'universo come a un sistema che elabora dati). Sebbene questi non siano ancora i progetti formali perfetti che Carnap voleva, sono passi nella direzione giusta. Potrebbe essere interessato a questi nuovi approcci come un modo per finalmente "ricostruire la teoria" con concetti più chiari.

Riepilogo

Carnap era un architetto prudente. Sapeva che la Meccanica Quantistica era rivoluzionaria, ma insisteva sul fatto che non dovremmo cercare di riscrivere le leggi della logica o dibattere sulla natura ultima della realtà finché la teoria non fosse stata scritta in un linguaggio matematico formale perfetto. Credeva che, finché i "progetti" non fossero stati completati, dovessimo concentrarci nel rendere la teoria utile e semplice, piuttosto che perderci in argomenti metafisici su ciò che è "reale".

Sommario tecnico

Sintesi Tecnica: Carnap sulla Meccanica Quantistica

Problema
Il saggio affronta la tensione apparente tra la rigorosa metodologia filosofica di Rudolf Carnap e il suo trattamento della meccanica quantistica (MQ) nell'opera del 1966, Philosophical Foundations of Physics. Critici ed editori recenti (Lutz e Tuboly, 2021) hanno suggerito che le riflessioni di Carnap sulla MQ fossero obsolete, notando il suo affidamento al formalismo del 1932 di von Neumann mentre ignorava approcci successivi più rigorosi come quello di Mackey (1963) o teoremi fondazionali come quelli di Gleason (1957) e Bell (1964). Il problema centrale è chiarire la posizione effettiva di Carnap sulla MQ, distinguendo tra la sua solida comprensione dei suoi principi di base e il suo specifico rifiuto metodologico di affrontare certe questioni filosofiche (riguardanti linguaggio e logica) finché la teoria non fosse stata presentata come un sistema assiomatico completamente formalizzato. Gli autori investigano inoltre quali implicazioni avrebbe il quadro di Carnap per i dibattiti contemporanei sulle interpretazioni della MQ, sul realismo e sulla semantica della teoria quantistica.

Metodologia
Gli autori impiegano un'analisi storica e concettuale del testo del 1966 di Carnap, incrociata con le sue opere precedenti sulla sintassi logica, la ricostruzione razionale e la semantica (ad es. The Logical Syntax of Language, 1937; Introduction to Semantics, 1943). La metodologia comprende:

1. Ricostruzione Testuale: Analisi degli argomenti specifici di Carnap nell'ultimo capitolo del suo libro del 1966 ("Indeterminism in Quantum Physics") riguardanti il Principio di Indeterminazione, le funzioni d'onda e l'equazione di Schrödinger.
2. Contestualizzazione Metafilosofica: Collocare l'esitazione di Carnap a rivedere la logica basandosi sulla fisica all'interno del suo più ampio impegno per la "ricostruzione razionale". Ciò implica esaminare la sua richiesta che le teorie scientifiche siano formulate in una struttura sintattica parzialmente interpretata, comprendente assiomi logico-matematici, frasi teoriche e regole di corrispondenza che le collegano alle frasi osservative.
3. Applicazione Controfattuale: Proiettare i principi filosofici consolidati di Carnap (in particolare le sue opinioni sulle questioni interne vs. esterne, la natura della spiegazione scientifica e l'inferenzialismo vs. rappresentazionalismo) sugli sviluppi contemporanei nella MQ, come i teoremi no-go (Bell, Kochen-Specker) e le moderne assiomatizzazioni basate sulla teoria dell'informazione (Hardy, Chiribella et al.).

Contributi Chiave
Il saggio apporta diversi contributi distinti alla comprensione della filosofia della fisica di Carnap:

• Sfatare l'Ignoranza: Confuta esplicitamente le affermazioni secondo cui Carnap non conosceva la teoria quantistica, argomentando che possedeva una solida comprensione dei suoi principi di base, anche se riteneva la formalizzazione incompleta per i suoi specifici scopi filosofici.
• Chiarimento della "Ricostruzione Razionale": Gli autori chiariscono che il rifiuto di Carnap di rivedere la logica basandosi sulla MQ non era dovuto a una mancanza di rigore matematico nelle formulazioni esistenti (come quelle di von Neumann o Mackey), ma al fatto che queste non costituivano una ricostruzione razionale della fisica moderna nel suo insieme. Carnap richiedeva un sistema unificato che includesse la fisica gravitazionale/spaziotemporale e una chiara divisione tra termini teorici e osservativi, assente negli anni '60 e tuttora assente.
• Reinterpretazione di Carnap sul Realismo: Il saggio sostiene che Carnap probabilmente considererebbe i dibattiti attuali sulle interpretazioni della MQ (ad es. molti mondi vs. variabili nascoste) come "pseudo-controversie" riguardanti questioni esterne. Invece, valuterebbe queste interpretazioni basandosi su criteri pragmatici (semplicità, unificazione) piuttosto che sulla verità metafisica.
• Analisi Metasemantica dei Teoremi No-Go: Gli autori propongono che Carnap interpretasse i teoremi di Bell e Kochen-Specker non come ostacoli al realismo, ma come limitazioni metasemantiche alla fornitura di una semantica rappresentazionalista per il formalismo quantistico. Ciò si allinea con le visioni inferenzialiste moderne (ad es. Healey, 2017), suggerendo che le regole di applicazione determinano il significato dei termini quantistici.
• Il Test della Categoricità: Il saggio applica la soluzione di Carnap al problema della categoricità nella logica classica alla MQ. Suggerisce che, anche se si adottasse una semantica inferenzialista per i termini quantistici, Carnap richiederebbe un test per verificare se le regole fisiche (P-regole) della teoria siano categoriche (determinando univocamente il significato dei termini).

Risultati

• Stato della Revisione Logica: Carnap probabilmente rimarrebbe non convinto a rivedere la logica fondamentale della fisica (ad es. adottando una logica non distributiva) basandosi esclusivamente sulla MQ, poiché il prerequisito di una ricostruzione razionale completa e unificata della fisica non è ancora soddisfatto.
• Natura della Spiegazione Scientifica: Il saggio conferma la visione di Carnap secondo cui il carattere statistico della MQ non è il risultato di ignoranza, ma una caratteristica fondamentale della struttura del mondo, implicando che tutte le spiegazioni fisiche sono intrinsecamente statistiche.
• Libero Arbitrio: L'argomento di Carnap secondo cui l'indeterminazione quantistica non supporta il libero arbitrio è riaffermato: i salti quantistici casuali renderebbero le decisioni semplicemente casuali (probabilità) piuttosto che scelte libere.
• Rilevanza Contemporanea: Sebbene le moderne assiomatizzazioni della MQ basate sulla teoria dell'informazione (che derivano gli spazi degli stati da principi informativi) non siano ancora ricostruzioni razionali in senso carnapiano (mancando di linguaggi formali e regole di corrispondenza), il saggio suggerisce che potrebbero aprire la strada a una tale ricostruzione.

Significato
Il saggio rivendica rilevanza correggendo la registrazione storica riguardo all'impegno di Carnap con la meccanica quantistica, superando la visione secondo cui fosse semplicemente "fuori dal tempo". Dimostra che la cautela di Carnap era una necessità metodologica radicata nella sua filosofia della ricostruzione razionale piuttosto che una mancanza di comprensione tecnica. Inoltre, il saggio colma il divario tra la filosofia di Carnap della metà del XX secolo e i dibattiti contemporanei, suggerendo che il suo quadro offre un modo robusto per interpretare i moderni teoremi no-go e gli approcci semantici alla MQ senza cadere in trappole metafisiche. Postula che l'insistenza di Carnap sulla formalizzazione e la distinzione tra questioni interne ed esterne rimanga uno strumento vitale per analizzare i fondamenti logici e linguistici della teoria quantistica oggi.