مرتضی حاج حسینی

فیلسوفان مسلمان نظریة مطابقت صدق را بر تحلیل سازمان جمله استوار نموده، جمله را به عنوان «حامل صدق»(truth bearer) و واقع یا نفس الامر را به عنوان «سازندة صدق»(truth -maker) تلقی کرده­اند. دراین مقاله, پس از بحث دربارة موارد کاربرد این نظریه در فلسفة اسلامی و شناسایی اصول و مبانی آن، توانایی این نظریه را در مقایسه با نظر منطق جدید در تحلیل سازمان قضیه ارزیابی نموده، با عنایت به مغایرت واقعیت با اندیشه, به شناسایی عناصر اصلی تئوری مطابقت می پردازیم. براساس این تحلیل، جمله «حامل صدق» و «صدق» محمولی تک موضعی است که احراز آن تابعی از احراز نسبت «مطابقت» است. اما « مطابقت » محمولی دو موضعی است که از نسبت بین وضعیت ترسیم شده توسط آن جمله و وضعیتی که در واقع اتفاق افتاده است حکایت می­کند. بنابراین سازنده صدق نه واقع و نفس الامر, بلکه نسبت مذکور است. به علاوه, احراز مطابقت تابع احراز دست­رسی به واقع یا نفس الامر می باشد

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

تبیین حقیقت علم و چگونگی دسترسی به واقع از جمله مباحث عمیق و پر ماجرائی است که فیلسوفان از آغاز پیدایش فلسفه تاکنون به آن توجه داشته اند و سنگینی آن را بر دوش خود احساس نموده اند و هنوز نیز از معماهای ناگشوده فلسفی به شمار می آید. در فلسفه اسلامی این موضوع از جهت رابطه ادراک با شیء ادراک شده و رابطه ادراک با شخص ادراک کننده مورد توجه قرار گرفته است .این بحث با توجه به تعریف علم به تمثّل حقیقت شیء یاحضور ماهیت شیء در نزد مدرک همواره با اشکال معروف اجتماع جوهر و عرض مواجه بوده است و به آراء گوناگونی انجامیده است :1)نظریه کیفیت ذات اضافه 2)نظریه شبح 3)نظریه ماهوی در تبیین های مختلف. در این مقاله پس از بیان چگونگی تحول آراء فیلسوفان مسلمان در این موضوع به بررسی ‘ تحلیل و ارزیابی هر یک از این نظریات پرداخته ‘ پیش فرض ها ‘ عوامل مؤثر بر شکل گیری آنها ‘ همچنین اشکالات وارد بر آنها را بر اساس ملاک های سازگاری (consistency)‘استقلال(independence)‘تمامیت(completeness)ومیزان مقاومت آنها در برابر حملات شکاکانه بیان می نمائیم.

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

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

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

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

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

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

اینهمانی یکی از اصول اولیه ذهن است و از زمان های قدیم مورد توجه فلاسفه و منطق دانان بوده است. ارسطو اولین و بزرگ-ترین منطق دانی است که در اثر ماندگار خود به نام ارگانون از اینهمانی سخن به میان آورده است. اما اینکه آیا در منطق ارسطو اینهمانی وجود دارد؟ مراد ارسطو از اینهمانی چیست؟ و از آن چه بهره هایی می برد؟ آیا وی اینهمانی را به عنوان یک ثابت منطقی معرفی کرده است یا خیر؟ از جمله مسائلی است که در این مقاله مورد بررسی قرار گرفته است.

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

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