לוגיקה | לוגיקה בת ימינו
English: Logic

לוגיקה בת ימינו

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

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

הלוגיקה המודרנית היא לוגיקה סימבולית, דהיינו היא בוחנת צורות מופשטות המיוצגות באמצעות סמלים, שניתן להבין אותן כמייצגות את הצורות של הטענות וההיסקים שאנו מכירים מן השימוש הטבעי בשפה. בלוגיקה מנסחים ובוחנים מערכות לוגיות בשפה הסימבולית. מערכת לוגית היא תחשיב (calculus) בו ניתן לבצע הוכחות. שני התחשיבים הלוגיים הבסיסיים הם תחשיב הפסוקים (propositional calculus או sentential calculus) ותחשיב הפרדיקטים (predicate calculus). תחשיב הפסוקים הוא הרחבה פשוטה למדי של הלוגיקה הקלאסית, ואילו תחשיב הפרדיקטים בוחן את המבנה הפנימי של הטענות ומאפשר שימוש בכמתים, ובכך מעניק ללוגיקה כוח ביטוי שאינו בר השוואה לזה של הלוגיקה האריסטוטלית. התחשיב הוא מערכת פורמלית שיש בה נוסחאות בנויות כהלכה (נב"כ) מבחינה תחבירית, שחלקן מקבלות מעמד מיוחד של אקסיומות, וכן מערך של כללי היסק הקובעים אילו נוסחאות ניתן לגזור מאילו, ובכך להוכיח אותן. התחביר של התחשיב מגדיר באופן רקורסיבי את כל הנב"כים של התחשיב.

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

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

  • עקביות (consistency) - זוהי תכונתן של מערכות לוגיות שאין סתירה בין אי אלו מן הטענות המוכלות בהן
  • שלמות (completeness) - זוהי תכונתן של מערכות לוגיות שבהן לגבי כל נוסחה אמיתית, ניתן לספק לה הוכחה מן האקסיומות.
  • נאותות (soundness) - בניגוד לנאותות של טיעון, שהיא התכונה של טיעון תקף שבו כל ההנחות אמיתיות, נאותות של מערכת לוגית היא התכונה לפיה אם נוסחה מסוימת ניתנת להוכחה מן האקסיומות על פי חוקי התחשיב, אזי נוסחה זו אמיתית.

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

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

תחשיב הפסוקים

Postscript-viewer-shaded.png ערך מורחב – תחשיב הפסוקים

תחשיב הפסוקים מאפשר לייצג את הקשרים בין ערכי האמת של טענות (פסוקים) שונות. תחשיב הפסוקים אינו מתחשב בטענות אלא שאם יש להן ערכי אמת, דהיינו הוא אינו בוחן את הצורה הפנימית של הטענות, ואת הקשרים שהן מציגות, למשל, בין אובייקטים (בתחשיב הפרדיקטים, הנידון להלן, יש ניתוח של מבנה עומק זה). הסמנטיקה של תחשיב הפסוקים מורה לנו כיצד עלינו להבין את היחס בין הסמלים המייצגים פסוקים שונים, ובין טענות מן השפה הטבעית. כאשר אנו מעוניינים לנתח טיעון בשפה הטבעית באמצעות תחשיב הפסוקים, הצעד הראשון שעלינו לעשות מכונה הצרנה'. בתהליך זה מסמנים כל משפט חיווי בסיסי (למשל 'השמש תזרח מחר' או 'יוסי גר בלונדון') בסימן קבוע (בדרך כלל אות אנגלית גדולה כמו P או Q, או הסימן Pi עם האינדקס i, המייצג מספר מסוים). סימן זה משמש לייצג את הטענה בכל מקום שתופיע בטיעון, והוא מכונה "פסוק יסודי", או "פסוק אטומי". תחשיב הפסוקים אינו עוסק בשאלה כיצד נקבע ערך האמת של פסוקים אטומיים, אלא בשאלה כיצד נקבע ערך האמת של פסוקים מורכבים יותר, המורכבים ממספר פסוקים אטומיים באמצעות קַשַּרים לוגיים. ערך האמת של הפסוקים האטומיים יכול להיקבע על ידי הפירוש הסמנטי שאנו נותנים לאותיות הפסוקיות; אולם ניתן גם להשאיר אותו כמשתנה, ולבחון כך את כלל היחסים האפשריים בין הטענות המורכבות, עבור כל הצבה של ערכי אמת לאותיות הפסוקיות. באמצעות הכללה כזו ניתן לקבוע כי טיעונים הם תקפים, כאשר עבור כל הצבה של ערכי אמת לפסוקים האטומיים המרכיבים את ההנחות, כאשר הצבה כזו עושה את ההנחות של הטיעון לאמיתיות, היא גם עושה את המסקנה לאמיתית.

תחביר לתחשיב הפסוקים

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

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

הסמנטיקה של הקשרים הקלסיים (שתדון להלן) מאפשרת להביע חלק מן הקשרים במונחים של הקשרים האחרים, וכך לבנות גרסאות שונות של תחשיבי פסוקים, שצורתם שונה אך זהים מבחינת כוח הביטוי שלהם, באמצעות בחירה שונה של הקשרים המשתתפים. לדוגמה, אפשר להביע את קשר התנאי ("אם A אז B") באמצעות דיסיונקציה ושלילה ("B או לא-A"). כללי דה-מורגן מאפשרים להביע דיסיונקציה במונחים של קוניונקציה ושלילה, וקוניונקציה במונחים של דיסיונקציה ושלילה. וכו'.
תחשיב פסוקים שלם (או קבוצה שלמה של קשרים) הוא קבוצת קשרים שאפשר להציג באמצעותה כפסוק כל פעולה בוליאנית או כל טבלת אמת (ר' להלן). ניתן להגדיר שני קשרים לא קלאסיים, שכל אחד מהם מאפשר בעצמו תחשיב פסוקים שלם. קשרים אלו הם הקשרים קו-שפר ("לא-וגם", NAND) ו"לא-או" (NOR). למשל, באמצעות התנאי והשלילה, נביע את הקשרים האחרים כך:

מוגדר כ-
מוגדר כ-
מוגדר כ-



סמנטיקה לתחשיב הפסוקים

Postscript-viewer-shaded.png ערך מורחב – טבלת אמת

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

טבלת האמת של שלילה
F T
T F
טבלת האמת של התנאי
T T T
T F F
F T T
F F T
טבלת האמת של הקוניונקציה
T T T
T F F
F T F
F F F
טבלת האמת של הדיסיונקציה
T T T
T F T
F T T
F F F
טבלת האמת של התנאי הכפול
T T T
T F F
F T F
F F T



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

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

מערכות הוכחה לתחשיב הפסוקים

ניתן לבנות לתחשיב הפסוקים מערכות הוכחה, שבהן ניתן להוכיח מקבוצת טענות נתונה טענות נוספות שנובעות ממנה. מערכות היסק אלה בנויות מכללים סינטקטיים (תחביריים) טכניים בלבד. המערכת הפשוטה ביותר מכונה מערכת הדדוקציה הטבעית, המכילה עשרה כללי היסק. עבור כל אחד מחמשת הקשרים היא מכילה כלל הכנסה (Introduction) וכלל הוצאה (Elimination). מערכת זו היא נאותה (כלומר, כל נוסחה שניתנת להוכחה, היא אמיתית) ושלמה (כלומר, כל נוסחה אמיתית גם ניתנת להוכחה מקבוצה זו במערכת).



תחשיב הפרדיקטים

Postscript-viewer-shaded.png ערך מורחב – תחשיב הפרדיקטים

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

תחביר של תחשיב הפרדיקטים

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

הסמלים של תחשיב הפרדיקטים מציינים משתנים (מצוינים באותיות x,y,z עם או בלי אינדקס ממוספר), קבועים (שמות, המצוינים באותיות a,b,c וכו') ופרדיקטים (מצוינים באותיות גדולות Px, Rxy, וכו'), וכן קבועים לוגים (הקשרים והכמתים) וסימני פיסוק (סוגריים). לעיתים כוללים את יחס הזהות בסימני התחשיב וכך נעשה להלן.

את הנוסחאות הבנויות היטב של התחשיב ניתן להגדיר באינדוקציה ע"פ חמשת הכללים התחביריים (סינטקטיים) הבאים:

  1. אם P הוא פרדיקט המקבל n ארגומנטים, (P(t1,...,tn היא נוסחה בנויה היטב
  2. אם t1 ו-t2 הם שמות או משתנים, אז t1 = t2 היא נוסחה בנויה היטב
  3. אם φ נוסחה בנויה היטב, אזי φ היא נוסחה בנויה היטב
  4. אם φ ו-ψ נוסחאות בנויות היטב, אז לכל קשר כך ש , הרי ש (ψφ) היא נוסחה בנויה היטב (דהיינו עבור כל שני פסוקים אטומים, הצבתו של אחד מן הקשרים הבינריים ביניהם יוצרת נוסחה בנויה היטב).
  5. אם φ היא נוסחה ו-x הוא משתנה, φ ו- φ הם נוסחאות בנויות היטב

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

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

סוקרטס הוא פילוסוף.
יש לפחות פילוסוף אחד.

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

דוגמאות נוספות ניתנות בערך תחשיב הפרדיקטים.

סמנטיקה של תחשיב הפרדיקטים

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

תחום הדיון D הוא קבוצת האובייקטים {דני, רני, יוני}
השמות: a ו-b מייצגים את דני ורני בהתאמה
הפרדיקטים: הפרדיקט החד-מקומי "חכם" מצוין על ידי P, ומקבל ערך אמת עבור האובייקטים {דני, רני}
הפרדיקט הדו-מקומי "חבר של" מצוין על ידי R והקבוצה של האובייקטים המשויכת אליו היא הקבוצה המכילה את הזוג {<רני, יוני>}.

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

כעת ניתן להעריך את ערך האמת של הפסוקים הבאים בפירוש הנוכחי:

- מכיוון שבתחום הדיון שלנו לא לכל x הפרדיקט P מחזיר אמת, הפסוק אמיתי.


  • או הפסוק השקול:
- מכיוון שבתחום הדיון שלנו אין אף אובייקט x כך שבזוג יחד עם דני (a) הפרדיקט R מחזיר אמת, הפסוק אמיתי.


- מכיוון שבתחום הדיון שלנו, עבור כל x ש-P חל עליו ניתן למצוא אובייקט y ש-P חל עליו, הפסוק אמיתי.



ענפי משנה נוספים של הלוגיקה בת ימינו

לוגיקה מודלית

Postscript-viewer-shaded.png ערך מורחב – לוגיקה מודלית

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

לוגיקה אינטואיציוניסטית

Postscript-viewer-shaded.png ערך מורחב – אינטואיציוניזם

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

לוגיקה עמומה

Postscript-viewer-shaded.png ערך מורחב – לוגיקה עמומה

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