ارسل ملاحظاتك

ارسل ملاحظاتك لنا







الرئيسية > البرهان غير المباشر ومشكلة الت...>الوصف

البرهان غير المباشر ومشكلة التفاف البراهين ومعياريتها في الاستنباط الطبيعي للمنطق الكلاسيكي

العنوان المترجم: Indirect Proof and The Problem of Convolution Proofs and Their Criteria in The Natural Deductive of Classical Logic
المصدر: مجلة كلية الآداب
الناشر: جامعة القاهرة - كلية الآداب
المؤلف الرئيسي: عزازي، هاني مبارز حسن علي (مؤلف)
المجلد/العدد: مج80, ج3
محكمة: نعم
الدولة: مصر
التاريخ الميلادي: 2020
الشهر: أبريل
الصفحات: 349 - 390
DOI: 10.21608/jarts.2020.100062
ISSN: 1012-6015
رقم MD: 1089581
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: AraBase
مواضيع:
الفكر الفلسفي | علم المنطق | الاستنباط
كلمات المؤلف المفتاحية:
برهان غير مباشر | التفاف البراهين | استنباط طبيعي | منطق حدسي | قانون بيرس
رابط المحتوى:
PDF (صورة)     
صورة الغلاف QR قانون

عدد مرات التحميل

12

حفظ في:
المستخلص: تعد مشكلة التفاف detour البراهين في أنسقة الاستنباط الطبيعي مشكلة في غاية الأهمية، وهي مشكلة لا نجد مثيلا لها في الأنسقة الأكسيوماتيكية. وهي تعنى، على نحو مبسط، تكرار خطوات البرهان، وهو أمر معيب من ناحية اشتقاق البراهين. لقد أدرك جنتسن Gentzen.G صاحب أول نسق في الاستنباط الطبيعي تلك المشكلة، وهو قد استطاع حلها بالنسبة لأنسقة الاستنباط الطبيعي الحدسية دون الكلاسيكية، من خلال مبرهنته على معيارية Haupstaz/ Normaliaztion البراهين الحدسية، أي البرهنة على إمكانية حذف التفاف البراهين. ويعود الفضل إلى داج برافيتس D. Prawitz في وضع أول برهان على معيارية براهين منطق الاستنباط الطبيعي الكلاسيكي من خلال استخدام قاعدة البرهان غير المباشر. في هذا البحث سوف نتساءل عن قدرة تلك القاعدة على ذلك حقا، وإمكانية وجود قاعدة بديلة.

The problem of the detour of proofs in natural deduction systems is a serious problem. We can not find a counterpart for this problem in axiomatic systems. It means, roughly speaking, repetition to the lines or steps of proof. This is a fault from a derivative point of view. G. Gentzen, the first logician to put a calculus for natural deduction, knew this problem very well, he even could solve it in respect to intuitive natural deduction systems but not to classical ones. He solved that problem by his Haupstaz or Normalization theorem for intuitive proofs, i.e. proving the possibility of eliminating the detours in proofs. It was Dag Prawitz who put the first proof of the normalization of proofs in natural deduction for classical systems by indirect proof rule. In this paper, I should scrutinize the ability of that rule of doing what wanted from it to do, and if there be an alternative one for it.]
ISSN: 1012-6015

عناصر مشابهة


© 2024 المنظومة. جميع الحقوق محفوظة.