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

ב[[לוגיקה]], '''עקרון השלישי הנמנע''' (או '''עקרון השלישי המוצא''') הוא עקרוןעיקרון הגורס כי נכון שכל דבר הוא כך או שאינו כך, ואין אפשרות שלישית: או שיורד גשם או שלא יורד גשם. ב[[לוגיקה]] הפורמלית המודרנית עקרוןעיקרון זה מתבטא בנוגע לטענות: טענה צריכה להיות אמיתית או שקרית; לא ייתכן שטענה תהיה לא-אמיתית ולא-שקרית בובה בעת.

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

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