כלל השלישי מן הנמנע

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

בלוגיקה, עקרון השלישי הנמנע (או עקרון השלישי המוצא (law of the excluded middle)) הוא עיקרון הגורס כי כל טענה היא אמיתית או שקרית, ואין אפשרות שלישית: או שיורד גשם או שלא יורד גשם.

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

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