المنطق الحدسي " أرند هيتنج نموذجا " [texte imprimé] /
هدى غازي, Auteur . -
الإسكندرية : دار الوفاء لدنيا الطباعة, 2026 . - 320ص : غ. ملون ، جداول ; 24سم.
ISBN : 978-977-96-1480-9
Langues : Arabe (
ara)
Langues originales : Arabe (
ara)
| Catégories : |
الفلسفة
|
| Mots-clés : |
المنطق الحدسي ؛ أرند هيتنج |
| Index. décimale : |
160 المنطق |
| Résumé : |
الدراسة تتناول المنطق الحدسي عند أرند هيتنج (Arend Heyting)، وهو تلميذ بروير وأحد أبرز من وضعوا النسق الصوري للمنطق الحدسي. وتوضح الدراسة أن هذا الاتجاه يجعل الرياضيات سابقة على المنطق، باعتبار أن الرياضيات تقوم على البناء العقلي والحدس، بينما يأتي المنطق كأداة لتنظيم وتسجيل العمليات الرياضية. كما تبرز موقف المنطق الحدسي من المنطق الكلاسيكي، خاصة رفض قانون الثالث المرفوع وعدم قبول القضية إلا عند توفر برهان بنائي يثبتها، إضافة إلى عدم اعتبار النفي المزدوج كافيًا لإثبات القضية ما لم يوجد دليل إيجابي عليها. وتتمثل أهمية الدراسة في إبراز دور المنطق الحدسي في بناء الرياضيات على أساس البرهان والإنشاء العقلي والابتعاد عن القضايا التي لا تستند إلى بناء أو دليل واضح. |
المنطق الحدسي " أرند هيتنج نموذجا "
