جستجوي پيشرفته | کتابخانه مجازی الفبا

قواعد قیاس حملی، که معمولاً تحت عنوان “the Rules of the Categorical Syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می‌شود، روش مفیدی است که جهت تشخیص اعتبار قیاس‌های حملی، به منطق‌آموزان، در کتاب‌های عمومی آموزش منطق، ارائه می‌شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرات در بازنویسی‌ها وابسته به عوامل مختلفی است که می‌توان به دو عامل سلیقه و ذوق مؤلف در ارائة مطالب و دیگری، منبع یا منابع مورد انتخاب مؤلف، اشاره کرد. هدف از این مقاله در گام اول، ارائة روشی تحلیلی جهت صوری‌سازی این قواعد است که منجر به ایجاد روش‌های مکانیکی و الگوریتمی شود؛ و در گام بعد، بتوان از رهیافت صوری‌سازی و محاسبه‌پذیر شدن این قواعد، با استفاده از یک الگوریتم قابل پیاده‌سازی توسط ماشین، به بررسی دقیق قواعد قیاس، در برخی از منابع آموزشی منطق پرداخت. در این مقاله، علاوه بر دسته‌بندی قواعد قیاس حملی، تقریر جدیدی از قواعد آن، با استفاده از مفهوم انبساط، ارائه می‌شود.

به لحاظ تاریخی می توان نشان داد که «نظریة انبساط» از ابتکارات و ابداعات منطق دانان قرون وسطای متأخر مانند ویلیام شروود، راجر بیکن، پطرس اسپانیایی، ویلیام اکام، و جان بوریدان بوده است. این نظریه با رویکردی کاربردی در دورة معاصر، در آثار آموزشی منطق عمومی، برای تشخیص اعتبار «قیاس ارسطویی» استفاده شده است.در این پژوهش، با تمرکز بر تفکرات منطقی جان بوریدان (1295 - 1361 م)، متفکر برجستة قرون وسطی، از این فرضیه دفاع می کنیم که، نظریة انبساط یکی از نتایج فرعی نظریة دلالت و اطلاق است. همچنین با ارجاع به آثار منطقی بوریدان نشان می دهیم که دو قاعدة «منع حد وسط غیرمنبسط» و «منع روش عقیم»، یکی از کاربردهای نظریة انبساط، از ابداعات بوریدان است. ازاین رو معاصران در آثار آموزشی منطق، در بهترین حالت، صرفاً تقریرهای متفاوتی از تعریف انبساط و قواعد مربوط به آن را بیان کرده اند، نه آن که خود مبدع این قواعد باشند. بر این اساس نظریة پیتر گیچ را، که آشکارا نظریة انبساط را متفاوت از نظریة اطلاق می داند، به شکلی منطقی و تاریخی نقد می کنیم و نشان می دهیم که نظریة قابل دفاعی نیست. در پایان تعاریف بدیعی از حدود «منبسط» و «غیرمنبسط» را با توجه به چهارچوب فلسفی ـ منطقی بوریدان ارائه می کنیم که به مفاهیم و اصطلاحات منطقی وی بسیار وفادار است.