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

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







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

العنوان بلغة أخرى: The Position of Intuitionistic Logic on the Principles of Traditional Logic
المصدر: مجلة بحوث
الناشر: جامعة عين شمس - كلية البنات للآداب والعلوم والتربية
المؤلف الرئيسي: حسنين، هدى محمد غازي عشماوي (مؤلف)
المؤلف الرئيسي (الإنجليزية): Hassanein, Huda Mohamed Ghazy Ashmawy
مؤلفين آخرين: النويهي، سهام محمود محمد عيسوي (م. مشارك) , حسن، حسين علي (م. مشارك)
المجلد/العدد: مج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
رابط المحتوى:
صورة الغلاف QR قانون

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

14

حفظ في:
LEADER 04768nam a22002657a 4500
001 2074401
041 |a ara 
044 |b مصر 
100 |9 697214  |a حسنين، هدى محمد غازي عشماوي  |e مؤلف  |g Hassanein, Huda Mohamed Ghazy Ashmawy 
245 |a موقف المنطق الحدسي من مبادئ المنطق التقليدي 
246 |a The Position of Intuitionistic Logic on the Principles of Traditional Logic 
260 |b جامعة عين شمس - كلية البنات للآداب والعلوم والتربية  |c 2021  |g يوليو 
300 |a 192 - 224 
336 |a بحوث ومقالات  |b Article 
520 |a يتناول هذا البحث موقف المنطق الحدسي من مبادئ المنطق التقليدي؛ وترجع أهمية هذا المنطق إلى كونه منطقا مختلفا عن المنطق التقليدي، حيث جاء معبرا عن آراء الاتجاه الحدسي وأفكاره، الذي ظهر نتيجة البحث في مشكلة أسس الرياضيات، بوصفه محاولة لإنقاذ الرياضيات من التناقضات التي انطوت عليها. وقد تميز المنطق الحدسي برفضه أن يكون مبدأ الثالث المرفوع مبرهنة من مبرهنات النسق الحدسي، الأمر الذي يرجع إلى اختلاف مفهوم الصدق الرياضي بالنسبة للقضايا الرياضية، حيث يرفض أنصار المنطق الحدسي فكرة أن يكون الصدق أساسا للمنطق، ويضعون بدلا منها فكرة البرهان. ونتيجة لاستبدال مفهوم البرهان بمفهوم الصدق ظهر الاختلاف بشكل واضح بين المنطق التقليدي والمنطق الحدسي وخاصة فيما يتعلق بمفهومي النفي والنفي المزدوج، إذ إن النفي في المنطق التقليدي يستخدم لغة تعتمد على مفاهيم الصدق والكذب، في حين النفي الحدسي يستخدم لغة تعتمد على مفاهيم قابلية البرهان وقابلية التفنيد. كما ترجع إحدى نقاط الخلاف الرئيسة بين المنطق الحدسي والمنطق التقليدي إلى غياب قاعدة النفي المزدوج عند أنصار المنطق الحدسي.  |b 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. 
653 |a فلسفة الرياضيات  |a المنطق الرمزي  |a الصدق الرياضي  |a المنطق الطبيعي  |a البرهان المنطقي 
692 |a المنطق الحدسي  |a المنطق التقليدي  |a مبدأ الثالث المرفوع  |a الصدق  |a البرهان  |a النفي  |b Intuitionistic Logic  |b Traditional Logic  |b The Principle of the Excluded Middle  |b Truth  |b Proof  |b Negation 
700 |9 470914  |a النويهي، سهام محمود محمد عيسوي  |e م. مشارك  |g Elnoihy, Siham Mahmoud Mohamed 
700 |9 210325  |a حسن، حسين علي  |e م. مشارك  |g Ali, Hussein 
773 |4 العلوم الإنسانية ، متعددة التخصصات  |4 العلوم الاجتماعية ، متعددة التخصصات  |6 Humanities, Multidisciplinary  |6 Social Sciences, Interdisciplinary  |c 010  |f Buḥūṯ  |l 007  |m مج1, ع7  |o 2253  |s مجلة بحوث  |v 001  |x 2735-4814 
856 |u 2253-001-007-010.pdf 
930 |d y  |p y  |q n 
995 |a EduSearch 
995 |a HumanIndex 
999 |c 1314937  |d 1314937 

عناصر مشابهة