المنطق الحدسي " أرند هايتنج نموذجًا "

Abstract

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