المحتوى هنا ينقصه الاستشهاد بمصادر، أي معلومات غير موثقة يمكن التشكيك بها وإزالتها.

علوم شكلية

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Question book-new.svg
المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (يونيو 2016)

العلوم الشكلية هي فروع المعرفة التي تهتم بالأنظمة الشكلية، كالمنطق، والرياضيات، وعلم الكومبيوتر النظري، ونظرية المعلومات، ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات.

على عكس العلوم الأخرى (التجريبية) فإن العلوم الشكلية لا تعتمد في تحديد صحة نظرياتها على المشاهدة في أرض الواقع، بل على خصائص الأنظمة الشكلية من ناحية نظرية بناءً على التعاريف وقواعد الاستنتاج. ولكن منهجيات العلوم الشكلية يتم استخدامها أيضاً في البناء والتجريب النظري للنماذج العلمية التي تهتم بما يوجد في أرض الواقع.

الفرق بينها وبين الأنواع الأخرى للعلم[عدل]

«أحد الأسباب التي تعطي الرياضيات قيمةً خاصة فوق كل العلوم الأخرى هو أن قوانينها مطلقة الصحة ولا تقبل الجدل، في حين أن قوانين العلوم الأخرى تقبل الجدل إلى حدّ ما ومعرضة لخطر مستمر لأن يتم تدميرها بحقائق جديدة.» – ألبرت آينشتاين[1]

انظر أيضاً[عدل]

مراجع[عدل]

  1. ^ Albert Einstein (1923). Sidelights on relativity. Courier Dover Publications. صفحة 27.  Reprinted by Dover (2010), ISBN 978-0-486-24511-9.
Science-symbol-2.png
هذه بذرة مقالة عن موضوع علمي بحاجة للتوسيع. شارك في تحريرها.