مسلمة^[1] أو وضعت^[2] أو البديهية (باليوناني: بديهية مكتب) هو منطق أو قضية أو مبدأ مقبول دون دليل أو دليل يدعمه ؛ لأنه واضح كمبادئ عقلانية وأولويات وضرورات.^[3] يمكن أن تكون البديهية هي البيان أو الافتراض أو البيان أو القاعدة التي تشكل أساس النظام الرسمي. على عكس النظريات ، لا يمكن اشتقاق البديهيات من خلال مبادئ الاستنتاج ، ولا يمكن إثباتها من خلال إثبات رسمي – لمجرد أنها مقدمات مفترضة – لا يوجد شيء آخر يمكن استنتاجه منطقيًا (وإلا فسيُفترض أنه يسمى نظرية).

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

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

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

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

المسلمات[عدل]

1. يمكن رسم خط مستقيم من أي نقطة إلى أي نقطة أخرى.
2. الخط المستقيم ليس له نهاية.
3. من نقطة معينة ، يمكن رسم قوس واحد لدائرة.
4. جميع الزوايا القائمة متطابقة.
5. من نقطة معروفة ، يمكن رسم خط واحد بالتوازي مع خط معين.

تاريخ[عدل]

وقد ذكرها الجرجاني في كتاب التعريفات:^[4]

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

أنظر أيضا[عدل]

• البديهة
• مسلم
• افتراض
• مسلم
• نظرية المعرفة
• حالة (فلسفة)

مرجع[عدل]

• بوابة تاريخ العلوم
• بوابة الرياضيات
• بوابة الفلسفة
• بوابة المنطق

تم الاسترجاع من «https://en.wikipedia.org/w/index.php؟title=Muslimah_(philosophy)&oldid=60104610»