ויקיפדיה

עקרון השלישי הנמנע – הבדלי גרסאות

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
מ קישורים פנימיים
מ הורדת הערה מלפני כעשור
שורה 1:
ב[[לוגיקה]], '''עקרון השלישי הנמנע''' (או '''עקרון השלישי המוצא''', אנגלית: (law of the excluded middle)) הוא עיקרון הגורס כי כל טענה היא [[אמת|אמיתית]] או שקרית[[שקר]]ית, ואין אפשרות שלישית: או שיורד גשם או שלא יורד גשם.
 
על כלל זה מתבססת שיטת ה[[הוכחה]] הקרויה "[[הוכחה בדרך השלילה]]". ישנם זרמים דוגמת ה[[אינטואיציוניזם]] שאינם מקבלים כלל זה, ועל כן אינם רואים הוכחה בדרך השלילה כמוכיחה שמשהו הוא נכון - אלא רק כפוסלת את אי נכונותו. ערעור על כלל זה היה חלק מהניסיון למסד את [[יסודות המתמטיקה]] בתחילת המאה ה-20, כאשר אחת הדרכים להתמודדות עם הקשיים שהתגלו ב[[תורת הקבוצות הנאיבית]] הייתה ויתור על כלל זה.
 
כלל השלישי מן הנמנע אינו תקף תמיד. במערכות בהן ישנם [[מושג מונגד|מושגים מונגדים]] הכלל אינו נכון.
 
<!--אין לי את הספר על זה כרגע, בהזדמנות ארחיב על זה, [[משתמש: טרול רפאים|טרול רפאים]] 20:33, 29 ינו' 2005 (UTC)-->
 
[[קטגוריה:לוגיקה]]
אוחזר מתוך "https://he.wikipedia.org/wiki/עקרון_השלישי_הנמנע"