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