Professional Documents
Culture Documents
2009
אפילו ברמת הקשרים הלוגיים של השפה ישנה עמימות .קשרים לוגיים הם בסגנון או ,וגם ,אם-אז וכו'.
קשר הוא ביטוי שיוצר פשוט מורכב )פשוק שאינו פשוט ,פסוק פשוט :כולל רק נושא אחד ונשוא אחד.
הגדרה אחרת :פסוק שלא כולל בתוכו פסוק נוסף כיחידה נפרדת( .פסוק שלילה לפי ההגדרה הוא מורכב,
כי הוא כולל פסוק אחר כיחידה ,לדוגמה :לא עשיתי שיעורי בית = לא +עשיתי שיעורי בית .לקשרים
הללו יש מאפיין מיוחד ,והוא שהם קשרי-אמת.
עמימות לדוגמה" :או שאת שותקת או שתצאי" ,מה יקרה אם היא גם שותקת וגם לא יצאה? )זה למעשה
מה שבאמת קורה( .מכאן :ל"או" יש שתי משמעויות ,או רגילה שהיא חלשה יותר ,או מוציאה .כלומר,
המשמעות של המשפט הוא "אם לא תשתקי אז תצאי" ולא "את שותקת או את יוצאת" .ב-אם/אז כל עוד
אי אפשר להפריך את הרישא ,זה יהיה אמת ,אם הרישא היא שקרית אז זה יהיה גם אמת .אם האור דולק
והשמש זורחת והאור לא דולק אזי כולנו נאכל ארוחת ערב במסעדת גורמה כשרה – הפסוק הזה הוא
אמיתי ,כי הרישא לא התקיימה.
ב P-מכיוון ש Q-אם שני הערכים הם אמת ,יהיה פיצול כי צריך עוד אינפורמציה על סיבתיות .רק אם יש
קשר סיבתי זה יהיה אמת ,אם אין קשר סיבתי זה יהיה שקר .כלומר ערכי האמת של הפסוקים לבדם לא
מספיק .קשר אמת לוגי אם כך מתאפיין בכך שערך האמת של הפסוק המורכב תלוי אך ורק בערכי האמת
של הפסוקים המרכיבים .מכיוון ש ...הוא לא קשר אמת.
עמימות קשורה :רותי התחתנה ונכנסה להריון – האם יש קשר בין הדברים? סדר זמנים? הרי יכול להיות
שהיא התחתנה בזמן א' ונכנסה להריון בלי קשר בזמן ב' .ומה אם נאמר הפוך? רותי נכנסה להריון
והתחתנה ,אז היינו מבינים )לפחות בסבירות יותר גבוהה( שמדובר בקשר סיבתי .בכ"א קיימת עמימות.
שפות פורמליות היו נמנעות מעמימויות על ידי שימוש בסימנים מיוחדים לכל דבר ,כמו סוגריים או משהו
מובהק .כדי שתהיה רק קריאה יחידה ולא רב משמעית .בשפה טבעית לעומת זאת סומכים על ההקשר.
השפה עמומה בשל התחביר שלה אבל אנו מכנים זאת רב משמעות ולא עמימות Ambiguityולא
.Vaguenessהשאלה היא האם העולם עצמו יכול להיות עמום? כלומר :האם דבר יכול להיות גם כתום
וגם לא-כתום בו זמנית? לכאורה מדובר בסתירה לוגית.
יחסים דו מקומיים יש כמה מאפיינים לוגיים :טרנזיטיבי ,סימטרי ,רפלקסיבי .נגדיר :אם יחס דו מקומי
כלשהוא בין Xל Y-הוא ,Rxyאז:
היחס רפלקסיבי אם ורק אם עבור כל Xבתחום הדיון נכון שRxx- .1
היחס סימטרי אםם עבור כל Xו Y-בתחום נכון RxyRyx .2
היחס טרנזיטיבי אםם עבור כל X,Y,Zנכון שאם Rxyוגם Ryzאזי ) Rxzלדוגמה: .3
אם Xגדול מ Y-ו Y-גדול מ Z-אז Xגדול מ(Z-
פרדוקס הצבעים X :דומה ל Y-אנחנו מניחים שמקיים יחס טרנזיטיבי .אבל אם 1דומה ל 2-ו 2-דומה ל-
3ו 3-דומה ל 4-לא בהכרח ש 1-דומה ל .4-הדוגמה עם הבצעי :אם צבענו מכוניות בצבעים דומים,
מכונית א' בצבע לבן ,מכונית ב' בצבע לבן קצת יותר כחול ,מכונית ג' בצבע לבן אפילו יותר כחול וכו'.
היינו אומרים שנדחה את הנחת היסוד שהיחס טרנזיטיבי ,או שמא שאין באמת דמיון בין המכוניות .נשים
לב גם שיש בעיה בהגדרת גבול הדומות .האם אנחנו צריכים לבחון את היראות הזהות? שתי מכוניות
נראות זהות בצבען ,אבל מסתבר שהן לא זהות .כך שמכונית 1נראית זהה למכונית ,2מכונית 2נראית
זהה למכונית 3אבל מכונית 1לא נראית זהה למכונית .3