منطق پژوهی

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

در منطق کلاسیک گزاره ها از جمله «اگر P آنگاه Q» نمی توان نتیجه گرفت که «چنین نیست که اگر P آنگاه ∼Q». این استدلال که شرطی وابسته آن به تز بوئتیوس معروف است، شواهد موافق فراوانی در حوزه روابط علّی، معنایی و صوری (منطقی) دارد. عبارت «چنین نیست که اگرP آنگاه ∼P» هم که به تز ارسطو معروف است و شواهد موافق فراوانی در حوزه روابط علّی، معنایی و صوری دارد، در این منطق قضیه نیست. به علاوه، در منطق کلاسیک از عبارت «چنین نیست که اگرP آنگاه ∼Q»، هر یک از دو جمله P« » و « Q» به دست می آید که شواهد مخالف زیادی در حوزه روابط علّی، معنایی و صوری دارد. نظام غیرتابع ارزشی منطق پایه گزاره ها پاسخی است به این اشکال ها که در آن روابط علّی، معنایی و صوری بی هیچ استثنایی وفق شهود طبیعی، تحلیل، صورت بندی و ارزیابی می شوند. اسدالله فلاحی در مقاله «نظام غیرتابع ارزشی حاج حسینی» سه نقد اختصاصی به این نظام وارد دانسته است: «تعداد قاعده های استنتاج کاهش پذیر است»، «هر متغیر گزاره ای، قضیه است و این نظام و گسترش آن trivial است» و «گسترش نظام غیرتابع ارزشی به منطق کلاسیک فرومی کاهد». در این مقاله نشان می دهیم که نقد اول بر پایه برخی اثبات های نادرست استوار است، نقد دوم از تعریف نادرست برخی ترکیب های غیرتابع ارزشی یا اثبات نادرست برخی استدلال ها ناشی شده است و نقد سوم با کاهش قاعده های پخش پذیری به دو قاعده برطرف می شود. پاسخ نقدهای تکراری را به مقاله «بررسی انتقادی یک نقد در باره نظریه نظام تابع ارزشی؛ آیا راه های اثبات اصول EFQ وEQT مسدود می شود؟» ارجاع می دهیم.

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

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

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

در مقاله ای با عنوان «پارادوکس امتناع تناقض: گزارش و گشایش»، مهدی عظیمی کلامی از ملاصدرا در پاسخ به پارادوکس امتناع تناقض ذکر می کند و بیان می کند که ملاصدرا با فرض اینکه «اجتماع نقیضان» موضوع و «ممتنع» محمول است، اجتماع نقیضان موجود را به حمل اولی و اجتماع نقیضانِ ممتنع را به حمل شایع اخذ کرده و به این نحو پارادوکس را پاسخ می دهد. عظیمی پارادوکس را زاییده ی فهم نادرست ساختار آن می داند و ساختار ~(A&~A) □ را برای «اجتماع نقیضان ممتنع است» پیشنهاد می کند که در آن دیگر نیازی به موضوع نیست تا پارادوکس پیش آید. اما اولاً او بدون هیچ دلیلی ساختار موضوع-محمولی را برای «اجتماع نقیضان ممتنع است» نفی می کند؛ ثانیاً ساختار پیشنهادی را نیز فیلسوفان مسلمان در کنار ساختار قبلی برای اصل امتناع تناقض متذکر می شوند ولی در ظاهر پارادوکسی بر آن وارد نیست تا راه حلّ طلب کند؛ ثالثاً با نگاهی دقیقتر پارادوکس بر ساختار پیشنهادی نیز وارد است؛ و رابعاً ~(A&~A) □ ترجمه کاملی از اصل امتناع تناقض نیست.

ارسطو از «کلّی» تعریفی به دست می دهد که یان لوکاشویچ آن را، به دلیلِ در بر نگرفتنِ کلّی های تهی، غیر جامع می داند. افزون بر این، تعریفی که ارسطو از جزئی به دست می دهد به دو شیوه قابل فهم است: (1) جزئی تنها بر یک چیز حمل پذیر است، (2) جزئی حمل ناپذیر است. این برداشتِ دوگانه، که در سخنان شارحان ارسطو نیز با بسامد زیادی تکرار می شوند، از یک سو، تلقی رابرت کونس و تیموتی اچ. پیکاوَنس که معتقدند جزئی از نظر ارسطو حمل ناپذیر است را زیر سؤال می برد؛ و از دیگر سو، خودْ تعارضی ست که باید حلّ شود. در این جستار نمایان خواهد شد که اوّلاً اِشکال لوکاشویچ وارد نیست و تعریف ارسطو شامل کلّی های تهی هم می شود؛ و ثانیاً تعارضی که ظاهراً از تعریف جزئی برمی آید با تفکیک دو گونه حمل، یعنی «به شیوه یکنام» و «نه به شیوه یکنام»، قابل حلّ است.

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

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

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