هدف از این پژوهش معرقی مفهومی جدید در قیاس حملی ارسطویی به نام مبناپذیری است؛ به عبارتی ضربی از ضروب 24گانه­ی منتج قیاس ارسطویی مبناپذیر است اگر تنها با مفروض گرفتن یک ضرب به همراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد. بدین منظور در این مقاله نشان داده خواهد شد که تنها 15 ضرب منتج از ضروب 24گانه­ی منتج منطق حملی ارسطو دارای خاصی...

ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه‌ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف‌نظری دیده نمی‌شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می‌باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می‌شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق‌دانان قبل اثیر الدین ابهری را در بر می‌گیرد ...

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

شیخ اشراق با بیان تحییل همه قضّایای شرطی، همه حملیهای سالبه و همه حملی های جزئیصه به کلیه و همه میجهات غیر ضروری به میجبه کلیه ضروریه مدعی منطق اشصراقی در حصیز ه منطق صیرت است. او با روش افتراض، تمام ضروب جزئیه را بصه کلیصه و بصا روش عصدول ، تمام سالبه ها را به میجبه معدوله و با روش اشراب میجهات در محمیل تمام میجهصات را بصه ضروریه بر گرداند. طبق این روش هر شکلی تنها یک ضرب بیشصتر نخیاهصد داشصت. ...

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

حل یک دستگاه از چند جمله ایها همواره یکی از مسایل مهم در ریاضیات و به ویژه در جبر و هندسه جبری محاسباتی بوده است. نظریه حذف یکی از روشهای مهم در حل دستگاه چند جمله ایها است. یکی از شاخه های مهم در نظریه حذف منتج است. منتج اولین بار توسط بزو وایلر در سال 1764 معرفی گردید و پس از آن در سال 1840 توسط سیلومتر روشی برای محاسبه منتج دو چند جمله ای یک متغیره مطرح شد. سپس ریاضی دانان روسی یک منتج جدید ...

"مختلطات" یکی از مشکل¬ترین و پیچیده¬ترین مباحث منطق قدیم به شمار می¬آید. شاید بتوان عدم رویه واحد و مختصرگویی و ابهام در شرایط انتاج شکل اول مختلطات در خصوص شرط "فعلیت" یا "امکان" صغری را از عوامل دشواری این بحث دانست. البته به تبع آن، اختلاف¬نظر منطق¬دانان در تعیین نتیجه ضروب نیز، عدم نظام¬مندی این مبحث را تشدید می-کند. در این پژوهش آثار منطق¬دانان به¬نام ـ از ابن¬سینا تا عصرحاضرـ در باب مختلط...