منطق قرون وسطی

منطقدانان قرون وسطی برای ضرب های منتج قیاس اقترانی حملی اسامی اختصاری انتخاب کرده بودند. این اسامی به نحوی انتخاب شده بود که نوع قضیه محصوره به کاررفته در صغری و کبری و نتیجه قیاس را مشخص کرده و نشان می داد که ضرب های منتج اشکال دوم تا چهارم از چه طریق، به ضرب های شکل اول بازمی گردند و نیز روش رد و تبدیل ضرب های منتج آن اشکال به شکل اول چگونه است. به عنوان مثال نام ضرب اول قیاس، باربارا (Barbara) است. حروف صدادار به کار رفته در این اسم، بیانگر نوع قضیه محصوره در مقدمات و نتیجه این ضرب از قیاس است. در این مختصر این اسامی اختصاری و نکات مرتبط با آنها توضیح داده شده است. همچنین علت متفاوت بودن این اسامی در مورد شکل چهارم بیان شده و به تاریخچه تغییرات این اسامی در مورد شکل چهارم اشاره شده است. در پایان مقایسه ای میان این روش و روش استفاده از قواعد کلی انتاج توسط منطقدانان مسلمان صورت گرفت و مزایا و معایب هر یک از این دو روش بیان گردید.