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