این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
فلسفه و کلام اسلامی، جلد ۵۶، شماره ۱، صفحات ۱۰۲-۹۱
عنوان فارسی سمانتیک تابع‌ارزشی حاج‌حسینی
چکیده فارسی مقاله نظام تابع‌ارزشی و دستگاه استنتاج‌طبیعی آن را که مرتضی حاج‌حسینی در ویراست دوم کتاب خویش «طرحی نو از اصول و مبانی منطق» معرفی کرده است در مقالۀ دیگری بررسی کرده‌ام. در این مقاله به سمانتیک این نظام خواهم پرداخت و فراقضایای صحت و تمامیت را که او اثبات کرده است مورد واکاوی قرار خواهم داد. نشان می‌دهم که اصطلاحات سمانتیکی به کار رفته در این کتاب به روشنی تعریف نشده‌اند یا مقصود از بیان آنها در کتاب مشخص نشده است (برای نمونه مفاهیم «جهان»، «وضعیت»، «کنونی»، «وضعیت فرضی محتمل»، «مفروض»، «قابل فرض»، «وضعیت مبنا» و «مدل مبنا»). از مفهوم سمانتیکی «اعتبار» و «صدق‌نگهداری» در این سمانتیک، برداشت‌های متعددی می‌شود که در برخی از آنها استدلال‌های ربطی نامربوط می‌شوند و در برخی از آنها استدلال‌های نامربوط معتبر می‌گردند. در پایان نشان می‌دهم که این سمانتیک با نظریۀ برهان کتاب هماهنگ نیست و قضایای صحت و تمامیت به درستی طرح نشده‌اند و در واقع نادرست هستند و مثال‌های نقض دارند. فراقضیۀ «تمامیت» برای نظام تابع‌ارزشی این کتاب برقرار نیست زیرا در سمانتیک این نظام، فرمول‌ها یا استدلال‌هایی «معتبر» است که در نظریۀ برهان آنها «درست» نیست. برای نمونه، در سمانتیک نظام تابع‌ارزشی، هر صدق منطقی هر صدق منطقی را به صورت معتبر نتیجه می‌دهد اما برهان‌های آنها در نظام استنتاج طبیعی به دلیل نقض شرط «نرمال بودن» دگ پراویتز «نادرست» هستند
کلیدواژه‌های فارسی مقاله سمانتیک، فراقضایای صحت و تمامیت، منطق کلاسیک،
عنوان انگلیسی Hajhosseini’s Truth-Functional Semantics
چکیده انگلیسی مقاله In other articles, we have examined Mortaza Hajhosseini's natural deduction systems as presented in the second edition of his book, "Two Non-Classical Logic Systems: A New Outlook on Elements of Logic." In this article, our focus shifts to the semantics of these systems and an analysis of the issues surrounding soundness and completeness, as proven by Hajhosseini. We find that the book lacks clear definitions or definite specifications for several semantical terms used, including 'world,' 'supposed,' 'supposible,' 'basic situation,' and 'basic model.' Consequently, the semantic concepts of "validity" and "truth-preserving" in this context can be subject to multiple interpretations, some of which render certain relevant inferences irrelevant while others deem irrelevant inferences valid. Furthermore, we demonstrate that this semantics framework is incompatible with the proof theory presented in the book. The meta-theorems of soundness and completeness, as formulated, are erroneous and can be refuted with counterexamples. For instance, within the truth-functional system's semantics outlined in the book, a logical truth implies any other logical truth. However, the proofs provided in the book's natural deduction system are deemed 'invalid' because they violate Dag Prawitz's "normality" condition.
کلیدواژه‌های انگلیسی مقاله سمانتیک, فراقضایای صحت و تمامیت, منطق کلاسیک
نویسندگان مقاله اسدالله فلاحی |
استاد گروه منطق، مؤسسۀ پژوهشی حکمت و فلسفۀ ایران ، تهران، ایران

نشانی اینترنتی https://jitp.ut.ac.ir/article_94059_c28e86873019728a532e9115b708ad08.pdf
فایل مقاله فایلی برای مقاله ذخیره نشده است
کد مقاله (doi)
زبان مقاله منتشر شده fa
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات