Loading AI tools
من ويكيبيديا، الموسوعة الحرة
تُعرف أداة الاستدلال المنطقي لحساب التفاضل والتكامل بأنها عبارة عن إطار عمل حسابي منطقي شامل ونظري، كما أنها عبارة عن مفهوم وُصف في كتابات جوتفريد لايبنتز، وعادة ما يتواتر اقترانه مع الخصائص العامة واللغة المفاهيمية العالمية.
تضم هذه المقالة مصادرَ مُستشهداً بها بشكلٍ عام أو بشكل غير دقيق، وبالتالي لا يمكن تحديد موقعها بسهولة في مصادرها. (مايو 2010) |
هناك وجهتا نظر متناقضتان حول ما يعنيه لايبنتز من مصطلح الاستدلال المنطقي لحساب التفاضل والتكامل؛ حيث تتعلق الأولى ببرمجيات الحاسوب والثانية بعتاد الحاسوب.
تتمثل *وجهة النظر الواردة في الفلسفة التحليلية والمنطق في أن الاستدلال المنطقي لحساب التفاضل والتكامل يتوقع المنطق الرياضي أي «جبر المنطق».[1] وتُعرف وجهة النظر التحليلية الاستدلال المنطقي لحساب التفاضل والتكامل على أنه محرك استدلالي رسمي أو برنامج حاسوبي يمكن تصميمه بحيث يعطي أولوية للحسابات، يبدأ هذا المنطق من كتابات فريج' في 1879 الرموز المنطقية وكتابات سي.إس. بيرس في المنطق في ثمانينيات القرن التاسع عشر. وكان فريج يقصد من «البرمجة النصية للمفهوم» أن تكون هي الاستدلال المنطقي لحساب التفاضل والتكامل وأن تكون أيضًا السمة اللغوية. ويأتي هذا الجزء المتعلق بحساب التفاضل والتكامل تحت عنوان نظرية الإثبات، ونجد أن هذا المنظور للاستدلال المنطقي لحساب التفاضل والتكامل ليس سوى جزء (أو فرع) من الخصائص العامة, كما أنه عبارة عن مجموعة من الخصائص العالمية الكاملة التي تتضمن «حساب التفاضل والتكامل المنطقي».
أعد لايبنتز الآلة المذكورة لإجراء الحسابات الرياضية التي أُطلق عليها آلة الحاسب السريع (Stepped Reckoner). وكآلة حاسبة يمكن أن تقوم أداة الاستدلال المنطقي لحساب التفاضل والتكامل المثالية بأداء حساب التفاضل والتكامل الأساسي كما ذكر لايبنتز، وبهذه الطريقة يكون معنى كلمة «أداة الاستدلال المنطقي» قد اتضح ويمكن فهمه على أنه أداة وآلة تستخدم في جمع ومقارنة النسب.
اكتشف هارتلي روجرز رابطًا بين تعريف أداة الاستدلال المنطقي لحساب التفاضل والتكامل على أنها «خوارزمية عند تطبيقها على رموز أي صيغة من الخصائص العامة ستحدد ما إذا كانت هذه الصيغة صحيحة كبيان علمي أم لا» (هارتلي روجرز، 1963، ص 934).
قدم كوتورات نقاشًا كلاسيكيًا لمصطلح أداة الاستدلال المنطقي لحساب التفاضل والتكامل في (1901: الفصول 3و4), حيث ذكر أن الخاصية العامة — وبالتالي أداة الاستدلال المنطقي لحساب التفاضل والتكامل—كانت جزءًا لا يتجزأ من المشروع الموسوعي الخاص بلايبنتز (الفصل. 5). وبالتالي فإن الخاصية وأداة الاستدلال المنطقي لحساب التفاضل والتكامل, والموسوعة تشكل ثلاث ركائز لمشروع لايبنتز.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.