کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904337 1633608 2017 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
ترجمه فارسی عنوان
دو طرفه یک نظریه اثبات منطقی منطق کلاسیکی را ارائه نمی دهد (به دلایل فنی)
کلمات کلیدی
دو طرفه، توجیه نظری اثبات شده، هماهنگی، عادی سازی،
ترجمه چکیده
در این مقاله کوتاه، من توجه دارم که یک متا تئوری کلیدی برای چارچوب استنتاجی دوجانبه کننده وجود ندارد: هماهنگی مستلزم انسجام است. من نتیجه می گیرم که الزام هماهنگی برای دوجانبهگرایانه برای حفظ نظریه نظریه ی اثبات منطق کلاسیک کافی نیست. من نتیجه می گیرم که یک معیار تئوری اثبات معنا بر اساس چارچوب دوجانبه گرانه هیچ راهی طبیعی برای تفسیر قوانین استنتاج مشروح تعریف از موارد نامشروع (مانند کسانی که برای تنک) وجود ندارد. در نهایت، به عنوان یک ضمیمه به بحث اصلی، من یک راه حل صحیح غیر متقابل دو جانبه را برای مشکل ارائه یک نظریه اثبات منطقی از منطق کلاسیک پیشنهاد می کنم.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
دو طرفه یک نظریه اثبات منطقی منطق کلاسیکی را ارائه نمی دهد (به دلایل فنی)
چکیده انگلیسی
In this short paper I note that a key metatheorem does not hold for the bilateralist inferential framework: harmony does not entail consistency. I conclude that the requirement of harmony will not suffice for a bilateralist to maintain a proof theoretic account of classical logic. I conclude that a proof theoretic account of meaning based on the bilateralist framework has no natural way of distinguishing legitimate definitional inference rules from illegitimate ones (such as those for tonk). Finally, as an appendix to the main argument, I propose an alternative non-bilateral formal solution to the problem of providing a proof-theoretic account of classical logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 25, Supplement, December 2017, Pages S108-S122
نویسندگان
,