בתשובה לGod eat God, 12/03/02 16:18
סליחה, 60741
למה לא?
השאלה הראשונית שלי שאלה האם מדובר כאן על הוכחת ה"דמיון המוגבל" המפורסמת שלך, (במידה וכן, אז האם אתה לא מסוגל לדמיין סיבוב?) במידה ולא, תצטרך להסביר לי (ולאט בבקשה) מהתחלה, למה 1 + 1 = 2 (או למה "דבר אחד" ועוד "דבר אחד" הם "שני דברים"), זה הרי קשור בקשר ישיר להגדרת ה"דבר אחד" (או, למעשה, ה"דבר"), יש דברים שגם ריבוי שלהם יוצא יחיד (סיבובים זה לא הדוגמא היחידה, מים אחד ועוד מים אחד זה לא שני מים).

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

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

אגב, מה זה "מים אחד"? אני מוכר אויר בשקל. רוצה?

--------------------------

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

יש לי מספיק אויר משלי. למעשה, אני עכשיו מנסה לפתוח עסק רווחי וחדש (תגובה 59846), ואני מקווה (בשבילך) שלא תפריע לי בעסקים.

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

"אתה באמת לא מצליח לדמיין סיבוב כקונספט?" - אני מדמיין כרגע גלגל משאית מסתובב בכיוון השעון. *אני לא מצליח* לדמיין סיבוב, בלי גלגל (או משהו דומה). *יש לי* מושג של "סיבוב בכיוון השעון" (clockwise) אבל אינני מסוגל לדמיין אותו, בלי מושא. כאלו הן מגבלות הארכיטקטורה של התבונה האנושית... [אגב, "סיבוב בכיוון השעון", הוא דבר חומרי? כן-רק-במוחם-החומרי-של-בני-האדם? ולפני 5 מיליארד שנה, כוכבים לא הסתובבו סביב עצמם?! סתם... תמיהות ישנות...]

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

"יש לי מספיק אויר משלי" - לא לא לא. אנחנו ממתגים את המוצרים שלנו אחרת לגמרי: אתה יודע, אויר-ארץ-הקודש, וכאלה. להם, תמכור מולקולות?! הם אפילו לא יודעים מה זה! אנחנו מכוונים למגזרים שונים לגמרי, אל תדאג.

----------------

מי אמר שהם יישארו, הם יהפכו לאין (יתאיינו).
תקלה חמורה בתקשורת. 60840
כמו שאי אפשר לדמיין סיבוב ללא "גלגל" לא ניתן לדמיין את משמעות 1+1=2 (או דבר ועוד דבר שווה שני דברים) ללא מספרים ממשיים.

לא ניתן לדמיין מספרים ממשיים ללא המציאות הסובבת אותנו ==> ההגדרה 1+1=2 נובעת מהבנתנו את המציאות הסובבת אותנו ==> 1+1=2 לא אפריורי.

האם היינו מפתחים את הרעיון ש-‏1+1=2 גם אם במציאות מתפוח ועוד תפוח היינו מקבלים תמיד שלושה תפוחים ?
תקלה חמורה בתקשורת. 60930
איך, בשם זרקון, הגעת מ "לא ניתן לדמיין מספרים ממשיים ללא המציאות הסובבת אותנו" ל "ההגדרה 1+1=2 נובעת מהבנתנו את המציאות הסובבת אותנו". אנחנו מבינים את המושג סיבוב גם ללא גלגל, אבל לא מסוגלים לדמיין אותה, ויזואלית. איך היינו יכולים להבין את המציאות ללא יכולת לקדד אותה?? אנחנו צריכים למשל לוגיקה, כדי להסיק מסקנות. מה שאתה אומר דומה ל "אי שם, בארץ רחוקה, חי קוף אחד, מתחת לעץ גדול. בכל פעם שהיה הקוף מתעורר, היה חוטף זבנג נוראי במצחו. יום אחד אמר לעצמו הקוף: ווי! אם היה לי הגיון וכושר היסק, הייתי מצליח להבין שעדיף לי לישון קצת ימינה, לא מתחת לענף, וכך הייתי נמנע מכאב הראש הבלתי נסבל הזה! אֲפַתֵּחַ, על-כן, כושר היסק, ויפה שעה אחת קודם!" אתה מבין? אם הקוף הבין שכושר היסק היה עוזר לו להתמודד עם בעיות, סימן ש *כבר הייתה לו יכולת היסק*.
קודם כל תיקון עצמי קטן. 60974
התכונתי למספרים טבעיים ולא למספרים ממשיים, סליחה, אבל אני מניח שהדבר לא משנה את שאלתך.

1+1=2 היא מושג מתמטי אשר נבנה על דבר אשר השתמשו בו לפני פיתוח והגדרת המושגים המתמטיים. לדבר הזה קוראים חשבון פשוט.

החשבון הפשוט הוא דבר אשר התפתח באדם בצורה הרגילה של אבולוציה של רעיונות כמו כל רעיון ומושג אנושי אחר (כמו השפה למשל). רעיונות אלו נבעו מסביבתו של האדם והאופן בו הוא תפש אותה.

כל עוד האדם הוא חלק בלתי נפרד מסביבתו עלינו להניח שרעיונותיו נובעים מן הסביבה בה הוא חי - קריא : המציאות.

האם אתה מסוגל לדמיין בכלל רעיון אנושי אשר לא נובע מהשימוש בחושים ? אני לא מכיר אפילו אחד כזה (כולל מושגים יומרניים כגון אלוהים ואינסוף).

אני מכיר את המנטרה של ליבוביץ ש 1+1=2 היא אמת ראשונית שלו אשר הוא יודע אותה בודאות רבה יותר מאמיתות רבות אחרות, אני פשוט לא מסכים.

אני לא חושב ש 1+1=2 זה אמת, אני חושב שזו "סתם" הגדרה. ההגדרה הזאת תקפה רק לשדות וישנן ישויות מתמטיות בהן אקסיומה זו אינה תקפה. זה שמשהו הוא מאוד מאוד שימושי לא הופך אותו לאמת מוחלטת.

יכול שאתה צודק בכך שהמושג טבוע בנו מלידה אך עליך להוכיח זאת תחילה. עד לזמן הוכחה שכזה אני מניח שהמושג נרכש.

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

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

אני מסוגל לדמיין סיבוב גם באופן לא ויזואלי(גם עיוורים מלידה יודעים מה זה סיבוב).

אני מסוגל לדמיין סיבוב באופן כן ויזואלי (סיבוב של סביבון).

אני מסוגל לדמיין את משמעות המושג 1+1=2 באופן ויזואלי (תפוח+תפוח=שני תפוחים).

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

אז מה ההבדל בדיוק בין שני המושגים ?

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

מאוד יכול להיות שכפי שאתה טוען (לא מקורי) שיש דברים הטבועים בנו (כמו הפוטנציאל ללמוד שפה למשל) באופן ביולוגי, אך הדבר עדיין לא מוכיח שהדוגמא הספציפית של מושג 1+1=2 טבוע בנו מלידה.

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

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

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

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

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

האם האדם יכול לטעות מבחינה לוגית ?
אני מניח שאתה חושב שכן.
האם האדם חושב באותו זמן ?
בהכרח! גם בשביל לטעות צריך לחשוב, אחרת היינו יכולים להגיד שגם קקטוסים טועים.
מכאן נובע שהאדם יכול לחשוב בצורה לא לוגית.

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

הטענות שלך עצמן הן לא לוגיות. זה נורא מצחיק לראות טענה לא לוגית ומעגלית אשר מנסה להוכיח שאין דרך מחשבה מלבד הלוגיקה.

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

אז זאת סתירה... נו אז מה ? גם השילוש הקדוש הוא סתירה... המושג הפרדוקסלי הזה הוא עדיין קיים.

ופרדוקס השקרן ?
"המשפט אותו אני אומר עכשיו הוא שיקרי."
נקרא למשפט הזה X. את X אני יכול לדמיין, להבין, להבין אפילו את הסתירה הפנימית שבו אך עדיין הוא קיים בראשי לא פחות מאשר המושג 1+1=2.

אתה מדמיין סיבוב באופן ויזואלי משום שכך אתה בוחר לעשות. ניתן לעשות זאת גם בדרכים לא ויזואליות.

לא ענית על שאלתי. האם אתה מסוגל לדמיין אפילו רעיון אנושי אחד אשר היה מתקיים גם ללא האדם היה בעל חושים לסביבתו ?

האם אדם טועה הוא אדם לא חושב ?

למען הסר ספק : גם אני חושב שישנם דברים בחשיבה האנושית אשר הם מולדים ולא נרכשים, אני פשוט לא מסכים איתך ש-‏1+1=2 וחשיבה לוגית מצויים בקבוצה זו.

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

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

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

"האם אתה מסוגל לדמיין אפילו רעיון אנושי אחד אשר היה מתקיים גם ללא האדם היה בעל חושים לסביבתו?" - בהחלט. ואבחר דווקא בדוגמא "בעייתית", שיהיה "אדרבא" למקרים אחרים: סיבתיות. ראשית, אשלח אותך ליום, שיסביר לך מדוע לא ניתן להסיק סיבתיות מהטבע. לאחר מכן, אשסע בך את קאנט, ואטען *שכדי להבין את הטבע, חייבים *להניח מראש*, סיבתיות*.
ישנם דברים שהם *תנאי לכל ניסיון הכרחי*.
לא דיברתי על אבולוציה ביולוגית. 61019
למה אתה לא שולח אותו לדמאסיו ,שהראה עד כמה הטענות של קאנט מוטעות.
לא דיברתי על אבולוציה ביולוגית. 61025
אתה מוזמן להעלות את טיעוניו. אבל, האם הם יהיו שונים מהעקיצות הפיקנטיות על דקארט, כלומר מתמקדים באמרות, דעות בשוליים וכו', או הפרכות פילוסופיות נאותות? (הנוגעות בתורת ההכרה של קאנט, ולא בנושאים שאינם קשורים לויכוחינו)
לא דיברתה 61026
ראה הערתי למעלה על צורת הכתיבה הקנטרנית שלך. כנראה שאתה בכלל לא קורא את מה שאני כותב כי כבר כתבתי בכמה תגובות אישיות אליך על דמאסיו, כמו גם לכמה מגיבים אחרים, ואפילו נתתי לינק להקדמה מהספר שלו. דמאסיו הוא אחד הניורולוגיים הנחשבים. במחשבה שניה (דבר המתאפשר כנראה רק הודות לתודעה) אולי לא תאהב אותו כי הוא לא יושב בכורסא עם מקטרת ומעלה הגיגים מרתקים.
עכשיו אתה משעמם אותי <פיהוק>. 61074
ידידי, הויכוח איתך *מעניין* אותי מאוד (אני אפילו מסכים איתך יותר משנדמה לך).
אבל דווקא כאשר אתה מפסיק להתווכח באמת ומתחיל לקטר/לדמגג(מלשון דמגוגיה) אז אני משתעמם.

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

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

המחשבה הלא לוגית והתקלות במחשב הם דברים קיימים ! המחשבה הלא לוגית היא חלק בלתי נפרד מהמהות האנושית והיא עובדתית וניתן לנהל דיון *לוגי* לגבי התנהגויות לא לוגיות.

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

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

אולי לא ניתן להסיק סיבתיות *באופן לוגי* מן הטבע, אך עדיין ניתן להסיק סיבתיות מן הטבע. האדם הלא לוגי יכול לעשות קפיצות לוגיות, זה מאוד אנושי (זאת לא אנושיות מקולקלת!). אפילו אתה חוטא בכך מספר פעמים בטיעוניך שלך.
עכשיו אתה משעמם אותי <פיהוק>. 61082
האם בכלל יש חיה כזו ''זן אמוציונלי'', מחוץ לתחום המושב הסטואי (שכולל כמובן עוד רבים וטובים)
אמוציות... 61134
הזכרתי אמוציונליות בשל החלפת דברים קודמת עם אל-אוכל-אל. בהנחה שהוא זוכר את אותה שיחה קצרה, הוא ידע למה התכונתי...

תגובה 57678
סליחה על השיעמום. 61561
אני מתנצל. פשוט לא היה לי כל-כך זמן, וניסיתי לחסוך ע"י הפניה לאותם מקומות שיענו היטב...

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

טוב, במערכת בה האופרנד "דבר אחד" והאופרטור "ועוד", מוגדרים כך ש"דבר אחד ועוד דבר אחד הם שני דברים", אכן מתקיים "דבר אחד ועוד דבר אחד הם שני דברים". במערכת בה האופרטור ועוד והאופרנד דבר אחד מוגדרים כך ש"דבר אחד ועוד דבר אחד הם חולם חסר", לא מתקיים "דבר אחד ועוד דבר אחד הם שני דברים", אלא עם כן חולם חסר הוא שני דברים. אבל זה טאוטולוגיה, זה לא אומר כלום על שום דבר, ובטח שלא על מגבלות הדימיון האנושי או על נכונותו של המשפט "1 + 1 = 2". הסבר ה"קונטיינר" היה טאוטולוגי באותה מידה (ואני מצטט ""דבר" הוא קונטיינר, כל דבר יכול להיכנס אליו"). אני מבקש הסבר ממשי למהו דבר (או מהו דבר אחד, או מהו אחד, או מהו קונטיינר), מהוא ועוד, ומהם "שני דברים", לפני זה אי אפשר לומר כלום על נכונות המשפט.

בינתיים הרווחים שלי מעסקי ממכר המולקולות אפסיים (אם כי, גם ההוצאות אפסיות), ככה שכל שחקן חדש בשטח מפחיד אותי.
---------------------------
יפה, זה בדיוק ההבדל בין הפעולה של האלקטרון-פוזיטרון לפעולה האנושית אותה תיארת.
אכן, תקלה. 60977
אתה מדבר כאן על שתי מערכות אפשריות: "מערכת בה האופרנד "דבר אחד" והאופרטור "ועוד", מוגדרים כך ש"דבר אחד ועוד דבר אחד הם שני דברים"' ו "מערכת בה האופרטור ועוד והאופרנד דבר אחד מוגדרים כך ש"דבר אחד ועוד דבר אחד הם חולם חסר"'. שתי מערכות אלה, יכולות (נניח) להיות תקפות לחלוטין, כלומר קונסיסטנטיות לחלוטין, ולכן, *פורמאלית*, לא תהיה שום סיבה להעדיף מערכת אחת על השניה. אבל, יש סיבה להעדיף מערכת אחת על השניה! והיא איננה קשורה לפורמליזם שלהן. שתי המערכות 'תקפות', אבל רק אחת 'נכונה'. רק אחת זהה לתפיסתנו את המציאות. וזו כבר טענה, שמעבר להיותה א-פריורית, היא גם סינתטית, כלומר אינפורמטיבית, על העולם (הפנימי שלנו)
אכן, תקלה. 60988
לא דיברתי על שתי מערכות, דיברתי על אותה מערכת. נסה לקרוא את תגובתי (לאור הידע החדש) ולהגיב לעניין.
אכן, תקלה. 61006
קראתי שוב, ועדיין הבנתי אותו דבר. אותה מערכת, ואחר-כך אותה מערכת, עם שינוי, שהופך אותה לאחרת. ממש כמו שציטטתי אותך. נסה להסביר בצורה אחרת.
אכן, תקלה. 61039
זאת אותה מערכת, ה"שינוי" הוא שינוי סמנטי בלבד.
ז"א האם אתה מגדיר את המושג "שני דברים" כ"דבר אחד ועוד דבר אחד", את המושג "ועוד" כאופרטור שלוקח "דבר אחד" ו"דבר אחד" ויוצר מהם "שני דברים" ואת המושג "דבר אחד" כמשהו שכאשר מתחבר עם עצמו בעזרת האופרטור "ועוד" יוצר "שני דברים"?
אם כן, אז יש כאן טאוטולוגיה משולשת, ולא אמרת כלום. ז"א שעכשיו אני יכול להחליף באוסף ההגדרות למעלה את המושג "שני דברים" במושג "חולם חסר" ושום דבר לא השתנה. רק עם תגדיר את המושגים (או לפחות, חלק מהם) שלך באופן עצמאי, יהיה למשפט "1 + 1 = 2" משמעות כלשהי. עכשיו, בבקשה, תגדיר למה אתה מתכוון שאתה אומר "דבר אחד" ולמה אתה מתכוון שאתה אומר "ועוד".
תקלה חמורה סתם. 60941
הנה הקפיצה שאתה תמיד עושה: "אני לא מצליח לדמיין סיבוב ... כאלו הן מגבלות הארכיטקטורה של התבונה האנושית".

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

(1) אה, סליחה, ענית אז שאתה מדבר על עצמך בלבד. בהנחה שתסכים שה'אנושות' (זו עם מגבלות הארכיטקטורה) שונה מ'עצמך בלבד' הרי שאתה מצוי בסתירה עצמית קשה.
תקלה חמורה סתם. 60975
צ'מע. אני מוכן להתערב איתך על מיליון דולר שאתה *לא* יכול לדמיין משולש-מרובע. אתה תמיד יכול להגיד שאתה יכול, וכך זה ישאר.

האם אתה יכול, באמת, בכנות, לדמיין סיבוב ללא מושא?

אני קורא לכל היצורים החולקים איתי תכונות מנטליות מסויימות "אנושות". אתה טוען שהתכונות הללו לא חלות עליך. טוב. אני לא אקרא לך אנושי. אז?
הרי כל הויכוח הזה טפל, משום ששנינו יודעים שאתה לא מסוגל לדמיין סתירות לוגיות, וכך יודע גם כל מי שקורא את זה. אז מה אתה מנסה לומר? שאני לא מסוגל *להוכיח* את זה? נכון מאוד. וגם עקרונית, אינני יכול. "כל הדברים הטרנסצנדנטליים אינם ניתנים להכרעה רציונלית". פשוט, משום שהם על אותו מישור כמו הלוגיקה עצמה. לא ניתן להוכיח אותם בעזרת ההיגיון. היא (הלוגיקה) לא "קודמת" (א-פריורית) להם. לכן, אני לא יכול *לדעת* איך אתה חושב. אני רק אומר שאם אתה דומה לי, כלומר, אינך אוטומט המנסה לשטות בי ולגרום לי לחשוב שאתה דומה לי, אני בוחר להניח שאתה *באמת* דומה לי, ואתה אנושי כמוני, על כל המשתמע מכך. אבל להוכיח?! אינני יכול אפילו להוכיח שאתה קיים.
''הוכחה'' ל''קיום'' 60982
הוכחה לקיומו של מאן דהו (כמה שהיא שווה בכלל) תלויה קודם כל בהגדרת המושג ''קיים'', שלא לדבר על המושג ''הוכחה''.
''הוכחה'' ל''קיום'' 61007
קיים במובן של פרמנידס, הוכחה חזקה (הידועה בשם שאני לא אוהב, אני חושב שהוא מטעה, "הוכחה אונטולוגית") כמו אצל פרמנידס. בסדר?
תקלה חמורה סתם. 60989
אני שוב שואל, אתה *באמת* לא מסוגל לדמיין את עצמך מסתובב (וכאמור, לצורך הדיון, זה מספיק)?
תקלה חמורה סתם. 61009
בוודאי שאני מסוגל לדמיין את הגוף שלי מסתובב. אפילו בעירום! מה הבעיה?
תקלה חמורה סתם. 61042
נו, אז אתה מסוגל לדמיין משהו (מעכשיו, הסיבוב שלך סביב עצמך יקרא "דבר אחד") שחיבור שלו עם עצמו (הפעולה "ועוד" עבור סיבובים היא פעולה סדרתית) לא יתן תוצאה של "שני דברים" (משום שעם תסתובב פעמיים סביב עצמך, תחזור לאן שהתחלת).
מכאן שאתה מסוגל לדמיין סיבוב, או דברים נוספים שלא מקיימים את "1+1=2", לכן אין מגבלה כזו על הדמיון האנושי, לכן אין אלגברה אחת "נכונה" (1).
-------------------------------------------
(1) בשבוע הבא, סתירת ה"הוכחה" שיש גיאומטריה אחת "נכונה", יש למה לצפות...
כן יש אלגברה אחת נכונה. 61147
אני לא אוהב שמוחקים למילים את משמעותן.

המושג אלגברה מכיל בתוכו את מושג הלוגיקה. אין משמעות למילה אלגברה ללא התשתית הלוגית שלה- קריא : הלוגיקה החזקה.

אלגברה יש רק אחת והיא מבוססת על הלוגיקה החזקה.

עובדתית (אולי בינתיים, אני לא יודע) אין כרגע יותר מאלגברה אחת ויחידה.

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

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

אני לא מסכים שאין מגבלה על הדמיון האנושי. המגבלות על הדמיון האנושי הן "מגבלות המציאות".

(ול"אל-אוכל-אל" : אין סיבה לקבוע שהמציאות מקיימת את חוקי הלוגיקה).
לא נכון (1) 61180
"עובדתית (אולי בינתיים, אני לא יודע) אין כרגע יותר מאלגברה אחת ויחידה." האם השמות האלה מוכרים לך?
"אלגברה בוליאנית", "אלגברה מרוכבת", אלגברת מודול", "אלגברת לי", "אלגברה ממשית"...
אם לא, כולן אלגברות, כולן נמצאות תחת חוקי הלוגיקה (כן, אותה לוגיקה יחידה).
-----------------------------
(1) http://mathworld.wolfram.com/Algebra.html ו
כן נכון. 61207
סוגים שונים של אלגברה הם לא "אלגברות שונות".

כמובן שכל הסוגים השונים של האלגברה נמצאים תחת חוקי הלוגיקה - זאת הפואנטה של מה ש*אני* אמרתי.

ענפים של עץ הם עדיין העץ.

אין ענף מתמטי שלא שייך ל"עץ" המתמטיקה האחד והיחיד שאנו מכירים.

שורשיו של העץ הם הלוגיקה החזקה.

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

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

השימוש השני הוא מאד ספציפי: הוא מתייחס אל מרחב וקטורי, עליו מוגדרת פעולה (בד"כ) ביליניארית. למשל, אלגבראות לי הן כאלה, עבורן הפעולה הנ"ל, הנקראת "סוגריים" (כי היא מסומנת לרוב כך:
[A,B], כיון שסימן הכפל בדרך כלל שמור לפעולה אסוציאטיבית, וסוגרי לי אינם כאלה), מקיימת בילינאריות, אנטיסימטריות\נילפוטנטיות טריויאלית (אקויולנטי תחת שדות בעלי מציין שונה משניים), ושוויון ג'ורדן, שדומה לחוק לייבניץ לגזירת מכפלת פונקציות.

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

האם המשפט הבא הוא משפט אמת ?

משפט :
יש רק מתמטיקה אחת, אין מתמטיקה אלטרנטיבית ברת קיימא ותשתית המתמטיקה היא אחת ויחידה - הלוגיקה.
ואם לסבתא היו גלגלים? 61241
ובכן, אינני בטוח. מתמטיקה זה תחום מחקר אינטלקטואלי. בחלקים שונים שלה משתמשים ברמות שונות של דיוק הגדרתי. כולם משתמשים בתשתית לוגית די בסיסית, ולא דוגלים באמפיריות. ("יש הרבה מקומות בהן זה עובד, לכן זה נכון" זו לא דרך הוכחה תקפה, אם כי יש העוסקים בלפתח תוצאות מהשערות.)
מצד שני, יש מחלוקות לגבי כמה אקסיומות, בעיקר בתחום של תורת הקבוצות. ספציפית, יש הגורסים כי אקסיומת הבחירה שווה בחשיבותה לשאר אקסיומות צרמלו, ויש שלא. אקסיומת הבחירה נמצאה כבלתי-תלויה בהן, אבל אינני מכיר התעסקות בתורת קבוצות אנטי-בחירתית, בדומה לגיאומטריה ההיפרבולית. ישנם דברים מאד חשובים, הנובעים או שקולים לאקסיומת הבחירה, כמו הלמה של שוורץ. בינתיים, התרשמתי שלפחות בפקולטה למתמטיקה בטכניון, הגישה היא pro-choice.
הבהרה. 61659
Jacobi, not Jordan.
שוויון יעקובי, נכון. אני מתנצל. 61781
משום מה אני מתבלבל ביניהם.
קובי, תביא לי 61797
אתה מתנצל?! ששרית וינו-אלעד תתנצל!
הדברים אינם עומדים בסתירה. 61822
כן נכון. 61279
זה לא "סוגים שונים של אלגברות" זה "אלגברות שונות". נכון שכולן נמצאות "תחת חוקי הלוגיקה", אבל זה לא אומר שהן זהות. לרגע לא טענתי שיש אלגברה שלא שייכת ל"עץ" המתמטיקה, רק טענתי שיש מספר אלגברות *שונות* וכולן נכונות באותו מובן (זאת אומרת, אין אפשרות לומר על אלגברה אחת שהיא נכונה יותר מהשניה), ברגע שאחת נכונה, כולן נכונות.
-------------------------------------------
אני לא יכול להניח שאתה יודע (או לא יודע) משהו, וברגע שאני כותב באייל (שהוא פורום ציבורי) אני מנסה לכתוב כך שגם מי שלא יודע מראש את הכל, יבין על מה אני כותב (הרבה יותר קל לקרוא הסבר למשהו שאתה יודע, מאשר שימוש במושגים שאתה לא מבין. בנוסף לכך, ההערה שלי כוונה למנוע תגובות בסגנון תגובה 61211 (מה גם שההערה הזו לא מדוייקת, ההגדרה לאלגברה שאני מכיר כוללת בתוכה גם את אלגברת לי וגם את האלגברה הבוליאנית).
כן יש אלגברה אחת נכונה. 61538
לגבי אלגברות אלטרנטיביות (להבדיל מהמושג המבלבל אלגברות שונות): תגובה 42360 כלומר, ייתכנו הרבה אלגברות 'תקפות', כלומר קונסיסטנטיות וחפות מסתירה פנימית, נגזרות מהלוגיקה, או במילים אחרות, מה שאני מכנה 'פורמאליות'. אולם יש רק אלגברה אחת שהיא *נכונה*, כלומר, *היא הדרך שבה אנו מסתכלים על העולם*.

"אין סיבה לקבוע שהמציאות מקיימת את חוקי הלוגיקה" - אני אהיה כמובן הראשון לתמוך בכך; חוקי הלוגיקה הם צורת ההסתכלות שלנו על העולם; איננו מסוגלים אפילו לדמיין משולש בעל ארבע צלעות. משום שהלוגיקה (חלק מהארכיטקטורה של התבונה האנושית) איננה מאפשרת לנו. מה זה אומר לגבי המציאות האונטולוגית שמחוץ לנו? שום דבר. ייתכן שאפשר שיהיו משולשים כאלו. ייתכן שאין שום מציאות אונטולוגית. אין לנו דרך לדעת: אנו שבויים בצורה בה אנו רואים את המציאות, איננו יכולים להסיר את "המשקפיים של קאנט", דרכם אנו רואים את העולם.
ובכן, מבחינה כלשהי.. 61540
הדיון על אלגבראות מודולריות בציטטה שלך שגוי, שהרי לא מדובר שם בחשבון על מספרים, אלא בחשבון על מחלקות שקילות של מספרים. מצד שני, יתכן שהרעיון של שימוש במונחים כמו מערכות שקילות וקוסטים הוא מודרני יותר מהדיון הנ''ל.
תקלה חמורה סתם. 61562
אתה כבר מדבר על ההשלכות הטכניות של ה "חיבור". יכול להיות שקניבל ועוד קניבל לא יהיו שני קניבלים, כי אחד יאכל את השני. אבל אחד ועוד אחד הם עדיין שניים, ללא קשר איך הם יסתדרו ביחד. זה כבר לא מעניין אותי, העיסוק שלי נגמר ברגע שחיברתי ביניהם. לוגית, לא פיסית.
לוגית, 'סיבוב' ועוד 'עצמי' הם עדיין שני דברים, גם אם בפועל, הם יתמזגו לאחד. אבל זה החלק הטכני. הוא מגיע *אחרי*, ואני כבר הלכתי... מה שקורה אחרי האלגברה, הוא כבר סיפור אחר לגמרי...
תקלה חמורה סתם. 61612
שוב, לא הבנת. ככה זה שאתה כל כך משוכנע שאתה צודק, עד שכשמראים לך את הטעות שלך, אתה פשוט מכבה את יכולת ההבנה שלך, הפכת את הצמד קאנט-שטיניץ לדת.
החיבור אינו פיזי, הוא לוגי. והוא לא בין סיבוב לעצמי, אלא בין שני סיבובים סביב עצמי.
קשה לי להיות יותר ברור, אתה מתעקש לא להבין את מה שאני כותב שחור על גבי כחול. כתבתי במפורש "חיבור שלו עם עצמו", http://www.haayal.co.il/reply.php3?id=748&rep=61... , איך, למען השם, אפשר להבין את זה כחיבור שלו עם משהו הפוך (כמו, שמשום מה, הבנת בהתחלה) או חיבור שלו עם משהו שונה (כמו שהבנת עכשיו).
לפעמים דברים הרבה יותר פשוטים ממה שאתה מנסה לעשות מהם.
חיבור של סיבוב סביב עצמך עם עוד סיבוב סביב עצמך, נותן סיבוב סביב עצמך (לא, לא מדובר על חיבור פיזי, מדובר על חיבור לוגי!, אין כאן שום "חלק טכני", יש כאן דמיון נטו). כמו שחיבור של פניה ימינה, ועוד פניה ימינה, ועוד פניה ימינה, ועוד פניה ימינה לא יתן 4 פניות ימינה, אלא אפס פניות.
ברגע שחיברת שני דברים שמתחברים ככה שסכומם יהיה שני דברים, הם יהיו שני דברים. אבל זאת טאוטולוגיה. למה אני צריך לחזור על עצמי, אמרתי את כל הדברים האלה למעלה.
תקלה חמורה סתם. 62293
אוח, לא צריך להשמיץ...
ראשית, כבר שיניתי את דעתי בעבר (שהייתה, ככל הנראה, קרובה לשלך, וכללה את השילוש הקדוש: אמפיריציזם, דטרמיניזם, מטריאליזם), ולומר דווקא עלי שאני דוגמאטי, זה נראה לי שגוי מאוד.
לעניין: זה לא משנה, לצורך העניין, אם אנו מדברים על סיבוב בכיוון-השעון, ועוד סיבוב נגד-כיוון-השעון שווה אפס (ואז, כביכול, 0 = 1 + 1) או שני סיבובים סביב עצמי, המסתכמים, מבחינה מסוימת (מיקום. אבל הסחרחורת תעיד שהיה פה משהו ללא ספק, והוא בהחלט לא אפס...), באפס.

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

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

ושוב, "חיבור של סיבוב סביב עצמך עם עוד סיבוב סביב עצמך, נותן סיבוב סביב עצמך", נכון ברובד שונה לחלוטין ממה שאני מדבר עליו. השימוש במילה 'טכני' היה כנראה מטעה, אבל לא הצלחתי לנסח את ההבדל העקרוני הזה אחרת. ננסה שוב: x + x = 2x תמיד, גם כאשר 0 = x. למעשה, זה בכלל לא קשור כמה x שווה, *זה שייך לקטגוריה אחרת בכלל*, זו הייתה הרגשתי, ואותה ניסיתי לנסח בדוגמאות. מקווה אני שהצלחתי יותר הפעם :-)
עצוב 62358
כמו כל "חוזר בתשובה" (מישהו אמר שטייניץ?), אתה משוכנע ש"גילית את האור", ושמה שאמנת בו קודם הוא מאין "חושך" וכל מי שעדיין מאמין בזה טועה, ומספיק להראות לו את טעותו (כמו שהראו לך), על מנת שיקבל את האמת הטהורה. דבר נוסף שמאפיין חוזרים בתשובה הוא האמונה שכל מי שלא מאמין במה שהם מאמינים עכשיו, מאמין במה שהאמינו בעבר ("...שהייתה, ככל הנראה, קרובה לשלך..."). להבא, נסה לקרוא את התגובות להן אתה מתייחס, לפני שאתה ממהר לשלול אותן כהשמצות.
אתה לא טוען ש"כל 'דבר', ועוד 'דבר', יתנו 'שני דברים"' בלבד, אלא רק דברים שמתחברים כך שיתנו 'שני דברים' (ושאר הדברים אינם דברים?), ולכן זו טאוטולוגיה (כמו לומר ש"מונסה ועוד שרנה הם ברנו" בעולם בו "ברנו" הוא "מונסה ועוד שרנה"), לכן אני פונה אליך (בפעם האלף) בבקשה להגדיר "שני דברים". אין רע בטאוטולוגיה, אבל אי אפשר לגזור ממנה משהו על מגבלות התבונה האנושית (אם נחזור למטרתך המפוספסת).
x+x = 2x תמיד? האמנם? הרי, זה מהות הדיון ביננו. עליך להגדיר 2x וכאשר האלגברה לא נותנת להגדיר 2, ובטח שלא מכפלה של מספר טבעי באיבר אלגברי (עזוב סיבובים, נסה אלגברה בוליאנית, 2*{אמת}? פשות לא מוגדר). זה לא תלוי כמה x שווה. זה תלוי מהו x, מהו 2 ומה משמעות המכפלה 2x (אם יש כזו). אתה עדיין חי באותה אלגברה, ומנסה להוכיח שהיא נכונה, ע"י שימוש בדוגמאות ממנה (ראה הפיסקה הראשונה).
נזכרתי 62537
1. עד כמה שידוע לי, "פשות" זה לא מילה בעברית, רציתי לכתוב "פשוט". התנצלות כנה לכל מי שניסה לקרוא.
2. כל הפרטים האלה לא חשובים, את ההוכחה שלי אפשר לנסח רק על סמך הפרטים עליהם הסכמנו. אתה מסכים שאתה יכול לדמיין סיבוב (סביב עצמך). אתה מסכים שקיים חיבור מסויים כך שחיבורו של סיבוב עם עצמו יתן סיבוב (מבחינה מסויימת, אבל כמו שיוסבר בהמשך, זה מספיק), ושגם פעולה זו (החיבור) אינה מוגבלת ע"י הדמיון האנושי. כך שאתה מסכים שאפשר להגדיר פעולה של חיבור ופעולה של שיוויון, כך שניתן יהיה לדמיין אותן, ולא עונות להגדרות של האלגברה ה(כביכול) נכונה. מכאן שאין מגבלות (של הדימיון האנושי) שקובעות איזה אלגברה נכונה. מש"ל.
נזכרתי 62538
האמת ש"פשות" (PASHOT) זו אולי כן מילה בעברית (לפחות עד שנוקדנים יאמרו אחרת) "התופעות הנלוזות שפשות (כתיב חסר?) בארצנו".
תודה 62540
כל יום לומדים משהו...
נזכרתי 62564
אולי POSOT (כתיב חסר מאוד), ודאי שלא PASHOT.
נזכרתי 62567
כן כמובן.
נזכרתי 62586
אה, בעצם לא POSHOT?
לא 62786
נסיון 2 62587
peshot, כרבים של "פשה" (pesha), שהוא סוג של פקיד(?) עותומאני שלפעמים גם כותבים "פחה". למשל: סולימאן פשה.
נסיון 2 62792
המילה הלועזית היא Pasha ולא Pesha. המילה העברית היא אכן "Pecha", אך מקורה אינו בשם Pesha. למעשה, היא מופיעה כבר בספר מלכים (אם כי היא מוכרת בעיקר מספר נחמיה). הרבים - פחות (בפתח).
נזכרתי 65408
2. או! הנה דוגמא נהדרת לבעיית "השפה-הלא-מדעית" עליה אני מדבר: חיבור. ה "חיבור" שאתה מדבר עליו (כמו גם "חיבור" שתי קעריות מים לתוך קערה יחידה, גדולה) שונה מאוד מהחיבור של "כל 'דבר', ועוד 'דבר', יתנו 'שני דברים". הנה כאן, אנו משתמשים באותה מילה למשמעויות שונות. הבדלתי בעבר בין המשמעות ה 'טכנית' (של הסיבוב, או המים) שהוא חיבור הקשור לתכונות הדבר בפועל, ובין המשמעות הלוגית שאינה תלויה בתכונות האובייקט שלה (אגב, גם עקרון הקומפריהנסיה, המגדיר 'קבוצה' כל מס' דברים בעלי מכנה משותף, הוא טאוטולוגיה? הנה הגדרתי כל דבר שיש עוד אחד, ולא יותר, כשייך לקבוצת 'שני הדברים')
יפה, נמשיך אם כך 65417
לא דיברתי על קעריות מים (בהמשך אני אחזור לקעריות וגדלן, יש למה לחכות...), דיברתי על מים, הדבר שזורם לך מהברז, מה שפעם היה בכנרת והיום נמצא בבקבוקים ובים.

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

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

טוב, אחרי שצחקנו, אני נמלא אופטימיות, כי ייתכן שמצאתי את הסיבה לאי-ההסכמה בנינו. קצר בתקשורת! בדיוק במשפט "אתה לא טוען ש "כל 'דבר', ועוד 'דבר', יתנו 'שני דברים"' בלבד, אלא רק דברים שמתחברים כך שיתנו 'שני דברים' (ושאר הדברים אינם דברים?)". והרי זה דווקא בדיוק מה שאני טוען: פשוטו כמשמעו, "כל 'דבר', ועוד 'דבר', יתנו 'שני דברים"'.
לגבי x + x = 2, נראה לי כי לא יהיה מסובך מדי להסביר כיצד מחשב, שבנוי על בסיס האלגברה הבוליאנית [שמיותר לציין שאינני טוען שהיא שגויה, ההגדרה שלי לאלגברה אלטרנטיבית שונה משלך, וכבר היה לך ויכוח דומה עם אביב ישראל. זה רק עניין של מילים, לדעתי אנו פשוט חווים קצר בתקשורת. 'אלגברה אלטרנטיבית', לשיטתי, היא למשל זו: תגובה 42360] מציג לך את התשובה לשאלה: כמה זה 1 + 1.
''אל תרקוד'' 65419
אני שמח שאתה נהנה, אבל בדיון אמיתי (להבדיל מהחזרה בתשובה), יש צורך להקשיב לטיעוניו של הצד השני ברצינות. לאחר שהפלתי את טענת ה"אלגברה הנכונה" פעם אחר פעם, עליך להודות בטעות, או להביא טיעונים חדשים (שיעמדו) על מנת להוכיח את נכונות טענתך. הדעה הקודמת שלך לא דמתה לנוכחית שלי, והדעה הנוכחית שלך לא דומה לשלי, החיים הם לא שחור ולבן.
אני שמח לשמוע שנותר בך שמץ של ביקורת כלפי שטייניץ.

טוב, אתה רוצה לחזור להתחלה, מהו 'דבר' מהו 'ועוד' ומהו 'שני דברים'? האם תוכל להגדיר אותם באופן בלתי תלוי?

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


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

לגבי שטייניץ, מה כל-כך רע בכך שיש לי פילוסוף "מועדף" שאני מסכים עם רוב דעותיו?! [יש לי הרבה ביקורת על הפילוסופיה שלו, אפילו כתבתי חוברת כזו] ודווקא מניתי מספר רב של מקורות לגישה המיוחדת שלי (אחדים מהם הם אפילו פוזיטיביסטים-לוגיים, כמו קרנפ, ויטגנשטיין, מאך וראסל). יש לי תכונה יעילה, לקרוא דווקא את הדעות ההפוכות לי (הסיפור המרגש כאן: תגובה 57152) בכדי להימנע מדוגמאטיות.
אני לא רוקד, אני לא רוקד, כשעצוב 65609
מה זה אלגברה?
באותו דיון שהיה לי עם אביב ישראל (תגובה 61147) הבאתי לינק להגדרה של אלגברה, מכאן (מהלינק) אפשר להבין שאלגברה היא דבר מוגדר היטב, והאלגברה הבוליאנית שונה (באופן מובהק) מזו של המספרים הטבעיים או הממשיים(בדוגמת המחשב שהבאת לי, האם מחשב יכול לתת את התוצאה של 1/3? והאם מחשב יכול באמת לחשב 1 + 1 רק עם אלגברה בוליאנית, או שהוא צריך בשביל זה מעין מרחב ווקטורי מעל האלגברה הבוליאנית?). כשאני אומר אלגברה אני מתכוון למשהו שהוגדר היטב, כאשר מדברים על שפה מדוייקת צריך לקבל את הגדרת הרוב (ז"א רוב בעלי הידע בתחום), במידה וההגדרה שלו שלמה, סגורה, מדוייקת וחד משמעית, מאחר שאני מביא איתי את ההגדרות התקפות ע"י ציבור המתמטיקאים המדענים והמהנדסים, ואתה מביא איתך את הגדרתו (הלא סגורה, מדוייקת וחד משמעית) של אחד שטייניץ (שאליו אחזור בהמשך התגובה), פילוסוף בגרוש, מן ההגינות שתיסוג.

אני לא רואה את עצמי כמטריאליסט ולא כדטרמיניסט, אני אולי אמפיריזיסט באופן חלש.

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

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

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

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

גלעד

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

"המשפט אותו אני אומר עכשיו הוא משפט שיקרי !"

כבר לא צריך לדמיין יותר מדי, זה נמצא מול עיניך שחור על גבי אייל.

כמו שכבר אמרתי, אני מבין את המשפט, אני מבין את הסתירה הלוגית שבו, אני מבין את משמעותו לפחות כמו שאני מבין את משמעות המילה תפוז ==> המשפט ומשמעותו נמצא במוחי ובכל זאת המשפט יוצר סתירה לוגית.
סליחה על ההתערבות... 61571
(אני מעדיף לשמור את המונח 'לדמיין' וויזואליות בלבד. מעבר לכך נראה לי נכון להשתמש במילה 'לחשוב')

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

למשפט אין משמעות לוגית מבחינת *הלוגיקה החזקה*. רק כאשר מפעילים עליו את עקרון חוקי הלוגיקה החזקה (The absent middle) למשפט אין משמעות.

אבל אם מפעילים עליו את דרך המחשבה *הטבעית* יותר של האדם, דרך המחשבה של ה-COMMONSENSE למשפט הנ"ל יש משמעות מאוד פשוטה.

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

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

כל מה שהאדם חשב עליו, יש לו משמעות מבחינת האדם. גם גם אם זאת רק משמעות רגשית (למשל).

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

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

"אבל אם מפעילים עליו את דרך המחשבה *הטבעית* יותר של האדם, דרך המחשבה של ה-COMMONSENSE למשפט הנ"ל יש משמעות מאוד פשוטה. יש שקרן והוא אומר משהו" - נו, אבל זה רק חצי מהמשפט. והקושי שלך להמשיך אותו, ולהסביר את משמעותו, הוא בדיוק הדבר אליו אני מכוון; אין לזה שום משמעות. ולכן הוא אינו יכול להיות "חלק ממחשבתו של האדם". אפילו לא שלך.
אינני מעוניין כלל להוכיח שהלוגיקה קונסיסטנטית עם עצמה. רק להסביר שאיננו יכולים לדמיין משולש בעל ארבע צלעות‏1, ואת הסיבה לכך. אשמח לשמוע על סיבה טובה יותר.

-----------------------

1 ושאר סתירות לוגיות.
סליחה, 60839
דבר אחד ועוד דבר שני הם שני דברים *בהכרח* רק מעל שדה F.

1+1=2 הוא לא אמת מוחלטת, זאת פשוט הגדרה מתמטית אשר הוגדרה על מספרים ממשיים תחילה ואז הורחבה לשדות נוספים.

הגדרת מושג עובדת רק לגבי קבוצת המושגים לגביהם היא הוגדרה.

קבוצה ריקה אחת ועוד קבוצה ריקה שנייה היא קבוצה ריקה אחת.

עדיין לא הוכחת שההגדרה 1+1=2 היא מולדת ולא נרכשת. אלו אשר סבורים ש-‏1+1=2 הוא מושג נרכש, ידם על העליונה בדיון זה.
סליחה, 61010
ההגדרה המתמטית מבטאת יחס הצרוב בתודעתנו. ממש כמו שחוק הזהות A=A, לא דן בשני מופעים של האות הראשונה בשפה האנגלית.

"הגדרת מושג עובדת רק לגבי קבוצת המושגים לגביהם היא הוגדרה" - זה משפט לוגי יפה, שללא תלות בשאלה האם הוא נכון או שגוי, הוא מניח את הלוגיקה, הקודמת לו. 2 = 1 + 1 א-פריורי, והלוגיקה אינה קודמת לו.

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

לכן אוסיף ואציין שגם הלוגיקה נובעת מעצם קיומינו (לא נרכשת)
אחלה ! 61013
אתה מוכיח ע''י הלוגיקה שרק הלוגיקה קיימת בתודעה האנושית.
אולי זה דבר קונסיסטנטי מאוד משום שהוא מוכיח את עצמו, אבל זה לא מחדש שום דבר.
אחלה ! 61022
האמת, זה נכון במובן מסוים. לא ניתן, בעזרת הלוגיקה לפתח לוגיקה אלטרנטיבית. אין, ולא יכולה להיות לוגיקה אלטרנטיבית, ולא שלא ניסו. בספר הזה של שטייניץ (שהחלום הכמוס שלי הוא שמישהו מהאיילים יקרא אותו, ואז יהיה לנו דיון על הספר) שאני ממליץ עליו כל הזמן, ''לעולם תהא המטאפיזיקה'', יש דיון יסודי ומרתק בסוגית הלוגיקות האלטרנטיביות.
אחלה? לא כל כך 61024
ממש מסכן, אין לך עם מי להתדיין. מה רע שכל אחד קורא דברים אחרים ובצורה כזו יכול לשים על השולחן נקודות מבט אלטרנטיביות?
אחלה בחלה. 61580
אין לי עם מי להתדיין?! אין לי זמן לענות לכל התגובות.
אני חושב שזה נפלא שכל אחד קורא דברים אחרים ובצורה כזו יכול לשים על השולחן נקודות מבט אלטרנטיביות. בדיוק בגלל זה הצעתי עוד נקודת מבט אלטרנטיבית, וכזו טובה לדעתי. פשוט, אין לי זמן ויכולת לנסח את הרעיונות הכתובים בספר טוב כפי שהם כבר נוסחו, ונראה לי שקריאה משותפת תוכל ליצור לא נקודת מוצא זהה (שהרי הספר לא ישכנע, סביר להניח, את רוב אמפיריציסטים-מטריאליסטים), אלא להיפך, יעשיר מאוד את הדיון.
אחלה בחלה. 61596
כן, הלוואי והזמן היה עשוי כגומיה (וגם חשבון הבנק באותה הזדמנות)
לוגיקה ? 61135
האם כאשר אתה אומר לוגיקה, אתה מתכוון ללוגיקה החזקה ? אתה יודע, זאת של אריסטו (כביכול) עם ה- The absent middle ?

אם כן, SAY SO ונמשיך...
אם לא, אנא פרט את משמעות המילה לוגיקה...
לוגיקה ? 61582
איזו עוד משמעות יש ללוגיקה? (כמובן, בשיפורים המתבקשים במהלך הזמן[לייבניץ])
סליחה, 61014
למשפט 1+1=2 אין שום משמעות ללא לוגיקה.
סליחה, 61023
שגיתי, המשפט חייב להניח את הלוגיקה. הייתי פזיז מדי, ואני מנסה לענות ליותר מדי אנשים, יותר מדי מהר.
סליחה, 61044
איפה קראת על "משל" שכלל סיבוב נגדי?

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

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