مرتب سازی نتایج بر اساس: جدیدترینپربازدید‌ترین
فیلتر های جستجو: فیلتری انتخاب نشده است.
نمایش ۱ تا ۱۵ مورد از کل ۱۵ مورد.
۱.

روشی جدید در استنتاج صوری با کمترین قاعده

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

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

پالایش نتایج جستجو

تعداد نتایج در یک صفحه:

درجه علمی

مجله

سال

زبان