[asmani]

از آنجا که هر سوال به فرم "آیا ...؟" را می توان به فرم "آیا p درست است؟" بازنویسی کرد و میدانیم که اگر p یک گزاره با معنی باشد، آنگاه یا درست است یا نادرست، من مسئله را به صورت زیر مطرح می کنم. در اینجا دیگر نمی توان از نادرست بودن پرسش سخن به میان آورد، چون دیگر پرسشی در کار نیست.

دو گزاره (نما)ی زیر را در نظر بگیرید:

1. x قادر مطلق است.
   
2. x میتواند سنگی بسازد که خود نتواند آن را بلند کند.
   

برای هر x که گزاره 2 نادرست باشد، گزاره 1 نادرست خواهد بود و برای هر x که گزاره 2 درست باشد، گزاره 1 باز هم نادرست خواهد بود. در نتیجه، گزاره 1 برای هیچ x ای نمی تواند درست باشد.

(در اینجا، شاید تنها یک نکته جای اندکی بحث داشته باشد و آن اینکه، برای مجموعه ای از x، گزاره نمای 2، نه درست و نه نادرست، بلکه بی معنی خواهد بود. ممکن است در این مجموعه، x ای باشد که به ازای آن، گزاره 1 درست باشد.)

اما اگر تعریف قادر مطلق را مطابق تعریف Toxic گرامی، به صورت زیر در نظر بگیریم:

خدا موجودی است که هر کاری را که منطقاً ممکن باشد میتواند انجام دهد (تعریف قدرت مطلق)

می توان گفت که "ساختن سنگی که نتوان آن را بلند کرد" یک کار منطقاً ممکن است، چرا که دستکم یک موجود هست که بتواند چنین کاری انجام دهد. آیا خدا میتواند این کار منطقاً ممکن را انجام دهد؟ اصلاً چرا راه دور برویم، نشستن به طور واضح یک کار منطقاً ممکن است. آیا خدا میتواند بنشیند؟ آیا میتواند خودکشی کند؟
اینها همه کارهایی منطقاً ممکن، اما 'برای خدا' منطقاً محال هستند، چون انجام آنها با ذات خدا ناسازگار است. در اینجاست که ممکن است مایل باشید که تعریف قدیر را به صورت زیر اصلاح کنید:

موجود الف قدیر است در صورتی که اگر ب کاری منطقاً ممکن باشد و ب در تناقض با ذات موجود الف نباشد، الف بتواند ب را انجام دهد.

برای دیدن اشکالاتی که از این تعریف پیش می آید، میتوانید اینجا را ببینید.