|
|
תחשיב הפרדיקטים הוא שפה לוגית הכוללת בתוכה את השפה ל , שהצגנו בסוף פרק 0 , 7 ושמרחיבה אותה כך שיהיה אפשר לנתח משפטים מכומתים כגון : ( 11 ) מישהו אוהב את גילה . ( 12 ) כולם אוהבים את עצמם . ( 13 ) כולם אוהבים מישהו . לפני שנציג את תחשיב הפרדיקטים , נדון בצורה בלתי פורמלית ברעיון העומד מאחורי הכימות בשפה זו . רעיון זה הגה פרגה ( Friedrich Ludwig Gottlob Frege , 1925-1848 ) במאמרו המפורסם " ) Begriffsschrift כתב המושגים " ) משנת . 1879 זהו רעיון פשוט למדי שחולל מהפכה בלוגיקה ( למעשה , במאמר זה פרגה המציא את הלוגיקה המודרנית , ואפשר לפתור בעיות סמנטיות שנשארו פתוחות מימי אריסטו ועד אז ) . פרגה הציע , שמבחינת משמעותם , משפטים מכומתים מורכבים משני חלקים : כמת ונוסחה פתוחה . נוסחה פתוחה היא נוסחה המכילה משתנה חופשי , דהיינו משתנה שמקביל לכינוי גוף דאיקטי בשפה טבעית . בשפה ל כל המשתנים היו חופשיים , ולכן כל 0 נוסחה שהכילה משתנה הייתה נוסחה פתוחה . כפי שנראה בהמשך , בתחשיב הפרדיקטים יש גם משתנים כבולים . אלו משתנים שמקבילים לכינוי גוף אנאפורי בשפה טבעית . ( 14 ) ( 15 )
To the book |
|
|