Muokataan osiota sivusta Anselmin jumalatodistus

=== Argumentti aleettisen modaalilogiikan näkökulmasta ===

Aleettinen [[wp:modaalilogiikka|modaalilogiikka]] tutkii väittämien varmuusasteisiin liittyviä loogisia suhteita. Sen kysymyksenasetteluista käsin Anselmin argumentti voidaan tulkita seuraavaan tapaan:

* Olemassaolo on joko mahdotonta, [[wp:kontingentti|kontingentti]]a tai välttämätöntä. (yleispätevä aleettisen modaalilogiikan selviö)
* '''Siis:''' Jumalan olemassaolo on joko mahdotonta, kontingenttia tai välttämätöntä. (suora seuraus edellisestä)
* Jumalan olemassaolo ei ole mahdotonta. (seuraa Anselmin argumentin ensimmäisestä kohdasta)
* Jumalan olemassaolo ei ole kontingenttia. (seuraa Anselmin argumentin toisesta kohdasta)
* '''Siis:''' Jumalan olemassaolo on välttämätöntä. (seuraa kolmesta edellislauseesta loogisesti kiistämättömällä disjunktiivisella syllogismilla eli ''modus tollendo ponens'' -päättelyllä)
* '''Siis:''' Jumala on todella olemassa. (suora seuraus edellisestä)

Tästä seuraa sekin, että kaikki väittämät, joiden toimivuus riippuu suoraan tai epäsuorasti Jumalan olemassaolon olettamisesta (enintään) kontingentiksi, ovat niin räikeän virheellisiä, että niitä on pidettävä suorastaan mielettöminä (mikä on eri asia kuin merkityksettömyys). On mahdotonta, että Jumala voisi olla olemassa tai olla olematta olemassa muun todellisuuden olemassaolon siitä riippumatta. Jos puhutaan jostain sellaisesta, jonka olemassaolo edellytetään kontingentiksi, ei puhuta Jumalasta (ainakaan järjellisesti).