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

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

منطق ارسطویی (منطق حملی) از طریق ترجمه مستقیم و بی واسطه آثار ارسطو، و منطق رواقی ـ مگاری (منطق شرطی) با ترجمه غیرمستقیم و به واسطه برخی متون لاتینی جالینوس، اسکندر افرودیسی و بوئتیوس مربوط به نخستین سده های میلادی  به جهان اسلام راه یافت. پس از دو قرن تلاش برای ترجمه، شرح، تقریر و تفهیم میراث منطقی یونانیان، با ظهور  ابن سینا «دوره ابداع و نوآوری» فرا رسید. ابداعات منطقی و منطق های ابداعی ابن ...

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

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

شمس الدین سمرقندی که در بحث قیاس شرطی دیدگاهی نو در برابر ابن‌سینا پیش نهاده است، از 19 ضرب منتج سینوی 12 ضرب را نامعتبر می‌داند. در مقالة دیگری نشان داده‌ایم که اگر تنها «کیفیت» گزاره‌ها را در نظر بگیریم میان قیاس‌های سمرقندی و منطق ربط مطابقت شگفت‌انگیزی وجود دارد. در این مقاله، اما، نشان می‌دهیم که اگر «کمیت» گزاره‌ها را نیز در نظر آوریم این مطابقت از میان می‌رود. دلیل این مسئله آن است که در...

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

در این مقاله، تلاش‌های منطق‌دانان دورۀ اسلامی در تبیین رابطۀ میان دو بخش قیاسی و غیرقیاسی‌ِ قیاس خلف، مورد بررسی قرار می‌گیرند و با نگاه به آثار شارحان یونانی ارسطو مانند اسکندر افرودیسی و فیلوپونوس و اشاره به ناتوانی آنها در تبیین سخنان ارسطو در تحلیل اوّل، دو رویکرد کلی در این زمینۀ معرفی می‌شود. در رویکرد نخست که از سوی افضل‌الدین مرقی ارائه گردیده، رابطۀ میان دو بخش قیاسی و غیرقیاسیِ قیاس خلف ...

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