منطق محمولات

از ویکی‌پدیا، دانشنامهٔ آزاد.

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

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

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

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

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

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

  • Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New York Inc., ۱۹۸۴. ISBN: ۰-۳۸۷-۹۶۱۷۰-۴
  • محمد اردشیر. ۱۳۸۳،منطق ریاضی. انتشارات هرمس با همکاری مرکز بین المللی گفتگوی تمدن‌ها، ISBN: ۹۶۴-۳۶۳-۲۲۹-۶. ‏

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