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

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

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

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

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

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

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

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

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

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