گروه های ویژه

۵۰.

روشی جدید در استنتاج صوری با کمترین قاعده(مقاله ترویجی حوزه)

نویسنده: عسکری سلیمانی امیری

منبع: معارف عقلی بهار ۱۳۸۸ شماره ۱۳

کلیدواژه‌ها: استدلال مباشر عکس مستوی نقض محصول عکس نقیض نقض تام نقض موضوع نقض عکس قیاس اقترانی حملی اشکال اربعه حد وسط و سور

حوزه‌های تخصصی:

تعداد بازدید : ۳۰۸۱ تعداد دانلود : ۱۴۱۹

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

شرطی اتفاقی در منطق جدید(مقاله علمی وزارت علوم)