منطق زمان

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

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