بديهية

من موسوعة العلوم العربية
مراجعة 21:15، 12 نوفمبر 2010 بواسطة WikiSysop (نقاش | مساهمات) (١ مراجعة: الصفحات في تصنيف رياضيات)
(فرق) → مراجعة أقدم | المراجعة الحالية (فرق) | مراجعة أحدث ← (فرق)
اذهب إلى التنقل اذهب إلى البحث

الشيء المعلوم بالبرهان إنما يقع لنا التصديق اليميني به من قبل القياس البرهاني، والتصديق بالقياس البرهاني إنما يكون من قبل المقدمات التي منها ائتلف القياس وهي البديهيات. والبديهية هي مبدأ البرهان ولا تحتاج إلى برهان ولا تكتسب من جهة غير العقل، وتسمى العلم المتعارف والمقدمة الواجب قبولها.

البديهية axiom هي أي افتراض يكون مقدمة لاستنتاج تصريحات أخرى منطقيا. ويمكن أن تكون البديهية هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسا لالنظام الشكلي. بخلاف المبرهنات، البديهيات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيا (والا سيفترض تسميتها نظريات). في سياقات عديدة، "البديهيه"، و"المسلمة"، و"الافتراض" تستخدم بشكل متبادل.

كما يتضح من التعريف، البديهية ليست بالضرورة حقيقة بينة بذاتها، ولكن بالأحرى تعبير شكلي منطقي يستعمل في الاستدلال للحصول على أكبر عدد ممكن من النتائج. تعتبر حقائق نظام معرفي مبسطة عندما يتم إثبات أن مجموعة ما من تصريحاته يمكن استخلاصها من جمل قليلة متعارف عليها وواضحة جيدا. وهذا لا يعني انها يمكن أن تكون معروفة بشكل مستقل ؛ وهناك عادة عدة طرق لتبسيط حقائق نظام معين من المعرفة (مثل الحساب). الرياضيات تميز نوعين من البديهيات : البديهيات المنطقية والبديهيات الغير منطقية.

البديهيات تأخذ بشكل أساسي على أنها صحيحة ولا تحتاج لإثبات ومن هنا جاء اسمها (بديهية) قهي تعتبر بديهية الصحة ضمن هذا النظام الشكلي الذي يتشكل بناء عليها. بطبيعة الحال هذا لا يمنع التساؤل عن مدى صواب هذه البديهيات خارج النظام الشكلي، مما يدفع آخرون لتبني نظام جديد من البديهيات ينتج عنه نظام شكلي جديد وقواعد رياضية جديدة. أحد أشهر الأمثلة بديهيات إقليدس التي تتشكل بناء عليها الهندسة الإقليدية المستوية، وهي تختلف بشكل جذري عن هندسة منكوفسكي أو هندسة ريمان التي تتبنى بديهيات أخرى. في الكثير من الكتب تستخدم كلمات ومصطلحات : بديهية axiom، مسلمة(رياضيات) postulate، افتراض assumption بشكل متبادل.

في بعض نظريات المعرفة (الابستمولوجيات) : تعتبر البديهيات حقائق ذاتية الصحة self-evident تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة ببديهية ما يدعى بالبديهيات.

في المنطق ونظرية الألعاب والرياضيات : ليس من الضروري أن تكون البديهية ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في استنتاج ليعطي نتائج. يعتبر نظام معرفي بديهيا عندما يتم إثبات أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من البديهيات المستقلة عن بعضها البعص.


als:Axiom an:Axioma az:Aksiom be:Аксіёма be-x-old:Аксіёма bg:Аксиома bn:স্বতঃসিদ্ধ bs:Aksiom ca:Axioma ckb:بەڵگەنەویست cs:Axiom da:Aksiom de:Axiom el:Αξίωμα en:Axiom eo:Aksiomo es:Axioma et:Aksioom eu:Axioma fa:اصل موضوع fi:Aksiooma fr:Axiome frr:Aksioom gd:Aicseam gl:Axioma he:אקסיומה hi:स्वयंसिद्ध hr:Aksiom hu:Axióma id:Aksioma io:Axiomo is:Frumsenda it:Assioma (matematica) ja:公理 ka:აქსიომა kk:Аксиома ko:공리 la:Axioma lt:Aksioma lv:Aksioma mk:Аксиома ml:സ്വയം‌സിദ്ധപ്രമാണം mn:Аксиом ms:Aksiom new:एक्जियोम nl:Axioma nn:Aksiom no:Aksiom nov:Axiome pl:Aksjomat pnb:منیا پرمنیا pt:Axioma ro:Axiomă ru:Аксиома scn:Assioma sh:Aksiom simple:Axiom sk:Axióma sl:Aksiom sq:Aksioma sr:Аксиома sv:Axiom ta:மெய்கோள் tr:Belit uk:Аксіома ur:Axiom vec:Asioma vi:Tiên đề war:Aksyoma yi:אקסיאם zh:公理 zh-classical:公理 zh-min-nan:Kong-siat zh-yue:公理