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]Modèle:,[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]Modèle:,[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].