فصل ۶ - گزاره‌های حملی(Categorical Propositions)
مانند مولیر که از مدت‌ها قبل پی‌برده بود به نثر سخن میگوید، من نیز پی‌برده‌ام که از مدت‌ها قبل به ساختن گزاره مشغولم. با خود گفتم ،بله، هرگاه زبانم بکاری بیش از جنبیدن مشغول است، گزاره می‌سازم. من از آنها جمله‌ها را میسازم. من چیزی در باره چیزی میگویم. بنابراین می‌باید در یک گفتگوی جدی بتوانم آن دو قسمت از گزاره‌های خود را بدقت مورد اشاره قراردهم. من باید بدقت بدانم درباره چه‌چیزی صحبت میکنم و نیز باید بدانم چه‌چیزی درباره آن میگویم ـ Arthur Astom Luce

نظریۀ استنتاج:
 از اینجا توجه خود را به گونه‌های مختلف استدلال، تحلیل و شرح آنها متمرکز خواهیم کرد. در فصل‌های قبل به بررسی زبان پرداختیم، چرا که استدلال توسط زبان پیکربندی میشود. درین فصل و فصل بعد به بررسی و توضیح روابط موجود بین مقدمات و نتیجه آنها در استدلال خواهیم پرداخت.
سراسر بخش دوم این کتاب به استدلالهای استنتاجی اختصاص یافته است.

۶.۱- نظریه استنتاج

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

۶.۳-چهار گونه گزاره‌ حملی استاندارد-ساخت

۶.۴-کیفیت، کمیت و توزیع‌پذیری

۶.۵-مربع تقابل سنتی

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

۶.۷-مغالطه وجودی: نهاده وجودی و تعبیر گزاره‌های حملی

 قسمت ۷ این فصل به مسئله چالش‌برانگیزی موسوم به "نهاده وجودی" می‌پردازد. توضیح آنکه: مطابق با تفسیر ارسطویی (مربع تقابل سنتی)، نقیض قضیه موجبه کلیه "همه ساکنان مریخ سرخ‌موهستند" عبارت است از قضیه سالبه جزئیه "بعضی ساکنان مریخ سرخ‌مو نیستند". و بازهم مطابق تفسیر ارسطویی (و هم تفسیر بولی که در متن به تفصیل آمده است) قضیه سالبه جزئیه دارای ویژگی "نهاده وجودی" است. یعنی قضیه اخیر، خبر از آن دارد که حداقل یک ساکن مریخ وجود دارد. میدانیم هردو قضیه نادرست هستند و در عین حال متناقض نیز هستند ولی دو گزاره متناقض هردو نمیتوانند نادرست باشند و هردو نیز نمیتوانند درست باشند. این قسمت کوشش بر رهاندن مربع تقابل سنتی ازاین چالش سربرآورده دارد.

۶.۸-نماد و نمادسازی برای گزاره‌های حملی

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