8.1.2 כימות בתחשיב הפרדיקטים לעומת כימות בשפות טבעיות

ישנם שני הבדלים מרכזיים בין הכימות בתחשיב הפרדיקטים לכימות בשפות טבעיות . הבדל מרכזי אחד הוא שבתחשיב הפרדיקטים הכימות אינו מוגבל , בעוד שבשפות טבעיות הכימות לרוב מוגבל . תנאי האמת של נוסחה מכומתת בתחשיב הפרדיקטים דורשים סריקה של כל תחום הדיון . צריך לבדוק אם כל ערך בתחום הדיון ( במקרה של כמת כולל ) או אם יש שם ערך ( במקרה של כמת ישי ) עבור המשתנה הכבול על ידי הכמת , שמאמת את הנוסחה שבטווח שלו . שיטה זו מתאימה למשפטים כמו ' כולם חכמים ' או ' יש מישהו חכם ' , אבל רוב המשפטים המכומתים בשפה טבעית כוללים הגבלה מפורשת על תחום הכימות , כמו , למשל , ' כל סטודנט הוא חכם ' או ' יש סטודנט חכם ' . בתחשיב הפרדיקטים ניתן לפעמים לחקות אפקט של כימות מוגבל , אבל , כפי שנראה בהמשך , לא עם כל כמת . את שתי הטענות הבאות , שבהן נראה שהכימות מוגבל , נוכל לייצג בעזרת נוסחאות של תחשיב פרדיקטים . ( 20 ) כל סטודנט ( הוא ) חכם . ( 21 ) איזשהו סטודנט ( הוא ) חכם . משפט ( 21 ) טוען שיש סטודנט חכם . כלומר , יש מישהו שהוא גם סטודנט וגם חכם . נוכל לייצג טענה זאת באמצעות הנוסחה הבאה : ( ' ∃ [ student ( x ) ^ xaxam ( x ...  אל הספר
האוניברסיטה הפתוחה