עקרון השלישי הנמנע – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
טרול רפאים (שיחה | תרומות) קצת על הקשר לערור יסודות המתמטיקה, אם מישהו יודע יותר, שירחיב |
מאין תקציר עריכה |
||
שורה 4:
חשוב להבדיל בין עיקרון זה, שאומר שהטענה "<math>\ X</math> נכון או ש<math>\ X</math> אינו נכון" היא אמיתית, ובין העקרון האומר ש-<math>\ X</math> חייב להיות נכון או לא נכון, אך לא שניהם, ובין העקרון שאומר שהטענה "<math>\ X</math> נכון וגם <math>\ X</math> לא נכון" היא שקרית.
על כלל זה מתבססת שיטת ה[[הוכחה]] הקרויה [[הוכחה בדרך השלילה]]. ישנם זרמים דוגמת ה[[אינטואיציוניזם]] שאינם מקבלים כלל זה, ועל כן אינם רואים הוכחה בדרך השלילה כמוכיחה שמשהו הוא נכון - אלא רק כפוסלת את אי נכונותו. עירעור על כלל זה היה חלק מהניסיון למסד את יסודות המתמטיקה בתחילת המאה ה-20, כאשר אחת הדרכים להתמודדות עם הקשיים שהתגלו ב[[תורת הקבוצות הנאיבית]] הייתה ויתור על כלל זה.
כלל השלישי מן הנמנע אינו תקף תמיד. במערכות בהן ישנם [[מושג מונגד|מושגים מונגדים]] הכלל אינו נכון.
<!--אין לי את הספר על זה כרגע, בהזדמנות ארחיב על זה, [[משתמש: טרול רפאים|טרול רפאים]] 20:33, 29 ינו' 2005 (UTC)-->
[[Category:לוגיקה]]
| |||