Philo نوشته: من واژه ی "توانستن" را، به دلیل رابطه ای که می تواند با واژه ی "توانا" داشته باشد، در این مسئله بسیار مهم می دانم و فکر می کنم کلید حل این مسئله ابهام زدایی از همین واژه است.
شما می توانید با بیان منظور خود از "توانستن" معنای آن گزاره را روشن کنید. آیا منظور شما از "توانستن"، "امکان داشتن" است؟
به نظر من تنها راه ادامه ی بحث این است که از واژه ی روشن "امکان داشتن" به جای "توانستن" استفاده کنیم، چون با گرفتن این معنی نیازی هم به توضیح "فرایند توانستن" که غیر قابل تصور است نیست، شما با این معنی موافقید؟

البته من تحلیلی که شما را به "خدا می تواند خدا نباشد" رسانده را نمی دانم دقیقاً چیست، اما از آنجایی که به نظر من، توانایی حالت خاصی از امکان است، بله موافقم، هرچند این کار را لازم نمیدانم.

Philo نوشته: (در ریاضیات هیچ گاه به آن گزاره نمی رسند، چون هیچ گاه صحیح بودن و صحیح نبودن را همزمان درست فرض نمی کنند. نیازی هم نیست که در برهان خلف تا بیان این گزاره پیش برویم. مثلا فرض می گیریم فلان عدد صحیح است، و از این فرض در نهایت نتیجه می گیریم که آن عدد صحیح نیست، همین جا، چون به تناقض رسیده ایم، متوقف می شویم و می گوییم فرض ما نادرست بوده و آن عدد صحیح نیست. دیگر نیازی به فرض درست بودن فرض اولیه و حکم نهایی به طور همزمان و بیان گزاره ی نامأنوسِ "فلان عدد صحیح و غیر صحیح است" نیست.)

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