متناقضة ريتشارد

1. نظرة عامة وسياق تاريخي

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

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

2. صياغة المفارقة

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

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

ترقيم التعريفات: بما أن عدد السلاسل المنتهية من الكلمات قابل للعد، فيمكن من حيث المبدأ سرد هذه التعريفات المدّعاة في قائمة: D₁ وD₂ وD₃ وهكذا. كل Dₙ، إن نجح، يعرّف عددًا حقيقيًا بين 0 و1. لنسمِّ ذلك العدد dₙ.

ربط كل تعريف بمفكوك عشري: لكل تعريف Dₙ، نأخذ العدد الحقيقي الفريد dₙ الذي يعرّفه ونكتب مفكوكه العشري: d₁ = 0.a₁₁a₁₂a₁₃… وd₂ = 0.a₂₁a₂₂a₂₃… وd₃ = 0.a₃₁a₃₂a₃₃… وهكذا، حيث aᵢⱼ هو الرقم رقم j في dᵢ بالصيغة العشرية.

البناء القطري لعدد حقيقي جديد: نبني عددًا حقيقيًا جديدًا r = 0.b₁b₂b₃… بتعريف كل bₙ بحيث يختلف عن aₙₙ بطريقة منتظمة (مثلًا، إذا كان aₙₙ = 3 فليكن bₙ = 4، وإذا كان aₙₙ ≠ 3 فليكن bₙ = 3). هذا يضمن أنه لكل n يختلف r عن dₙ على الأقل في الخانة العشرية رقم n.

عدم وجوده في القائمة: بما أن r يخالف كل dₙ في رقم واحد على الأقل، فإن r ≠ dₙ لكل n. ومن ثم فإن r ليس مساويًا لأي عدد حقيقي يعرّفه أي تعريف في القائمة الأصلية. وبالتالي فهو ليس من بين الأعداد الحقيقية القابلة للتعريف كما عُدّدت في الأصل.

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

الاستنتاج المفارِق هو أن r يبدو أنه:

قابل للتعريف، لأنه أُعطي للتو بإجراء لفظي منتهٍ؛ و

غير قابل للتعريف، لأنه بحكم بنائه لم يُدرج في القائمة الشاملة لجميع الأعداد الحقيقية القابلة للتعريف.

هذا التوتر هو مفارقة ريتشارد.

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

تُفسَّر مفارقة ريتشارد غالبًا بوصفها تحديًا للمفاهيم الدلالية غير الرسمية مثل «القابل للتعريف» و«القابل للتسمية» و«القابل للوصف» عندما تُطبَّق دون قيود.

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

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

مع مفارقة راسل، تستخدم المفارقة كلية («جميع الأعداد القابلة للتعريف») تبدو، تحت افتراضات ساذجة، مكوّنة لمجموعة ذات خصائص متناقضة.

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

مع مفارقة الكذّاب، تُبرز المفارقة كيف يمكن للغة الطبيعية أن تولّد تناقضات عندما تُستخدم بطرق ذاتية الإحالة أو شاملة.

تطوّر نظرية المجموعات البديهية، التي تقيّد أي المجموعات تُعدّ مجموعات.

المفاهيم الصارمة للغة الصورية والتركيب والدلالة، التي تميّز بوضوح بين التعبيرات وما تشير إليه.

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

4. الاستجابات والتفسيرات

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

بمجرد أن نحدّد لغة صورية (ذات بناء نحوي ودلالة معيّنين)، ونعرّف بوضوح ما يُعدّ تعريفًا أو صيغةً، يمكننا أن نعدّ عدًّا دقيقًا جميع الأعداد الحقيقية القابلة للتعريف في تلك المنظومة.

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

كامل: إذ يحتوي على كل عدد حقيقي قابل للتعريف؛ و

معطى بصورة فعّالة: إذ يمكننا الإشارة إلى مدخله ذي الرقم n بطريقة محددة جيدًا.

تتحدث لغة أساسية L₀ عن الأعداد، لكنها لا تتحدث عن «التعريفات في L₀».

يمكن للغة ما وراء L₁ أن تتحدث عن التعبيرات والقابلية للتعريف في L₀، لكنها لا تستطيع الحديث عن نفسها، وهكذا دواليك.

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

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

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