البرهان غير المباشر ومشکلة التفاف البراهين ومعياريتها في الاستنباط الطبيعى للمنطق الکلاسيکى | ||||
مجلة كلية الآداب - جامعة القاهرة | ||||
Article 13, Volume 80, ابریل علوم اجتماعیة - Serial Number 3, April 2020, Page 1-42 PDF (1.12 MB) | ||||
Document Type: المقالة الأصلية | ||||
DOI: 10.21608/jarts.2020.100062 | ||||
View on SCiNiTO | ||||
Author | ||||
هانى مبارز حسن على عزازى | ||||
مدرس بقسم الفلسفة - آداب عين شمس | ||||
Abstract | ||||
الملخص تعد مشکلة التفاف(1)detour البراهين في أنسقة الاستنباط الطبيعى مشکلة في غاية الأهمية، وهى مشکلة لا نجد مثيلًا لها في الأنسقة الأکسيوماتيکية. وهى تعنى، على نحو مبسط، تکرار خطوات البرهان، وهو أمر معيب من ناحية اشتقاق البراهين. لقد أدرک جنتسن G. Gentzen صاحب أول نسق في الاستنباط الطبيعى تلک المشکلة، وهو قد استطاع حلها بالنسبة لأنسقة الاستنباط الطبيعى الحدسية دون الکلاسيکية، من خلال مبرهنته على معيارية Normalization / Haupstaz البراهين الحدسية، أى البرهنة على إمکانية حذف التفاف البراهين. ويعود الفضل إلى داج برافيتس D. Prawitz فى وضع أول برهان على معيارية براهين منطق الاستنباط الطبيعى الکلاسيکى من خلال استخدام قاعدة البرهان غير المباشر. في هذا البحث سوف نتساءل عن قدرة تلک القاعدة على ذلک حقًا، وإمکانية وجود قاعدة بديلة | ||||
Keywords | ||||
برهان غير مباشر; التفاف البراهين; استنباط طبيعى; منطق حدسى; قانون بيرس | ||||
References | ||||
| ||||
Statistics Article View: 1,509 PDF Download: 507 |
||||