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