Collasso modale
Nella logica modale, il collasso modale è la condizione nella quale ogni proposizione vera è necessariamente vera e viceversa; in altre parole, non ci sono verità contingenti e quindi vale che "tutto esiste necessariamente".[1][2] Nei simboli della logica modale, ciò si indica con .
Nel contesto della filosofia, il termine è comunemente utilizzato per criticare la prova ontologica dell'esistenza di Dio e il principio della semplicità divina.[1][3] Ad esempio, la prova ontologica di Gödel contiene come teorema, che, combinato con gli assiomi dello spazio logico S5 (in cui valgono le Cinque vie di Tommaso d'Aquino[4]), conduce al collasso modale.[5] Dal momento che molti considerano la libertà di Dio come imprescindibile dalla Sua natura, e un collasso modale negare il libero arbitrio, ciò conduce al collasso modale dell'argomento di Gödel.[6] Per evitarlo, occorre non adottare gli assiomi di S5, fatto che pone la metafisica tomista e la prova ontologica in ambiti logici distinti e separati.
Note[modifica | modifica wikitesto]
- ^ a b (EN) Christopher Tomaszewski, Collapsing the modal collapse argument: On an invalid argument against divine simplicity, in Analysis, vol. 79, n. 2, 1º aprile 2019, pp. 275–284, DOI:10.1093/analys/any052, ISSN 0003-2638.
- ^ (EN) Joseph C. Schmid, The fruitful death of modal collapse arguments, in International Journal for Philosophy of Religion, vol. 91, n. 1, febbraio 2022, pp. 3–22, DOI:10.1007/s11153-021-09804-z, ISSN 0020-7047.
- ^ Christoph Benzmüller e B. W. Paleo, The Ontological Modal Collapse as a Collapse of the Square of Opposition, in The Square of Opposition: A Cornerstone of Thought, Studies in Universal Logic, 2016, pp. 307–313, DOI:10.1007/978-3-319-45062-9_18, ISBN 978-3-319-45061-2.
- ^ Gianfranco Basti, Logica III: logica filosofica e filosofia formale- Parte I: la riscoperta moderna della logica formale (PPT), su pul.it, Roma, 2017, p. 106,108. URL consultato il 7 ottobre 2022 (archiviato dall'url originale il 7 ottobre 2022). Citazione: È Tommaso stesso ad introdurci in questa interpretazione, per nendo un'analogia fra asimmetricità della relazione di referenza ad oggetto nell'ordine epistemico e asimmetricità di partecipazione dell'essere nell'ordine ontico.[...] Si vede dunque l'unicità della metafisica tomista rispetto a qualsiasi altra metafisica occidentale. Mentre tutte hanno una struttura (S5 o KT45) senza assiomi di fondazione, la struttura S5 della metafisica Tommasina è fondata.
- ^ Srećko Kovač, 15. Modal Collapse in Gödel's Ontological Proof, in Miroslaw Szatkowski (a cura di), Ontological Proofs Today, de Gruyter, 31 dicembre 2012, pp. 323–344, DOI:10.1515/9783110325881.323, ISBN 978-3-11-032515-7.
- ^ Daniel J. Pedersen e Christopher Lilley, Divine Simplicity, God's Freedom, and the Supposed Problem of Modal Collapse (XML), in Journal of Reformed Theology, vol. 16, 1–2, 2022, pp. 127–147, DOI:10.1163/15697312-bja10028, ISSN 1569-7312.
