Laura Porro - I subjunctive conditionals: teorie analitiche - SELP

Conclusione 43
valutare un subjunctive conditional si ha a che fare con informazioni insuffi-
cienti, con credenze, con premesse contraddittorie, e la logica classica non è
strutturata per avere a che fare con queste nozioni. Le logiche che mi sem-
brano più promettenti sono quella paraconsistente, come illustrerò, e quella
probabilistica 15 .
Una delle logiche non classiche sviluppate proprio per cercare di gestire
questo tipo di elementi è la logica paraconsistente. Logiche che tollerano
le inconsistenze sono state introdotte intorno al 1910, ma il termine para-
consistente viene coniato dal filosofo peruviano Francisco Miró Quesada, nel
1976. Uno dei testi di riferimento per le logiche paraconsistenti è G. Prie-
st, R. Routley, and J. Norman (eds.), Paraconsistent Logic: Essays on the
Inconsistent, Philosophia Verlag, München, 1989. La logica paraconsistente
nasce dall’esigenza di evitare il principio classico ex falso quodlibet. La rela-
zione di conseguenza logica è detta esplosiva se ∀A, B, (A, ∼ A) B. Una
logica è paraconsistente se in essa la relazione di conseguenza logica non è
esplosiva. La logica classica ed altre logiche standard (come quella intuizio-
nista) sono esplosive. Nelle logiche paraconsistenti non sono valide alcune
inferenze classicamente valide (come A ∨B, ∼ A ⊢ B) e per questo esse sono
più deboli della logica classica.
Dato che i principi di revisione razionale delle credenze falliscono se l’insieme
di credenze non è consistente, servono nuove definizioni per le relazioni di
inferenza logica. La relazione risulta essere molto utile nella valutazione dei
subjunctive conditionals, perché è più adatta a gestire i casi in cui i parlanti
abbiano credenze inconsistenti, che possono essere riviste sulla base di nuove
evidenze (come si è osservato quando ho parlato di predicati proiettabili).
Un parlante può essere convinto di certi A1, . . ., An, ma può sapere anche
che potrebbe essere che ∼ (A1, . . .,An).
Esistono vari tipi di logiche paraconsistenti: non vero-funzionali, non aggiun-
tive, rilevanti, a più valori. Senza entrare nei dettagli per ciascuna di esse, è
interessante notare come nelle logiche non aggiuntive fallisca l’inferenza clas-
15 Mi sono ispirata a [2], [1] e [Wil08]