[Mehrbod]

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

اگر کاری از لحاظ عملی به هیچ روی شدنی نباشد، از لحاظ منطقی هم شدنی نخواهد بود.

اگر هیچ موجود زنده یا انگاشت شده منطقی نتواند به 50% درسد سرعت نور برسد،
پس لزوما دلایلی منطقی آنجا هستند که اجازه نمی‌دهد به 50% سرعت نور برسیم.

ویژگی‌هایی که یک گزاره منطقی بایستی دربر داشته باشد اینها هستند:

• Consistency, which means that no theorem of the system contradicts another.
  
• Validity, which means that the system's rules of proof will never allow a false inference from true premises.
  
• Completeness, of a logical system, which means that if a formula is true, it can be proven (if it is true, it is a theorem of the system).
  
• Soundness
  

پس در نمونه‌ «کار عملا ناممکن»، گزاره منطقی ما Sound خواهد بود، ولی Validity نخواهد داشت چراکه عملی نیست؛ پس منطقی نخواهد بود.

قادر هست ولی «مطلق» نیست. فرق انسان با خدا همینه دیگه! باید بیشتر به تعاریف دقت کنید. مثلن خداوند بنا به تعریف موجودی است که کمال دارد. این کمال در همه امور او ظهور میکنه. بنابر این اگر بخواد کاری رو انجام بده اون کار رو در کمال خودش انجام میده. یعنی مثلن بخواد خلق کنه، در کمال ممکن خلق میکنه و اگر بخواد ببخشه در کمال می بخشه و اگر دانا باشه، دانای کامل هست. انسان ممکنه همه اینها رو هم داشته باشه ولی بدون کمال؛ آیا انسان خداوند است؟ مشخصه که خیر!

سپاس

دشواری در اینجا درباره «مطلق» بودن قدرت خدا بوده و نه چیز دیگر.