עקרון השלישי הנמנע – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ אבנר העביר את הדף כלל השלישי מן הנמנע ל־עקרון השלישי הנמנע תוך דריסת הפניה: שינוי שם בעקבות דף השיחה |
שינוי שם, עריכה והרחבה |
||
שורה 1:
לדוגמא, או שיורד גשם או שלא יורד גשם. אבל לא שניהם ולא אף אחד מהם.
== פארמנידס ==
העקרון נוסח לראשונה על ידי הפילוסוף היווני פארמנידס בפרגמנט 2 (תרגום: שמואל שקולניקוב):
"האחת - שהווה ואי-אפשר לא להיות,
היא נתיב השכנוע (כי מלווה הוא לאמת);
האחרת - שאיננו וחיוב הוא לא להיות.
וזאת אני מוֹרֶה ''לְךָ'' שבלתי-בת-הבחנה היא מכל-וכל."
== הוכחה בדרך השלילה ==
[[הוכחה בדרך השלילה]] מבוססת על עקרון השלישי הנמנע, במסגרתה מוכיחים ששלילת ההנחה המבוקשת היא סתירה ועל כן ההנחה נכונה.
ה[[אינטואיציוניזם]] מתנגד לכך וטוען שבכך נפסלת רק אי נכונות. ויתור על העקרון משמש להתמודד עם הקשיים ב[[תורת הקבוצות הנאיבית]].
[[קטגוריה:לוגיקה]]
| |||