
نوشته اصلی از سوی
kourosh_bikhoda
البته که هستند! محال منطقی چیزی است که بنابر ویژگی ها و تعاریف خودش، مجال وجود نداره و ممتنع الوجوده. یعنی عدمش ضروری است. ولی محال عملی اینطور نیست و تنها درباره یک یا گروهی از فاعل ها موضوعیت نداره. مثلن اگر شما به دوستتون بگید که روزی میتونیم به 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 نخواهد داشت چراکه عملی نیست؛ پس
منطقی نخواهد بود.