مسلمة (فلسفة)

(بالتحويل من Axiom)

البديهِيَّة[1][2][3] أو البدهية[4] أو المُسلَّمة[1][2][5] أو الموضوعة[6] أو الأولية[2] (باليونانية: أكسيوما αξιωμα)‏ هي منطقٌ أو قضيَّةٌ أو مبدأٌ يُسلَّم به دون برهان أو دلائل تسنده؛ لأنّه واضح كالمبادئ العقلية والأوليَّات والضروريَّات.[7] يمكن أن تكون المسلمة هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسًا للنظام الشكلي. بخلاف المبرهنات، المسلمات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيًا (والا سيفترض تسميتها نظرية).

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

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

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

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

مسلمات

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

التاريخ

عدل

ذكرها الجرجاني في كتابه التعريفات:[8]

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

انظر أيضاً

عدل

مراجع

عدل
  1. ^ ا ب المعجم الموحد لمصطلحات الرياضيات والفلك: (إنجليزي - فرنسي - عربي)، سلسلة المعاجم الموحدة (3) (بالعربية والإنجليزية والفرنسية)، تونس: مكتب تنسيق التعريب، 1990، ص. 18، OCLC:4769958475، QID:Q114600477
  2. ^ ا ب ج أحمد شفيق الخطيب (2001). قاموس العلوم المصور: بالتعريفات والتطبيقات: إنجليزي - عربي (بالعربية والإنجليزية) (ط. 1). بيروت: مكتبة لبنان ناشرون. ص. 42. ISBN:978-9953-10-218-4. OCLC:50131139. QID:Q124741809.
  3. ^ [أ] مجدي وهبة؛ كامل المهندس (1984)، معجم المصطلحات العربية في اللغة والأدب (ط. 2)، بيروت: مكتبة لبنان ناشرون، ص. 77، OCLC:14998502، QID:Q114811596
    [ب] المعجم الفلسفي (بالعربية والإنجليزية والفرنسية)، القاهرة: مجمع اللغة العربية بالقاهرة، 1983، ص. 31، OCLC:493145768، QID:Q113502913
    [جـ] عبد المنعم الحفني (2000)، المعجم الشامل لمصطلحات الفلسفة (بالعربية والإنجليزية والفرنسية والألمانية والروسية واللاتينية واليونانية والعبرية) (ط. 3)، القاهرة: مكتبة مدبولي، ص. 150، OCLC:956967719، QID:Q113192426
    [د] أحمد رياض تركي، المحرر (1968)، المعجم العلمي المصور (بالعربية والإنجليزية)، القاهرة: الجامعة الأمريكية بالقاهرة، ص. 36، OCLC:18795017، QID:Q123644307
  4. ^ نور الدين خليل (2008). قاموس الأديان الكبرى الثلاثة: اليهودية والمسيحية والإسلامية (بالعربية والإنجليزية). مراجعة: محمود آدم. الإسكندرية: مؤسسة حورس الدولية للطباعة والنشر. ص. 62. ISBN:978-977-368-087-9. OCLC:166560426. OL:45068455M. QID:Q125055340.
  5. ^ معجم الرياضيات (بالعربية والإنجليزية)، القاهرة: مجمع اللغة العربية بالقاهرة، ج. 1، 1995، ص. 119، QID:Q120333811
  6. ^ [أ] موفق دعبول؛ بشير قابيل؛ مروان البواب؛ خضر الأحمد (2018)، معجم مصطلحات الرياضيات (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 44، OCLC:1369254291، QID:Q108593221
    [ب] ميشال إبراهيم ساسين؛ رامي أبو سليمان؛ فادي فرحات (2007). قاموس المصطلحات العلمية: فيزياء - كيمياء - رياضيات (إنكليزي - فرنسي - عربي) مع مسرد ألفبائي بالألفاظ الفرنسية (بالعربية والإنجليزية والفرنسية) (ط. 1). بيروت: دار الكتب العلمية. ص. 50. ISBN:978-2-7451-5445-3. OCLC:929661320. OL:53616244M. QID:Q120799140.
  7. ^ معجم اللغة العربية المعاصر
  8. ^ تعريفات الجرجاني