■ فهرست «درآمد به منطق»
• پیش‌درآمد به منطق و «درآمد به منطق»
• نگاه بسیار کوتاه به تاریخ منطق
■ بخش یکم: منطق غیرصوری (اندیشه نقادانه و زبان)
≡ فصل ۱- مفاهیم بنیادین منطق
| زبان و استدلال |
≡ فصل ۲- تحلیل، بازآرایی و نمودارسازی استدلال
| زبان و استدلال |
۱- بازآرايي و نمودارسازی استدلال۲- قطعات استدلالی پیچیده۳- مسئله و برهانواژگان ≡ |
≡ فصل ۳- زبان، کارکردهای آن و سرانجام رسانی مباحثات
| زبان و استدلال | ۱- سه کارکرد بنیادین زبان۲- زبان جانبدار و زبان ناجانب‌دار۳- انگیزه‌مندی و باورمندی در مجادلات۴- ابهام در مجادلات و سرانجام آوری آنهاواژگان ≡ |
≡ فصل ۴- تعریف و ساختارهای آن
| زبان و استدلال | ۱- تعریف چیست و کاربرد آن۲- ساختار تعریف(۱): مصداق و مفهوم۳- ساختار تعریف(۲): تعریف مصداقی۴- ساختار تعریف(۳): تعریف مفهومی۵- تعریف به جنس و فصلواژگان ≡ |
≡ فصل ۵- مغالطه و شناسایی آن در سخن
■ بخش دوم: منطق صوری کلاسیک و جدید
≡ فصل ۶- گزاره‌های حملی (کتگوریک / ردگانی)
≡ فصل ۷- قیاس‌های حملی
≡ فصل ۸- قیاس و کاربرد آن در سخن
| منطق کلاسیک (قدیم) |
۱- استدلال قیاسی۲- کاستن تعداد حدها دراستدلال قیاسی۳- برگردان گزاره‌های حملی به ساخت استاندارد۴- برگردان یکنواخت گزارهای حملی۵- قیاس نهان (ضمیر/مضمر)۶- تسلسل منطقی۸- قیاس دوحدی۹- خلاصه فصل ۸واژگان ≡ |
≡ فصل ۹- منطق گزارهای
≡ فصل ۱۰- روش‌های استنتاج
| منطق کلاسیک (جدید) |
۱- برهان صوری اعتبار۲- صور استدلال‌های معتبر مقدماتی۳- نمایان کردن برهان صوری اعتبار۴- ساختن برهان صوری اعتبار۵- ساختن برهان‌های صوری گسترده‌تر اعتبار۶- گسترش قواعد استنتاج۷- دستگاه استنتاج طبیعی۸- ساختن برهان صوری اعتبار با کارزدن نوزده قاعده استنتاج۹- تکنیک کوتاه‌‌تر جدول ارزش۱۰- ناسازگاری۱۰۱- برهان شرطی۱۱- برهان غیرمستقیم اعتبار (برهان خلف)۱۲- تمیز استدلال‌های متقن و استدلال‌های برنمایانگرپ.۱- برهان شرطی و مفهوم قضیه در منطق (پیوست۱)پ.۲- برهان شرطی و برهان غیر مستقیم (پیوست۲)پ.۳- درخت معنایی و آلگوریتم آن در آزمون اعتبار (پیوست۳)آ- تمرینات حل‌شده بیشتر (استفاده فقط از ۹ قاعده استنتاج)ب- تمرینات حل‌شده بیشتر (استفاده از ۱۹ قاعده استنتاج)واژگان ≡ |
≡ فصل ۱۱- نظریه سورها (سورگذاری)
| منطق کلاسیک (جدید) | ۱- نیازمندی به سور۲- گزاره‌های شخصی۳- سور عمومی و سور وجودی۴- گزاره‌های سنتی موضوع - محمول۵- اثبات اعتبار۶- جهان ممکن، مدل و اثبات عدم اعتبار۷- استنتاج ناقیاسیواژگان ≡ |
■ بخش سوم: علم و استقرا
≡ فصل ۱۲- استدلال آنالوژیک (قیاس غیر منطقی)
| علم و استقرا | ۱- نگاه دوباره به استقرا و استنتاج۲- استدلال با قیاس (تمثیل / همگونی آنالوژی]۳- ارزیابی استدلال‌های آنالوژیک۴- ابطال استدلال با آنالوژی منطقیواژگان ≡ |
≡ فصل ۱۳- علّیت و استدلال علی (سبک شناسی علم)
| علم و استقرا | ۱- علت و معلول (علّیت)۲- قانون علیت و یکنوایی طبیعت۳- استقرا با برشمردن ساده۴- روش‌های تحلیل علّی:۵- محدودیت تکنیک‌های استقرایی.واژگان ≡ |
≡ فصل ۱۴- علم و فرضیه
| علم و خرد علمی | ۱- علم، فرضیه و ایضاحِ علمی (بازنمود / تبیین)۲- پژوهش علمی: فرضیه و تأیید آن۳- ارزیابی فرضیه‌های علمی۴- رده‌بندی و فرضیـهواژگان ≡ |
≡ فصل ۱۵- احتمال و حساب آن (فصل پایانی کتاب درآمد به منطق).
| علم و خرد علمی | ۱- مفهوم نگاری جایگزینی احتمال (احتمال چیست)۲- حساب احتمالات۳- احتمال در زندگی روزانه۴- خلاصه این فصلواژگان ≡ |
