בתשובה לאלון עמית, 21/07/04 18:00
 |
|
 |
||
|
||||
 |
 |
 |
 |
|
|
|
||
|
||||
|
או במילים אחרות - מה זה? האם זה ההנחה או ככה, או לא ככה? | |
|
|
|
|
|
||
|
||||
|
''מודוס פוננס'' זה כלל הגזירה ''אם (א וגם (א גורר ב)), אז ב''. | |
|
|
|
|
|
||
|
||||
|
זה כמו עם לואיס קרול והצב ( שכחתי שקוראים לזה ככה). תודה. | |
|
|
|
|
|
||
|
||||
|
איזה צב? ה- Mock turtle? הגיע הזמן שאני אקרא שוב את הספר, אם אני לא זוכר? | |
|
|
|
|
|
||
|
||||
|
|
|
|
|
|
|
||
|
||||
|
כן, בגלל זה הזכרתי את הצב בתגובה 234908. למי שלא מכיר, זה הולך בערך כך: אכילס: ב'. צב: למה? אכילס. כי א'. צב: נו אז? אכילס: כידוע, אם א' אז ב'. צב: נו אז? אכילס: רגע! אתה מסכים ש-א'? צב: כן. אכילס: ואתה מסכים שאם א' אז ב'? צב: כן. אכילס: נו....???? צב: אז אתה מציע לי כלל: אם א', וגם (אם א' אז ב'), אז ב'. זה כלל נחמד. נקרא לו ג'. אכילס: ואתה מקבל את ג'? צב: כן, למה לא? זה הגיוני. אכילס: יופי! אז עכשיו אתה מסכים ש-ב'? צב: לא. למה? אכילס: אתה מסכים ש-א', וש-(אם א' אז ב'), וגם את ג' אתה מקבל, ואתה עדיין מסרב? מה אתה, אודטה? צב: המממ. עכשיו אתה מציע כלל חדש: אם א', וגם א'->ב', וגם ג', אז ב'. נחמד. אולי נקרא לזה ד'? (וכן הלאה אד נוזיאום). |
|
|
|
|
|
|
||
|
||||
|
עוזי צודק. ההנחה שאתה נתת כאן היא כלל השלישי הנמנע (Excluded middle) ואותה האינטואיציוניסטים *לא* מקבלים. | |
|
|
|
|
|
||
|
||||
|
אבל את מודוס פוננס, למיטב ידיעתי, הם כן מקבלים. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש והצהרת נגישות
|
© כל הזכויות שמורות |