« Effondrement modal » : différence entre les versions

Contenu supprimé Contenu ajouté

Intégrés

Version du 9 décembre 2023 à 00:40

En logique modale, l'effondrement modal est la situation dans laquelle toute proposition vraie est nécessairement vraie, et vice versa ; c'est-à-dire qu'il n'y a pas de vérités contingentes, autrement dit que « tout existe nécessairement »^[1] ^[2]. Dans la notation de la logique modale, cela peut s'écrire $\phi \leftrightarrow \Box \phi$ .

En philosophie, le terme est employé dans les critiques des arguments ontologiques en faveur de l'existence de Dieu et du principe de simplicité divine^[1] ^[3]. Par exemple, la preuve ontologique de Gödel contient le théorème $\phi \rightarrow \Box \phi$ qui, combiné aux axiomes du système S5, conduit à un effondrement modal^[4]. Comme certains considèrent la liberté divine comme essentielle à la nature de Dieu, et considèrent que l'effondrement modal nie le libre arbitre, cela réfute l'argument de Gödel^[5].

Références

↑ ^{a et b} (en) Tomaszewski, « Collapsing the modal collapse argument: On an invalid argument against divine simplicity », Analysis, vol. 79, n^o 2,‎ 2019, p. 275–284 (ISSN 0003-2638, DOI 10.1093/analys/any052, lire en ligne) Erreur de référence : Balise <ref> incorrecte : le nom « :0 » est défini plusieurs fois avec des contenus différents.
↑ (en) Schmid, « The fruitful death of modal collapse arguments », International Journal for Philosophy of Religion, vol. 91, n^o 1,‎ 2022, p. 3–22 (ISSN 0020-7047, DOI 10.1007/s11153-021-09804-z, S2CID 236427989, lire en ligne)
↑ Christoph Benzmüller et B. W. Paleo, The Square of Opposition: A Cornerstone of Thought, coll. « Studies in Universal Logic », 2016, 307–313 p. (ISBN 978-3-319-45061-2, DOI 10.1007/978-3-319-45062-9_18, S2CID 42006078), « The Ontological Modal Collapse as a Collapse of the Square of Opposition »
↑ (en) Srećko Kovač, Ontological Proofs Today, Miroslaw Szatkowski, 2012 (ISBN 978-3-11-032515-7, DOI 10.1515/9783110325881.323, lire en ligne), chap. 15 (« Modal Collapse in Gödel's Ontological Proof »), p. 323–344
↑ Pedersen et Lilley, « Divine Simplicity, God's Freedom, and the Supposed Problem of Modal Collapse », Journal of Reformed Theology, vol. 16, n^os 1–2,‎ 2022, p. 127–147 (ISSN 1569-7312, DOI 10.1163/15697312-bja10028, S2CID 248106829, lire en ligne)

[:0-1] {a et b} (en) Tomaszewski, « Collapsing the modal collapse argument: On an invalid argument against divine simplicity », Analysis, vol. 79, n^o 2,‎ 2019, p. 275–284 (ISSN 0003-2638, DOI 10.1093/analys/any052, lire en ligne) Erreur de référence : Balise <ref> incorrecte : le nom « :0 » est défini plusieurs fois avec des contenus différents.

[2] (en) Schmid, « The fruitful death of modal collapse arguments », International Journal for Philosophy of Religion, vol. 91, n^o 1,‎ 2022, p. 3–22 (ISSN 0020-7047, DOI 10.1007/s11153-021-09804-z, S2CID 236427989, lire en ligne)

[3] Christoph Benzmüller et B. W. Paleo, The Square of Opposition: A Cornerstone of Thought, coll. « Studies in Universal Logic », 2016, 307–313 p. (ISBN 978-3-319-45061-2, DOI 10.1007/978-3-319-45062-9_18, S2CID 42006078), « The Ontological Modal Collapse as a Collapse of the Square of Opposition »

[4] (en) Srećko Kovač, Ontological Proofs Today, Miroslaw Szatkowski, 2012 (ISBN 978-3-11-032515-7, DOI 10.1515/9783110325881.323, lire en ligne), chap. 15 (« Modal Collapse in Gödel's Ontological Proof »), p. 323–344

[5] Pedersen et Lilley, « Divine Simplicity, God's Freedom, and the Supposed Problem of Modal Collapse », Journal of Reformed Theology, vol. 16, n^os 1–2,‎ 2022, p. 127–147 (ISSN 1569-7312, DOI 10.1163/15697312-bja10028, S2CID 248106829, lire en ligne)

[1]

[2]

[3]

[4]

[5]