نظریه های صدق عرفی فراسازگار و پارادوکس کری | کتابخانه مجازی الفبا

نظریه های صدق عرفی فراسازگار و پارادوکس کری | کتابخانه مجازی الفبا

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
نظریه های صدق عرفی فراسازگار و پارادوکس کری
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
نظریه های صدق عرفی فراسازگار و پارادوکس کری
ویرایش اثر
عنوان دیگر : Paraconsistent naïve truth theories and Curry paradox
چکیده :
صدق عرفی، t(x)، محمولی است که در خود زبان بر تمام جمله‌های زبان حمل می‌شود و در ضمن برای هر جمله‌ی مانند a در زبان t(˹a˺)↔a نتیجه ‌می‌شود. تارسکی برای اجتناب از پارادوکس دروغگو و تریویال شدن زبان (نظریه) مجبور شد از مفهوم عرفی صدق دست بکشد و صدق هر زبان را در یک فرازبان تعریف کند. طرفداران منطق‌های فراسازگار ادعا دارند با پذیرش منطق‌های فراسازگار می‌توان محمول صدق عرفی را حفظ کرد. منطق‌های فراسازگار به منطق‌هایی گفته می‌شود که در آن‌ها از تناقض هر چیزی نتیجه گرفته نمی‌شود. اما پارادوکس دیگری به نام کری وجود دارد که مربوط به ادات شرطی است و بدون استفاده از قاعده‌ی انفجار می‌تواند نظریه‌های صدق عرفی را تریویال کند. در این مقاله استدلال خواهیم کرد با وجود این که اگر به منطق‌های فراسازگار اصول حساب و محمول صدق عرفی را اضافه کنیم نظریه‌ای غیرتریویال خواهیم داشت اما این نظریه‌ها به دلیل قدرت استنتاجی پایین، از دست رفتن برخی خواص مورد انتظار از محمول صدق عرفی و همچنین نشت ناسازگاری به قسمت‌های خالص حسابی موجه نخواهند بود. naïve truth, t(x), is a predicate that applies to all of the sentences of the language and also for every sentence a of the language, t(˹a˺)↔a holds. tarski for avoiding the liar paradox and trivializing of the language (theory) forced to withdraw from defining the naïve notion of truth and he defined truth of every language in a metalanguage. proponents of paraconsistency claim that by accepting paraconsistent logics we can retain the naïve truth predicate. a logic would be called paraconsistent if contradiction does not entail everything. but there is another paradox, the curry paradox, which is related to conditionals and without using efq can trivialize naïve theories of truth. in this paper i will argue that although if we add arithmetic and naïve truth predicate to paraconsistent logics we would have a non-trivial theory, but for low deductive power, losing some prospected properties of naïve truth predicate and leaking of inconsistency to pure arithmetic parts, these logics will be unjustifiable.
متکلمان و سایر شخصیت ها :
لطف الله نبوی
نویسنده :
سیاوش احمدزاده اصل ، لطف الله نبوی
زبان :
فارسی
منبع اصلی :
https://logicalstudy.ihcs.ac.ir/article_8819.html
جنس منبع:
متن
پایگاه :
پایگاه مجلات 5 (منطق پژوهی- سال 1402- دوره 14- شماره 1)
یادداشت :
کلیدواژه‌ها
منطق‌های فراسازگار پارادوکس کری نظریه صدق تارسکی نظریه‌ی صدق عرفی قاعده انقباض
کلیدواژه‌ها [English]
Paraconsistent logics Curry paradox Tarski truth theory naïve truth theory contraction rule
نوع منبع :
نمایه مقاله
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال