سمانتیک تابع‌ارزشی حاج‌حسینی | کتابخانه مجازی الفبا

سمانتیک تابع‌ارزشی حاج‌حسینی | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
سمانتیک تابع‌ارزشی حاج‌حسینی
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
سمانتیک تابع‌ارزشی حاج‌حسینی
ویرایش اثر
عنوان دیگر : 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.
منابع دیجیتالی مرتبط :
نسخه PDF مراجع
متکلمان و سایر شخصیت ها :
اسدالله فلاحی
نویسنده :
اسدالله فلاحی
زبان :
فارسی
منبع اصلی :
https://jitp.ut.ac.ir/article_94059_408b5fe999ec7c9f771a37b90f799883.pdf
جنس منبع:
متن
پایگاه :
پایگاه مجلات 5 (فلسفه و کلام اسلامی- سال 1402- دوره 56- شماره 1- از صفحه 115 تا 129)
یادداشت :
کلیدواژه‌ها
سمانتیک فراقضایای صحت و تمامیت منطق کلاسیک
کلیدواژه‌ها [English]
Classical Logic Meta-Theorems of Soundness and Completeness Semantics
نوع منبع :
مقاله
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال