‫‪8.12.

2009‬‬

‫אפילו ברמת הקשרים הלוגיים של השפה ישנה עמימות‪ .‬קשרים לוגיים הם בסגנון או‪ ,‬וגם‪ ,‬אם‪-‬אז וכו'‪.‬‬
‫קשר הוא ביטוי שיוצר פשוט מורכב )פשוק שאינו פשוט‪ ,‬פסוק פשוט‪ :‬כולל רק נושא אחד ונשוא אחד‪.‬‬
‫הגדרה אחרת‪ :‬פסוק שלא כולל בתוכו פסוק נוסף כיחידה נפרדת(‪ .‬פסוק שלילה לפי ההגדרה הוא מורכב‪,‬‬
‫כי הוא כולל פסוק אחר כיחידה‪ ,‬לדוגמה‪ :‬לא עשיתי שיעורי בית = לא ‪ +‬עשיתי שיעורי בית‪ .‬לקשרים‬
‫הללו יש מאפיין מיוחד‪ ,‬והוא שהם קשרי‪-‬אמת‪.‬‬

‫עמימות לדוגמה‪" :‬או שאת שותקת או שתצאי"‪ ,‬מה יקרה אם היא גם שותקת וגם לא יצאה? )זה למעשה‬
‫מה שבאמת קורה(‪ .‬מכאן‪ :‬ל"או" יש שתי משמעויות‪ ,‬או רגילה שהיא חלשה יותר‪ ,‬או מוציאה‪ .‬כלומר‪,‬‬
‫המשמעות של המשפט הוא "אם לא תשתקי אז תצאי" ולא "את שותקת או את יוצאת"‪ .‬ב‪-‬אם‪/‬אז כל עוד‬
‫אי אפשר להפריך את הרישא‪ ,‬זה יהיה אמת‪ ,‬אם הרישא היא שקרית אז זה יהיה גם אמת‪ .‬אם האור דולק‬
‫והשמש זורחת והאור לא דולק אזי כולנו נאכל ארוחת ערב במסעדת גורמה כשרה – הפסוק הזה הוא‬
‫אמיתי‪ ,‬כי הרישא לא התקיימה‪.‬‬

‫ב‪ P-‬מכיוון ש‪ Q-‬אם שני הערכים הם אמת‪ ,‬יהיה פיצול כי צריך עוד אינפורמציה על סיבתיות‪ .‬רק אם יש‬
‫קשר סיבתי זה יהיה אמת‪ ,‬אם אין קשר סיבתי זה יהיה שקר‪ .‬כלומר ערכי האמת של הפסוקים לבדם לא‬
‫מספיק‪ .‬קשר אמת לוגי אם כך מתאפיין בכך שערך האמת של הפסוק המורכב תלוי אך ורק בערכי האמת‬
‫של הפסוקים המרכיבים‪ .‬מכיוון ש‪ ...‬הוא לא קשר אמת‪.‬‬

‫עמימות קשורה‪ :‬רותי התחתנה ונכנסה להריון – האם יש קשר בין הדברים? סדר זמנים? הרי יכול להיות‬
‫שהיא התחתנה בזמן א' ונכנסה להריון בלי קשר בזמן ב'‪ .‬ומה אם נאמר הפוך? רותי נכנסה להריון‬
‫והתחתנה‪ ,‬אז היינו מבינים )לפחות בסבירות יותר גבוהה( שמדובר בקשר סיבתי‪ .‬בכ"א קיימת עמימות‪.‬‬

‫שפות פורמליות היו נמנעות מעמימויות על ידי שימוש בסימנים מיוחדים לכל דבר‪ ,‬כמו סוגריים או משהו‬
‫מובהק‪ .‬כדי שתהיה רק קריאה יחידה ולא רב משמעית‪ .‬בשפה טבעית לעומת זאת סומכים על ההקשר‪.‬‬

‫השפה עמומה בשל התחביר שלה אבל אנו מכנים זאת רב משמעות ולא עמימות ‪ Ambiguity‬ולא‬
‫‪ .Vagueness‬השאלה היא האם העולם עצמו יכול להיות עמום? כלומר‪ :‬האם דבר יכול להיות גם כתום‬
‫וגם לא‪-‬כתום בו זמנית? לכאורה מדובר בסתירה לוגית‪.‬‬

‫יחסים דו מקומיים יש כמה מאפיינים לוגיים‪ :‬טרנזיטיבי‪ ,‬סימטרי‪ ,‬רפלקסיבי‪ .‬נגדיר‪ :‬אם יחס דו מקומי‬
‫כלשהוא בין ‪ X‬ל‪ Y-‬הוא ‪ ,Rxy‬אז‪:‬‬
‫היחס רפלקסיבי אם ורק אם עבור כל ‪ X‬בתחום הדיון נכון ש‪Rxx-‬‬ ‫‪.1‬‬
‫היחס סימטרי אםם עבור כל ‪ X‬ו‪ Y-‬בתחום נכון ‪RxyRyx‬‬ ‫‪.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‬‬