בתשובה ללודביג, 29/12/05 10:52
בחיים כבר לא אהיה פילוסוף 357892
האם אפשר לפשט זאת ל
Z- פרדיקט המציין "המחבר של וויברלי היה סקוטי"
ואז להגיע למשפט Z?
בחיים כבר לא אהיה פילוסוף 357898
אבל ''המחבר של וייברלי היה סקוטי'' לא כל כך נראה כמו פרדיקט, אלא כמו טענה שלמה. פרדיקט הוא משהו שמחלק את ''העולם'' לשתי קבוצות, אלו שכן ואלו שלא.
בחיים כבר לא אהיה פילוסוף 357905
ומה עם "המחבר של ווייברלי היה סקוט"?
בחיים כבר לא אהיה פילוסוף 357935
אותו דבר: טענה, ולא פרדיקט. רמז: משפט חיווי (כלומר, שאינו שאלה או ציווי או כמה חריגים אחרים) הוא לרוב טענה, שאפשר לנסחה כהחלת פרדיקט על אובייקט.
בחיים כבר לא אהיה פילוסוף 357938
כן, טוב, אבל המשפט הזה בהחלט מחלק את העולם לאלו שכן ולאלו שלא - כפי שדרשת.
בחיים כבר לא אהיה פילוסוף 357942
לא הבנתי: מיהם אלו שכן ומי אלו שלא?
בחיים כבר לא אהיה פילוסוף 357951
סקוט הוא זה שכן, וכל האחרים - לא.
בחיים כבר לא אהיה פילוסוף 357959
יפה, אז הפרדיקט הוא רק ''סקוט'', והוא מוחל על האובייקט ''המחבר של וייברלי''.
בחיים כבר לא אהיה פילוסוף 357962
לא, הפרדיקט הוא ''המחבר של ווייברלי'', והוא מוחל על האובייקט ''סקוט''.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים