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