منطق مسند

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

منطق محمولات (Predicate logic) یا منطق مرتبهٔ اوّل (First-order logic - FOL) زبانی‌ست فراگیر در علوم نمادی (symbolic)، که توسّط دانشمندان مختلف در علوم ریاضی، فلسفه، زبان‌شناسی، علوم رایانه، و به طور اخصّ، در هوش مصنوعی، و نمایش دانش مورد استفاده قرار می‌گیرد. در این منطق محمولات (گزاره‌نماها) مورد استفاده قرار می‌گیرند.

منطق سنّتی[ویرایش]

مقالهٔ اصلی: منطق سنتی

در منطق سنّتی یا منطق ارسطویی جمله به سه بخش تقسیم می‌شود: موضوع، محمول و رابطه.

در جملهٔ «ابوعلی سینا منطق‌دان است»، «ابوعلی سینا» موضوع، «منطق‌دان» محمول، و «است» رابطه است. در این منطق «محمول» صفتی ست که بر «موضوع» (یا موصوف) عارض می‌شود. مثلاً جملهٔ «حسن و حسین برادرند» را باید به صورت «حسین برادر حسن است» یا «حسن برادر حسین است» بررسی کرد که «برادر حسین بودن» و «برادر حسن بودن» محمول است.

منطق ریاضی[ویرایش]

مقالهٔ اصلی:منطق ریاضی

از دید منطق ریاضی رابطه می‌تواند چند موضعی باشد و محدود به توصیف یک موضعی نیست، بدین گونه که در جملهٔ قبل «برادری» رابطه‌ای دو موضعی است، حتی رابطه می‌تواند چند موضعی هم باشد. به این ترتیب به منطق سنّتی، منطق محمولات یک موضعی هم می‌گویند.

منابع[ویرایش]

  • Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New York Inc., ۱۹۸۴. ISBN ۰-۳۸۷-۹۶۱۷۰-۴

جستارهای وابسته[ویرایش]