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

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

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

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

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

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

درجه علمی

مجله

سال

زبان