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