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

قواعد قیاس حملی، که معمولاً تحت عنوان “the Rules of the Categorical Syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می‌شود، روش مفیدی است که جهت تشخیص اعتبار قیاس‌های حملی، به منطق‌آموزان، در کتاب‌های عمومی آموزش منطق، ارائه می‌شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرا...

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

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

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

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

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

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

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