בתשובה להוגג, 29/04/10 1:52
סוף הדרך 541870
זכור שהמשפט הלא יכיח של גדל עצמו נבנה באופן קונסטרוקטיבי. זה בכל מקרה לא משנה כלום - אם יש משפט "שלא ניתן לדעת" X, אז אריק ובנץ חוזרים על התעלול שתיארתי עם X.

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

אני חושב שלב העניין הוא במשפט הזה שלך:

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

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

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

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