حلم لايبنتز Leibniz's dream، والسعي نحو لغة رياضية عالمية تحلّ جميع الخلافات البشرية عبر حسابات منطقية محضة
إن حلمَ لايبنتز مفهومٌ ذو وجوه عديدة يَشبِك تصوّره للغة عالمية characteristica universalis مع طرائق للتمنطق calculus ratiocinator، والمرجو من وراء ذلك فضّ النزاعات البشرية
فما هي الcharacteristica universalis؟
تصور لايبنتز لغةً عالمية أو نظاما رمزيا Symbolic system بوسعه ترميز المفاهيم على شاكلة جدِّ دقيقة وواضحة غير غامضة، فعلى عكس اللغات الطبيعية، التي يتخللها الغموض والالتباس، فإن اللغة العالمية تلك سوف تسمح بتواصل نقيّ يعبر تعبيرا حرفيا عن الأفكار. ويُبنى ذلك النظام من مجموعة بدائية من الرموز تمثّل المفاهيم الأكثر أساسيةً، والتي يتم اشتقاق الأفكار الأكثر تعقيدا منها فيما بعد، ليس غرض النظام أن يغطّي كل المعرفة الإنسانية فحسب، بل وأن يحيط بالطرائق التي يشتغل من خلالها العقل، فإذ ذاك يتم اشتقاق معارف جديدة.
أما الcalculus ratiocinator فهو إطار الحساب المنطقي الذي سوف تشتغل اللغة من خلاله، بالوسع تخيله على أنه عملية ميكانيكية (مثل الجبر الرياضي أو الحساب) يتم تنفيذها على رموز اللغة العالمية لاستخلاص النتائج من المقدمات، وحل المشكلات، وفض النزاعات. فذي الناحية من حلم لايبنتز هدفُها أتمتمة التمنطق البشري، وإذن جعله موثوقا موثوقيةَ الحساب الرياضية، حيث بإعطاء نفس المُدخلات Inputs، يمكن لأي أحد أن يصل إلى نفس الاستنتاجات.
يتبع...