منطق محمولات
از ویکیپدیا، دانشنامهٔ آزاد
منطق محمولات (Predicate logic) یا منطق مرتبهٔ اوّل (First-order logic - FOL) زبانیست فراگیر در علوم نمادی (symbolic)، که توسّط دانشمندان مختلف در علوم ریاضی، فلسفه، زبانشناسی، علوم رایانه، و به طور اخصّ، در هوش مصنوعی، و نمایش دانش مورد استفاده قرار میگیرد.
فهرست مندرجات |
[ویرایش] منطق سنتی
مقالۀ اصلی: منطق سنتی
در منطق سنتی یا منطق ارسطویی جمله به سه بخش تقسیم میشود: موضوع، محمول و رابطه.
در جملهٔ «ابوعلی سینا منطقدان است»، «ابوعلی سینا» موضوع، «منطقدان» محمول و «است» رابطه است. در این منطق «محمول» صفتی ست که بر «موضوع» (یا موصوف) عارض میشود. مثلاً جمله «حسن و حسین برادرند» را باید به صورت «حسین برادر حسن است» یا «حسن برادر حسین است» بررسی کرد که «برادر حسین بودن» و «برادر حسن بودن» محمول سلام خوبی؟
[ویرایش] منطق ریاضی
مقالۀ اصلی:منطق ریاضی
از دید منطق ریاضی رابطه میتواند چند موضعی باشد و محدود به توصیف یک موضعی نیست، بدین گونه که در جمله قبل «برادری» رابطهای دو موضعی است، حتی رابطه میتواند چند موضعی هم باشد. به این تزتیب به منطق سنتی، منطق محمولات یک موضعی هم میگویند.
[ویرایش] منابع
- Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New York Inc., ۱۹۸۴. ISBN: ۰-۳۸۷-۹۶۱۷۰-۴
- محمد اردشیر. ۱۳۸۳.منطق ریاضی. انتشارات هرمس با همکاری مرکز بین المللی گفتگوی تمدنها، ISBN: ۹۶۴-۳۶۳-۲۲۹-۶.
