Modal collapse
In modal logic, modal collapse is the condition in which every true statement is necessarily true, and vice versa; that is to say, there are no contingent truths.[1] In the notation of modal logic, this can be written as .
In the context of philosophy, the term is commonly used in critiques of ontological arguments for the existence of God and the principle of divine simplicity.[1][2] Gödel's ontological proof contains as a theorem, which combined with the axioms of system S5 leads to modal collapse.[3]
References
- ^ a b Tomaszewski, Christopher (2019-04-01). "Collapsing the modal collapse argument: On an invalid argument against divine simplicity". Analysis. 79 (2): 275–284. doi:10.1093/analys/any052. ISSN 0003-2638.
- ^ Benzmüller, Christoph; Paleo, B. W. (2016). "The Ontological Modal Collapse as a Collapse of the Square of Opposition". doi:10.1007/978-3-319-45062-9_18.
{{cite journal}}: Cite journal requires|journal=(help) - ^ Kovač, Srećko (2012-12-31), Szatkowski, Miroslaw (ed.), "15. Modal Collapse in Gödel's Ontological Proof", Ontological Proofs Today, DE GRUYTER, pp. 323–344, doi:10.1515/9783110325881.323, ISBN 978-3-11-032515-7, retrieved 2022-04-28
 | This philosophy-related article is a stub. You can help Wikipedia by expanding it. |
 | This mathematics-related article is a stub. You can help Wikipedia by expanding it. |