engleski

Modal collapse in Gödel's ontological proof

After introductory reminder of and comments on G¨odel’s ontological proof, we discuss the collapse of modalities, which is provable in G¨odel’s ontological system GO. We argue that G¨odel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into G¨odel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. As a result, modal collapse should not be conceived in G¨odel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with G¨odel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative G¨odelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic

ontological proof, Gödel, modal collapse, causality, justification logic

nije evidentirano