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

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

شهاب‌الدین سهروردی (587-549 ه.ق) در کتاب مهم خود، حکمه‌الاشراق، ادعا می‌کند که نظریه قیاسات ارسطو را با کاهش تعداد قواعد آن ساده کرده است، به گونه‌ای که با همین تعداد اندک قواعد، اعتبار تمام ضرب‌ها قابل اثبات است. این کار (ساده‌سازی نظریه قیاسات ارسطو) با تحویل تمام قضایای سالب حملی و جزئی به قضایای موجب کلی و ارائه دو قاعده فرازبانی، یکی برای شکل دوم و دیگری برای شکل سوم قیاس صورت گرفته ‌است. ...

ارسطو در آغاز کتاب قیاس (تحلیل اولی) گزارة حملی را به دو قسم مسور و مهمل طبقه‌بندی می‌کند. منطق‌دانان پیشین در دورة اسلامی، طبقه‌بندی گزارة حملی را در "کتاب عبارت"طرح و آن را به سه قسم شخصی، مسور و مهمل افزایش دادند. منطق‌دانان دو بخشی متأخر (از سده هفتم به بعد) طبیعیه را نیز بر آنها افزودند. علامه حلی طبقه‌بندی پنج‌گانه‌ای را ارائه می‌دهد. امروزه یدگاه رایج از آن منطق‌دانان دو بخشی متأخر است. ...

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

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

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

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

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