בתשובה להאייל הצעיר, 24/09/05 13:33
תורת ה"בסדר" (או: גם אני יכול להיות טרחן) 331967
אם כבר מדברים על פירמול של תבניות לשוניות בעייתיות מבחינה לוגית:

גם אני רציתי תורה מתמטית משלי. למזלי, יום אחד שמעתי את הדיאלוג המרתק הבא:

בן: "מחר, או שנקנה חלב על הבוקר, או שנשתה מיץ."
אם: "בסדר."

דיאלוג מדהים זה הביא אותי לתובנות המופלאות שעליהן אני מיד אפרט. לאחר ששמעתי את אותה שיחה התחלתי לחשוב על השאלה הגדולה: מתי טענה עונה על ההגדרה "בסדר"?
מיד שמתי לב למשמעות דבריה של האם: *גם* זה שהשניים ישתו חלב זה בסדר, ו*גם* זה שישתו מיץ זה בסדר.
עם זאת, ברור שאם טענה היא בסדר, גם ההשלכות שלה חייבות להיות בסדר. אחרת היא לא בסדר.

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

המסקנה המיידית מאקסיומות אלה הייתה משפט ה"בסדר":

משפט: אם משהו בסדר, הכל בסדר!
הוכחה: נתון שטענה a בסדר. צ"ל שטענה x בסדר.
מאחר ש-a בסדר, גם הטענה הנגררת ממנה, "a או x", בסדר (אקסיומה ב').
מכאן, שגם a בסדר, וגם x בסדר (אקסיומה א').
מ.ש.ל.

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

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

בידידות,
עומר
תורת ה"בסדר" (או: גם אני יכול להיות טרחן) 332007
"אם למחרת במכולת הבן היה שולח את ידיו *גם* למדף החלב ו*גם* למדף המיץ, סביר להניח (עכ"פ, יתכן) שהאם היתה דורשת ממנו לבחור: *או* חלב *או* מיץ."

ובכך הוכחת שהטענה "נשתה חלב וגם נשתה מיץ" יכולה להיות לא בסדר. אני לעומת זאת טענתי משהו אחר לגמרי: שהטענה "נשתה חלב" היא בסדר, וגם הטענה "נשתה מיץ" היא בסדר. זה לא אותו דבר.

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

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

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

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