منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe | کتابخانه مجازی الفبا

منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe | کتابخانه مجازی الفبا

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe
ویرایش اثر
عنوان دیگر : Non-classical Comparative Logic I: Standard Categorical Logic – from SLe to IFLe
چکیده :
در این مقاله برای اصل‌بندی تمام ضرب‌های قیاس‌های ارسطویی به علاوه اصل «هر الف الف است» و قواعد دوطرفه‌ی نقض محمول سالبه‌ها، یک سیستم اصل موضوعی غیرکلاسیک معرفی شد. این سیستم تنها شامل ۲ تعریف، ۲ اصل، ۱ قاعده‌ی یک مقدمه‌ای و ضرب‌های barbara و datisi است. با افزودن نقض گزاره‌ای درجه اول به این سیستم، اثبات کردیم که مربع تقابل بدون استفاده از بسیاری از قواعد منطق کلاسیک (از جمله حذف نقض مضاعف) برقرار است. سپس نشان دادیم که منطق گزاره‌های زیرساختاری sle برای قیاس‌های ارسطویی کافی است. همچنین بر پایه‌ی ifle مربع تقابل، قواعد عکس و قواعد نقض در منطق مظفر به طور کامل ثابت می‌شوند. برای این منظور از منطق مرتبه اول یک موضعی دقیقاً با همان دستگاه استنتاجی استاندارد سورها در منطق کلاسیک به علاوه اصول «بعضی الف الف است» و «بعضی غیرالف غیرالف است» بهره بردیم. در نهایت، برای نشان دادن عدم تعهد وجودی نسبت به نام‌های عام در منطق حملی با همان تعبیر وجودی از سورها و ترجمه‌ی استاندارد محصورات اربعه از منطق چهار-ارزشی ربط-کلاسیک قوی kr4‌ استفاده شد. in this paper, a non-classical axiomatic system was introduced to classify all moods of aristotelian syllogisms, in addition to the axiom "every a is an a" and the bilateral rules of obversion of e and o propositions. this system consists of only 2 definitions, 2 axioms, 1 rule of a premise, and moods of barbara and datisi. by adding first-degree propositional negation to this system, we prove that the square of opposition holds without using many of the other rules of classical logic (including double negation elimination). we then show that the propositional substructural logic sle is the best logic to study aristotelian syllogisms. also, based on the ifle square of opposition, the rules of conversation and the rules of negation are completely proved in muzaffar's logic. for this purpose, we used the monadic first-order logic with the same standard deductive apparatus of quantifiers in classical logic, plus the axioms of "some a is an a" and "some not-a is a not-a". finally, to show that there is no existential commitment to general terms in categorical logic, the strong four-valued relevant-classical logic kr4 was used. with the same existential interpretation of the quantifiers and the standard translation of the quarter quantified.
نویسنده :
عامر آمیخته ، سید احمد میرصانعی
زبان :
فارسی
منبع اصلی :
http://logicalstudy.ihcs.ac.ir/article_6501.html
جنس منبع:
متن
پایگاه :
پایگاه مجلات 5 (منطق پژوهی- سال 1400- دوره 12- شماره 1)
یادداشت :
کلیدواژه‌ها
منطق حملی قیاس ارسطویی منطق غیرکلاسیک منطق زیرساختاری روش اصل موضوعی
کلیدواژه‌ها [English]
Categorical logic Aristotelian syllogism non-classical logic Substructural logic Axiomatic method
نوع منبع :
نمایه مقاله
مخاطب :
بزرگسال , تخصصی
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال