المقالة الجدلية الثانية : بين الرياضيات الكلاسكية و الرياضيات المعاصرة
نص السؤال :
هل معيار الحقيقة في الرياضيات يكمن في البداهة والوضوح أم في أتساق النتائج مع المقدمات؟
أهلاً بكم طلاب وطالبات الباك 2023 في موقعنا باك نت .baknit.net الموقع التعليمي المتميز والمتفوق بمنهجية موضوع النص الفلسفي الجدلية والمقارنة والاستقصاء بالوضع كما نقدم لكم بقلم أستاذ الفلسفة الاجابة الصحيحة لجميع دروس والمقالات الفلسفية المتوقعة والمقترحة في باك جميع الشعب الفلسفية كما نقدم لكم الأن أعزائي الطلاب والطالبات مقالة مختصرة وهي إجابة السؤال .... هل معيار الحقيقة في الرياضيات يكمن في البداهة والوضوح أم في أتساق النتائج مع المقدمات
الإجابة هي
هل معيار الحقيقة في الرياضيات يكمن في البداهة والوضوح أم في أتساق النتائج مع المقدمات
طرح المشكلة :
توصف المعرفة الرياضية بالصناعة الصحيحة واليقينية في منطلقاتها ونتائجها، لكن التساؤل عن معيار اليقين في الرياضيات كشف انه ليس معيارا واحدا في الرياضيات الإقليدية والرياضيات المعاصرة، ذلك أن الرياضيات الإقليدية تعتقد جازمة ببداهة ووضوح مبادئها وترى فيها النموذج الوحيد في الصدق المطلق، أما الرياضيي المعاصر فلا تهمه المبادئ ذاتها لأنها تشكل مقدمات في النسق الرياضي ، بقدر ما يهمه النسق الرياضي في مجمله أي أن عدم تناقض المقدمات مع النتائج هو معيار اليقين في الرياضيات. وفي ذلك نطرح السؤال التالي:
هل معيار اليقين في الرياضيات يتمثل في بداهة ووضوح مبادئها أم يتمثل في اتساق نتائجها مع مقدماتها؟
محاولة حل المشكلة :
الأطروحة الاولى : معيار اليقين في الرياضيات يتمثل في بداهة ووضوح مبادئها أسست الرياضيات الكلاسيكية تاريخيا قبل عصر النهضة بقرون عديدة قبل الميلاد على يد فيلسوف ورياضي يوناني مشهور اسمه إقليدس (306ق.م/253ق.م)، إذ سيطرت رياضياته الكلاسيكية على العقل البشري إلى غاية القرن التاسع عشر الميلادي، حتى ضن العلماء أنها الرياضيات الوحيدة التي تمتاز نتائجها بالصحة والمطلقية.
اعتمدت الرياضيات الكلاسيكية على مجموعة من المبادئ أو المنطلقات التي لا يمكن للرياضيي التراجع في البرهنة عليها إلى ما لا نهاية، فهي قضايا أولية وبديهية لا يمكن استخلاصها من غيرها،وهي مبادئ لا تحتاج إلى برهان على صحتها لأنها واضحة بذاتها من جهة و لأنها ضرورية لقيام المعرفة الرياضية من جهة أخرى، يستخدمها الرياضي في حل كل قضاياه الرياضية المختلفة، فما هي هذه الميادئ؟
التعريفات الرياضية definitions mathematiquales
هي أولى القضايا التي يلجأ إليها الرياضي من اجل بناء معنى رياضي وإعطائه تمييزا يختلف عن غيره من المعاني الرياضية الأخرى، ومن أهم التعريفات الإقليدية الرياضية، نجد تعريف المثلث بأنه شكل هندسي له ثلاثة أضلاع متقاطعة مثنى مثنى مجموع زواياه تساوى 180درجة. والنقطة هي شكل هندسي ليس لها أبعاد، أو هي حاصل التقاء خطين. والخط المستقيم هو امتداد بدون عرض.
البديهيات les axiomes
هي قضايا واضحة بذاتها،صحيحة وصادقة بذاتها لا تحتاج إلى دليل على صحتها برأي الكلاسيكيين، أي لا يمكن للعقل إثباتها أي تفرض نفسها على العقل بوضوحها لأنها تستند إلى تماسك مبادئ العقل مع ذاته، فهي قضايا قبلية نشأت في العقل قبل التجربة الحسية، فهي قضايا حدسية يدركها العقل مباشرة دون برهان أو استدلال، كما أنها قضايا تحليلية موضوعها لا يضيف علما جديدا إلى محمولها، ومنها بديهيات إقليدس التي تقول:
إن الكل اكبر من الجزء والجزء اصغر من الكل.
الكميتان المساويتان لكمية ثالثة متساويتان.
وبين نقطتين لا يمكن رسم إلا مستقيما واحدا.
وإذا أضيفت كميات متساوية إلى أخرى متساوية تكون النتائج متساوية.
المصادرات les postulats
تسمى أحيانا بالأوليات وأحيانا بالموضوعات .وأحيانا بالمسلمات لان الرياضي هو الذي يضعها فهي إذن قضايا لا نستطيع البرهنة على صحتها وليست واضحة بذاتها، أي فيها تسليم بالعجز، ولذلك نلجأ إلى التسليم بصحتها. ومن مصادرات إقليدس نجد:
مثلا من نقطة خارج مستقيم لا نستطيع رسم إلا مستقيما واحدا مواز للمستقيم الأول.
المستقيمان المتوازيان مهما امتدا لا يلتقيان.
المكان سطح مستوي درجة انحنائه يساوي صفر وله ثلاثة إبعاد هي الطول والعرض والارتفاع.
مجموع زوايا المثلث تساوى قائمتين.
وتسمى هذه المبادئ في مجموعها بالمبادئ الرياضية الكلاسيكية أو بمبادئ النسق الاكسيوماتيكى نسبة إلى كلمة أكسيوم والتي تعنى في العربية البديهية. وهو نسق قائم على التمييز بين هذه المبادئ الثلاثة.
نقد :
إن الهندسة الكلاسيكية التي كانت حتى القرن 19 مأخوذة كحقيقة رياضية مطلقة، أصبحت تظهر كحالة خاصة من حالات الهندسة وما كان ثابتا ومطلقا أصبح متغيرا ونسبيا،وفي هذا المعنى يقول بوليغان bouligand (( إن كثرة الأنظمة في الهندسة لدليل على إن الرياضيات ليس فيها حقائق مطلقة.)). فماهي هذه الأنظمة التي نزعت من الرياضيات الكلاسيكية صفة اليقين المطلق؟
الأطروحة الثانية: معيار اليقين في الرياضيات يتمثل في اتساق النتائج مع المقدمات :قد حاول الرياضيون في مختلف العصور أن يناقشوا مبادئ الهندسة الإقليدية، ولم يتمكنوا منها إلا في العصر الحديث، وهي أطروحة ترى أن معيار الصدق في الرياضيات لا يتمثل في وضوح المبادئ و بداهتها ولكن يتمثل في مدى انسجام وتسلسل منطقي بين الافتراضات أو المنطلقات وبين النتائج المترتبة عنها، وهي أطروحة حديثة تتعرض بالنقد والتشكيك في مبادئ ونتائج الرياضيات الكلاسيكية. أطروحة مثلها الفرنسي روبير بلا نشي والروسي لوبا تشيفسكي و الألماني ريمان. فما هي هذه الانتقادات والشكوك؟
انتقد الفرنسي روبير بلا نشى في كتابه(الأكسيوماتيكا) المبادئ الثلاثة للرياضيات الكلاسيكية:
• التعريفات الإقليدية ووصفها بأنها تعريفات لغوية لا علاقة لها بالحقيقة الرياضية فهي تعريفات نجدها في المعاجم اللغوية فهي بذلك لاتهم إلا اللغة.
• هي تعريفات وصفية حسية تصف المكان الهندسي كما هو موجود حسيا في ارض الواقع وهى بذلك تعريفات تشبه إلى حد بعيد التعريفات في العلوم الطبيعية.
• هي تعريفات لا نستطيع الحكم عليها بأنها صحيحة أو خاطئة فإذا اعتبرناها نظرية وجب البرهنة عليها، وإذا لم نقدر على ذلك وجب اعتبارها مصادرة، وهذا معناه أن التعريفات الإقليدية في حقيقتها عبارة عن مصادرات.
• انتقد بلا نشى أيضا بديهية إقليدس (الكل اكبر من الجزء) معتبرا أنها بديهية خاطئة وليست صحيحة، إذ ثبت أنها صحيحة فقط في المجموعات المنتهية.
• انتقد بلا نشى البديهية أيضا معتبرا أنها صحيحة وصادقة ولا تحتاج إلى برهان في المنطق القديم لكن في الرياضيات المعاصرة البديهيات قضايا يجب البرهنة على صحتها وإذا لم نتمكن من ذلك وجب اعتبارها مسلمة أي مصادرة.
• أما المصادرات فباعتبارها مسلمات أو موضوعات لا نستطيع البرهنة عليها ففيها تسليم بالعجز، من هنا يعتبر بلانشى إن أنسب مبدأ للرياضيات هو مبدأ المصادرات أي المسلمات أو الفرضيات.
• من هنا فأن هندسة إقليدس لم تعد توصف بالكمال المطلق، ولا تمثل اليقين الفكري الذي لا يمكن نقضه، لقد أصبحت واحدة من عدد غير محدود من الهندسات الممكنة التي لكل منها مسلماتها الخاصة بها.
• من هذا المنطلق ظهرت في القرن التاسع عشر أفكارا رياضية هندسية جديدة تختلف عن رياضيات إقليدس وسميت بنظرية النسق الاكسيوماتيكى أو بالهندسات اللاإقليدية ، وتجلى ذلك بوضوح من خلال أعمال العالمين الرياضيين لوبا تشيفسكي الروسي وريمان الألماني.
في سنة 1830م شكك العالم الرياضي الروسي لوباتشيفسكى(Lobatchevski(1793-1857م في مصادرات إقليدس السابق ذكرها وتمكن من الاهتداء إلى الأساس الذي بنيت عليه، وهو المكان الحسي المستوى، وهكذا تصور مكانا أخر يختلف عنه وهو المكان المقعر أي الكرة من الداخل، وفى هذه الحالة تمكن من الحصول على هندسة تختلف عن هندسة إقليدس، أي من خلال هذا المكان أعلن لوباتشيفسكى انه بإمكاننا أن نرسم متوازيات كثيرة من نقطة خارج مستقيم، والمثلث تصير مجموع زواياه اقل من 180 درجة.
وفي سنة 1854م شكك ا الألماني ريمان 1826-1866م Riemann هو الأخر في مصادرات إقليدس وتمكن من نقضها على أساس أخر، فتصور المكان محدودبا أي الكرة من الخارج واستنتج بناءا على ذلك هندسة جديدة ترى انه لا يمكن رسم أي مواز من نقطة خارج مستقيم، وكل مستقيم منتهى لأنه دائري وجميع المستقيمات تتقاطع في نقطتين فقط والمثلث مجموع زواياه أكثر من 180درجة.
النقد :
إذا كانت الرياضيات المعاصرة قد أسقطت فكرة البداهة والوضوح والكمال واليقين والمطلقية في الرياضيات الكلاسيكية، وإذا كان الرياضي المعاصر حر في اختيار مقدمات برهانه فهذا لا يعني أن يتعسف في اختياره ووضعها بل يجب أن يخضع في وضعها إلى شروط منطقية صارمة تنسجم فيها هذه المقدمات مع نتائجها انسجاما منطقيا ضروريا.
التركيب : من خلال ما سبق عرضه نلاحظ أن تعدد الأنساق الرياضية لا يقضي على يقين كل واحد منها، فكل هندسة صادقة صدقا نسقيا إذا أخذت داخل النسق الذي تنتمي إليه وفي هذا المعنى يقول الفرنسي روبير بلا نشى " أما بالنسبة للأنساق في حد ذاتها فلم يعد الأمر يتعلق بصحتها أو بفسادها اللهم إلا بالمعنى المنطقي للانسجام أو التناقض الداخلي، والمبادئ التي تحكمها ليست سوى فرضيات بالمعنى الرياضي لهذا المصطلح."
حل المشكلة :
من خلال ما سبق نستنتج ما يلي:
• إن الرياضيات الإقليدية لم تعد توصف بالكمال والمطلقية، ولم تعد تمثل اليقين الرياضي الوحيد الذي لا يمكن نقضه، بل غدت واحدة من عدد غير محدود من الهندسات الممكنة التي لكل منها مسلماتها الخاصة بها. ولذلك فأن تعدد الأنساق الرياضية هو دليل على خصوبة الفكر في المجال الرياضي وليس التعدد عيبا ينقص من قيمتها أو يقينها.
• كما أن المعرفة الرياضية لا تكتسي الصفة اليقينية المطلقة إلا في سياق منطلقاتها ونتائجها، وهذه الصفة تجعل من حقائقها الرياضية حقائق نسقية.
• كما أن البرهنة في الرياضيات انطلقت من منطق استنتاجي يعتقد في صدق مبادئه ومقدماته إلى منطق فرضي يفترض صدق مبادئه ومقدماته.
ج - مقالات استقصاء :
مقالات الاستقصاء بالوضع