سمانتیک غیرتابع ارزشی حاج حسینی
محل انتشار: دوفصلنامه فلسفه، دوره: 21، شماره: 2
سال انتشار: 1402
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 43
نسخه کامل این مقاله ارائه نشده است و در دسترس نمی باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_JOP-21-2_008
تاریخ نمایه سازی: 28 اسفند 1402
چکیده مقاله:
مرتضی حاج حسینی در ویراست دوم کتاب خویش «طرحی نو از اصول و مبانی منطق» دو نظام تابع ارزشی و غیر تابع ارزشی معرفی کرده است که دستگاه استنتاج طبیعی آن دو و سمانتیک نظام تابع ارزشی را در مقاله های دیگری بررسی کرده ام. در این مقاله به سمانتیک نظام غیر تابع ارزشی خواهم پرداخت و فرا قضایای صحت و تمامیت را که او اثبات کرده است مورد واکاوی قرار خواهم داد. نشان می دهم که ۱. این سمانتیک مبتنی بر یک نظریه مجموعه های جدید است که تاکنون تدوین نشده است. ۲. تعریف مدل در این کتاب مربوط است به «مدل کامل» در حالی که مدل های معرفی شده همگی «مدل ناقص» هستند. ۳. شرایط صدق فرمول های غیر تابع ارزشی یادآور شرایط صدق فرمول های مشابه در منطق استلزام اکید سی. آی. لوئیس اما در سمانتیک موجهاتی لایب نیتزی است. ۴. این سمانتیک با نظریه برهان کتاب هماهنگ نیست. ۵. از این رو، قضایای صحت و تمامیت در واقع نادرست هستند و مثال های نقض دارند. ۶. ادات ناقض در این سمانتیک تابع ارزشی شمرده شده است در حالی که باید غیر تابع ارزشی باشد. ۷. تعداد روابط در این سمانتیک متناهی (دقیقا پنج) معرفی شده است در حالی که این تعداد بی نهایت (ناشمارا) است. ۸. به همین دلیل منطق غیرتابع ارزشی باید تصمیم ناپذیر باشد، در حالی که در نظام تابع غیر ارزشی تصمیم پذیر اعلام شده است
کلیدواژه ها:
نویسندگان
Asadollah Falahi
گروه منطق، موسسه پژوهشی حکمت و فلسفه ایران، تهران، ایران.
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :