افتح القائمة الرئيسية

تغييرات

لا تغيير في الحجم، ‏ قبل شهرين
ط
لا يوجد ملخص تحرير
البديهيات تأخذ بشكل أساسي على أنها صحيحة ولا تحتاج لإثبات ومن هنا جاء اسمها (''بديهية'') فهي تعتبر بديهية الصحة ضمن هذا النظام الشكلي الذي يتشكل بناء عليها. بطبيعة الحال هذا لا يمنع التساؤل عن مدى صواب هذه البديهيات خارج النظام الشكلي، مما يدفع آخرون لتبني نظام جديد من البديهيات ينتج عنه نظام شكلي جديد وقواعد رياضية جديدة. أحد أشهر الأمثلة [[بديهيات إقليدس]] التي تتشكل بناء عليها [[هندسة إقليدية|الهندسة الإقليدية]] المستوية، وهي تختلف بشكل جذري عن [[هندسة منكوفسكي]] أو [[هندسة اهليليجية|هندسة ريمان]] التي تتبنى بديهيات أخرى.
 
في بعض نظريات المعرفة (الابستمولوجيات) : تعتبر البديهيات حقائق [[ذاتي الإثبات|ذاتية الصحة]] تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة ببديهية ما يدعى بالبديهيات.
 
في [[منطق|المنطق]] و[[نظرية الألعاب]] و[[رياضيات|الرياضيات]] : ليس من الضروري أن تكون البديهية ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في استنتاج ليعطي نتائج. يعتبر نظام معرفي بديهيًا عندما يتم إثباتيثبت أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من البديهيات المستقلة عن بعضها البعض.
 
== بديهيات ==