أسس الحساب: بحث منطقي رياضي في مفهوم العدد

1. مقدمة

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

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

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

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

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

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

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

فلسفياً، كان هناك اتجاهان عامّان لهما أهمية خاصة:

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

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

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

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

3. مؤلف العمل وتكوينه

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

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

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

عمل فريجه على «أسس الحساب» بين عامي 1881 و1883 تقريبًا، معتمدًا على محاضرات ومسودات سابقة تناولت مفهوم العدد. نُشرت الرسالة في عام 1884 عن طريق فيلهلم كوبنر في بريسلاو. وتشير الأدلة المتوفرة إلى أن التأليف تضمّن إعادة صياغة واسعة للمناقشات النقدية لمؤلفين سابقين (وخاصة كانط وميل)، إلى جانب تطوير رؤية فريجه الخاصة للعدد بوصفه متعلقًا بالمفاهيم لا بالأشياء الفردية.

على خلاف «القوانين الأساسية للحساب» (Grundgesetze der Arithmetik، 1893، 1903) المتأخرة، فإن «أسس الحساب» غير رسمي إلى حد كبير: إذ يكاد يخلو من الرموز المأخوذة من «كتابة المفهوم»، وتُعرض حججه في نثر متصل. ويرى الدارسون أن هذا الاختيار الأسلوبي يعكس رغبة فريجه في الوصول إلى جمهور أوسع من الفلاسفة والرياضيين، وكذلك اعتقاده بأن توضيح المفاهيم يسبق الصورنة الكاملة.

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

4. الغايات والمنهج ومبدأ السياق

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

الغايات

تشمل أهداف فريجه الرئيسة ما يلي:

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

يفهم فريجه هذا بوصفه جزءًا من مشروع تأسيسي أوسع: فبتحليل الحساب يمكن توضيح العلاقة بين المنطق واللغة والفكر.

المنهج

يجمع منهج فريجه بين:

• التحليل المفهومي للغة العادية والرياضية المتعلقة بالأعداد.
• الفحص النقدي للتفسيرات الفلسفية المنافسة.
• إعادة البناء المنطقي: إعادة صياغة القضايا العددية العادية في صورة منطقية واضحة.

ومن القناعات الموجهة أن كثيرًا من الألغاز الفلسفية المتعلقة بالعدد تنشأ عن سوء فهم للنحو المنطقي للتعبيرات العددية.

مبدأ السياق

ومحور هذا المنهج هو مبدأ السياق:

لا ينبغي أبدًا السؤال عن معنى كلمة في عزلة، بل فقط في سياق قضية.

يطبق فريجه هذا المبدأ بإصراره على أن دلالة أسماء الأعداد (مثل "اثنان" و"أربعة") ينبغي فهمها من خلال الأدوار التي تؤديها في الجمل الكاملة، مثل "للمشتري أربعة أقمار". وبدلًا من البدء بتعريف إشاري لـ"أربعة" بالإشارة إلى مجموعة من الأشياء، يسأل عما يُؤكَّد عندما نُدلي بادعاء عددي.

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

5. نقد النفسانية والنظريات الذاتية للعدد

يُكرَّس جزء كبير من كتاب أسس علم الحساب (Die Grundlagen der Arithmetik) لنقد التصورات النفسانية والذاتية للعدد، التي تعامل الأعداد بوصفها عناصر ذهنية، أو نتاجاً لأفعال داخلية، أو سمات لتمثلات ذاتية.

الأطروحات المستهدفة بالنقد

يتناول فريجه عدة فئات من الآراء:

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

الخطوط الرئيسة للنقد

يسير نقد فريجه وفق محاور عدة:

1. الموضوعية والتفاهم بين الذوات: يرى فريجه أن التصورات النفسانية تواجه صعوبة في تفسير كيف يُنتج علم الحساب حقائق موضوعية تصدق بمعزل عن الحالات الذهنية لأي ذات بعينها. فإذا كانت الأعداد أفكاراً خاصة، فلن يكون واضحاً كيف يستطيع أشخاص مختلفون الإشارة إلى العدد نفسه، أو الاختلاف حول الادعاءات العددية اختلافاً ذا معنى.
2. المعايير العامة للصحة: يتسم علم الحساب ببراهين وحسابات قابلة للتحقق العلني. ويرى فريجه أنه إذا كانت الأعداد قائمة على تجارب ذاتية، فإن هذه الإجراءات ستفتقر إلى معايير محددة للصحة.
3. التمييز بين التمثيل والمُمَثَّل: يميّز فريجه بين الفكرة التي يمتلكها فرد ما والموضوع الذي تمثّله تلك الفكرة. ويرى أن النظريات النفسانية تخلط بين هذين الأمرين: فالأفكار نفسانية بالفعل، لكن ما يدور حوله علم الحساب، أي الأعداد، يجب أن يكون شيئاً يمكن أن يكون مشتركاً بين كثيرين من المفكرين، لا أن يكون مطابقاً لحدث ذهني لدى شخص بعينه.
4. الثبات والضرورة: يتضمن علم الحساب حقائق ضرورية (مثل أن 2 + 2 = 4). ويجادل فريجه بأن الطابع العَرَضي المتغير للعمليات الذهنية لا يمكن أن يؤسس مثل هذه الضرورة.

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

6. النظريات التجريبية في الحساب وردّ فريجه

يخصص فريجه نقاشًا مطولًا للنظريات التجريبية، ولا سيما نظرية ج. س. ميل، التي تفسّر الحساب بوصفه علمًا تجريبيًا للمجموعات. فوفقًا لهذه الآراء، تنشأ الحقائق العددية بالتعميم من الملاحظات: إننا نتعلم أن 2 + 3 = 5 بالطريقة نفسها تقريبًا التي نتعلم بها أن الأجسام تتجاذب فيما بينها، أي بالتأكيد المتكرر في التجربة.

التصور التجريبي (ميل وآخرون)

يذهب التجريبيون في كثير من الأحيان إلى القول:

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

يلخّص فريجه موقف ميل بالتأكيد على التشبيه الذي يعقده ميل بين الحساب والعلم الطبيعي التجريبي.

اعتراضات فريجه

يثير فريجه اعتراضات متعددة على هذه الصورة التجريبية:

1. العمومية والقابلية للتطبيق: تنطبق الحقائق الحسابية لا على الأشياء المادية وحدها، بل كذلك على مجالات غير تجريبية (مثل الإمكانات والبنى المجردة). ويرى فريجه أن التفسير المقصور على المجموعات الحسية لا يستطيع أن يفسّر هذه العمومية غير المقيدة.
2. الضرورة مقابل الطارئية: يرى فريجه أن التعميمات التجريبية محتملة في أحسن الأحوال بدرجة عالية، وقابلة للمراجعة دائمًا، في حين أن قضايا مثل «7 + 5 = 12» تبدو ضرورية وغير قابلة للمراجعة. قد يفسّر أنصار التجريبية ذلك بأنه درجة عالية من التأييد، لكن فريجه يزعم أن ممارستنا تعامل هذه الحقائق معاملة مختلفة عن القوانين التجريبية.
3. دور التجربة: مع أن التجربة قد تكون مناسبة لتعلمنا الحساب، يصرّ فريجه على أنها لا تبرر حقائقه. فنحن لا نختبر «5 + 3 = 8» بعد عدّ الأكوام من جديد، بل نعتمد عليها في تنظيم البحث التجريبي نفسه.
4. الأخطاء التصورية مقابل الأخطاء الوقائعية: يلاحظ فريجه أن أخطاء الحساب تُعرف بوصفها أخطاء منطقية أو تصورية، لا بوصفها اكتشافات تجريبية جديدة عن العالم. وهذا يوحي بأن الحساب أقرب إلى المنطق منه إلى العلم الطبيعي.

الفروق الدقيقة التجريبية البديلة

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

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

7. فريجه في مقابل كانط حول التحليلية والقَبْلي

محور مركزي في كتاب أسس علم الحساب (Die Grundlagen der Arithmetik) هو تعامل فريجه مع تصور كانط للحساب. فقد صنّف كانط الأحكام الحسابية بوصفها تركيبية قَبْلية: إنها توسّع معرفتنا، لكنها قابلة للمعرفة مستقلةً عن التجربة، ومؤسسة على الحدس الخالص (خاصةً حدس الزمان).

موقف كانط (كما يعرضه فريجه)

وفقاً لكانط (على قراءة فريجه):

• الأحكام العددية ليست تحليلية، لأن تصور العدد 7 مثلاً لا يتضمن تصور «+5» أو تصور العدد 12.
• وهي قَبْلية، ويُبرَّر ذلك بالاستناد إلى الحدس الخالص، كأن نُنشئ على سبيل المثال متتاليات من الوحدات في الزمان.
• وبذلك يعتمد الحساب على صور الحساسية، لا على المنطق وحده.

إعادة تقييم فريجه

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

لا ينبغي أن نسأل عمّا يحمله التصور في عزلة، بل فقط عن كيفية أدائه وظيفته في سياق الحكم ».

يطبّق فريجه هذه الرؤية المنهجية على الادعاءات العددية، ويقترح أن تصنيف كانط يقوم على تحليل منطقي غير كافٍ لصورتها.

نقاط الخلاف

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

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

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

8. التحليل المنطقي لعبارات العدد

يقدّم فريجه في كتابه أسس الحساب (Die Grundlagen der Arithmetik) تحليلاً منطقياً مفصّلاً للعبارات العددية العادية، بغية توضيح ما تقرّره هذه العبارات وكيفية عمل الأعداد داخلها. ويُعدّ هذا التحليل محورياً في محاولته فهم الأعداد بوصفها أشياءً منطقية مرتبطةً بالمفاهيم.

من الصيغة ذات الموضوع والمحمول إلى الصيغة الكمّية

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

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

العدّ بوصفه بنيةً منطقية

لكي يلتقط مضمون عبارات مثل «توجد بالضبط n من الـF»، يلجأ فريجه إلى شروطٍ يمكن التعبير عنها منطقياً:

• فعلى سبيل المثال، يمكن صياغة «توجد بالضبط اثنان من الـF» على النحو الآتي: توجد أشياء a و b بحيث يكون كلاهما F، وa ≠ b، وأيّ F يكون مطابقاً إما لـa أو لـb.

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

القراءات الوجودية السلبية والإيجابية

يميّز فريجه أيضاً بدقةٍ بين استعمالات مختلفة للتعبيرات العددية:

• «لا توجد أيّ F» (صفر من الـF) يُحلَّل بوصفه نفياً لوجود أيّ شيءٍ يندرج تحت المفهوم F.
• «توجد F واحدة على الأقل» عبارةٌ وجوديةٌ.
• «توجد F واحدة بالضبط» و«توجد بالضبط n من الـF» تُدخلان شروطاً منطقيةً أعقد.

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

9. التكافؤ العددي بين المفاهيم وتعريف العدد

تُعدّ خطوة بنائية محورية في كتاب «أسس علم الحساب» (Die Grundlagen der Arithmetik) تقديمُ فريجه لمفهوم التكافؤ العددي بين المفاهيم، والتعريفُ الذي يترتب عليه للعدد الأصلي.

التكافؤ العددي بين المفاهيم

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

تتمتع هذه العلاقة بعدة خصائص منطقية مهمة:

• إنها انعكاسية (أي مفهوم متكافئ عدديًا مع نفسه).
• إنها متماثلة (إذا كان F متكافئًا عدديًا مع G، فإن G متكافئ عدديًا مع F).
• إنها متعدية (إذا كان F متكافئًا عدديًا مع G، وكان G متكافئًا مع H، فإن F متكافئ مع H).

يؤكد أنصار التصورات البنيوية أو العلائقية للعدد لاحقًا أن التكافؤ العددي يلتقط الأصلية المجردة لمجموعة ما، بصرف النظر عن طبيعة أعضائها.

الأعداد بوصفها امتدادات لمفاهيم من المستوى الثاني

باستخدام التكافؤ العددي، يقدم فريجه تعريفه الشهير:

العدد الذي ينتمي إلى المفهوم F هو امتداد مفهوم المستوى الثاني «متكافئ عدديًا مع F».

وبصورة ملموسة، لنأخذ مفهومًا F (مثلًا «كوكب في النظام الشمسي»). ينطبق مفهوم المستوى الثاني «متكافئ عدديًا مع F» على مفاهيم G من المستوى الأول المتكافئة عدديًا مع F. وامتداد هذا المفهوم من المستوى الثاني، أي مجموعة كل المفاهيم المتكافئة عدديًا مع F، هو ما يطابقه فريجه مع «العدد الذي ينتمي إلى F».

وفق هذا التصور:

• العدد 0 هو امتداد المفهوم «متكافئ عدديًا مع المفهوم الذي لا يندرج تحته شيء».
• العدد 1 هو امتداد المفهوم «متكافئ عدديًا مع المفهوم الذي يندرج تحته شيء واحد بالضبط»، وهكذا دواليك.

وبذلك تصبح الأعداد أشياء مجردة مرتبطة لا بتجمعات بعينها، بل بأصناف تكافؤ من المفاهيم وفق علاقة التكافؤ العددي.

السمات والتفسيرات

يهدف هذا التعريف إلى:

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

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

10. القوانين الحسابية بوصفها قوانين منطقية

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

من التعريفات إلى القوانين

ينطلق فريجه من تعريفه للعدد الذي ينتمي إلى مفهوم F بوصفه امتداد المفهوم من المرتبة الثانية «مكافئ عدديًا لـ F»، ويقترح أن:

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

فعلى سبيل المثال، يجادل بأن:

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

بنية الاشتقاقات

يتصور فريجه اشتقاقات تستخدم:

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

في ظل هذا البرنامج، سيجري إظهار أن عبارة مثل «2 + 3 = 5» مكافئة، عبر تعريفات الجمع والأرقام، لعبارة منطقية محضة عن المفاهيم والتكافؤ العددي والامتدادات.

المنطق مقابل «الحدس»

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

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

11. المفاهيم الأساسية والمصطلحات التقنية

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

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

المصطلحات العددية والحسابية

التمييزات الدلالية والميتافيزيقية (المتوقَّعة)

مع أن «أسس الحساب» سبق صياغة فريجه الصريحة للتمييز بين المعنى والمرجع، فإنه يتوقع فصلًا بين:

• محتوى التعبيرات العددية كما تُستخدم في الأحكام (ما يُؤكَّد)، و
• الأشياء (الأعداد) التي تشير إليها تلك التعبيرات.

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

تشكّل هذه المفاهيم المفردات التقنية التي يتابع فريجه من خلالها تحليله للعدد والبنية المنطقية للحساب في «أسس الحساب».

12. مقاطع شهيرة ومذاهب مركزية

تُعدّ عدة مقاطع ومذاهب من «أسس الحساب» (Die Grundlagen der Arithmetik) نقاطَ مرجعٍ معتمدةً في فلسفة الرياضيات والفلسفة التحليلية.

مبدأ السياق

يصوغ فريجه أحد مبادئه الموجِّهة في وقت مبكر من العمل:

ألّا يُسأل أبدًا عن معنى كلمة منفردةً، بل فقط في سياق قضية.

— فريجه، «أسس الحساب»، §60 (مترابطة سياقيًا)

يقوم هذا المبدأ عليه نهجُه في ألفاظ الأعداد، وقد أثّر في فلسفة اللغة اللاحقة، حيث يُقارن كثيرًا بالمذاهب السياقية اللاحقة أو يُقابَل بها.

مناهضة النفسانية

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

قوانين العدد ليست حقائقَ استقرائيةً عن الكيفية التي نفكر بها اتفاقًا، بل معايير تحكم الاستدلال الصحيح.

تُفصح مقاطع من هذا النوع عن المذهب المناهض للنفسانية، القائل إن القوانين المنطقية والرياضية تتمتع بمكانة موضوعية مستقلة عن علم النفس.

نقد تجريبية ميل

تُعدّ مناقشة فريجه لرأي ميل التجريبي في الحساب من أشهر الأقسام الجدلية في الكتاب. يُبرز فريجه مقارنة ميل للحساب بالفيزياء التجريبية، فيرد بأنّ:

يتصف الحساب بطابع فرع من المنطق أكثر منه علمًا طبيعيًا.

— فريجه، «أسس الحساب»، مناقشة ميل في منتصف العمل

يُعدّ التباين بين ضرورة الحساب وعرضية القوانين التجريبية مذهبًا مركزيًا ينبثق من هذا النقد.

تعريف العدد بالتكافؤ العددي

تعريف فريجه الإيجابي للعدد مقطع شهير آخر:

العدد الذي ينتمي إلى المفهوم F هو امتداد المفهوم «مكافئ عدديًا للمفهوم F».

— فريجه، «أسس الحساب»، §§62–68 (بتصرف)

تختزل هذه الصياغة رؤيته بأن الأعداد موضوعات منطقية مرتبطة بفئات تكافؤ للمفاهيم وفق التكافؤ العددي.

توقّع المعنى والمرجع

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

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

13. المنهج الفلسفي وأسلوب الحجاج

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

تحليل المفاهيم للغة

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

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

النقد المتعلق بالسابقين

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

لا يقف هذا الانخراط التاريخي عند حدود التفسير النصي؛ فإن فريجه يعامل مواقف كانط وميل وغيرهما بوصفها حالات اختبار لمعاييره الخاصة في الوضوح والصرامة.

أسلوب غير رسمي لكنه موجّه منطقيًا

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

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

التوجه المعياري والتأسيسي

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

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

14. الانتقادات والقيود والتطورات اللاحقة

يُعدّ كتاب «أسس علم الحساب» (Die Grundlagen der Arithmetik) على نطاق واسع معلَماً بارزاً، غير أن حججه وافتراضاته خضعت لنقد واسع النطاق وإعادة تفسير.

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

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

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

التحليلية ونطاق المنطق

يواجه ادعاء فريجه بأن الحساب تحليلي تحدياتٍ من عدة جهات:

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

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

أنطولوجيا الأعداد

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

مبدأ السياق والدَّوْر

اعتماد فريجه على مبدأ السياق وعلى الأدوار الاستدلالية لألفاظ الأعداد دفع بعضهم إلى القلق من الدَّوْر: فإذا كانت معاني ألفاظ الأعداد محددةً بموضعها في القضايا، وكانت تلك القضايا تفترض مسبقاً المفاهيم العددية، فقد لا يكون واضحاً كيف يتجنب هذا التفسير افتراض ما يسعى إلى تفسيره.

حاول المفسّرون النيو-فريجيون الرد بتطوير مبادئ التجريد (ولا سيما «مبدأ هيوم») التي تهدف إلى تأمين الإحالة إلى الأعداد دون اللجوء إلى أنطولوجيا فريجه القائمة على الامتدادات كاملةً، مع السعي إلى الحفاظ على رؤاه المحورية.

التطورات اللاحقة

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

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

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

يمتد إرث كتاب «أسس الحساب» (Die Grundlagen der Arithmetik) إلى المنطق وفلسفة الرياضيات والمسار الأوسع للفلسفة التحليلية.

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

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

• برتراند راسل، الذي تبنّى برنامج فريجه المنطقاني وطوّره، مفضيًا إلى كتاب «مبادئ الرياضيات» (Principia Mathematica).
• فتغنشتاين، ولا سيما في «رسالة منطقية-فلسفية» (Tractatus)، حيث تتردد فكرة أن الصورة المنطقية تكمن وراء القضايا أصداءَ الموضوعات الفريجية.
• الوضعيون المنطقيون مثل كارناب، الذين استندوا إلى مناهضة فريجه للنفسانية وإلى تصوره الصوري للتحليل المنطقي.

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

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

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

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

الإحياء وإعادة التأويل

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

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

النقاشات المستمرة

يظل كتاب «الأسس» نصًا محوريًا في النقاشات حول:

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

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