Ero sivun ”Kaikkivoipaisuuden paradoksi” versioiden välillä

'''Kaikkivoipaisuuden paradoksi''' eli '''kaikkivoivan paradoksi''' (''omnipotentin paradoksi'') on ryhmä [[paradoksi|paradokseja]], jotka käsittelevät sitä, mitä kaikkivoipa olento voi tehdä. Erityisesti ne käsittelevät sitä, pystyykö kaikkivoipa olento toimimaan siten, että se rajoittaa hänen kaikkivoipaisuuttaan. Pystyi olento siihen tai ei, kaikkivoipaisuus voidaan kyseenalaistaa molemmissa tapauksissa.<ref name="Suber">{{Kirjaviite | Tekijä=Suber, Peter | Nimeke=The Paradox of Self-Amendment: A Study of Law, Logic, Omnipotence, and Change | Selite= | Julkaisupaikka= | Julkaisija=Peter Lang Publishing | Vuosi=1990 | Tunniste=| www=http://www.earlham.edu/~peters/writing/psa/sec01.htm#C | Kieli={{en}} }}</ref> On esitetty erilaisia näkemyksiä paradoksin [[premissi]]en virheellisyydestä.<ref>{{Lehtiviite | Tekijä = Rosenkrantz, Gary ja& Hoffman, Joshua | Otsikko=The omnipotence paradox, modality, and time | Julkaisu=The Southern Journal of Philosophy | Ajankohta=1980 | Vuosikerta=18 | Numero=4 | Sivut=473–479 | Julkaisija=The University of Memphis | www =http://onlinelibrary.wiley.com/doi/10.1111/j.2041-6962.1980.tb01400.x/abstract | Kieli={{en}} }}</ref>

Paradoksi esitetään usein muodossa ”Voiko [[Jumala]] luoda niin suuren kiven, ettei hän itsekään voi sitä nostaa?”. Jos hän voi luoda sellaisen kiven, hän ei voi nostaa sitä ja kääntäen. Molemmissa tapauksissa on olemassa teko, jota hän ei voi tehdä, joten hän ei ole kaikkivoipa.<ref name="Philosophical ReviewSavage">{{Lehtiviite | Tekijä=Savage, C. Wade | Otsikko=The Paradox of the Stone | Julkaisu=Philosophical Review | Ajankohta=Jan., 1967 | Vuosikerta=Vol. 76, No. 1 | Numero=1 | Sivut=74–79 | Julkaisupaikka= | Julkaisija= | Selite= | Tunniste=doi:10.2307/2182966 | www= | http://www-teksti= | Tiedostomuoto= | Viitattu=.jstor.org/stable/2182966 | Kieli={{en}} }}</ref>

=== Savage ''Philosophical Review’ssa'' ===

SiitäC. Wade Savagen mukaan siitä, että ”''x'' voi luoda niin suuren kiven, ettei ''x'' voi sitä nostaa”, seuraa, ettei ''x'' ole kaikkivoipa.<ref name="Savage" />

Sen sijaan siitä, että ”''x'' ei voi luoda niin suurta kiveä, ettei ''x'' voi sitä nostaa”, ei seuraa, että olisi jokin teko, jota ''x'' ei voisi tehdä. Kyseinen lause tarkoittaa loogisesti samaa kuin ”Jos ''x'' voi luoda kiven, ''x'' voi sen nostaa.”<ref name="Savage" />

Savage tekee asiasta ymmärrettävämmän erottamalla toisistaan kiven tekijän ja sen nostajan. Oletetaan ensin, että ''y'' jaksaa nostaa korkeintaan 70 [[pauna]]n painoisen kiven. Jos ''x'' ei voi tehdä yli 70 paunan kiveä, on ''x'':n kyvykkyydessä rajoitus. Jos ''y'' voi nostaa minkä tahansa painoisen kiven ja ''x'' ei voi tehdä yli 70 paunan kiveä, on ''x'':n kyvykkyydessä rajoitus. Mutta jos ''y'' voi nostaa minkä tahansa painoisen kiven ja ''x'' voi tehdä minkä tahansa painoisen kiven, niin ''x'' ei voi tehdä niin painavaa kiveä ettei ''y'' voisi sitä nostaa, mutta ''x'':n kyvykkyydessä ei silti ole rajoitusta. <ref name="Philosophical ReviewSavage" />