‫المنطق الرياضي‬

‫المقدمة ‪1‬‬
‫المحاضرة االولى‬
‫المنطق الرياضي‬

‫‪ ‬المنطق الرياضي أو (الرمزي) هو نظام رمزي للمنطق‬

‫االستداللي يقوم بتوظيف الرموز المجردة لمظاهر عديدة في‬
‫اللغة الطبيعية‪ ،‬بأعتماده المفاهيم والتقنيات الموجودة في‬
‫الرياضيات فعلى وجه الخصوص تُعد دراسة نظرية‬
‫المجموعات التي تعّد أحد اقسام المنطق الرياضي وأساسًا في‬
‫الرياضيات ومدخًال مهمًا فيه‪،‬‬
‫‪ ‬وتؤرخ بعض الكتب للمنطق الرياضي من جورج بول ودي‬
‫مورغان في منصف القرن التاسع عشر وتطور بشكل‬
‫كبير ‪,‬وقد كان منذ تأسيسه مرتبطًا بالرياضيات‪ ،‬والتي يعّد‬
‫هذا المنطق مدخًال لها‪ ،‬فضًال عن أن هناك تشابهًا في الصيغ‬
‫المنطق الرياضي‬

‫‪ ‬المنطقية ومثيالتها بين المنطق الرياضي وعلم الرياضيات ‪ ،‬ذلك‬

‫أن المناطقه صرحوا أن الرياضيات ليست سوى جزءًا من‬
‫المنطق‪ ،‬على إعتبار إن المنطق يتعامل مع الموضوعات‪ ،‬بخالف‬
‫الرياضيات التي تتعامل مع الكم واالرقام‪ .‬ويطلق على المنطق‬
‫الرياضي تسميات عدة منها‪ :‬اللوجستيك (‪ )logistic‬وجبر‬
‫المنطق (‪ ) Algebraic logic‬والمنطق الرمزي (‪symbolic‬‬
‫‪ ) logic‬أو المنطق الشكلي (‪ ،)formal logic‬وإن أحدث‬
‫تسمية له هي المنطق الرياضي (‪،)Mathematical logic‬‬
‫‪ ‬الذي هو مجموعة من النظريات المنطقية التي وضعت في القرن‬
‫التاسع عشر بمساعدة المفهوم الصناعي والمنهج االستداللي‬
‫الصارم‪.‬‬
‫المنطق الرياضي‬

‫‪ ‬ويعُّد الفيلسوف اليبنتز (ت ‪ )1716‬أول من وضع هذا النظام‪،‬‬

‫بعدِّه مؤسس المنطق الرياضي بحق‪ ،‬وقداقتفى اثره فيما بعد‬
‫كٍل من جورج بول ودي مورغان ونجد عند الفيلسوف‬
‫برتراند رسل توصيفًا للمنطق الرياضي في كتابه الشهير‬
‫أصول الرياضيات‪ ،‬إذ يصفه‪ :‬بأنه دراسة لمختلف االنواع‬
‫العامة لالستنباط‪ ،‬وقد اطلقت كلمة رمزي(‪)symbolic‬على‬
‫هذه الدراسة لخاصية عرضية‪ ،‬ألن استخدام الرموز‬
‫الرياضية في هذه الدراسة وفي غيرها هو مجرد أمر مناسب‬
‫من الناحية النظرية‪ ،‬التمليه طبيعة االشياء‪ ،‬والقياس‬
‫المنطقي بجميع اشكاله يتصل بالمنطق الرياضي‪.‬‬
‫المنطق الرياضي‬

‫‪ ‬ويتفق رسل مع بوخنسكي وياسين خليل في أن الفيلسوف‬

‫اليبنتز هو المؤسس االول له‪ ،‬لكن رسل يرى في ان هذا العلم‬
‫لم تظهر له منفعة للفلسفة او لفروع الرياضيات االخرى اال‬
‫على يد الرياضي المشهور بيانو (‪ ،)G.peano‬بسبب إنشائه‬
‫على مناهج حديثة‪ ،‬لهذا تطور واصبح ضروريا لفهم‬
‫الرياضيات عموما وللفلسفة وحتى فروع الرياضيات االخرى‪.‬‬
‫‪ ‬أما الفيلسوف كارناب فيحدد المنطق الرياضي أو (الرمزي أو‬
‫اللوجستيك)‪ ،‬أنه الصورة الحديثة والمتطورة للمنطق عبر‬
‫المائة سنة الماضية‪ ،‬وهو على شكل نظام وليس (نظرية)‪،‬‬
‫وهذا النظام ذو لغة (توكيد حول الموضوعات) (‪assertions‬‬
‫‪،)of objects‬‬
‫المنطق الرياضي‬
‫‪‬ولغته تحتوي على االشارات والعالقات والقوانين‪،‬‬
‫وهذه اللغة تستطيع تحويل وترجمة الجمل أليِة نظرية‬
‫معطاة‪،‬وحول اي موضوع كان بأستثناء التي تحمل‬
‫تخيالت حتمية‪ ،‬ولكي نصل الى نقاوة في الفهم من‬
‫الضروري أن تستعمل لغة المنطق الرمزي لغًة أساسيًة‬
‫للتعبير عن محتوى النظام الذي يعتمد على االكتشافات‬
‫المادية للعلوم‪ ،‬فالنظام البنائي ليس سوى ترجمة لتلك‬
‫االكتشافات التي تبقى عرضة للتغير‬