رویکرد نظریه-برهانی به مفهوم پیامد منطقی، و نقد تارسکی به آن
Publish place: Philosophical Investigations، Vol: 18، Issue: 46
Publish Year: 1403
نوع سند: مقاله ژورنالی
زبان: Persian
View: 24
This Paper With 20 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_PHILO-18-46_003
تاریخ نمایه سازی: 9 اردیبهشت 1403
Abstract:
بنابر تعریف نظریه-برهانی از مفهوم پیامد منطقی، جمله پیامد منطقی مجموعه مقدمات محسوب می شود اگر از برهانی برای وجود داشته باشد. تارسکی استدلال می کند که با افزایش هر تعداد قاعده به نظام های استنتاجی، همواره در آن نظام مواردی وجود دارد که جمله ای شهودا پیامد منطقی مجموعه ای از جملات است، درحالی که در آن نظام ارائه برهانی برای آن جمله ممکن نیست. از این رو تعریف نظریه-برهانی نمی تواند بیانگر مفهوم شهودی پیامد منطقی باشد. مقاله حاضر به بررسی نقد تارسکی به تعریف نظریه-برهانی اختصاص دارد. بر اساس بررسی ما مشخص شد که نقد تارسکی تعریف نظریه-برهانی را با مشکلی جدی مواجه می کند؛ اما این مطلب به این معنا نیست که تعریف نظریه-مدلی نسبت به تعریف نظریه-برهانی ارجحیت دارد؛ زیراکه نقدهایی قابل قبول نیز به رویکرد نظریه-مدلی وارد است. به نظر می رسد هیچ کدام از این دو رویکرد در ارائه تعریفی دقیق از مفهوم شهودی پیامد منطقی به منظور کاربرد در نظام های استنتاجی موفق نیستند. بااین حال در نظام های استنتاجی مختلف می توان تقریری از هر یک از این دو رویکرد ارائه داد به گونه ای که در انسجام با سایر دیدگاه های متافیزیکی و معرفت شناختی مربوط به آن نظام بوده، و بنابر اهداف کاربردی قابل قبول باشد.
Keywords:
Authors
حمید علایی نژاد
پژوهشگر پسادکتری، گروه فلسفه، دانشکده ادبیات و علوم انسانی، دانشگاه اصفهان، اصفهان، ایران
مرتضی حاج حسینی
دانشیار فلسفه، گروه فلسفه، دانشکده ادبیات و علوم انسانی، دانشگاه اصفهان، اصفهان، ایران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :