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