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