09-استدلال‌های استنتاجی - بخش اول

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