בתשובה לאביב י., 25/02/03 16:32
לא ניתן להוכיח שמשהו לא קיים 134337
משהו כאן מזכיר לי איזה דיון עתיק מאד. מאד. בן שמונה שנים לפחות.
על ארמדילו עם כוס צימוקים על הגב שלו.

יכול להיות?????????????
חסרים כמה סימני שאלה!!!!!!!!!!!!! 134339
"ארמדילו עם כוס צימוקים על הגב שלו"

לא יודע, אני באמת רוצה להיזכר במשהו שקרה לי לפני 8 שנים? אני מעדיף את איפה שאני נמצא עכשיו. אבל אם אני אומר זאת, כנראה שאני בכל זאת זוכר משהו, למרות שאני לא ממש רוצה... במה מדובר?

ארמדילו עם צימוקים על הגב אכן נשמע כמו פראפרזה מופרעת שלי (אבל אולי אני טועה) אבל גם לפני 8 שנים, לא הייתי מקורי. מדובר בטענה מתוך ויכוח בן 3000 שנה (ויכוח שהגיע לסיומו, לא כל כך מזמן, לפחות במסגרת הפילוסופיה של המדע, לטובת האגנוסטים).
ארמדילו נוסטלגי 134354
לדעתי הכרנו מזמן, והיה לנו ויכוח: האם יש טעם לדיון בשאלה, האם לארמדילו שלא קיים, יש כוס עם צימוקים על הגב, או אין לו.
נדמה לי שאני אמרתי שאם הארמדילו לא קיים, אז התשובה היא בפירוש 'לא'. ואתה אמרת שאם הארמדילו לא קיים, אז התשובה היא שאי אפשר לענות על זה.
יכול להיות שאני טועה לגבי הויכוח או הצדדים, אבל את הארמדילו אני זוכרת טוב.

אבל אתה אומר שאתה מעדיף איפה שאתה עכשיו, אז אני לא אציק לך יותר.
ארמדילו נוסטלגי 134434
התשובה היא שלכל ארמדילו שלא קיים יש כוס של צימוקים על הגב, וגם לכל ארמדילו שלא קיים אין כוס של צימוקים על הגב.
ארמדילו נוסטלגי 134443
אתה יודע מה? עבר הרבה זמן ואני עדיין תומכת במה שנדמה לי הייתה הדעה המקורית שלי: אין ארמדילו, אין צימוקים.
ארמדילו נוסטלגי 134473
בוודאי שאין צימוקים. אבל הטענה השניה (''לכל ארמדילו שאינו קיים יש כוס מלאה צימוקים על הגב'') נשארת נכונה, והיא לא סותרת את הטענה שאין צימוקים. כולם צודקים.
וראי גם 134478
תגובה 134266
ארמדילו נוסטלגי 134486
לא מסכימה. אם הארמדילו לא קיים, אין לו גב, ולכן לא יכולים להיות לו צימוקים על הגב.
"לכל ארמדילו שאינו קיים יש כוס מלאה צימוקים על הגב" - לא נכון לדעתי.
זה לא כמו להגיד "לכל ארמדילו שקיים בעולםהדמיון בלבד, יכולים בעולם הדמיון להיות צימוקים על הגב". הוא לא קיים, וזהו.

***
אני לא מאמינה שאני עושה את זה עוד פעם. כנראה שהזמן באמת ספיראלי.
ארמדילו נוסטלגי 134499
זה בסך הכל מה שנקרא במתמטיקה ''מתקיים באופן ריק''. לדוגמא, הפסוק ''אין אדם יכול להיות בשני מקומות בעת ובעונה אחת, אלא אם כן הוא ציפור'', הוא פסוק אמת, ומתקיים באופן ריק, שכן אין אף אדם שהוא ציפור.

סתם עניין של הגדרה פורמלית.
ארמדילו, ארמדילהם, ארמדילי... 134555
משפט הכל שהבאת הוא תקף לוגית אך הוא איננו תשובה ל*שאלה* שנשאלה. נזכרתי בשאלה המקורית, מהויכוח ההוא, והיא היתה קצת יותר טריקית:

*כמה* צימוקים יש בכוס שמונחת על גבו של ארמדילו שלא קיים?

אפשר לענות בכל מיני צורות על השאלה, על כך אין ויכוח. אתה יכול לענות איך שמתחשמק לך, על שאלות לא נכונות.
הטענה הפשוטה שלי היתה שהשאלה לא נכונה ו*לכן* ניתן לענות עליה בכל צורה שהיא (30 צימוקים, 500 צימוקים, אין צימוקים‏1 או WHATEVER) ולכן חבל על המאמץ. אתה גם תוכל לטעון טענות כל, משום שאין ארמדילואים והטענות תהינה נכונות לוגית, אבל אז אתה בכלל לא עונה על מה שנשאלת אלא סתם מצהיר הצהרות.

F-->F וגם F-->T אבל בכל מקרה F נשאר F.

_________________
1 הבעיה נוצרת משום ש"אין צימוקים" היא החרזה על מצב של הצימוקים במנותק ממה שנשאל וזה לא תשובה מלאה לשאלה שנשאלה. תשובה מלאה לשאלה צריכה להיות: אין צימוקים בכוס שעל גבו של הארמדילו. אבל עפ"י נתוני השאלה *אין* כוס על גב של ארמדילו משום שאין ארמדילו, ולכן מדובר בתשובה לא נכונה לשאלה לא נכונה.

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

הטענה הפשוטה שלי (שכבר העלתי אותה בעבר באייל, בנושאים שונים): יש שאלות לא נכונות שלא ניתן לענות עליהן (או שניתן לענות עליהן בכל צורה שהיא ואז לתשובות אין ערך של אמת/שקר, גם אם יש להן ערך אחר).
אופס. לפני שיגידו שאני דמות וירטואלית 134556
אני לא ג.אבן חן, למרות שאני מכיר אותו ומשתמש במחשבו ברגע זה‏1, (משום שמחשבי שלי העלה עשן היום בבוקר).

כמובן שזה אני למעלה ולא ג. אבן חן

סליחה ג.
______________
1 COOKIES ארורים!
ארמדילו, ארמדילהם, ארמדילי... 134589
אני נורא שמחה שנזכרת בויכוח ההוא :)
להיפגש שוב דווקא ככה זה די משעשע, לא?

ואני עדיין טוענת שהשאלה קבילה, והתשובה היחידה היא 0.
ארמדילו, ארמדילהם, ארמדילי... 134629
אכן משעשע. העולם הוא מקום מוזר ומשעשע, אבל עדיין לא החלטתי אם צריך לצחוק עליו או איתו (למרות שנדמה לפעמים שהוא זה שצוחק אחרון).

מה התשובה המלאה? 0 מה?
ארמדילו, ארמדילהם, ארמדילי... 134689
צימוקים.
galgibui@hotmail.com אם בא לך ליצור קשר.
ארמדילו, ארמדילהם, ארמדילי... 134674
לשאלת ה"כמה" אין משמעות.

בכלל, שאלות שמתחילות ב"כמה .." צריך לתרגם ל- "מהו המספר n שעבורו המשפט הבא נכון: ..". כדי שלשאלה תהיה משמעות, צריך לדעת שקיים מספר יחיד כזה, ובמקרה שלנו המשפט נכון לכל מספר.
ארמדילו שנוסע בפרארי 134664
לא נכון. שני משפטי הכל נכונים לוגית כאשר אומרים אותם בנפרד ומתיחסים אל עובדת חסרון חיית השעשועים המדוברת. אך כאשר מתיחסים אל משפט הכל האחד ביחס למשפט כל השני, הם מהוים סתירה לוגית אחד לשני, גם אם אין ולו ארמדילו אחד בעולמנו המתאכזר לחיות עם שמות מצחיקים.

אי אפשר להגיד ששני הפסוקים הבאים הם בעלי ערך אמת *יחדיו*, גם כאשר אין A בעולם:
א) כל A הוא B
ב) כל A הוא לא B

מהי טענתך? שא' סותר את ב' רק כאשר אין A בעולם (אין A==>א' וב' נכונים יחדיו), אבל ברגע שצץ לו איזה A פתאום יש סתירה *לוגית* ביניהם? לדעתי משפטי כל הם אינדיפרנטים לגבי שאלת היש, לא?

1) אפשר להגיד שאין A בעולם ובכל זאת כל A הוא B
2) אפשר גם להגיד שאין A בעולם ובכל זאת כל A הוא לא B
אבל אי אפשר להגיד שאין סתירה לוגית בין 1 ל-‏2.

למשפטי כל לא אכפת אם יש או אין.

כל זאת במנותק מן העניין ש"משפטי הכל" הנ"ל הם בכלל תשובה יפה לשאלה אחרת ולא תשובה לשאלה שנשאלה. אבל על כך דיברתי כבר בתגובה 134555 (וזה לא מר ג. זה רק אני שהשתמש במחשב שלו).

אנסה להבהיר את כונתי לגבי שאלות לא נכונות בדוגמא נוספת:

שאלה: מהו צבע מכונית הפרארי היוקרתית שלך? (אני מניח שאין ברשותך מכונית שכזו).

האם התשובה - "אין למכונית הפרארי היוקרתית שלי צבע (אין מכונית, אין צבע)" היא תשובה נכונה כאשר אנו יודעים שאין לך מכונית שכזו?
תשובה אפשרית נוספת היא - "אין לי מכונית פרארי" , אבל תשובה שכזו אני מכנה - "תשובה דיאלוגית" והיא בעצם בכלל לא תשובה לשאלה שנשאלה (כי אם דרישה לתיקון השאלה הלא נכונה).
ארמדילו שנוסע בפרארי 134676
1. יש קבוצות בעלות שלושה אברים (דוגמא: {X={a,b,c).
2. יש קבוצות, שכל אבריהן הם קבוצות בעלי שלושה אברים (דוגמא: {X}).
3. גם הקבוצה הריקה מקיימת את התכונה בסעיף הקודם (כי כל איבר שלה הוא קבוצה בת שלושה אברים).

כל הנ"ל נכון גם אם נחליף את 3 במספר אחר; כל אבר בקבוצה הריקה הוא קבוצה בעלת n אברים, וזה נכון לכל n.

בתרגום לניסוח שלך, כל A הוא B וגם כל A הוא לא B. (כאשר A = אבר בקבוצה הריקה, ו- B = קבוצה בת שלושה אברים). אין "סתירה לוגית" בין "B" ו"לא B", שהרי יש בעולם הרבה דוגמאות גם לסוג הראשון, וגם לסוג השני. כמובן, אין דוגמאות לשני הדברים יחד - וזו בדיוק הנקודה: אין אברים בקבוצה הריקה.

חשיפה: אין ברשותי מכונית פרארי. וכעת, השאלה "מהו צבע מכונית הפרארי שלך" פשוט אינה מוגדרת היטב. זה בסך-הכל קיצור לשאלה "מהו הצבע x שעבורו הטענה 'למכונית הפרארי שלי יש צבע x' נכונה", והטענה הזו נכונה *לכל x*. אפשר לענות "כל צבע שעולה בדעתך" (וזו לדעתי התשובה ה"נכונה"), אבל אני מעדיף להתמקד בדוגמאות מהסוג הראשון.
ארמדילו שנוסע בפרארי 134745
טענות 'כל' אדישות לשאלת היש, אבל הטענה שיש סתירה אינה טענת 'כל'. היא טענת 'קיים'... לכן אין לי בעיה מיוחדת לומר שאין סתירה בין המשפטים כאשר A לא קיים, ויש סתירה כאשר צץ לו A.

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

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