جستجوي پيشرفته | کتابخانه مجازی الفبا

شمس الدین سمرقندی از منطق دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن سینا پیش نهاده است. از نظر ابن سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می کند و به شرایط کمیت نمی پردازد و هنگام ارائة مثال نقض برای ضرب های عقیم، تفاوت کمی ضرب ها را نادیده می گیرد. اگر مانند سمرقندی صرفاً کیفیت گزاره ها را در نظر بگیریم میان قیاس های سمرقندی و منطق ربط (که شاخه ای از منطق جدید است) مطابقت شگفت انگیزی می یابیم به این معنی که هر ضرب منتج نزد سمرقندی در منطق ربط معتبر است و برعکس؛ و این نشان دهندة نزدیکی اندیشه های او به منطق ربط است. این در حالی است که اگر کمیت گزاره ها را نیز در نظر آوریم با دشواری هایی در تحلیل قیاس های سمرقندی روبه رو می شویم که ریشه در تفسیر او از سورهای شرطی دارد.

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