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

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

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

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

مجدالدین عبدالرزاق جیلی (د. ح. 570 ق.)، برای نخستین بار در تاریخ منطق، در رسالۀ اللامع فی الشکل الرابع به مختلطات شکل چهارم پرداخته است. پیش از او، دنحای کشیش (ح. 800م.) و ابوالفتوح ابن صلاح همدانی (د. 548ق.)، معاصر جیلی، مطلقات شکل چهارم را به تفصیل طرح کرده بودند. جیلی در رسالۀ اللامع تنها به موجهات «بسیط» شکل چهارم پرداخته و هیچ اشاره ای به موجهات «مرکب» نکرده است. شاگرد او، فخر رازی، نیز تن...

سهروردی چرا شکل چهارم را از دستگاه قیاسی‌اش حذف می‌کند؟ آیا دستگاه قیاسی او، همانند دستگاه قیاسی ارسطو، به رغم فقدان شکل چهارم پذیرای آن است؟ یا تنگناهایی دارد که نمی‌تواند شکل چهارم را صورت‌بندی کند؟ فرضیۀ این مقاله گزینۀ دوم است. دستگاه سهروردی در تنگنای سه اصل قرار داد که در این جستار «اصل بستگی»، «اصل ناوابستگی»، و «اصل یگانگی» نامیده شده‌اند. شکل چهارم نمی‌تواند هم به روش سهروردی صورت‌بندی...

هدف از این پژوهش معرقی مفهومی جدید در قیاس حملی ارسطویی به نام مبناپذیری است؛ به عبارتی ضربی از ضروب 24گانه­ی منتج قیاس ارسطویی مبناپذیر است اگر تنها با مفروض گرفتن یک ضرب به همراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد. بدین منظور در این مقاله نشان داده خواهد شد که تنها 15 ضرب منتج از ضروب 24گانه­ی منتج منطق حملی ارسطو دارای خاصی...

غزالی یکی از بزرگ‌ترین متکلمانی است که برای منطق منشأ وحیانی قائل است. او خدا را معلم اول، جبرئیل را معلم ثانی و پیامبر اکرم6 را معلم ثالث می‌شمرد. مهم‌ترین ابتکار غزالی در علم منطق، استخراج قیاس‌های منطقی از قرآن کریم است که با مثال‌های اصولی و اسلامی آمیخته و آنها را در کتاب «القسطاس المستقیم» آورده است. از دیدگاه غزالی، قرآن کریم نور است و از آن جهت نور خوانده می‌شود که مشتمل بر موازین منطقی...

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