|
|
עמוד:5
״חוק השלישי הנמנע״ ( לטינית : principium tertii exclusi ) הוא שלישי מבין שלוש האכסיומות של הלוגיקה הקלסית, ובא לאחר ״חוק הזהות״ ( AA ) ו״חוק הסתירה״ ( לא נכון שמשפט ושלילתו יהיו אמיתיים בעת ובעונה אחת [ A . ~ A ] ~ ) . החוק גורס כי כל טענה היא אמיתית או שקרית, וכי אין אפשרות שלישית . חוק זה נוסח באופנים שונים על ידי פרמנידס, אריסטו, לייבניץ, ראסל ואחרים .
|
|