رویکرد نظریه-برهانی به مفهوم پیامد منطقی، و نقد تارسکی به آن
محل انتشار: فصلنامه پژوهش های فلسفی، دوره: 18، شماره: 46
سال انتشار: 1403
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 109
فایل این مقاله در 20 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_PHILO-18-46_003
تاریخ نمایه سازی: 9 اردیبهشت 1403
چکیده مقاله:
بنابر تعریف نظریه-برهانی از مفهوم پیامد منطقی، جمله پیامد منطقی مجموعه مقدمات محسوب می شود اگر از برهانی برای وجود داشته باشد. تارسکی استدلال می کند که با افزایش هر تعداد قاعده به نظام های استنتاجی، همواره در آن نظام مواردی وجود دارد که جمله ای شهودا پیامد منطقی مجموعه ای از جملات است، درحالی که در آن نظام ارائه برهانی برای آن جمله ممکن نیست. از این رو تعریف نظریه-برهانی نمی تواند بیانگر مفهوم شهودی پیامد منطقی باشد. مقاله حاضر به بررسی نقد تارسکی به تعریف نظریه-برهانی اختصاص دارد. بر اساس بررسی ما مشخص شد که نقد تارسکی تعریف نظریه-برهانی را با مشکلی جدی مواجه می کند؛ اما این مطلب به این معنا نیست که تعریف نظریه-مدلی نسبت به تعریف نظریه-برهانی ارجحیت دارد؛ زیراکه نقدهایی قابل قبول نیز به رویکرد نظریه-مدلی وارد است. به نظر می رسد هیچ کدام از این دو رویکرد در ارائه تعریفی دقیق از مفهوم شهودی پیامد منطقی به منظور کاربرد در نظام های استنتاجی موفق نیستند. بااین حال در نظام های استنتاجی مختلف می توان تقریری از هر یک از این دو رویکرد ارائه داد به گونه ای که در انسجام با سایر دیدگاه های متافیزیکی و معرفت شناختی مربوط به آن نظام بوده، و بنابر اهداف کاربردی قابل قبول باشد.
کلیدواژه ها:
نویسندگان
حمید علایی نژاد
پژوهشگر پسادکتری، گروه فلسفه، دانشکده ادبیات و علوم انسانی، دانشگاه اصفهان، اصفهان، ایران
مرتضی حاج حسینی
دانشیار فلسفه، گروه فلسفه، دانشکده ادبیات و علوم انسانی، دانشگاه اصفهان، اصفهان، ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :