الملخص تعد مشکلة التفاف(1)detour البراهين في أنسقة الاستنباط الطبيعى مشکلة في غاية الأهمية، وهى مشکلة لا نجد مثيلًا لها في الأنسقة الأکسيوماتيکية. وهى تعنى، على نحو مبسط، تکرار خطوات البرهان، وهو أمر معيب من ناحية اشتقاق البراهين. لقد أدرک جنتسن G. Gentzen صاحب أول نسق في الاستنباط الطبيعى تلک المشکلة، وهو قد استطاع حلها بالنسبة لأنسقة الاستنباط الطبيعى الحدسية دون الکلاسيکية، من خلال مبرهنته على معيارية Normalization / Haupstaz البراهين الحدسية، أى البرهنة على إمکانية حذف التفاف البراهين. ويعود الفضل إلى داج برافيتس D. Prawitz فى وضع أول برهان على معيارية براهين منطق الاستنباط الطبيعى الکلاسيکى من خلال استخدام قاعدة البرهان غير المباشر. في هذا البحث سوف نتساءل عن قدرة تلک القاعدة على ذلک حقًا، وإمکانية وجود قاعدة بديلة
عزازى, هانى مبارز حسن على. (2020). البرهان غير المباشر ومشکلة التفاف البراهين ومعياريتها في الاستنباط الطبيعى للمنطق الکلاسيکى. مجلة كلية الآداب - جامعة القاهرة, 80(ابریل علوم اجتماعیة), 1-42. doi: 10.21608/jarts.2020.100062
MLA
هانى مبارز حسن على عزازى. "البرهان غير المباشر ومشکلة التفاف البراهين ومعياريتها في الاستنباط الطبيعى للمنطق الکلاسيکى". مجلة كلية الآداب - جامعة القاهرة, 80, ابریل علوم اجتماعیة, 2020, 1-42. doi: 10.21608/jarts.2020.100062
HARVARD
عزازى, هانى مبارز حسن على. (2020). 'البرهان غير المباشر ومشکلة التفاف البراهين ومعياريتها في الاستنباط الطبيعى للمنطق الکلاسيکى', مجلة كلية الآداب - جامعة القاهرة, 80(ابریل علوم اجتماعیة), pp. 1-42. doi: 10.21608/jarts.2020.100062
VANCOUVER
عزازى, هانى مبارز حسن على. البرهان غير المباشر ومشکلة التفاف البراهين ومعياريتها في الاستنباط الطبيعى للمنطق الکلاسيکى. مجلة كلية الآداب - جامعة القاهرة, 2020; 80(ابریل علوم اجتماعیة): 1-42. doi: 10.21608/jarts.2020.100062
)
مشاهدة على SCiNiTO