کتاب مبانی منطق جدید

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