العلوم الشكليّة
العلوم الشكليّة (بالإنجليزية: formal sciences) فرع من فروع العلم ،على عكس العلوم الأخرى (التجريبية) فإن العلوم الشكلية لا تعتمد في تحديد صحة نظرياتها على المشاهدة في أرض الواقع، بل على خصائص الأنظمة الشكليّة من ناحية نظرية بناءً على التعاريف وقواعد الاستنتاج. ولكن منهجيات العلوم الشكليّة يتم استخدامها أيضًا في البناء والتجريب النظري للنماذج العلمية التي تهتم بما يوجد في أرض الواقع.
تهتم العلوم الشكليّة بالأنظمة الشكليّة ک :
المنطق ،والرياضيات، وعلم الكمبيوتر النظري، ونظرية المعلومات ،ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات.
فروع العلوم الشكليّة
تنقسم العلوم الشكليّة إلي فوع أخرى فرعية وهي :
- المنطق
- علوم الحاسوب
- الرياضيات (الرياضيات التطبيقية ، الرياضيات البحتة)
- علم النظم
- علم الإحصاء
الفرق بين العلوم الشكليّة وبين فروع العلم الأخرى
يقول العالِم ألبرت أينشتاين لتعبير عن مدى قيمة وعلو مكانة الرياضيات
«أحد الأسباب التي تعطي الرياضيات قيمة خاصة فوق كل العلوم الأخرى هو أن قوانينها مطلقة الصحة ولا تقبل الجدل، في حين أن قوانين العلوم الأخرى تقبل الجدل إلى حد ما ومعرضة لخطر مستمر لأن يتم تدميرها بحقائق جديدة» - ألبرت أينشتاين
إرسال تعليق