בתשובה לGod eat God, 16/08/02 17:51
"היא עוסקת בעולם שיש בו קבוצות"? 85494
דובי קננגיסר • בתשובה לGod eat God יום ו', 16/8/2002, 22:58
שים לב:
"לוגיציזם: ההשקפה לפיה המתמטיקה היא גוף של טאוטולוגיות שניתן להסיקן מתוך מערכת של אקסיומות לוגיות לחלוטין."

הייתי טורח לנסות להבין מה זה אומר אם היה אכפת לי, אבל לא, אז לא.
"היא עוסקת בעולם שיש בו קבוצות"? 85525
God eat God • בתשובה לדובי קננגיסר שבת, 17/8/2002, 1:23
מה לא ברור כאן?

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

ובכל זאת, נסביר את המשפט:
אם כל הטענות האנליטיות (המתמטיקה, למשל) הן טאוטולוגיות, הרי שניתן לעשות רדוקציה מלאה של המתמטיקה ללוגיקה ללא שום צורך בשום טענות מטאפיזיות, שאתם הפוזיטיביסטים שוללים (בהנחה שאתה אמפיריציסט-פוזיטיביסט, אסכולה שנעשתה הרבה פחות פופולרית מאשר בתחילת המאה).
מה לא ברור כאן? מממ... 85536
העלמה עפרונית • בתשובה לGod eat God שבת, 17/8/2002, 2:05
חצי מהמילים בתור התחלה. והפעם אני אפילו לא יכולה להאשים את העובדה שיש לי חסך רציני בשעות שינה ושאני אפוצה לחלוטין.

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

נו טוף,אני אתמודד עם זה.

_______
העלמה עפרונית, בפרץ חשיפה מרגש, עדיין מחפשת בית לשלושה חתולים.
מה לא ברור כאן? מממ... 85542
God eat God • בתשובה להעלמה עפרונית שבת, 17/8/2002, 4:11
אה, טוב, נו. בשביל זה היה הקישור ל xrefer קודם לכן. לא ניסיתי להיות במקומו.

וההסבר שלי היה לדובי, שאני *יודע* שהוא מכיר ומשתמש במילים 'טאוטולוגיות' ו 'מטאפיזיות', שאלו המילים הקשות לדעתי, בהסבר. (המילה הקשה הנוספת 'האנליטיות', שהיא אולי הקשה מכולן, הוסברה כאן: תגובה 58018)
whatever 85543
העלמה עפרונית • בתשובה לGod eat God שבת, 17/8/2002, 4:21
____
העלמה עפרונית, עדיין מחפשת בית לשלושה חתולים. וגם עבודה באזור הנגב. יש הצעות?
whatever 85545
ארז לנדוור • בתשובה להעלמה עפרונית שבת, 17/8/2002, 4:45
לגבי החתולים, אני אשלח לך דוא''ל.
מה לא ברור כאן? מממ... 86153
עוזי ו. • בתשובה לGod eat God יום ב', 19/8/2002, 20:55
"לוגיציזם: ההשקפה לפיה המתמטיקה היא גוף של טאוטולוגיות שניתן להסיקן מתוך מערכת של אקסיומות לוגיות לחלוטין."

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