السِّجِلّ

لاحظ هذه العبارة: 《هذه الجملة خاطئة》. هل هي صحيحة أم خاطئة؟ إذا افترضنا أنها صحيحة؛ فإنَّ مؤداها يجب أن يكون صحيحا، لكنها تقول أنها خاطئة، فإذن يجب أن تكون خاطئة! ولكن لو افترضنا أنها خاطئة، فبالاستناد على أنها تدّعي الخطأ، فإذن يجب أن تكون صحيحة!

تلك هي مفارقة الكاذب The Liar Paradox بأم عينها، واحدة من أعتى مشكلات المنطق الفلسفي Philosophical Logic على الإطلاق¹. فإن تساؤلات مفصلية تتمخض عنها، حول الصوابية والخطأ وحدود المنطق الصوري، كما أنها تلقي بضوءٍ على علاقة اللغة بالواقع، وإمكان المرجع الذاتي Self-Reference في الأنظمة المنطقية². ولهذه التساؤلات مؤديات جمة على الفلسفة والرياضيات وعلوم التحسيب واللسانيات³

وقد سعى مِن الفلاسفة مَن سعى لحلها بشتى المقاربات ومختَلَف الطرائق، فهذا ألفرد تارسكي يقترح تراتبية للغات، حيث تكون الحقيقة لكل لغة معرَّفةً في 《لغة مَعرِفة》 Metalanguage عالية⁴، كما طرح كريبك Kripke طرحا مفادُه أن إسنادات الحقيقة Truth predicates معرَّفة جزئيا 《Partially defined》باعتبار بعض العبارات مندرجةً في فجوات لقيم الحقيقة⁵ Truth-value gaps، أما غراهام برييست فقد طرح الديالثية Dialetheism، مفيدا بأن بعض التناقضات، مثل عبارة الكاذب، هي صحيحة وخاطئة معا⁶.

قد تبدو المفارقة كلام صبيان أو لهوا منطقيا لا يفيد، إلا أن لها استتباعات بليغة الأثر في علم الحاسوب، خاصةً في التحقق من البرامج Program Verification، ونظرية قواعد البيانات Database Theory، والذكاء الاصطناعي. كما أن مبرهنات غودل لعدم الاكتمال تستخدم تنويعات من مفارقة الكاذب في بناء البراهين⁷.

ولكي تتصور المفارقة تصورا أصفى تخيل أن كاميرا معينة تحاول تصوير نفسها من غير مرآة —مستحيل! مرجع ذاتي مستحيل! كذلك وضعُ مفارقة الكاذب، إذ أنها تحاول تقرير قيمة الحقيقة التي تخصها⁸.

1. Beall, J.C. (2009). "Spandrels of Truth." Oxford University Press.

2. Sorensen, R. (2003). "A Brief History of the Paradox: Philosophy and the Labyrinths of the Mind." Oxford University Press.

3. Field, H. (2008). "Saving Truth from Paradox." Oxford University Press.

4. Tarski, A. (1944). "The Semantic Conception of Truth and the Foundations of Semantics." Philosophy and Phenomenological Research 4(3): 341-376.

5. Kripke, S. (1975). "Outline of a Theory of Truth." The Journal of Philosophy 72(19): 690-716.

6. Priest, G. (2006). "In Contradiction: A Study of the Transconsistent." Oxford University Press.

7. Raatikainen, P. (2022). "Gödel's Incompleteness Theorems." The Stanford Encyclopedia of Philosophy.

8. Dowden, B. (2022). "The Liar Paradox." Internet Encyclopedia of Philosophy.

قد شرَّفني مؤخَّرا، وسرَّني مؤزِّرًا، انضمامُ فارسٍ من فرسان الحوسبة، وذئبٌ من أبالِسة الدهاء المُجرِّبَة، إلى Campux شريكا مؤسسا Co-Founder، ولعمري إنه في الإنترنت لمحاربٌ مخضرَم، ورأسٌ عرمرم، وإني وإنْ كانت عندي ثقةٌ في قدرتي على إنجاح Campux في المراحل الأولية وحدي، فإن انضمام رجُلِنا هذا يعني إضافة قوة وبأس شديدين لا يُستغنَى عنهما.

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

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

إِرجَع إِلى السِنِّ فَاِنظُر ما تَقادُمُها
فَاِحكُم عَلَيهِ وَلا تَحكُم عَلى الشَعَرِ

فَكَم ثَلاثينَ حَولاً شَيَّبَت وَمَضَت
سُتّونَ وَالشَيبُ فيها غَيرُ مُستَعَرِ

وَلَيسَ ذَلِكَ إِلّا صِبغَةٌ جُعِلَت
طَبعاً وَإِن قيلَ شابَ الرَأسُ لِلذُعُرِ

تَمضي الحَياةُ وَما لي إِثرَها أَسَفٌ
وَدَدتُ أَنَّ مُعيرَ العَيشِ لَم يُعِرِ

وَالمَوتُ يَسلِبُ ما في الأَنفِ مِن شَمَمٍ
تَحتَ التُرابِ وَما في الخَدِّ مِن صَعَرِ

أَرى فِراري مِنَ المِقدارِ سَيِّئَةً
لَو تَعلَمُ الخَيلُ عِلمي فيهِ لَم تُعَرِ

وَلا أَلومُ أَخا الإِلحادِ بَل رَجُلاً
يَخشى السَعيرَ وَما يَنفَكُّ في سُعَرِ

~ أبو العلاء

السلام عليكم | إعادة إطلاق لموقع tarajem.org بنقلة نوعية وحلة جديدة؛ وهذا موقع –لمن فاته الإطلاق السابق– يمثِّل الأحاديث النبوية عبر مبيانات Graphs

1) في وسعكم الآن استطلاع 24,326 راوية (سابقا كان عدد قليل جدا يظهر فقط)

2) في الوسع البحث عن أي اسم من أسماء الرواة وتتبع الاستطلاعات.

3) لكل راوية وحيثما تظهر نافذة سلسلته، في الوسع البحث بالكلمات عن الأسانيد، أو مضامين الأحاديث؛ يعني لو وضعت في البحث كلمة معينة موجودة في حديث بعينه فستأخذك النافذة إلى ذلك الحديث.

في الموقع 171,644 علاقة مبيانية.

ولا يزال التطوير جاريا عليه، وسأظل أحسّنه من حين لحين.

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

مثل هذا وغيره لو حدثته عن أبقار هولندا وثيران المكسيك لقاطعك وقطَع عليك الطريق بما في رأسه من قناعات مسبقة مهترئة.

جرى الإقلاع! أنتظر موافقة غوغل وأبل فحسب 💀🫡

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

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