💻 computer science

Stratified Counterpossible Logic

Questo articolo introduce i sistemi logici stratificati SCP e SCP1, che distinguono tra impossibilità logica e metafisica per evitare verità contropossibili vacue, dimostrandone al contempo la correttezza, la completezza e la decidibilità.

Autori originali: Chen Huang (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University), Xuefeng Wen (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University)

Pubblicato 2026-07-01

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Chen Huang (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University), Xuefeng Wen (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University)

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immaginate di essere un giudice che presiede un tribunale dei "E se...". Di solito, questi casi sono semplici. Se qualcuno chiede: "E se perdessi l'autobus?", si può facilmente immaginare un mondo in cui si perde l'autobus e calcolare le conseguenze (si arriva in ritardo, si ha fame, ecc.).

Ma cosa succede quando qualcuno chiede: "E se 2 + 2 = 5?" o "E se Hobbes avesse il quadrato del cerchio?" (un compito matematicamente impossibile)?

Per molto tempo, i logici hanno sostenuto che, poiché questi punti di partenza sono impossibili, la risposta a qualsiasi domanda che ne segue dovrebbe essere "Vera" per impostazione predefinita. È come dire: "Poiché la premessa è un non-senso, l'intera frase è automaticamente vera". Questo è chiamato Vacuismo.

Gli autori di questo articolo, Chen Huang e Xuefeng Wen, dicono: "Aspettate un attimo. Questo non sembra corretto".

Intuizione 1: "Se Hobbes avesse il quadrato del cerchio, i bambini malati in Afghanistan sarebbero stati guariti". Questo sembra Falso. Il quadrato del cerchio non ha nulla a che fare con la guarigione dei bambini.
Intuizione 2: "Se Hobbes avesse il quadrato del cerchio, saremmo stati sorpresi". Questo sembra Vero. Se qualcuno facesse l'impossibile, saremmo scioccati.

Se la regola del "Vacuismo" fosse vera, entrambe le frasi sarebbero vere, ignorando la differenza tra una connessione assurda e una logica. Gli autori vogliono costruire un sistema che rispetti queste differenze.

Il Problema: Confondere Impossibilità "Dure" e "Morbide"

Gli autori sostengono che i sistemi precedenti trattassero tutte le cose "impossibili" come lo stesso caos. Non distinguevano tra:

Impossibilità Metafisica: Cose che rompono le regole del nostro universo ma non le regole della matematica. (es. "L'oro ha numero atomico 50" o "L'acqua non è H2O").
Impossibilità Logica: Cose che rompono le regole fondamentali della logica stessa. (es. "Un cerchio quadrato" o "P e non-P").

Gli autori propongono una Logica Contropossibile Stratificata (SCP). Pensate a questo come a un edificio a tre piani dove le regole cambiano su ogni piano.

I Tre Piani dell'Edificio

Il Piano Attico (Possibilità Metafisica): Questo è il nostro mondo normale e i mondi che sono leggermente diversi ma che hanno ancora senso. Qui l'oro è oro, l'acqua è acqua e le leggi della fisica valgono.
Il Piano di Mezzo (Logicamente Normale ma Metafisicamente Impossibile): Questo è la zona del "E se...". Qui possiamo immaginare l'oro con numero atomico 50. È strano e rompe le leggi della natura, ma le leggi della logica funzionano ancora. Possiamo ancora fare matematica, e possiamo ancora dire "Se l'oro è 50, è ancora un metallo". La logica è intatta; la chimica è solo diversa.
Il Seminterrato (Mondi Anti-Logici): Questa è la zona del puro caos. Qui le regole della logica stessa crollano. Un'affermazione può essere sia vera che falsa contemporaneamente. È qui che vive il "quadrato del cerchio".

L'Innovazione Chiave: Il sistema degli autori ci permette di scendere dal Piano Attico al Piano di Mezzo per discutere di scenari "anti-essenziali" (come l'oro che ha un numero diverso) senza perdere la ragione logica. Possiamo ancora ragionare chiaramente lì. Ma se scendiamo fino al Seminterrato, le regole della logica collassano e dobbiamo essere molto cauti su come giudicare i risultati.

I Due Sistemi: SCP e SCP1

L'articolo introduce due versioni di questa logica:

1. SCP (Il Sistema di Base):
Questo sistema separa con successo i piani. Ci permette di dire che "Se l'acqua fosse XYZ, sarebbe ancora bagnata" è un esperimento mentale valido perché siamo sul Piano di Mezzo dove la logica funziona ancora. Tuttavia, gli autori hanno notato un piccolo vuoto: se si interroga su un'impossibilità logica (come il quadrato del cerchio), il sistema potrebbe tecnicamente dire: "Oh, non ci sono mondi nel Seminterrato in cui ciò accade", e dichiarare l'affermazione "Vera" solo perché la lista dei mondi è vuota. Questo è una forma di "Vacuismo" che volevano evitare.

2. SCP1 (Il Sistema Aggiornato):
Per correggere il vuoto, gli autori hanno creato SCP1. Hanno aggiunto una regola rigorosa: La funzione di selezione non può essere vuota.
Immaginate un giudice che dice: "Anche se la premessa è impossibile, devi trovare almeno uno scenario nel Seminterrato per valutarne la conseguenza".

Se chiedete: "Se Hobbes avesse il quadrato del cerchio, i bambini sarebbero stati guariti?", SCP1 costringe il sistema a cercare un mondo in cui Hobbes abbia il quadrato del cerchio.
In quel mondo caotico del Seminterrato, poiché non esiste un legame logico tra "il quadrato del cerchio" e "la guarigione dei bambini", il sistema conclude che l'affermazione è Falsa.
Questo impedisce al sistema di imbrogliare dicendo "È vero perché nulla esiste".

Perché Questo È Importante

L'articolo dimostra che questo nuovo modo di pensare è matematicamente solido (non si rompe), completo (può rispondere a tutte le domande valide) e decidibile (possiamo scrivere un programma per computer per risolverlo).

Il Messaggio Chiave:
Gli autori hanno costruito una migliore mappa per i "Mondi Impossibili".

Le vecchie mappe dicevano: "Tutti i luoghi impossibili sono uguali; nulla ha senso lì".
Questo articolo dice: "No, esistono diversi tipi di luoghi impossibili. Alcuni sono solo strani (Piano di Mezzo) dove possiamo ancora pensare chiaramente. Altri sono caotici (Seminterrato) dove la logica si rompe. E anche nel caotico seminterrato, non dovremmo semplicemente arrendersi e dire che tutto è vero; dovremmo controllare se il 'E se...' è effettivamente collegato al risultato".

Separando questi strati, gli autori ci permettono di avere serie conversazioni filosofiche su scenari impossibili senza perdere il nostro equilibrio logico.

Sintesi Tecnica: Logica Contropossibile Stratificata (SCP e SCP1)

Problema
Il saggio affronta i limiti della semantica dei controfattuali standard (ad esempio, Stalnaker-Lewis) quando applicata ai contropossibili — condizionali con antecedenti impossibili. La semantica standard spesso produce "vacuità", in cui tutti i contropossibili sono trivialmente veri perché i loro antecedenti sono insoddisfacibili. Ciò contrasta con distinzioni intuitive, come la differenza tra "Se Hobbes avesse quadrato il cerchio, i bambini sarebbero guariti" (intuitivamente falsa) e "Se Hobbes avesse quadrato il cerchio, saremmo sorpresi" (intuitivamente vera).

Inoltre, gli approcci non vacuisti esistenti (ad esempio, i mondi impossibili di Nolan) spesso trattano tutte le impossibilità come una categoria monolitica. Questa conflazione tra impossibilità metafisiche (ad esempio, "l'acqua non è H2O", che viola proprietà essenziali ma obbedisce alla logica classica) e contraddizioni logiche (ad esempio, $P \land \neg P$ ) crea un dilemma: i sistemi che accomodano le contraddizioni logiche spesso sacrificano le regole di inferenza necessarie per il ragionamento su ipotesi metafisiche. Il saggio sostiene che gli attuali framework non riescono a modellare sufficientemente la struttura interna del dominio impossibile, portando a un compromesso tra forza logica e capacità di valutare contropossibili non banali.

Metodologia
Gli autori propongono un framework semantico stratificato che partiziona lo spazio logico in tre strati distinti:

Mondi Logico-Normali ( $N$ ): Mondi coerenti con la logica classica. Questa regione è ulteriormente suddivisa da una relazione di accessibilità metafisica ( $R_M$ ) per distinguere tra scenari metafisicamente possibili e metafisicamente impossibili (ma logicamente possibili).
Mondi Anti-Logici ( $I$ ): Mondi in cui le norme della logica classica falliscono (ad esempio, mondi paraconsistenti in cui vale $\phi \land \neg \phi$ ).
Semantica di Selezione: Il sistema impiega una funzione di selezione $f$ $f$ per valutare i condizionali. La funzione è vincolata dal tipo di antecedente:
- Se l'antecedente è metafisicamente possibile, la selezione è limitata ai mondi accessibili tramite $R_M$ .
- Se l'antecedente è metafisicamente impossibile ma logicamente possibile, la selezione si estende a $N$ ma rimane all'interno di $R_L$ (accessibilità logica).
- Se l'antecedente è logicamente impossibile, la selezione si estende a $I$ .

Il saggio definisce due sistemi:

SCP (Logica Contropossibile Stratificata): Il sistema base che stabilisce la gerarchia $N/R_M/I$ . Questo valida la logica proposizionale classica all'interno di $N$ e permette la valutazione non vacua delle impossibilità metafisiche.
SCP1: Un'estensione di SCP progettata per risolvere il problema della "vacuità" nel dominio anti-logico. Esso impone un vincolo di non-vacuità sulla funzione di selezione ( $f(w, \phi) \neq \emptyset$ ) e tratta l'accessibilità logica ( $R_L$ ) come una relazione universale su $N$ .

Contributi Chiave e Risultati

Semantica Stratificata: Il saggio formalizza un modello a tre strati dove la necessità metafisica è annidata all'interno della necessità logica. Ciò consente al sistema di valutare condizionali "anti-essenziali" (ad esempio, "Se l'oro avesse numero atomico 50...") utilizzando la logica classica all'interno di $N$ , riservando $I$ alle vere contraddizioni logiche.
Sistemi Assiomatici:
- SCP è definito con assiomi per la logica proposizionale classica, operatori modali S5 per la necessità logica ( $\Box_L$ ) e metafisica ( $\Box_M$ ), e assiomi condizionali specifici (ID, SOC-M, SIC).
- SCP1 estende SCP con gli assiomi (NE) e (SOC-L) per imporre la non-vacuità e l'accessibilità logica universale.
Proprietà Meta-Logiche: Gli autori forniscono dimostrazioni rigorose per entrambi i sistemi, dimostrando:
- Correttezza (Soundness): I sistemi assiomatici sono corretti rispetto ai rispettivi modelli semantici.
- Completezza (Completeness): Entrambi i sistemi sono completi; ogni inferenza valida è derivabile.
- Decidibilità (Decidability): Entrambi i sistemi possiedono la proprietà del modello finito, garantendo che siano decidibili. Ciò è ottenuto attraverso tecniche di filtrazione che costruiscono modelli finiti a partire da modelli canonici.
Risoluzione della Vacuità: In SCP1, il vincolo di non-vacuità assicura che i contropossibili con antecedenti impossibili non siano trivialmente veri. Invece, il loro valore di verità dipende dalla connessione sostanziale tra l'antecedente e il conseguente all'interno dei mondi anti-logici selezionati.

Significatività
Il saggio sostiene che questo approccio stratificato riesce a distinguere con successo tra diversi tipi di impossibilità senza sacrificare le regole di inferenza logica per il ragionamento metafisico. Separando il dominio della contraddizione logica dall'impossibilità metafisica, il sistema permette la deduzione significativa in scenari in cui le proprietà essenziali vengono violate (ad esempio, esperimenti mentali scientifici), mantenendo al contempo un framework robusto per gestire le contraddizioni logiche.

Gli autori suggeriscono che questo framework gerarchico è generalizzabile ad altri domini modali, come la distinzione tra obblighi primari e secondari nella logica deontica o la modellazione dei limiti cognitivi nella logica epistemica. Il lavoro fornisce un percorso semantico formale per risolvere i conflitti modali e caratterizzare la struttura dell'impossibilità, andando oltre la dicotomia binaria "possibile vs impossibile".

Il Problema: Confondere Impossibilità "Dure" e "Morbide"

I Tre Piani dell'Edificio

I Due Sistemi: SCP e SCP1

Perché Questo È Importante

Sintesi Tecnica: Logica Contropossibile Stratificata (SCP e SCP1)

Articoli simili