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