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