בתשובה להאייל הצעיר, 22/09/05 20:45
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת אומגה) 331739
דורון שדמי • בתשובה להאייל הצעיר יום ה', 22/9/2005, 22:57
"העניין הוא שהטענה "לכל קבוצה x מתקיים..." לא גוררת את הטענה לפיה יש בכלל קבוצה!"

אם מישהו טוען טענות כנ"ל, זה לא גורר שיש לו מה לטעון.
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת אומגה) 331766
האייל הצעיר • בתשובה לדורון שדמי יום ו', 23/9/2005, 8:49
אתה טוען שבכך שאנו אומרים ש"לכל x מתקיים..." אנחנו מניחים שיש קבוצות. לכן באקסיומת הקיום של הקבוצה הריקה אסור להשתמש בכמת "לכל".

הטעות שלך היא שהכמת "לכל" יכול לרוץ גם באופן ריק. גם אם אין קבוצות, ניתן לטעון ש"כל קבוצה היא קוביה הונגרית". יתרה מזאת - זאת תהיה טענה נכונה לחלוטין.
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת אומגה) 331781
עומר • בתשובה להאייל הצעיר יום ו', 23/9/2005, 10:30
ד"א, בלוגיקה האריסטוטלית, אם אני זוכר נכון, זה היה אחרת: טענת "לכל..." כללה בתוכה גם טענת "קיים לפחות אחד...". נדמה לי שבימי הביניים התחוללו ויכוחים די סוערים סביב הנקודה הזו.
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת אומגה) 331807
דורון שדמי • בתשובה להאייל הצעיר יום ו', 23/9/2005, 15:59
אתה מתעלם מעקרי דברי שהם:

הכמת "לכל" איננו אלא שלוחה של תודעתנו, ואין לו קיום במנותק מתודעתנו.

אנו יוצרים את הכמת "לכל" ואנו גם יוצרים את "זירת הריצה" שלו.

במקרה של אקסיומת הקיום של ZF "זירת-הריצה" היא *לא פחות* מקבוצות, ומושג הקבוצה אינו ניתן להבנה ללא שני המצבים ההכרחיים שהם:"ריק"/"לא-ריק".

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