استنتاج‌گرایی نظریه‌ -‌ مدلی، فراسازگاری و جازمیت | کتابخانه مجازی الفبا

استنتاج‌گرایی نظریه‌ -‌ مدلی، فراسازگاری و جازمیت | کتابخانه مجازی الفبا

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
استنتاج‌گرایی نظریه‌ -‌ مدلی، فراسازگاری و جازمیت
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
استنتاج‌گرایی نظریه‌ -‌ مدلی، فراسازگاری و جازمیت
ویرایش اثر
عنوان دیگر : Model-Theoretic Inferentialism; Paraconsistency; Categoricity
چکیده :
طبق استنتاج‌گرایی نظریه‌ـ‌مدلی، مفاهیم نظریه‌ـ‌برهانی و سمنتیک نظریه‌ـ‌مدلی هر دو در معنای ثابت‌های منطقی دخیل هستند و برخلاف سمنتیک نظریه‌ـ‌برهانی مفاهیم نظریه‌ـ‌مدلی انکار نمی‌شوند. با این حال، مفاهیم نظریه‌ـ‌برهانی نقش اساسی‌تری نسبت به مفاهیم نظریه‌ـ‌مدلی دارند؛ به این ترتیب که قواعد استنتاجی در نظریه برهان هستند که ساختار سمنتیکی را متعین می‌کنند. به عبارت ساده‌تر، در استنتاج‌گرایی نظریه‌ـ‌مدلی ما به دنبال روشی هستیم که بتوان سمنتیک را از طریق قواعد استنتاج بازخوانی کرد. این مسئله ارتباط تنگاتنگی با مسئله جازمیت و وجود مدل‌های غیرنرمال کارنپ برای سیستم‌های استنتاجی دارد. ما این مسئله را برای دو منطق فراسازگار mbc و lp بررسی می‌کنیم. نشان می‌دهیم که اگرچه حساب رشته چندنتیجه‌ای برای mbc جازم است، اما این سیستم استنتاجی برای lp جازم نیست و مدل‌های غیرنرمال همچنان برای آن وجود خواهند داشت. استدلال می‌کنیم که نمی‌توان سمنتیک این منطق را به سادگی از نحو آن بازخوانی کرد، مگر با فاصله گرفتن از مفهوم متعارف استنتاج. according to model-theoretic inferentialism (and despite proof-theoretic semantics and model-theoretic semantics), both proof-theoretic and model-theoretic notions play a role in the meaning of logical constants. however, proof-theoretic notions have a more fundamental role compared to model-theoretic notions, so that the semantics and its structure are determined by the proof-theoretic notions. in other words, in proof-theoretic inferentialism, we follow a method by which we can read the semantics from the proof theory. this approach is related to the problem of categoricity and carnap's non-normal models for proof systems. in this paper we investigate this issue for two paraconsistent logics, mbc and lp. we show that while multi-succedent sequent calculi are categorical for mbc, they are not for lp. that latter has non-normal models. we argue that for the latter we cannot easily read the semantics from the proof theory, except at the cost of distorting the notion of logical consequence.
منابع دیجیتالی مرتبط :
نسخه PDF مراجع
متکلمان و سایر شخصیت ها :
داوود حسینی
نویسنده :
جاوید جعفری ، داود حسینی
زبان :
فارسی
منبع اصلی :
https://jipt.sbu.ac.ir/article_104687_a087dc10ffe6cc6cc6683304d360c26e.pdf
جنس منبع:
متن
پایگاه :
پایگاه مجلات 5 (آینه معرفت- سال 1403- دوره 24- شماره 2- از صفحه 52 تا 68)
یادداشت :
استنتاج‌گرایی نظریه‌ - ‌مدلی فراسازگاری جازمیت
model-theoretic inferentialism paraconsistency categoricity
نوع منبع :
مقاله
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال