هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

استقلال النسق البديهي

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

استقلال النسق البديهي (بالإنجليزية: Independence of Axiomatic System)، خاصية مميزة لمبحث البديهيات. إذا لم يكن بالإمكان استنباط أي بديهية من البديهيات كامنةً وراء نسق استنباطي بقواعد الاستنباط الخاصة بهذا النسق. يسمى مثل هذا النسق من البديهيات نسقاً مستقلاً. وبخلاف ذلك يكون نسق البديهيات تابعاً. ودراسة أي نسق بديهي من وجهة النظر هذه شيء هام، ليس لتبسيط مبحث البديهيات فقط. بل لأنها قد تكون هامةً أيضاً من حيث المبدأ. وهكذا فإن إثبات استقلال المصادرة الخامسة عند اقليدس في نسق بديهيات الهندسة قد سهل ظهور الهندسات غير الإقليدية.[1]

مراجع[عدل]

  1. ^ الموسوعة الفلسفية، ص 23 - تأليف "م.روزنتال" و"ب.يودين" - النسخة العربية، دار الطليعة، بيروت، الطبعة الأولى 1974م
Greek letter uppercase Phi.svg
هذه بذرة مقالة عن الفلسفة أو متعلقة بها بحاجة للتوسيع. شارك في تحريرها.