בתשובה לעוזי ו., 23/03/03 7:24
כי לפעמים גם קורה שלא. 136998
רומנטיים? אני מודה שזו לא מילה שציפיתי לקרוא. למה אתה מתכוון?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

> ואיך אתה מוכיח את הטענה (המתמטית)?

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

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

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

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

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

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

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