منطق پژوهی

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

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

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

مارگا ریمر معتقد است که کاربران معمولی زبان ماینونگی گرایی را مفروض می گیرند و شهود ایشان مبنی بر معناداری جمله های حاوی نام های تهی مبتنی بر همین امر است. ما در این مقاله نشان خواهیم داد که موضع او پشتوانة استدلالی محکمی ندارد. یعنی دیدگاه رقیبی وجود دارد که اولاً با دیدگاه ریمر در تعارض است؛ ثانیاً به اندازة دیدگاه او قدرت تبیینی دارد؛ و ثالثاً دلیلی برای ترجیح دیدگاه ریمر به این دیدگاه رقیب وجود ندارد.

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

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