منطق صوری: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
Ramtin666 (بحث | مشارکت‌ها)
اصلاح اشتباه تایپی
برچسب‌ها: ویرایش همراه ویرایش از وبگاه همراه
با فرض حسن نیت ویرایش Ramtin666 (بحث) خنثی‌سازی شد: منبع ثبت نشده . (توینکل)
برچسب: خنثی‌سازی
خط ۱:
'''منطق صوری''' (Formal logic) شاخه‌ای از [[منطق]] است که طرز صحیح صورت‌بندی اندیشه را به نحو کلی بیان می‌کند به گونه‌ای که با به کار بردن آن صورت‌ها، ذهن از [[خطای صوری]] مصون می‌شود.<ref>قراملکی، ''منطق (1)''، ص 19</ref>
همانطور که دکتر محمد خوانساری درکتاب منطق صوری خود گفته که:المنطق آلت القانونیه کتعصم مراعاتها الذهن عن الخطا فی الفکر که معنی آن بدین صورت خواهد بود:منطق آلتی قانونی است که ذهن را از خطا در فکر باز میدارد.<ref>قراملکی، ''منطق (1)''، ص 19</ref>
 
تمام اهمیت ارسطو در منطق و بزرگ‌ترین کشف او در این دانش، کشف [[صورت]] (form) است.<ref name="ReferenceA">موحد، ''از ارسطو تا گودل''، ص 70-71</ref> کشفِ پایه‌ای ارسطو این بود که درستی و نادرستیِ استدلال‌هایی که ما در [[زبان طبیعی|زبانِ طبیعی]] انجام می‌دهیم نه به محتوای آنها بلکه به صورت، تصور یا قالب آنها بستگی دارد. به دلیلِ همین بستگی به صورت است که این منطق را «صوری» می‌نامند. این کشف بسیار مهم به‌شمار می‌آید، هر چند که شاید پس از حل گشتن، معمایی آسان به نظر رسد. هنگامی که استدلالِ زیر را انجام می‌دهیم: