مقدمة: إشراقة فيينا عام 1919 — ميلاد مشكلة الفصل (Demarcation Problem)

في حياتنا اليومية غالباً ما نعامل كلمة «علم» بوصفها مرادفاً لـ«الحقيقة المطلقة المثبتة بالوقائع». غير أن كثيراً من المذاهب التي تدّعي العلمية — مثل التنجيم، والمعالجة المثلية، والخيمياء، ونظريات المؤامرة — تتباهى هي الأخرى بامتلاك آلاف «الشواهد التجريبية المؤيدة»: فالمنجّم يستطيع دائماً أن يستخرج من خريطة الأبراج تفسيراً لما حدث لك بالأمس، وصاحب نظرية المؤامرة يفسر حتى الغياب التام للأدلة بأنه البرهان الأقوى على مدى إحكام إخفاء المؤامرة! أين يقع إذن الحد الإبستمولوجي الفاصل بين العلم التجريبي الحقيقي والعلم الزائف (Pseudoscience)؟ في فلسفة العلوم تُعرف هذه المسألة المحورية باسم مشكلة الفصل أو التمييز (The Demarcation Problem / Abgrenzungsproblem).

في مطلع القرن العشرين حاولت حلقة فيينا (الوضعية المنطقية Logical Positivism) بقيادة موريتس شليك ورودولف كارناب رسم هذا الحد عبر مبدأ القابلية للتحقق (Verificationism): لا تكون القضية ذات معنى علمي إلا إذا أمكن التحقق من صدقها نهائياً بالتجربة الحسية. لكن هذا المعيار اصطدم سريعاً بمشكلة الاستقراء التي طرحها ديفيد هيوم: فكل قانون علمي هو قضية كلية من الشكل $ orall x\, P(x)$ («جميع البجع أبيض» أو «جميع الكتل تخضع لقانون الجذب العام»). ومهما رصدنا من ملايين البجعات البيضاء، فإن المشاهدات المنتهية لا تستطيع أبداً أن تبرهن استنباطياً على صدق قضية كلية تشمل ما لا نهاية له من الحالات! ولو اشترطنا التحقق الكامل لطُردت حتى ميكانيكا نيوتن من حظيرة العلم.

في 29 مايو 1919، وأثناء كسوف كلي للشمس في جزيرة برينسيبي، قاس الفلكي البريطاني آرثر إدنغتون انحناء ضوء النجوم المارّ بمحاذاة قرص الشمس، مؤكداً التنبؤ الكمي الجريء للنسبية العامة لألبرت أينشتاين ($1.75$ ثانية قوسية مقابل $0.875$ وفق نيوتن). في فيينا عاش الشاب ذو السبعة عشر ربيعاً كارل بوبر (Karl Popper) هذا الحدث كإشراقة فكرية كبرى: فقد أدرك أن عظمة نظرية أينشتاين لا تكمن في قدرتها على تفسير وقائع معروفة سلفاً، بل في شجاعتها على تقديم تنبؤ محفوف بالمخاطر (Risky Prediction) لو كذّبته المشاهدة لانهارت النظرية بأكملها على الفور!

  flowchart TD
    A["Empirical Observation Contradicts Prediction (~O)"] --> B{"Naive Falsificationism vs. Duhem-Quine"}
    B -->|"Naive Popperian View"| C["Reject Core Theory H Immediately"]
    B -->|"Duhem-Quine / Lakatosian View"| D["Protect Hard Core H; Modify Auxiliary Belt A_i"]
    D -->|"Predicts Novel Verified Fact (e.g. Neptune 1846)"| E["Progressive Research Programme (Scientific)"]
    D -->|"Only Post-Hoc Excuses, No Novel Predictions"| F["Degenerating Research Programme (Pseudoscientific)"]

1. الثورة الكوبرنيكية لكارل بوبر: اللاتماثل المنطقي بين التحقق والتكذيب

في عام 1934 طرح بوبر في كتابه الشهير منطق الكشف العلمي (Logik der Forschung) معيار القابلية للتكذيب أو التفنيد (Falsifiability Criterion): إن ما يجعل النظرية علمية ليس عصمتها عن الخطأ، بل على العكس تماماً، قابليتها لأن تصطدم بالتجربة وتُدحض! يرتكز هذا المعيار على اللاتماثل المنطقي المطلق بين التحقق والتكذيب في منطق المحمولات:

• لا يمكن لأي عدد منتهٍ من المشاهدات المؤيدة $O_1, O_2, \dots, O_n$ أن يثبت استنباطياً صحة نظرية كلية $T$ (لأن استنتاج $T$ من $T \implies O$ و$O$ يقع في المغالطة الصورية المعروفة بـإثبات التالي).
• في المقابل، يكفي مثال مضاد واحد فقط موثوق $ eg O$ (كرؤية بجعة سوداء واحدة في أستراليا) لكي نستنتج يقينياً وبصرامة تامة عبر قاعدة رفع التالي (Modus Tollens) من $T \implies O$ و$ eg O$ النتيجة الحتمية $ eg T$ (بطلان النظرية $T$)!

لذلك أعلن بوبر: تكون النظرية علمية إذا وفقط إذا كانت تحظر وقوع أحداث معينة قابلة للرصد، أي إذا كانت مجموعة مكذّباتها المحتملة (Potential Falsifiers) غير خالية. وإنما كان التنجيم علماً زائفاً لأنه يصوغ نبوءاته بغموض مطاط يسمح بتأويل أي حدث يقع لاحقاً لصالحه — فالنظرية التي تفسر كل ما يمكن أن يحدث لا تفسر في الحقيقة شيئاً على الإطلاق، ومحتواها المعلوماتي التجريبي يساوي صفراً! والعلم عند بوبر يتقدم عبر سلسلة لا تنتهي من الحدوس والتفنيدات (Conjectures and Refutations)؛ أما النظريات التي تصمد أمام أقسى الاختبارات فلا تصبح «حقائق مبرهنة» أبداً، بل تكتسب درجة عالية من التعزيز (Corroboration).

2. أزمة التكذيب الساذج: أطروحة دوهيم-كواين واكتشاف كوكب نبتون

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

صاغ الفيزيائي الفرنسي بيير دوهيم (1906) والفيلسوف الأمريكي ويلارد فان أورمان كواين (1951) أطروحة دوهيم-كواين (Duhem-Quine Thesis / نقص التحديد الكلياني): في الممارسة العلمية الفعلية، لا يمكن لأي فرضية نظرية أساسية $H$ (مثل قانون الجذب العام لنيوتن $F = G m_1 m_2 / r^2$) أن تستلزم بمفردها تنبؤاً رصدياً $O$! فلحساب موقع كوكب في سماء الغد لا بد من ضمّ $H$ إلى حزمة كبيرة من الفرضيات المساعدة (Auxiliary Hypotheses) $A_1, A_2, \dots, A_n$ (مثل: «لا يوجد في المجموعة الشمسية سوى سبعة كواكب»، «الفضاء بين الكواكب خالٍ من الاحتكاك»، «التلسكوب خالٍ من الزيغ البصري») بالإضافة إلى الشروط الابتدائية $C_{ ext{init}}$. وبالتالي، عندما تتناقض المشاهدة مع التنبؤ ($ eg O$)، فإن قاعدة Modus Tollens تخبرنا فقط بأن العطف الكلي $(H \land A_1 \land \dots \land A_n \land C_{ ext{init}})$ كاذب! أما المنطق الصوري وحده فعاجز تماماً عن إخبارنا ما إذا كان الخطأ يكمن في النواة النظرية $H$ أم في إحدى الفرضيات المساعدة $A_i$!

وأروع مثال في تاريخ العلم هو اكتشاف كوكب نبتون عام 1846: ففي مطلع القرن التاسع عشر انحرف المدار المرصود لكوكب أورانوس بشدة عن حسابات ميكانيكا نيوتن ($ eg O$). فهل أعلن الفيزيائيون فوراً بطلان قانون نيوتن؟ كلا على الإطلاق! بل تمسّك الفرنسي أوربان لوفيريه والإنجليزي جون كوتش آدامز بنواة نيوتن $H$، وعدّلا الفرضية المساعدة $A_1$ بافتراض وجود كوكب ثامن مجهول وراء أورانوس وحسبا موقعه. وفي 23 سبتمبر 1846 وجّه يوهان غوتفريد غاله تلسكوب مرصد برلين نحو الإحداثيات التي حسبها لوفيريه، فعثر على كوكب نبتون على بُعد أقل من درجة واحدة! وهكذا تحول ما بدا تكذيباً لنيوتن إلى أعظم انتصار له. على العكس من ذلك، عندما حاول لوفيريه لاحقاً تفسير التقدم الشاذ لحضيض عطارد ($43''$ في القرن) بافتراض كوكب داخلي وهمي سماه «فولكان»، باءت محاولته بالفشل — وهذه المرة كان لا بد فعلاً من استبدال نواة نيوتن $H$ بالنسبية العامة لأينشتاين.

  flowchart TD
    V["Vienna Circle: Logical Verificationism"] --> P["Karl Popper (1919/1934): Falsifiability & Risky Predictions"]
    P --> DQ["Pierre Duhem & W.V.O. Quine: Holistic Underdetermination"]
    DQ --> K["Thomas Kuhn (1962): Normal Science, Paradigms & Revolutions"]
    K --> L["Imre Lakatos (1970): Progressive vs. Degenerating Research Programmes"]
    L --> M["Modern Multi-Criteria Cluster & Bayesian Confirmation"]

3. نماذج كون الإرشادية، وبرامج أبحاث لاكاتوس، والمعايير متعددة الأبعاد الحديثة

لإنقاذ العقلانية العلمية وتفسير التاريخ الفعلي للعلوم، خطت فلسفة العلوم في النصف الثاني من القرن العشرين ثلاث خطوات حاسمة:

1. بنية الثورات العلمية لتوماس كون (1962): أوضح كون أنه خلال فترات العلم العادي (Normal Science) لا يسعى العلماء إلى تكذيب نموذجهم الإرشادي (Paradigm)، بل ينشغلون بـ«حل الألغاز» (Puzzle-solving). وتُركن الشذوذات جانباً حتى يتفاقم تراكمها فيولّد أزمة (Crisis) عميقة ويظهر نموذج منافس، وعندها ينفجر تحول النموذج الإرشادي (الثورة العلمية).
2. منهجية برامج الأبحاث العلمية لإمري لاكاتوس (MSRP, 1970): قدّم لاكاتوس تركيباًبقرياً يجمع بين بوبر وكون؛ فوحدة التقييم العلمي ليست فرضية معزولة، بل برنامج أبحاث (Research Programme) يتطور تاريخياً ويتألف من نواة صلبة (Hard Core) غير قابلة للمساس، يحيط بها حزام واقٍ من الفرضيات المساعدة (Protective Belt) يتعدل باستمرار لامتصاص الصدمات التجريبية. فكيف نميز إذن بين العلم والعلم الزائف؟ يجيب لاكاتوس: المعيار هو ما إذا كانت تعديلات الحزام الواقي تقدمية (Progressive) أم متقهقرة/انتكاسية (Degenerating)!
   • برنامج الأبحاث التقدمي (العلم الحقيقي) يعدّل فرضياته المساعدة بحيث لا يفسر الشذوذات القديمة فحسب، بل يتنبأ بوقائع جديدة غير مسبوقة (Novel Facts) تتأكد تجريبياً (مثل اكتشاف نبتون).
   • برنامج الأبحاث المتقهقر (العلم الزائف) يكتفي بترقيعات بعدية (تعديلات Ad hoc) لحفظ ماء الوجه دون أن ينجح أبداً في تقديم تنبؤ جديد واحد قابل للاختبار!
3. التشابه العائلي والتحديات المعاصرة: بعد أن بيّن لاري لودان (1983) استحالة وجود شرط واحد ضروري وكافٍ، يعتمد فلاسفة العلم المعاصرون مثل ماسيمو بيليوتشي ومارتن مانر نماذج عنقودية متعددة المعايير («التشابه العائلي» عند فيتغنشتاين) مدمجة مع نظرية التأكيد البايزية. وفي مواجهة أزمة التكرار (Replication Crisis) ($p$-hacking والتسجيل المسبق للأبحاث في علم النفس والطب الحيوي) والسجالات حول نظرية الأوتار والأكوان المتعددة، يظل إرث بوبر ولاكاتوس البوصلة الحاسمة لحماية النزاهة العلمية.

| التيار الفلسفي | معيار الفصل (Demarcation) | التعامل مع الشذوذ الرصدي ($