۱- قطعات استدلالی مركب؛

۲- بازآرايي و نگارگری استدلال؛

۳- مسئله و برهان.

واژگان ≡

۱- سه کارکرد بنیادین زبان؛

۲- زبان، انگیزه و باور؛

۳- انگیزه‌مندی و باورمندی در مجادلات؛

۴- ابهام در مجادلات و سرانجام آوری آن‌ها.

واژگان ≡

۱- تعریف چیست و کاربرد آن

۲- ساختار تعریف(۱): مصداق و مفهوم

۳- ساختار تعریف(۲): تعریف مصداقی

۴- اختار تعریف(۳): تعریف مفهومی

۵- تعریف به جنس و فصل

واژگان ≡

۱- نظریه استنتاج؛

۲- طبقه‌ها وگزاره‌‌های حملی؛

۳- چهارگونه گزاره‌ حملی(ردگانی) یکنوا-پیکر؛

۴- کیفیت، کمیت، و توزیع پذیری؛

۵- مربع تقابل سنتی و استنتاجات بی‌واسطه؛

۶- استنتاجهای بی‌واسطه بیشتر؛

۷- نهاده وجودی و مغالطه وجودی؛

۸-نمادگذاری گزاره‌های حملی؛

۹- خلاصه فصل شش.

واژگان ≡

۱- قیاس‌های حملی(ردگانی) استاندارد ساخت؛

۲- سرشت صوری استدلال‌ قیاسی؛

۳- تکنیک‌های نموداری ون برای برآورد قیاس؛

۴- قواعد قیاس و مغالطات قیاسی؛

۵- نمایان‌سازی ۱۵ صورت قیاس‌های معتبر حملی؛

۶- استنتاج ۱۵صورت قیاس‌های معتبر حملی؛

۷- خلاصه فصل هفت.

واژگان ≡

۱- استدلال‌ قیاسی؛

۲- کاستن تعداد حدها دراستدلال قیاسی؛

۳- برگردان گزاره‌های حملی به ساخت استاندارد؛

۴- برگردان یکنوخت گزارهای حملی؛

۵- قیاس‌ نهان (ضمیر/مضمر)؛

۶- تسلسل منطقی؛

۸- قیاس دوحدی؛

۹- خلاصه فصل ۸؛

واژگان ≡

۱- منطق مدرن و زبان نمادی آن؛

۲- نقیض و ترکیب فصلی؛

۳- گزاره‌ شرطی (استلزام مادی)؛

۴- صور استدلال، ابطال منطقی؛

۵- دقت درمعنی "اعتبار"؛

۶- آزمون اعتبار استدلال برپایه جدول ارزش؛

۷- نگاه به ‌برخی صور رایج استدلال؛

۸- صورت گزاره‌ای و هم‌ارزی مادی؛

۹- هم‌ارزی منطقی؛

۱۰- سه قانون اندیشه:

ضمیمه به فصل نهم:

آ- منطق رواقی:

ب- پارمنیدس، زنو الئایی و صورت نخستین؛

ج- منطق جدید در ایران پیش از ۱۳۵۸

واژگان ≡

۱- برهان صوری اعتبار؛

۲- صور استدلال‌های معتبر مقدماتی؛

۳-  نمایان کردن برهان صوری اعتبار؛

۴- ساختن برهان صوری اعتبار؛

۵- ساختن برهان‌های صوری گسترده‌تر  اعتبار؛

۶- گسترش قواعد استنتاج؛

۷- دستگاه استنتاج طبیعی؛

۸- ساختن برهان صوری اعتبار با کارزدن نوزده قاعده استنتاج؛

۹- اثبات عدم ‌اعتبار؛

۱۰- ناسازگاری؛

۱۲- تکنیک‌های کوتاه‌‌تر جدول ارزش.

آ-   تمرینات حل‌شده‌  بیشتر (استفاده فقط از ۹ قاعده استنتاج)؛ 

ب-  تمرینات حل‌شده‌  بیشتر (استفاده از ۱۹ قاعده استنتاج). 

ضمیمه به فصل دهم:

۱- برهان شرطی و مفهوم قضیه در منطق؛

۲- برهان شرطی و برهان غیر مستقیم.

واژگان ≡

۱- نیازمندی به سور؛

۲- گزاره‌های شخصی؛

۳- سور عمومی و سور وجودی؛

۴- گزاره‌های سنتی موضوع - محمول؛

۵- اثبات اعتبار؛

۶- اثبات عدم اعتبار؛

۷- استنتاج ناقیاسی.

واژگان ≡