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