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