![](/img/cornr_br.png) |
מה שצפריר אמר. וחוץ מזה, יש לי עוד דוגמא לכך שישויות מתמטיות הן אובייקטיביות. נניח שמתגלגל לידך דף וכתוב שם: "להארי פוטר יש שיער שחור". אין לך שום דרך לדעת שזה נכון. למעשה אין פה "נכון": יכולים להיות 2 דפים סותרים, באחד כתוב "שיער שחור" ובשני "שיער ברונטי", ושניהם יהיו נכונים. לעומת זאת, אם מתגלגל לידך דף בו כתוב: "היקף מעגל הוא 2Pi כפול הרדיוס" זה יכול להיות נכון או לא נכון - ואתה יכול לבדוק את זה באופן עצמאי ובלתי תלוי (אני מקצר כאן, צריך להכיר מי זה הארי פוטר ומה זה היקף וכו' וכו' אבל הרעיון ברור).
בקיצור: זה שההיקף של מעגל הוא כך וכך - זו אמת אובייקטיבית (או שגיאה אובייקטיבית). צבע השיער של הארי פוטר - לא.
אגב, אם פילוסוף מתחכם ואומר "כן, אבל מה אם כתוב בדף שבסרט השלישי של הארי פוטר, יש לו שיער חום - את זה כן אפשר לבדוק באופן אובייקטיבי!" ובכן, התשובה היא שהסרט השלישי של הארי פוטר הוא משהו פיזיקלי, ולכן אפשר לבדוק את התכונות שלו באופן אובייקטיבי ופיזיקלי לגמרי (לצפות בסרט). לעומת זאת הדמות הארי פוטר היא דמות בדיונית ואי אפשר לבדוק את התכונות שלה. וכך גם לרוב האובייקטים הבדיוניים. אובייקטים מתמטיים הם יוצאי דופן. יכול להיות פילוסוף מתחכם אחר שיגיד: "כן, אבל יש מקרים מחוץ למתמטיקה של תכונות אובייקטיביות לדברים בדיוניים. למשל, לחד קרן יש בדיוק קרן אחת, לא פחות ולא יותר1". אז אני אגיד: נכון, זוהי בדיוק משפט מתמטי2: משפט שיכול להיות נכון או שגוי על סמך הנחות היסוד. המשפט "לחד קרן יש בדיוק קרן אחת" הוא משפט מתמטי (משפט טריוויאלי, אבל עדיין..)
1 אולי יש חדי קרן שעברו מוטציה, ונולדו עם קרן נוספת, או בלי קרן בכלל? מישהו יודע? 2 אולי יותר נכון להגיד משפט לוגי?
|
![](/img/cornr_bl.png) |