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