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