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

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

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

در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنهاشکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگرداندهشوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژهنمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول ...

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

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

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

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

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

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