استنتاجگرایی نظریه - مدلی، فراسازگاری و جازمیت | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
استنتاجگرایی نظریه - مدلی، فراسازگاری و جازمیت
جاوید جعفری ، داود حسینی
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
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
نوع منبع :
مقاله
خروجی ها :
Mods
Doblin core
Marc xml
MarcIran xml
مشخصات کامل فراداده
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت