| 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
|
