Besonderhede van voorbeeld: 4201028190189127688

English

The conclusion of the ontological argument, as formulated by Alvin Plantinga and others, depends on a form of modal axiom S5 (which contends that if the truth of a proposition is possible, then it is possible in all worlds).

Dutch

De conclusie van het ontologische argument, zoals geformuleerd door Alvin Plantinga en anderen, is afhankelijk van het modale axioma S5 (wat stelt dat als een propositie mogelijk is, dat het dan in alle werelden mogelijk is).