Effondrement modal

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 remet en cause le libre arbitre, cela conduit à la démolition de l'argument de Gödel^[5].

Références[modifier | modifier le code]

↑ ^{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)
↑ (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 (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 », p. 307-313
↑ (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
↑ (en) 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)

Portail de la logique

[: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)

[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 (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 », p. 307-313

[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] (en) 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]