בתשובה לדורון שדמי, 27/10/05 1:41
The axiom of extensionality שאלה פשוטה 341184
תיקון להודעה קודמת:

3. הסבר נא מדוע {{1},{2}} אינה מקיימת את אקסיומת ההיקפיות?

תודה.
The axiom of extensionality שאלה פשוטה 341188
תוספת לתיקון:

3. הסבר נא מדוע {{1},{2}} אינה מקיימת את אקסיומת ההיקפיות?

כך בחשבון כי כתבת, ואני מצטט "בעצם *ההגדרה* של {a,b} יש שימוש באקסיומת ההקפיות"

{a,b} הינה צורה כללית המייצגת בין השאר את {{1},{2}}, אז הסבר נא איך {{1},{2}} אינה מקיימת את אקסיומת ההיקפיות וגם מבוססת על הגדרה המשתמשת באקסיומת ההקפיות ?
The axiom of extensionality שאלה פשוטה 341192
נראה לי שכאן הגענו למבוי קצת סתום. אני לא מבין את השאלה שלך. מה שאני כן מבין הוא שאתה צריך ללמוד קורס בסיסי בלוגיקה מתמטית כדי להבין שהשאלה שלך חסרת הגיון.
אין שום סתירה במה שאמרת. משתמשים באקסיומה כדי לבנות מודל שבו האקסיומה הזו אינה מתקיימת. אין בכך שום סתירה.
The axiom of extensionality שאלה פשוטה 341266
"נראה לי שכאן הגענו למבוי קצת סתום. אני לא מבין את השאלה שלך. מה שאני כן מבין הוא שאתה צריך ללמוד קורס בסיסי בלוגיקה מתמטית כדי להבין שהשאלה שלך חסרת הגיון."

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

אינך חושב כי יש סתירה בסיסית במתן תשובה קטגורית לשאלה שאינך מבין?

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

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

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

נתחיל:

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

לדוגמא, אם נתונים {a,a,b} ו- {a,b}, אז אנו משתמשים באקסיומת ההיקפיות כדי לקבוע את היחודיות של קבוצה עפ"י איבריה, אך לשם כך אנו משמיטים איברים יתירים ללא השימוש באקסיומה אלא ע"י היכולת המובנית שלנו להבחין בין זהה לשונה, ובכך אנו "מכשירים את הקרקע" כדי לקבוע את היחודיות של קבוצה עפ"י איבריה, וזאת ללא השימוש באקסיומת ההיקפיות.

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

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

עתה נשוב לניסוחים הסותרים שלך במהלך הדיון ביננו, ואבקש את הבהרותיך:

1.אם אתה אומר שאקסיומות ZF אינן מגדירות דבר, אז למה אתה מתכוון כאשר אתה כותב: "בעצם *ההגדרה* של {a,b} יש שימוש באקסיומת ההקפיות" ?

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

2.אתה טוען:"ההגדרה של זהות ושוני בין איברים לא קשורה לאקסיומת ההקפיות."

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

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

3. הסבר נא מדוע {{1},{2}} אינה מקיימת את אקסיומת ההיקפיות?

כך בחשבון כי כתבת, ואני מצטט "בעצם *ההגדרה* של {a,b} יש שימוש באקסיומת ההקפיות"

{a,b} הינה צורה כללית המייצגת בין השאר את {{1},{2}}, אז הסבר נא איך {{1},{2}} אינה מקיימת את אקסיומת ההיקפיות *וגם* מבוססת (כדבריך) על *הגדרה* המשתמשת באקסיומת ההקפיות ?

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

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