... הללו כהנחות יסוד. במאה העשרים התפתח ענף בלוגיקה המכונה
אינטואיציוניזם, ובו דוחים את עקרון השלישי הנמנע. בענף אחר וחדש יחסית של הלוגיקה, לוגיקה עמומה (Fuzzy logic), עוסקים בטענות שאינן אמיתיות או שקריות באופן חד - משמעי. מגבלות הלוגיקה ... וכן בתורת הידיעה (לוגיקה אפיסטמית) ובהסתברות. לוגיקה
אינטואיציוניסטית הלוגיקה
האינטואיציוניסטית נובעת מעבודתו של המתמטיקאי לויצן אגברטוס יאן בראואר. היא אינה מכירה בחוק השלישי הנמנע (לפיו כל טענה היא אמיתית או שקרית, ללא חלופה אפשרית אחרת), ולפיכך היא אינה מאפשרת ... אקסיומת הבחירה של תורת הקבוצות נדחית אף היא. הלוגיקה
האינטואיציוניסטית נוסחה באופן פורמאלי על ידי ארנד הייטינג וארט בישופ, וקיבלה את התורה הסמנטית שלה מאת סול קריפקה. לוגיקה עמומה לוגיקה עמומה, או לוגיקה מעורפלת (באנגלית: Fuzzy Logic), הוא ...