ارسل ملاحظاتك

ارسل ملاحظاتك لنا







الرئيسية > موقف المنطق الحدسي من مبادئ ال...>الوصف

موقف المنطق الحدسي من مبادئ المنطق التقليدي

العنوان بلغة أخرى: The Position of Intuitionistic Logic on the Principles of Traditional Logic
المصدر: مجلة بحوث
الناشر: جامعة عين شمس - كلية البنات للآداب والعلوم والتربية
المؤلف الرئيسي: حسنين، هدى محمد غازي عشماوي (مؤلف)
مؤلفين آخرين: النويهي، سهام محمود محمد عيسوي (م. مشارك), حسن، حسين علي (م. مشارك)
المجلد/العدد: مج1, ع7
محكمة: نعم
الدولة: مصر
التاريخ الميلادي: 2021
الشهر: يوليو
الصفحات: 192 - 224
ISSN: 2735-4814
رقم MD: 1314937
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: EduSearch, HumanIndex
مواضيع:
فلسفة الرياضيات | المنطق الرمزي | الصدق الرياضي | المنطق الطبيعي | البرهان المنطقي
كلمات المؤلف المفتاحية:
المنطق الحدسي | المنطق التقليدي | مبدأ الثالث المرفوع | الصدق | البرهان | النفي | Intuitionistic Logic | Traditional Logic | The Principle of the Excluded Middle | Truth | Proof | Negation
رابط المحتوى:
PDF (صورة)     
صورة الغلاف QR قانون

عدد مرات التحميل

12

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

This paper deals with the position of intuitionistic logic on the principles of traditional logic. The importance of this logic is due to the fact that it is different from traditional logic, as it expresses the views and ideas of the intuitionism, which be appeared as a result of researching into the problem of the foundations of mathematics. That intuitionistic logic is characterized by the non-existence of the principle of the excluded middle being a theorem of the intuitionistic system. That is due to the different concept of mathematical truth in relation to mathematical Propositions, as the proponents of intuitionistic logic reject the idea that truth is the basis of logic and believe instead in the idea of proof. As a result of replacing the concept of proof with the concept of truth, the difference appeared clearly between traditional logic and intuitionistic logic, especially with regard to the concept of negation and double negation. Traditional negation uses a language that relies on the concepts of truth and false, while the used language in the intuitionistic negation relies on the concepts of probability and refutation. One of the main points of controversy between intuitionistic logic and traditional logic is the absence of the rule of double negation at the proponents of intuitionistic logic.
ISSN: 2735-4814

عناصر مشابهة


© 2024 المنظومة. جميع الحقوق محفوظة.