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

تغييرات

تم إزالة 1٬099 بايت ، ‏ قبل 5 سنوات
لا يوجد ملخص تحرير
'''البديهية''' {{يونانية|''أكسيوما'' αξιωμα}} هي أي [[قضية]] تكون مقدمة لاستنتاج تصريحات أخرى منطقيا. ويمكن أن تكون البديهية هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسا ل[[نظام شكلي|النظاملنظام الشكلي]]. بخلاف المبرهنات، البديهيات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيا (والا سيفترض تسميتها نظريات).
'''البديهي''' هو الذي لا يتوقف حصوله على نظر وكسب، سواء احتاج إلى شيء آخر من حدس أو تجربة، أو غير ذلك، أو لم يحتج، فيرادف ال<nowiki/>[[ضروري]]، وقد يراد به ما لا يحتاج بعد توجه العقل إلى شيء أصلا، فيكون أخص من الضروري، كتصور الحرارة والبرودة، وكالتصديق بأن النفي والإثبات لا يجتمعان ولا يرتفعان.<ref>[[تعريفات الجرجاني]]</ref>
ويطلق على الشيء المعلوم بالبرهان إنما يقع لنا التصديق اليميني به من قبل القياس البرهاني، والتصديق بالقياس البرهاني إنما يكون من قبل المقدمات التي منها ائتلف القياس وهي البديهيات. والبديهية هي مبدأ البرهان ولا تحتاج إلى برهان ولا تكتسب من جهة غير العقل، وتسمى العلم المتعارف والمقدمة الواجب قبولها.
 
== البديهية ==
'''البديهية''' {{يونانية|''أكسيوما'' αξιωμα}} هي أي [[قضية]] تكون مقدمة لاستنتاج تصريحات أخرى منطقيا. ويمكن أن تكون البديهية هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسا ل[[نظام شكلي|النظام الشكلي]]. بخلاف المبرهنات، البديهيات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيا (والا سيفترض تسميتها نظريات).
 
كما يتضح من التعريف، البديهية ليست بالضرورة حقيقة بينة بذاتها، ولكن بالأحرى تعبير شكلي منطقي يستعمل في الاستدلال للحصول على أكبر عدد ممكن من النتائج. تعتبر حقائق نظام معرفي مبسطة عندما يتم إثبات أن مجموعة ما من تصريحاته يمكن استخلاصها من جمل قليلة متعارف عليها وواضحة جيدا. وهذا لا يعني انها يمكن أن تكون معروفة بشكل مستقل ؛ وهناك عادة عدة طرق لتبسيط حقائق نظام معين من المعرفة (مثل الحساب). الرياضيات تميز نوعين من البديهيات : البديهيات المنطقية والبديهيات الغير منطقية.
== انظر أيضا ==
*[[بديهة]]
*[[بديهي (منطق)|بديهي]]
* [[افتراض (منطق)|افتراض]]
*[[قضية مسلمة|مسلمة]]