من Claims إلى Graph of Accepted Facts صورة: تم إنشاؤها بواسطة Google Gemini

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

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

لذا فإن السؤال الأول ليس “ما الصحيح؟” بل هو:

في عالم من الـ Claims لا نهاية معروفة له، من يملك صلاحية تثبيت مقدمات هذا القرار، وبموجب أي قواعد؟

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

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

ما نحتاجه هو إجراء صريح يبني الحالة الوقائعية المسموح بها لقرار معين. أُسمّي هذا الإجراء Projection، ونتيجته Graph of Accepted Facts، أو GAF.

Open Claims
    │
    ▼
Projection
    │  evaluation · conflict resolution · derivation · absence policy
    ▼
Graph of Accepted Facts (GAF)
    │
    ▼
Closure
    │  GAF · scope · policy · rules · runtime frozen
    ▼
Deterministic Verdict
    │
    ▼
Authorized Action
    │
    └── new evidence · policy change · appeal · defect
                                  │
                                  ▼
                           Reopen / Re-projection

الهدف ليس جمع المزيد من الحقائق. بل الفصل بين بناء مقدمات الحكم والحساب على تلك المقدمات.

المُدخَل المحدود ليس بعدُ عالمًا مغلقًا

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

لذا يجب على Projection أن تُثبّت معنى الغياب، لا مجرد قائمة المدخلات:

  • أي مصدر يُعتبر كاملًا بالنسبة لهذا الموضوع والمُسنَد والنطاق والفترة؟
  • أين يمكن تطبيق افتراض العالم المغلق (closed-world assumption)؟
  • هل يعني غياب السجل false أم unknown؟
  • كيف يُميَّز النفي الصريح عن البيانات المفقودة؟
  • ما الذي يجب أن يُعيده النظام عندما تكون الأدلة غير كافية؟

ورقة Raymond Reiter التأسيسية On Closed World Data Bases صاغت هذه الخطوة الحاسمة رسميًا: تحت افتراض العالم المغلق، قد يُجيز الفشل في إثبات قضية إيجابية أساسية نفيها. هذه الخطوة مفيدة تحديدًا لأنها ليست آمنة على نحو عام. إنها تتطلب حدودًا مُعلَنة.

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

Closure ليست العبارة “قرأنا إلى هذا الحد.” إنها عقد يُعرّف أين يصبح الغياب نفسه معلومة قابلة للحساب.

Projection ليست زرًّا يُرقّي Claim إلى حقيقة

لا يمكن اختزال Projection في إلصاق accepted أو rejected أو held بالـ Claim بأكمله. نادرًا ما تكون الـ Claims الحقيقية بهذا الوضوح.

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

التقييم (Evaluation) علائقي، لا علامة توضع على Claim بأكملها. إنه يربط بين واحدة أو أكثر من الـ Claims، وProposition ذرية، وProjection معينة. ثم يُدمج Derivation عمليات Evaluation والمقدمات المقبولة سابقًا والقواعد الصريحة لإنتاج Accepted Fact.

Claims ───────┐
Proposition ──┼── Evaluation ── accepted / rejected / unknown
Projection ───┘                     │
                                   ▼
                       Derivation ── Claims · Facts · Rules
                                   │
                                   ▼
                            Accepted Fact

تحفظ الـ Claim من زعم أو لاحظ ماذا. الـ Proposition هي أصغر عبارة يجري تقييمها. تسجل Evaluation كيف تؤثر الـ Claims على تلك Proposition تحت Projection واحدة. Derivation هو كائن الإثبات الذي يُظهر كيف أُنتِجت النتيجة. Accepted Fact هي المقدمة التي يسمح الإجراء لهذا الحكم باستخدامها.

لذا فإن نفس الـ Claim قد تُنتج Accepted Fact مختلفة — أو لا تُنتج أي شيء — تحت غرض آخر، أو زمن قطع مختلف، أو عبء إثبات مختلف، أو سلطة مختلفة. Accepted Fact ليست حقيقة مطلقة عن الواقع بأكمله. إنها مقدمة مقبولة للاستخدام ضمن حدود قرار مُعلَنة.

لماذا تكون النتيجة graph

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

يحتوي Graph of Accepted Facts على تلك المقدمات وعلاقاتها الدلالية، إلى جانب derivation وprovenance التي أنتجتها:

  • الكيانات، والأفعال، والأزمنة، والكميات، والحالات؛
  • الـ Claims التي تدعم أو تُفنّد كل Proposition؛
  • المصادر الأصلية والجهات الفاعلة المسؤولة؛
  • عمليات Evaluation وقواعد الاشتقاق؛
  • البدائل المرفوضة أو غير المحسومة؛
  • العلاقات الزمنية والمنطقية وعلاقات الإحلال (supersession).

الغرض من الـ graph ليس شرحًا تزيينيًا. بل هو تبعية قابلة للتتبع آليًا.

انطلاقًا من Verdict، يجب أن يتمكن المُدقِّق من النزول عبر الـ GAF وقواعده وصولًا إلى الـ Claims الأصلية. وانطلاقًا من Claim أو مصدر أُبطل، يجب أن يتمكن النظام من إيجاد كل Accepted Fact وClosure وVerdict وAction قد تحتاج إلى مراجعة.

الـ provenance وحدها غير كافية. يحتاج تحليل الأثر الكامل أيضًا إلى تبعيات الاشتقاق، والتبعيات السلبية، والشروط التجميعية، ونطاق السياسة. قد يعتمد استنتاج ما ليس على Claim موجودة، بل على الغياب المُعلَن لأي Claim مؤهلة. يُقنّن معيار PROV-O: The PROV Ontology provenance قابلة للتشغيل البيني حول الكيانات والأنشطة والعملاء والعلاقات المُقيَّدة؛ أما العبء الإضافي على GAF فهو الحفاظ على حالة القبول الخاصة بالقرار والتبعيات السلبية اللازمة لإعادة فتح الأحكام.

هذا نموذج بيانات منطقي، وليس تفويضًا لقاعدة بيانات graph. يمكن لقاعدة بيانات علائقية، أو مخزن كائنات مُعنوَن بالمحتوى، أو سجل أحداث append-only، أو قاعدة بيانات graph أن تُنفّذه. المخزن الفيزيائي صالح إن حافظ على العُقد والعلاقات المُصنَّفة والنسب واستعلامات التبعية دون فقدان دلالي.

Closure أكبر من GAF

يحفظ GAF الـ Accepted Facts وDerivation وProvenance الخاصة بها. Closure أكبر من GAF: إنها تُجمّد بالضبط أي GAF استُخدمت، ولأي سؤال، وتحت أي شروط. إنها عقد إعادة التشغيل (replay) للقرار.

يجب أن تحتوي Closure على الأقل على:

  • سؤال الحكم وغرضه؛
  • الحدث والموضوع والنطاق الزمني؛
  • لقطة GAF الدقيقة ومُعرِّف سلامتها؛
  • إعلانات الاكتمال ومعالجة الغياب والنفي والمجهول؛
  • سياسة Projection وإصدار تنفيذها؛
  • قواعد Verdict وإصدار المحرك؛
  • شروط بيئة التشغيل مثل الدقة العددية والترتيب وفض التعادل؛
  • قواعد التقنين (canonicalization) اللازمة لتعريف نفس الـ graph مرة أخرى.

إذا أنتجت نفس Closure في نفس بيئة التشغيل Verdict مختلفة، فإن طبقة الحساب معيبة. وإذا اختلفت الـ Closures، يمكن تحديد موضع الخلاف في المدخلات، أو سياسة Projection، أو الـ Accepted Facts، أو القواعد، أو بيئة التشغيل.

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

لنتتبّع حالة واحدة حتى النهاية

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

يحفظ Open Claim Ledger السجلات الأربعة كلها دون أن يُلغي سجل آخر.

Claimالمحتوىحالة المصدر
Claim Aإيجار يوليو غير مدفوعزعم المالك
Claim Bتم تحويل الإيجار في اليوم الخامسزعم المستأجر
Claim Cتلقى حساب المالك ألف دولار في اليوم الخامسدفتر مصرفي نهائي
Claim Dالإيجار الشهري ألف دولار، مستحق بحلول اليوم الخامسعقد ساري المفعول

تُضيّق Projection السؤال إلى: “هل ثبت تأخر سداد إيجار يوليو؟” وتقبل دفتر المصرف كاملًا بالنسبة للحساب والفترة. كما تُطبّق سياسة لا تستنتج تخصيص الدفعة لدَين معين دون مذكرة أو اتفاق منفصل.

تدعم Claim C وClaim D قضايا (Propositions) مقبولة. تاريخ ومبلغ Claim B مدعومان بـ Claim C، لكن تخصيصها لإيجار يوليو يبقى مجهولًا. Claim A هي زعم طرف بالنتيجة المرغوبة، لا دليل مستقل على عدم الدفع، لذا لا تصبح Accepted Fact بمجرد التكرار.

يسجل GAF ما يلي:

The contract required monthly payment by the fifth.       [accepted]
The landlord received the contractual amount that day.    [accepted]
Allocation of that payment to the July debt is unresolved.[unknown]
July rent delinquency has not been established.            [not derived]

تربط Closure هذه الـ GAF بسياسة Projection، ونطاق اكتمال الدفتر، وزمن القطع، ومحرك Verdict. الـ Verdict ليست delinquent؛ بل undetermined. لذا فإن Authorized Action ليست إنذارًا بالمطالبة، بل طلبًا لتحديد التخصيص.

لاحقًا، يصل إيصال تحويل أصلي يحمل مذكرة “إيجار يوليو” كـ Claim جديدة. تبقى Closure القديمة محفوظة. يبدأ حدث Reopen Projection جديدة. إذا قُبِلت المذكرة، تقبل GAF جديدة التخصيص، وتُنتج Closure جديدة Verdict بقيمة paid.

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

احفظ القرار كعقد

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

يجب أن يحسم التأكيد الأول القضية. أما إذا تكرر النمط، فيجب أن نفعل أكثر: حفظ القرار كعقد يمكن أن يصبح مُدخل Projection مستقبلي.

لنفترض أن المالك يؤكد الدفعة وأن الطرفين يوافقان على هذه القاعدة:

تُخصَّص الدفعة لإيجار الشهر الحالي عندما تصل من حساب المستأجر المُسجَّل بحلول تاريخ الاستحقاق، وتساوي المبلغ التعاقدي، ولا يوجد دَين آخر مستحق. أي حالة تخالف أي شرط تتطلب مراجعة.

ينتج عن ذلك أربعة سجلات متمايزة:

Case Decision    ── this payment satisfied the July rent
Policy Candidate ── matching future payments may satisfy monthly rent
Ratified Contract── authorized conditions, exceptions, effective date, version
Policy Exception ── ambiguity outside the contract returns to human review

تُشير Closure التالية إلى إصدار السياسة المُصادَق عليها (ratified). عندها يمكن Projection الـ Claims المطابقة دون سؤال المالك نفس السؤال مجددًا؛ فقط استثناء جديد يستهلك الحكم البشري. القرار البشري يُستخدم مرة واحدة، بينما تستمر بنيته المُصادَق عليها في العمل.

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

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

الأخطاء المختلفة تتطلب إصلاحات مختلفة

بمجرد فصل Projection وVerdict وAction، تتحلل “النتيجة الخاطئة” الواحدة إلى إخفاقات مختلفة:

  • إغفال Claim ذات صلة هو خطأ جمع؛
  • تقييم مصدر أو Proposition بشكل غير صحيح هو خطأ Projection؛
  • تطبيق قاعدة خاطئة على Accepted Facts صحيحة هو خطأ حساب؛
  • عرض Verdict صحيحة بشكل غير دقيق هو خطأ اتصال (تواصل)؛
  • تنفيذ Verdict صحيحة على هدف أو حد أو سلطة خاطئة هو خطأ Action.

هذا التصنيف لا يُلغي الخطأ. إنه يُخبرنا بما يجب إعادة فتحه.

يتطلب خطأ الجمع Claim أخرى. يتطلب خطأ Projection مراجعة Evaluation وDerivation. يمكن لخطأ الحساب أن يحفظ Closure مع تصحيح المحرك ومقارنته. لا ينبغي لخطأ Action أن يُعيد كتابة الحقائق؛ بل يتطلب إلغاءً أو تصحيحًا أو تعويضًا في العالم الخارجي.

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

Accepted Fact ليست سلطة للفعل

الـ Accepted Fact لا تمنح سلطة. “الإيجار متأخر” و"يجوز لهذا النظام إرسال إنذار مطالبة" هما Propositions مختلفتان.

يستهلك محرك Verdict Closure ويُصدر حكمًا مع أثر حسابي (computation trace). يجب على Authorized Action أن تتحقق بشكل منفصل من:

  • من الذي أذن بالأثر؛
  • أي موضوع وهدف تستهدفه؛
  • المبلغ المطبَّق وحدود التكرار؛
  • ما إذا كانت إعادة المحاولات مُتكافئة (idempotent)؛
  • أي إيصال يُثبت التنفيذ؛
  • كيف يمكن إلغاء أو تعويض أثر خاطئ.

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

العالم المغلق يجب أن يبقى قابلًا لإعادة الفتح

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

من شأن الكتابة فوق النتيجة القديمة أن يُدمّر تفسير الفعل الذي اتُّخذ في ذلك الوقت. لذا فإن Reopen حدث جديد، لا تعديل على Closure القديمة.

يُسجَّل دليل جديد، أو تغيير في السياسة، أو استئناف، أو تقرير عيب. يُحدد graph التبعية الـ Closures التي قد تتأثر. إذا سمح إجراء مُخوَّل بإعادة الفتح، تُنتج Projection جديدة GAF وClosure وVerdict جديدة. تُبيّن النتيجة الجديدة ما تحل محله دون الكتابة فوق التاريخ.

إذا كان Action قد غيَّر العالم بالفعل، فإن إعادة الحساب لا يمكنها عكس ذلك. الإلغاء، وإشعارات التصحيح، والاسترداد، والتعويض هي بذاتها أفعال (Actions) جديدة لها تخويلها وإيصالاتها الخاصة.

قابلية إعادة الفتح لا تُضعف Closure. تكتسب Closure مشروعيتها بالضبط عندما يحفظ النظام ما ثُبِّت ولا يسمح بالاستبدال إلا عبر إجراء مُعلَن.

نماذج اللغة الكبيرة (LLMs) لا يمكنها أن تحل محل الحدود

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

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

تبقى LLMs مفيدة حول الحدود. يمكنها استخراج مرشحي Claim من مصادر غير مُهيكلة، واقتراح Propositions ذرية، وشرح التعارضات والمجهول، وصياغة مسودات سياسات Projection، وترجمة Verdict مُثبَّتة إلى لغة بشرية.

لكن الاقتراح ليس تبنّيًا. يجب أن تصبح Claim أو mapping أو Evaluation أو قاعدة أُنتِجت بواسطة LLM مُدخلًا له إصدار وprovenance وأن تجتاز إجراءً مُخوَّلًا. لا يمكن للسلطة النهائية للفعل ذي العواقب الجسيمة أن تبقى مخفية داخل توليد اللغة الطبيعية.

المساهمة هي السلسلة

ليست كل المكونات جديدة. لتفكير العالم المغلق، وprovenance، وأنظمة صيانة الحقيقة (truth-maintenance systems)، وevent sourcing، ومحركات القواعد، وتحديد الوقائع القانوني، والاستئناف تاريخ طويل. أرست On Closed World Data Bases التمييز بين العالم المفتوح والمغلق، بينما قنّن PROV-O: The PROV Ontology نموذج graph لتتبع الكيانات عبر الأنشطة والجهات المسؤولة.

المساهمة هي السلسلة، مُجمَّعة كبروتوكول مسؤولية واحد:

Claims → Projection → GAF → Closure → Verdict → Action → Reopen

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

GAF ليس اختراعًا لقاعدة بيانات أخرى. إنه اقتراح لجعل المسار بأكمله من الـ Claims المفتوحة إلى حقائق قابلة للفعل قابلًا للتدقيق والتكرار والاستئناف.

الهدف هو إغلاق مُتحكَّم فيه، لا حقيقة مثالية

لا يمكننا بناء نظام يعرف العالم المفتوح بأكمله. يمكننا بناء نظام يُصرّح بأي معلومة قَبِلها كمقدمة، ولماذا.

تحفظ الـ Open Claims الاختلاف وعدم اليقين. تُثبّت Projection الغرض والنطاق وعبء الإثبات ومعنى الغياب. يربط GAF المقدمات المقبولة بعلاقاتها ونسبها. تُجمّد Closure شروط إعادة التشغيل. تحسب Verdict على المُدخل المغلق. يُغيّر Action الواقع تحت سلطة منفصلة. يعيد Reopen النظر في الحدود دون محو التاريخ.

مع هذه الدورة، لا يبقى الخطأ هلوسة معتمة واحدة. يمكننا التمييز بين ما فاته النظام، وما قَبِله خطأً، وما حسبه خطأً من مقدمات مقبولة، وما نفَّذه خطأً بعد حكم صحيح.

إسقاط الـ Claims في GAF ليس طريقة لجعل الآلات معصومة من الخطأ. إنه يُثبّت ما حكمت عليه الآلة بحيث يمكن إعادة إنتاج الحكم والطعن فيه وتصحيحه.

المقولة “الرياضيات صحيحة لأنها تُحسَب داخل نظام مغلق” تشير إلى حقيقة أضيق وقابلة للدفاع عنها. بمجرد تثبيت البديهيات والتعريفات وقواعد الاستدلال، يمكن فحص وإعادة تشغيل اشتقاق داخل تلك الحدود الصورية (Formalism in the Philosophy of Mathematics). هذا لا يجعل كل حقيقة رياضية قابلة للحساب، ولا كل Proposition قابلة للحسم، ولا كل نظام بديهي مكتملًا. تضمن Closure قابلية إعادة إنتاج اشتقاق مقبول، لا العلم الشامل.

يحتاج الحكم في العالم الواقعي إلى نفس الانضباط قبل الحساب. GAF ليس الحقيقة نفسها. إنه العالم المغلق الذي يُثبّت أي مقدمات قُبِلت من الواقع المفتوح، بحيث يمكن إعادة إنتاج الحكم — والطعن فيه — ضمنه.

مقالات ذات صلة

للمزيد من القراءة (مصادر خارجية)

المراجع