مبادئ الرياضيات

1. مقدمة

Principia Mathematica (مبادئ الرياضيات) عمل من ثلاثة مجلدات لألفريد نورث وايتهد وبرتراند راسل، يسعى إلى إظهار كيف يمكن اشتقاق أجزاء كبيرة من الرياضيات الكلاسيكية من نظام منطقي صيغ بدقة. وقد كُتب بترميز رمزي بالغ الكثافة، ونُظِّم كنظام استنباطي صوري، ويهدف إلى إثبات أطروحة المنطقانية تفصيلاً، وهي القائلة بأن الرياضيات قابلة، من حيث المبدأ، للرد إلى المنطق.

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

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

يعرض هذا المدخل الخلفية التاريخية الرئيسية للعمل، وسماته التقنية، والتزاماته الفلسفية، وتلقيه اللاحق، ملفتاً الانتباه إلى بنيته الداخلية وإلى تأثيره الأوسع في المنطق والرياضيات والفلسفة.

2. السياق التاريخي والخلفية

نشأت «برنكيبيا ماتيماتيكا» من المناقشات التي دارت في أواخر القرن التاسع عشر وأوائل القرن العشرين حول أسس الرياضيات، وفيها سعت برامج متنافسة عدة إلى تأمين اتساق الاستدلال الرياضي وموثوقيته.

تيارات الأسس

تتمثل الاتجاهات العامة الثلاثة التي شكلت الخلفية المباشرة فيما يلي:

يتوافق مشروع وايتهد وراسل مع التيار المنطقي، ولا سيما بعد محاولة فريجه اشتقاق الحساب من بديهيات منطقية. وقد تعرف راسل على نظام فريجه نحو عام 1900، فأعجب بدقته، لكنه اكتشف في الوقت نفسه ما يُعرف اليوم بمفارقة راسل، التي قوّضت مبدأ الفهم الساذج لدى فريجه في المجموعات.

المفارقات في نظرية المجموعات

وفي الوقت نفسه تقريباً، أنتجت نظرية المجموعات المتجاوزة لكانتور نتائج قوية جديدة، وتناقضات ظاهرة في الوقت ذاته. فإلى جانب مفارقة راسل، ظهرت متناقضات ذات صلة تتعلق بـ«مجموعة كل المجموعات» أو «أكبر عدد ترتيبي». وقد دفعت هذه المتناقضات إلى البحث عن أنظمة تحافظ على كثير من الرياضيات الكلاسيكية، وتمنع الإحالة الذاتية والكليات غير المقيدة.

وظهرت استجابات مختلفة:

• أنظمة البديهيات لنظرية المجموعات، مثل تلك التي طورها زرميلو، ثم زرميلو–فرانكل لاحقاً.
• قيود نظرية الأنماط، التي اقترحها راسل وفصّلها في «برنكيبيا».
• قيود بنّاءة على طرائق البرهان، نظّمها الحدسيون لاحقاً.

السوابق في المنطق الرمزي

كان وايتهد قد كتب من قبل في المنطق الجبري، وقد تأثر المؤلفان تأثراً كبيراً بكل من:

• جوزيبي بيانو، الذي قدّم تدوينه الرمزي وبديهياته للحساب نموذجاً للصورنة.
• غوتلوب فريجه، الذي طوّر في «مفهوم الكتابة» و«القوانين الأساسية» منطق الكمّيات، وبناءً منطقياً للحساب.

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

3. المؤلفون والأهداف والتأليف

المؤلفون

ألفريد نورث وايتهد (1861–1947) عالم رياضيات وفيلسوف بريطاني ركّز عمله المبكر على الجبر وأسس الرياضيات. وقبل «برينكيبيا ماتيماتيكا» كان قد ألّف «رسالة في الجبر الكوني» (1898) ومجلدًا في المنطق الرياضي (مع ذكر راسل لاحقًا بوصفه متعاونًا في المشروع الأكبر).

برتراند راسل (1872–1970) فيلسوف ومنطقي اهتمامه بأسس الرياضيات قاده من الفلسفة التقليدية إلى المنطق الرمزي. وقد شكّل اكتشافه لمفارقة راسل وتعامله مع فريجه وبيانو مشروعه المنطقاني. وتغذّي مقالات راسل المستقلة في المنطق، مثل «عن الإشارة» (1905)، مباشرةً الجهاز المفاهيمي لـ«برينكيبيا».

الأهداف

تتلخص الأهداف المركزية لـ«برينكيبيا ماتيماتيكا» على النحو الآتي:

• تقديم نسق صوري دقيق في المنطق كافٍ للتعبير عن مضمون الرياضيات الكلاسيكية.
• اشتقاق الحساب وأجزاء كبيرة من التحليل من البديهيات والتعريفات المنطقية، وبذلك تبرير أطروحة المنطقانية.
• حل مفارقات نظرية المجموعات باستخدام نظرية للأنماط مفصّلة بعناية وأدوات ذات صلة بها.
• بيان كيف يمكن توضيح المشكلات الفلسفية التقليدية حول الرياضيات من خلال الصورنة.

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

التأليف والنشر

جرى تأليف «برينكيبيا ماتيماتيكا» أساسًا بين عامي 1900 و1910 تقريبًا، بتعاون مكثف:

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

4. بنية الأجزاء الثلاثة وتنظيمها

تُنظَّم «برنكيبيا ماثيماتيكا» بوصفها رسالة صورية ذات أقسام مرقمة (✸1، ✸2، وهكذا) وتطوّر منطقي تراكمي. يركّز كل مجلد على مجالات متمايزة لكنها مترابطة.

المجلد الأول: الأسس المنطقية

يعرض المجلد الأول:

• الترميز الرمزي والثوابت المنطقية الأولية.
• أنساق المنطق القضوي ومنطق المحمولات.
• نظرية الأوصاف، التي تتناول الأوصاف المعرِّفة وغير المعرِّفة.
• نظرية الأنماط المتفرعة، بما في ذلك رتب الدوال القضوية.
• المعالجة الأولية للفئات والعلاقات في ظل قيود الأنماط.
• بناء الحساب الأولي، وصولاً إلى نتائج مثل اشتقاق «1 + 1 = 2».

يوفّر هذا المجلد الآلية المنطقية والتعريفات التأسيسية التي تعتمد عليها المجلدات اللاحقة.

المجلد الثاني: الحساب العددي للأصلية والعلاقات

يتابع المجلد الثاني التطوير المنطقي للأعداد الأصلية وخصائص إضافية للعلاقات. ويتناول:

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

يبيّن المجلد إلى أي مدى يمكن إعادة صياغة جانب كبير من حساب الأصلية الكلاسيكي في المجموعات ضمن الإطار المنطقي الذي أُرسي في المجلد الأول.

المجلد الثالث: الأعداد الترتيبية والمتسلسلات والتحليل

يمدّ المجلد الثالث النسق ليشمل الأعداد الترتيبية والمتسلسلات المرتبة ترتيباً حسناً، وأسس التحليل الحقيقي. ويتضمن:

• تعريفات صورية للأعداد الترتيبية وأنماط الترتيب.
• دراسة تفصيلية للمتسلسلات والعلاقات الترتيبية العامة.
• بناء الأعداد الحقيقية (بوصفها فئات من الأعداد النسبية أو وسائل ذات صلة، بحسب القسم).
• معالجة النهايات والاتصال والتقارب باستخدام الأدوات المنطقية وقيود الأنماط القائمة بالفعل.

تُصمَّم الأجزاء الثلاثة معاً لتُظهر تقدماً من المنطق الأساسي عبر الحساب والبنى الشبيهة بالمجموعات، وصولاً إلى الآلية اللازمة للتحليل الكلاسيكي، كل ذلك ضمن نسق استنباطي واحد موحَّد.

5. الترميز المنطقي والنظام الصوري

تستخدم كتاب «مبادئ الرياضيات» (Principia Mathematica) لغةً رمزيةً مميزةً، تأثرت بشدة ببيانو لكنها كُيّفت لتلائم الحاجات النظرية لرسل ووايتهيد. والترميز جزءٌ لا يتجزأ من محاولة الكتاب بلوغ الدقة والاشتقاق الصوري.

الرموز الأولية والتركيب النحوي

يميّز النظام بين:

• متغيرات قضوية (مثل p وq وr) تدل على قضايا كاملة.
• متغيرات فردية (مثل x وy وz) تدل على الأشياء من أدنى نمط.
• دوال قضوية (مثل ϕx) تُنتج قضايا عندما تُعطى لها وسائط.

تشمل الثوابت المنطقية رموزًا لـ:

يميّز المؤلفان بين القضايا الأولية (البديهيات) والتعريفات، والكثير منها تعريفات سياقية تحذف التعبيرات المركبة لصالح تعبيرات أبسط.

البديهيات وقواعد الاستدلال

يُعرض النظام الصوري بوصفه قائمةً من القضايا الأولية لنظرية القضايا ونظرية التسوير، إلى جانب قواعد استدلال صريحة، مثل قاعدة الوضع المقدِّم (modus ponens) وقواعد استبدال المتساويات بالمتساويات. وتحكم بديهياتٌ إضافية الأصناف والعلاقات والأنماط.

توجد تأويلات مختلفة حول مدى قرب النظام من نظام هيلبرت الحديث أو نظام الاستنتاج الطبيعي. يصفه بعض المعلّقين بأنه مجموعة بديهيات صغيرة نسبيًا مع جهاز استبدال قوي، بينما يؤكد آخرون اعتماده على مخططات ضمنية واصطلاحات حساسة للسياق.

التنظيم الصوري

تُشتق النتائج خطوةً بخطوة في قضايا مرقّمة (✸n.m)، حيث:

• ✸n تدل على قسم رئيسي (مثل ✸1 لقضايا نظرية القضايا).
• تدل الأرقام الفرعية m على نظريات أو توابع بعينها.

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

6. المنطقانية واختزال الحساب

الأطروحة الفلسفية المركزية في كتاب «مبادئ الرياضيات» (Principia Mathematica) هي المنطقانية: الزعم بأن الحساب (وجزءٌ كبير من الرياضيات) يمكن اشتقاقه من بديهيات وتعريفات منطقية خالصة.

تعريف الأعداد

تسير وايتهد وراسل على نهج فريجه في الروح مع إدخال تعديلات مهمة، فيعرّفان:

• التشابه بين الأصناف عبر التناظر الأحادي.
• العدد الأصلي بوصفه صنف جميع الأصناف المتشابهة مع صنف معطى.

تُقدَّم الأعداد الطبيعية بعد ذلك بوصفها أعدادًا أصلية محددة مبنية من مفاهيم منطقية مثل عضوية الصنف وتكافؤ الأصناف.

اشتقاق بديهيات بيانو

ضمن هذا الإطار، يسعيان إلى استعادة بديهيات بيانو المألوفة للأعداد الطبيعية (الصفر، والتالي، والاستقراء، وغيرها). وتسير الاستراتيجية على النحو الآتي:

1. تعريف «0» و«1» و«2» وما يليها بوصفها أعدادًا أصلية بعينها.
2. تعريف عملية التالي بمصطلحات منطقية.
3. إثبات أن صنف الأعداد الطبيعية يحقق نظائر مسلمات بيانو بوصفها مبرهنات داخل النظام.

يجادل مؤيدو التفسير المنطقاني بأن هذه الاشتقاقات تبيّن أن حقائق الحساب هي في النهاية حقائق منطقية، متى ما قُدّمت التحليلات والتعريفات المفهومية المناسبة.

الافتراضات المنطقية مقابل غير المنطقية

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

ومع ذلك، ففي البنية الداخلية لكتاب «مبادئ الرياضيات» يُعرض الحساب لا بوصفه جسدًا مستقلًا من البديهيات، بل بوصفه نظرية مشتقة، تُبنى فوق الجهاز المنطقي للأصناف والعلاقات والأنماط.

7. نظرية الأنماط ومسلمة الاختزال

الدافع إلى نظرية الأنماط

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

في كتاب «مبادئ الرياضيات» (Principia Mathematica)، يطوّر المؤلفان نظرية أنماط متفرّعة، تضيف تراتبية إضافية من الرُّتب لتجنب التعريفات غير المسندة (التعريفات التي تكمّم على كلية تشمل الشيء المراد تعريفه).

الخصائص الأساسية لنظرية الأنماط المتفرعة

• الأنماط البسيطة: الأفراد من أدنى نمط؛ وأصناف الأفراد من نمط أعلى؛ وأصناف هذه الأصناف أعلى من ذلك، وهكذا دواليك.
• الرتب داخل الأنماط: تُصنَّف الدوال القضوية أيضًا حسب الرتبة، تبعًا لما إذا كانت تتضمن تكميمًا على دوال ذات رتب أدنى.
• القيد على الفهم: ليست كل التعبيرات تُعرِّف أصنافًا؛ بل يُسمح فقط بتلك المتوافقة مع قيود النمط والرتبة.

يُقصد من هذه البنية أن تضمن أن البنى الإشكالية، مثل كون الصنف عضوًا في نفسه، لا يمكن صياغتها.

مسلمة الاختزال

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

وقد رأى المدافعون ضمن التقليد المنطقاني أن هذه المسلمة ضرورية لاستعادة الاستدلال الرياضي المعتاد (بما في ذلك استعمالات معينة للفهم والاستقراء) التي كانت ستُحجب بسبب التفريع الصارم.

ويرى المنتقدون، ومنهم رامزي والشراح اللاحقون، أن:

• تبدو المسلمة اعتباطية، وقد أُدخلت أساسًا لاستعادة القوة التي فقدت بسبب التفريع.
• إن وضعها بوصفها مبدأً منطقيًا موضع شك، لأنها تفترض تناظرًا شاملاً بين الدوال المعقدة والدوال الأبسط دون تبرير منطقي مستقل.

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

8. الفئات والدوال القضوية والرموز غير التامة

الدوال القضوية

في كتاب «المبادئ الرياضية» (Principia Mathematica)، الدالة القضوية (مثل ϕx) تعبير يتضمن متغيرًا حرًا واحدًا أو أكثر، ويصبح قضية عندما تُستبدل المتغيرات بحدود مناسبة. والدوال القضوية محورية في معالجة:

• الإسناد (مثل «x إنسان»).
• العلاقات (مثل «x أكبر من y»).
• التسوير (عبارات مثل «لكل x، ϕx»).

وتُعطى هذه الدوال أنماطًا ورتبًا ضمن التسلسل الهرمي المتفرع، بما يضمن أن تحترم وسائطها ومسوِّراتها قيود نظرية الأنماط.

الفئات بوصفها بناءات منطقية

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

كثيرًا ما يستخدم الترميز الصوري رموزًا مثل «{x | ϕx}» بوصفها اختصارًا فحسب لتعبيرات أكثر تعقيدًا تتضمن ϕx والمسوِّرات. ويعكس ذلك استراتيجية تقليص الالتزامات الظاهرة بالمجموعات أو الفئات إلى البنية المنطقية الكامنة وراءها.

الرموز غير التامة

ولتوضيح هذا الاختزال، يُدخل راسل مفهوم الرموز غير التامة. والرمز غير التام تعبير:

• لا يدل على كيان مستقل.
• لا يكون له معنى إلا في سياق تعبيرات أكبر.
• يمكن حذفه من حيث المبدأ بإعادة صياغة منهجية.

ومن الأمثلة على ذلك:

• الأوصاف المحددة («الشيء الفلاني»)، وتُعالج بالتفصيل في نظرية الأوصاف.
• بعض حدود الفئات، وتُعرَّف سياقيًا بدلًا من افتراض أشياء مقابلة لها.

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

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

وفي النص نفسه، يمثل التفاعل بين الدوال القضوية وترميز الفئات والتعريفات السياقية آليةً أساسية لبناء البنى الرياضية، مع السعي إلى إبقاء الأنطولوجيا الكامنة «منطقية» وأدنى قدر ممكن يراه المؤلفان مستطاعًا.

9. الأعداد الأصلية والأعداد الترتيبية

الأعداد الأصلية

في كتاب «مبادئ الرياضيات» (Principia Mathematica)، تُعرَّف الأعداد الأصلية بالتحليل المنطقي للتشابه بين الأصناف:

• يُقال إن الصنفين A وB متشابهان إذا وُجدت مناظرة واحد-لواحد بين أعضائهما.
• يُماهى العدد الأصلي مع صنف جميع الأصناف المتشابهة مع صنف معطى.

وهكذا، فإن العدد «2» هو صنف جميع الأصناف ذات العضوين، و«3» هو صنف جميع الأصناف ذات الأعضاء الثلاثة، وهكذا دواليك. ويهدف هذا المنهج، المستوحى من فريجه، إلى تأسيس العدد على مفاهيم منطقية محضة هي الصنف والعلاقة والتكافؤ.

وفي إطار هذا التصور، يطوّر كتاب «المبادئ» بشكل منهجي:

• العمليات الحسابية على الأعداد الأصلية (الجمع والضرب والأُسّ).
• الفروق بين الأعداد الأصلية المتناهية وغير المتناهية.
• خصائص الأعداد الأصلية المتجاوزة، مثل ℵ₀، بطريقة تتوافق مع قيود نظرية الأنماط.

الأعداد الترتيبية

تُقدَّم الأعداد الترتيبية لتلتقط بنية الترتيب لا مجرد الحجم. ويُرتبط العدد الترتيبي بنمط ترتيب متسلسلة حسنة الترتيب:

• المتسلسلة هي صنف مقترن بعلاقة ترتيب.
• يكون لمتسلسلتين حسنتي الترتيب النمط الترتيبي نفسه إذا وُجدت بينهما مناظرة تامة تحفظ الترتيب.

ويُعرَّف العدد الترتيبي المرتبط بمتسلسلة، بعد ذلك، بأنه صنف جميع المتسلسلات التي تشترك معها في نمط الترتيب. ويتيح ذلك معالجة:

• الأعداد الترتيبية المتناهية (المناظرة للأعداد الطبيعية).
• الأعداد الترتيبية المتجاوزة، التي تمتد بعد المتناهي، على نحو يتسق مع نظرية المجموعات لكانتور، لكنها مُعاد صياغتها في الإطار المنطقاني ونظرية الأنماط.

العلاقة بين الأعداد الأصلية والترتيبية

يستكشف وايتهد وراسل صلات بين الأعداد الأصلية والترتيبية، مثلاً:

يُركّز شراح مختلفون على جوانب متباينة من هذا التطور: فبعضهم يؤكد استمراريته مع الحساب المتجاوز لكانتور، بينما يبرز آخرون التعديلات التي تفرضها نظرية الأنماط، والتمييز بين الأعداد الأصلية بوصفها أصنافاً من الأصناف، والأعداد الترتيبية بوصفها أصنافاً من المتسلسلات المتماثلة في الترتيب.

10. أسس التحليل والمتصل

يتناول المجلد الثالث من «مبادئ الرياضيات» (Principia Mathematica) تطبيق الإطار المنطقي على أسس التحليل الحقيقي ومفهوم المتصل.

بناء الأعداد الحقيقية

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

• الأعداد الحقيقية بوصفها فئات تكافؤ مناسبة لمتتاليات كوشي من الأعداد النسبية، أو
• الأعداد الحقيقية بوصفها فئات من قطعات ديدكيند في الأعداد النسبية،

وتُصاغ هذه البناءات بلغة الأنماط والفئات والعلاقات. ويكمن التركيز في إظهار أن هذه البناءات يمكن إنجازها باستخدام المفاهيم المقبولة في النسق المنطقي وحدها (بما في ذلك آلاته النمطية والفئوية).

النهايات والاتصال والتقارب

ضمن هذا الإطار، تُعرّف «مبادئ الرياضيات» ما يلي:

• النهاية لمتتالية أو دالة بدلالة التكميم على الأعداد النسبية والحقيقية، مبنية وفق التسلسل الهرمي للأنماط.
• اتصال الدوال باستخدام شروط على نمط ε–δ، مُعاد صياغتها بالترميز الشكلي للنسق.
• التقارب والمتسلسلات والمفاهيم التحليلية ذات الصلة باستخدام فئات من الحدود والعلاقات بينها.

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

المتصل

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

• الكثافة: بين أي نقطتين توجد نقطة أخرى.
• الاكتمال: لأنواع معينة من المجموعات أو المتتاليات المحدودة توجد حدود عليا صغرى.

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

بوجه عام، يوضح تحليل الأعداد الحقيقية والمتصل في «مبادئ الرياضيات» محاولة المؤلفين إعادة صياغة النتائج الكلاسيكية للتحليل بوصفها نتائج لنسق منطقي منظم، لا بوصفها بديهيات عن كيانات رياضية مفترضة بشكل مستقل.

11. أبرز النتائج والمقاطع اللافتة

تحظى عدة أجزاء من كتاب Principia Mathematica بشهرة خاصة، سواء داخل المنطق أو في الثقافة الفكرية الأوسع.

البرهان على أن 1 + 1 = 2

النتيجة الأكثر استشهادًا بها هي اشتقاق:

1 + 1 = 2

في المجلد الأول، ✸54.43 (ص. 379 من الطبعة الأولى). تعتمد هذه المبرهنة على تطوير سابق مهم للحساب الأصلي، وعلى تعريفات “1” و“+” و“2”. يذكر المؤلفان في المقدمة، وهي ملاحظة مشهورة، أن “القضية أعلاه مفيدة أحيانًا”، مؤكدين بذلك الإنجاز التقني والفكرة المفهومية بأن حتى الحقائق الحسابية البسيطة جدًا قد تتطلب اشتقاقات منطقية مفصلة عند تحليلها تحليلًا كاملًا.

تعريف العدد

في المجلد الثاني، ✸120–✸121، يقدم Principia تعريفه المنطقاني للعدد بوصفه فئة من الفئات المتساوية في العدد. هذا المقطع محوري لفهم تصورهما للأعداد الأصلية، ويكثر الاستشهاد به في مناقشات المنطقانية:

يُعرَّف العدد بأنه “فئة كل الفئات المماثلة لفئة معطاة.

هذا ينقل مفهوم العدد من كونه مفهومًا أوليًا إلى كونه بناءً منطقيًا.

نظرية الأنماط ومسلمة الاختزال

تتضمن مقدمة المجلد الأول، ولا سيما §§9–13، والعرض الصوري حول ✸10–✸12، الشرح الرئيسي لنظرية الأنماط ومسلمة الاختزال. وكثيرًا ما تُستشهد هذه الأقسام في النقاشات حول المفارقات، والتعريف اللامسندي (impredicativity)، وطبيعة التراتبية المنطقية.

الرموز الناقصة والأوصاف

يعرض القسم §14 من المقدمة والمعالجة الصورية في ✸30–✸31 نظرية الأوصاف ومذهب الرموز الناقصة. ويُستخدم تحليل تعابير مثل “ملك فرنسا الحالي” لإظهار كيف يمكن إزالة الإحالة الظاهرية إلى كيانات غير موجودة من خلال الصورة المنطقية:

بـ‘مؤلف ويفرلي’ لا نعني كيانًا غامضًا، بل نعني الدالة القضوية الصادقة على حد واحد فقط ولا تصدق على أي حد آخر.

تختلف الصياغة بين الأعمال، لكن الفكرة المحورية حاضرة في Principia والكتابات المرتبطة به.

تُعد هذه المقاطع وما يتصل بها محاور لتعليقات لاحقة، وكثيرًا ما تُجمع في مختارات أو تُقتطف بشكل مستقل من الجهاز التقني الكبير للكتاب بأكمله.

12. المنهج الفلسفي والالتزامات الأنطولوجية

منهج التحليل المنطقي

يجسّد كتاب «مبادئ الرياضيات» (Principia Mathematica) التزامًا منهجيًا بالتحليل المنطقي، إذ تُوضَّح المفاهيم الفلسفية والرياضية من خلال:

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

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

الصورنة والدقة

يتعامل العمل مع الصورنة بوصفها أداةً فلسفيةً مركزية. فمن خلال تمثيل الاستدلال بوصفه اشتقاقات داخل نظام صوري، يهدف وايتهيد ورسل إلى:

• جعل الافتراضات صريحة.
• التمييز بين الحقائق المنطقية والوقائع التجريبية أو العرضية.
• تحديد موضع نشوء المفارقات بدقة، وكيفية سدّها.

يصف بعض المفسّرين هذا بأنه شكل مبكر لما أصبح لاحقًا معيارًا في الفلسفة التحليلية، حيث يعمل المنطق الرمزي وسيلةً لتوضيح المفاهيم.

الالتزامات الأنطولوجية

الوضع الأنطولوجي للكيانات في «مبادئ الرياضيات» موضوعٌ رئيسي للتأويل. ويبدو أن النظام يتضمن:

• الأفراد (أشياء أدنى نمط).
• الدوال القضوية من أنماط ورُتب متعددة.
• الأصناف والعلاقات، التي تُعامَل غالبًا بوصفها بناءات منطقية.
• القضايا، التي يُنظر إليها أحيانًا بوصفها مركّبات من مكوّنات.

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

يرى المنتقدون أن:

• يلتزم النظام ضمنيًا، بسبب وجود الدوال ذات الأنماط الأعلى وجهاز نظرية الأنماط، بعالمٍ غنيٍّ من الكيانات المجردة.
• يُدخل الاعتماد على مسلّمة الاختزال وعلى بعض مبادئ الفهم افتراضاتٍ إضافيةً، ربما غير منطقية.

تتباين القراءات المختلفة لكتاب «مبادئ الرياضيات» بين اعتباره مشروعًا بنائيًا أو اسميًا بامتياز، وبين رؤيته مؤيدًا لواقعية قوية بشأن الكيانات المنطقية والرياضية. ويجمع النص نفسه بين الصورية التقنية والملاحظات الفلسفية، تاركًا مجالًا لهذه التأويلات المتباينة حول موقفه الميتافيزيقي النهائي.

13. أهم الانتقادات والقيود التقنية

تعرّض كتاب «برينكيبيا ماثيماتيكا» على مدى قرن منذ نشره لطائفة متنوعة من الانتقادات، تقنية وفلسفية على حد سواء.

التعقيد والعملية

يلاحظ كثير من المعلّقين التعقيد الشديد للترميز والاشتقاقات. فحتى النتائج البسيطة، مثل «1 + 1 = 2»، تتطلب براهين مطوّلة. وقد أدى ذلك إلى مخاوف تتعلق بـ:

• الجدوى العملية لإنجاز أجزاء كبيرة من الرياضيات داخل هذا النسق.
• إمكانية وصول العمل إلى الرياضيين والفلاسفة غير المتمرسين أصلًا في ترميزه.

يرى بعضهم في ذلك دليلًا على أن الاختزال المنطقاني، في أحسن الأحوال، إمكانية مفهومية لا أساس قابل للتطبيق في الرياضيات اليومية.

مسلّمة الاختزال ونظرية الأنماط

تُعدّ مسلّمة الاختزال محورًا رئيسيًا للنقد. ويجادل المنتقدون بأنها:

• مسلّمة ad hoc، أُدخلت لاستعادة القوة الرياضية التي فقدت بسبب التسلسل الهرمي المتفرّع للأنماط.
• يتّسم تبريرها بوصفها مبدأً منطقيًا بالغموض، مما يقوّض دعوى أن النسق منطقي محض.

وقد اقترح المناطقة اللاحقون نظريات أنماط بسيطة أو أنساقًا بديلة (مثل نظرية المجموعات لزرميلو–فرانكل) يعدّها كثيرون أكثر انسيابية.

القضايا الأنطولوجية والمفهومية

يوجّه النقّاد أيضًا نقدهم إلى أنطولوجيا النسق. ويرى بعضهم أن:

• على الرغم من الحديث عن الرموز الناقصة، يفترض «برينكيبيا» كونًا كبيرًا من كيانات ذات أنماط عليا.
• لا يتّضح تمامًا تصوّر القضايا والدوال القضوية، مما يثير تساؤلات حول نوع الأشياء التي هي عليها.

ويتساءل آخرون عما إذا كان التحليل المنطقاني للعدد بوصفه صنفًا من الأصناف المتكافئة العددية يلتقط كل جوانب الممارسة العددية والحدس العددي.

نظريات عدم الاكتمال لغوديل

بيّنت نظريات عدم الاكتمال لكورت غوديل (1931) أن أي نسق صوري متّسق وذي تعبيرية كافية، بما في ذلك الأنساق المماثلة في القوة لنسق «برينكيبيا»، لا يمكن أن يكون تامًا وقادرًا في آن واحد على إثبات اتساقه الذاتي. وقد فُسّر ذلك بأنه يحدّ من طموحات المشاريع المنطقانية التي تصوّرت نسقًا منطقيًا واحدًا تامًا لكل الرياضيات.

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

المقارنة مع الأسس البديلة

مع نضج أنساق المسلّمات لنظرية المجموعات (مثل زرميلو–فرانكل) والحساب الصوري، اتجه كثير من الرياضيين نحو هذه الأنساق في العمل التأسيسي. وكثيرًا ما تبرز المقارنات:

أسهمت هذه التطورات في النظر إلى «برينكيبيا ماثيماتيكا» بوصفها معلمًا ذا أهمية تاريخية أكثر منه خيارًا تأسيسيًا حيًا للرياضيات السائدة المعاصرة.

14. التأثير في المنطق والرياضيات والفلسفة التحليلية

التأثير في المنطق والأنظمة الصورية

أدّى كتاب «مبادئ الرياضيات» (Principia Mathematica) دورًا بارزًا في ترسيخ المنطق الرمزي بوصفه تخصصًا رياضيًا صارمًا. وقد أثّر تطويره المفصّل لمنطق القضايا ومنطق المحمولات، إلى جانب نظرية الأنماط، في:

• أعمال لاحقة في أنظمة الأنماط، ومنها نظرية الأنماط البسيطة عند تشرش والحسابات اللامدا المكتوبة بالأنماط في صورتها الحديثة.
• تصميم الأنظمة الصورية المستخدمة في نظرية البرهان ونظرية القابلية للحساب.

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

الدور في أسس الرياضيات

في الدراسات الأساسية، قدّم «مبادئ الرياضيات»:

• تطبيقًا رائدًا لبرنامج المنطقانية، فصار نقطة مرجعية في النقاش حول آفاق المنطقانية وحدودها.
• حفّز مزيدًا من الاستكشاف لنظرية الأنماط بوصفها بديلًا لنظرية المجموعات في تنظيم الرياضيات.
• أثرى النقاشات حول اللامعرّفية (impredicativity)، ومبادئ الفهم، وطبيعة التعريفات الرياضية.

حتى مع تبنّي كثير من الرياضيين أسسًا قائمة على نظرية المجموعات، ظل «مبادئ الرياضيات» يشكّل النقاشات حول الأساس المفهومي للممارسة الرياضية.

الإسهام في الفلسفة التحليلية

في الفلسفة، يُعدّ كتاب «مبادئ الرياضيات» كثيرًا أساسًا للفلسفة التحليلية:

• أثّر منهجه في التحليل المنطقي في الأعمال المبكرة لراسل وفتغنشتاين، ولاحقًا في الوضعيين المنطقيين.
• أسهمت معالجته للأوصاف والرموز الناقصة في آراء أوسع حول اللغة والإحالة والمعنى.
• صارت فكرة أن المشكلات الفلسفية يمكن معالجتها غالبًا بتوضيح الصورة المنطقية سمةً مميزة للتقليد التحليلي.

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

التأثير التعليمي والثقافي

على الرغم من صعوبته التقنية، دخل «مبادئ الرياضيات» الثقافة الفكرية الأوسع بوصفه رمزًا للصرامة الصورية والطموح في المنطق. وقد استُخدمت نسخ مختصرة أو موجهة للطلاب (مثل *Principia Mathematica to 56) في تدريس المنطق الرمزي، وما زالت مقاطع مفتاحية منه تظهر في المختارات والكتب الدراسية.

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

15. الإرث والأهمية التاريخية

يتسم إرث كتاب «برنكيبيا ماثيماتيكا» (Principia Mathematica) بتعدد أوجهه، إذ يمتد إلى المنطق والرياضيات والفلسفة.

المكانة في تاريخ المنطق

وكثيرًا ما تتخذ التطورات اللاحقة، مثل نظرية البرهان عند هيلبرت، ومبرهنات غودل، ونظرية النماذج، كتاب «برنكيبيا» نقطة مرجعية تاريخية أساسية.

أسس الرياضيات

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

التأثير في النظريات اللاحقة

تتطور الأطر الأساسية اللاحقة، مثل:

• نظريات الأنماط البسيطة (مثل تشيرش)،
• نظرية المجموعات البديهية (ZF/ZFC)،
• الأسس القائمة على نظرية الأنماط المستخدمة في علوم الحاسوب ومساعدات البرهان،

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

المكانة الفلسفية والثقافية

في الفلسفة، أصبح كتاب «برنكيبيا ماثيماتيكا» رمزًا لاعتماد التقليد التحليلي على المنطق الصوري. ويُستشهد به كثيرًا في مناقشات تطور راسل الفلسفي، ونظرية الأوصاف، وطبيعة الصدق المنطقي. ويواصل المزج بين التفصيل التقني والطموح الفلسفي فيه جذب الدراسات التاريخية والتأويلية.

وثقافيًا، صارت صورة العمل الضخم المكرس لإثبات أن «1 + 1 = 2» رمزًا لقوة المناهج الصورية ولما يُعد من إفراط فيها. ويقدم مؤرخو الأفكار الكتاب غالبًا بوصفه معلمًا في القصة الأوسع للعقلانية في القرن العشرين، والفلسفة العلمية، والسعي إلى الصرامة في التفكير.

بوجه عام، وبينما راجعت التطورات اللاحقة جهازه التقني المحدد، وأزاحته أحيانًا، يظل كتاب «برنكيبيا ماثيماتيكا» صرحًا أساسيًا يمتد تأثيره عبر تخصصات متعددة، ويواصل تاريخه الفكري دراسةً ونقاشًا نشطين.