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 .

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 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
  1. a et b (en) Tomaszewski, « Collapsing the modal collapse argument: On an invalid argument against divine simplicity », Analysis, vol. 79, no 2,‎ , 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, no 1,‎ , 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 », (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, (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, nos 1-2,‎ , p. 127-147 (ISSN 1569-7312, DOI 10.1163/15697312-bja10028, S2CID 248106829, lire en ligne)