בתשובה להאייל הצעיר, 08/09/05 23:50
מחשבות טרחניות על אקסיומת הקיום של ZF 328508
''היא קיימת לפני שהגדרנו אותה. האקסיומה פשוט ''מספרת'' לנו על זה.''

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

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

העניין הוא שהאקסיומה לא יוצרת שום דבר. היא טוענת טענה.
מחשבות טרחניות על אקסיומת הקיום של ZF 328518
"העניין הוא שהאקסיומה לא יוצרת שום דבר. היא טוענת טענה"

כן , והטענה היא טענת קיום של קבוצה שאין בה כל איברים.

טענת הקיום כפי שהיא מנוסחת ב-ZF , איננה יכולה להניח שקיימת קבוצה כזו טרם הטענה, ושהטענה רק מספרת לנו על קיומה שאינו תלוי בטענה.

אם אתה מקבל את קיומה של הקבוצה-הריקה במנותק מאקסיומת הקיום שלה, אתה אפלטוניסט.
מחשבות טרחניות על אקסיומת הקיום של ZF 328519
"איננה יכולה להניח שקיימת קבוצה כזו טרם הטענה" - והיא לא עושה זאת.

"ושהטענה רק מספרת לנו על קיומה שאינו תלוי בטענה" - אין לי מושג מה אמרת.

"אם אתה מקבל את קיומה של הקבוצה-הריקה במנותק מאקסיומת הקיום שלה" - אני לא. או אם לדייק: אני לא *מתבסס* על קיומה של הקבוצה הריקה במנותק מאקסיומת הקיום שלה.

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

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