asmani نوشته: به نظر من چالش این تاپیک، یافتن تعریفی برای قدیر است که دو شرط زیر را ارضا کند:

1. درستی یا نادرستی گزاره "خدا می تواند سنگی بسازد که خود نتواند بلند کند"، نادرستی گزاره "خدا قدیر است" را نتیجه ندهد.
   
2. مجموعه قدیرها، تنها یک عضو ممکن، یعنی خدا را داشته باشد.
   

 شرط دوم اصلاً ربطی به موضوع تاپیک ندارد !
اگر مجموعه قدیرها میلیونها عضو هم داشته باشد باز هم سئوال مذکور حاوی تناقض و بی معنی است !

 

نقل قول: اما شرط دوم از این جهت اضافه شده است که تعریف "هر آنچه بزغاله نباشد، قدیر است"، در شرط اول صدق می کند،

 قبلاً نشان دادم که تعریف شما مشکلی را حل نمیکند ... ظاهراً توجه نکردید :

توجه کنید :

آیا قدیر میتواند سنگی بسازد که خودش نتواند بلند کند ؟
تعریف شما را درسئوال بالا قرار میدهیم :
آیا هر آنچه بزغاله نباشد میتواند سنگی بسازد که خودش نتواند بلند کند ؟
موجود x را بصورت زیر تعریف میکنم :
x بزغاله نیست و میتواند هر سنگی را بلند کند.
این تعریف را در سئوال بالا قرار میدهم :
آیا x (= موجودی که بزغاله نیست و میتواند هر سنگی را بلند کند) میتواند سنگی بسازد که نتواند بلندش کند ؟

عباراتی که با حروف ضخیم مشخص کرده ام با هم متناقض هستند.پس مثال شما مشکل سئوال مذکور را حل نمیکند !

نقل قول:اما گمان نمی کنم کسی آن را پاسخ مسئله ی این تاپیک بداند.

 البته تعریف شما یعنی "هر آنچه بزغاله نباشد، قدیر است" همانطور که نشان دادم مشکلی را حل نمیکند که کسی بخواهد آنرا پاسخ مسئله بداند !

اما اگر منظورتان اینست که تعریف "قدیر موجودی است که بنا به تعریف هر کار منطقاً ممکنی را میتواند انجام دهد" هم جوابگو نیست باید بگویم که این تعریف کاملاً مشکل پارادوکس سنگ را حل میکند .

 شما آنرا پاسخ مسئله نمیدانید چون دنبال این هستید که همه مشکلات قدیر بودن را در یک تاپیک حل کنید !