عسکری سلیمانی امیری

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

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

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

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

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

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

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

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