[asmani]

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

اینجانب قبلاً در پستی به این مسئله اشاره کردم و از همین جهت، تبصره ای را در پستی که از آن نقل قول کرده اید، قرار داده ام. گمان من بر این بود که در مورد معنای این گزاره اختلاف نظری نیست، از همین رو، این مورد را چندان بررسی نکردم. حقیقتش من نمیدانم چگونه میتوان نشان داد که این گزاره معنا دارد یا ندارد، اما میتوانم این را بگویم که بسیاری از اثباتهای رسمی در ریاضیات، بر گزاره هایی مانند این (با این درجه از معنا داری) استوار هستند. مثلاً در یک اثبات با برهان خلف، ممکن است به گزاره ای مانند "k عدد صحیحی ناصحیح است" برسیم که این را یک گزاره نادرست (و نه بی معنی) می گیریم.