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