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