הלוגיקה עוסקת בעיקר בטיעונים – גזירת מסקנות מהנחות או מידע שיש ברשותנו. המרכיבים הלוגיים במחשבה האנושית הם הבסיסיים ביותר ועליהם נסמכים כל מדע שהוא וכל חשיבה רציונלית יומיומית. הידע שהושג במסגרת המחקרים הלוגיים מיושם בתחומים רבים, החל מקורסי הכנה לבחינה הפסיכומטרית ועד לפיתוח המחשב המודרני.

מבוא ללוגיקה מתמקד בהבחנה שבין טיעונים תקפים לטיעונים שאינם תקפים (ובמילים אחרות, אילו מסקנות אפשר להסיק מידע נתון) ובין היתר עוסק ביסודות הלוגיקה האריסטוטלית שנוסדה לפני כ-2,400 שנים ובטכניקות מסוימות של תחשיב הפסוקים ושל תחשיב הפרדיקטים בלוגיקה המודרנית. בין לבין עולות בספר שאלות פילוסופיות שונות בדבר מהות הלוגיקה, מהות הקשר שבין השפות הרגילות ("השפות הטבעיות") לבין השפה הלוגית, ועוד.

כרך ב

יסודות תחשיב הפסוקים
סמנטיקה של תחשיב הפסוקים: טבלות אמת
עצי אמת
דדוקציה טבעית

שם הספר
מבוא ללוגיקה - כרך א - הקדמה
מבוא ללוגיקה - כרך ג - תחשיב הפרדיקטים