علوم شكلية
العلوم الشكلية هي فروع المعرفة التي تهتم بالأنظمة الشكلية، كالمنطق، والرياضيات، وعلم الكومبيوتر النظري، ونظرية المعلومات، ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات.[1][2]
علوم شكلية
|
| جزء من سلسلة مقالات حول |
| العلوم |
|---|
 |
|
بوابة علوم |
على عكس العلوم الأخرى (التجريبية) فإن العلوم الشكلية لا تعتمد في تحديد صحة نظرياتها على المشاهدة في أرض الواقع، بل على خصائص الأنظمة الشكلية من ناحية نظرية بناءً على التعاريف وقواعد الاستنتاج. ولكن منهجيات العلوم الشكلية يتم استخدامها أيضاً في البناء والتجريب النظري للنماذج العلمية التي تهتم بما يوجد في أرض الواقع.
الفرق بينها وبين الأنواع الأخرى للعلم
«أحد الأسباب التي تعطي الرياضيات قيمةً خاصة فوق كل العلوم الأخرى هو أن قوانينها مطلقة الصحة ولا تقبل الجدل، في حين أن قوانين العلوم الأخرى تقبل الجدل إلى حدّ ما ومعرضة لخطر مستمر لأن يتم تدميرها بحقائق جديدة.» – ألبرت آينشتاين[3]
مراجع
- Carnap, Rudolf (1938)، "Logical Foundations of the Unity of Science"، International Encyclopaedia of Unified Science، Chicago: University of Chicago Press، ج. I.
- Albert Einstein (1923)، "Geometry and Experience"، Sidelights on relativity، Courier Dover Publications، ص. 27.
- Albert Einstein (1923)، "Geometry and Experience"، Sidelights on relativity، Courier Dover Publications، ص. 27. Reprinted by Dover (2010), ISBN 978-0-486-24511-9.
بوابة منطق
بوابة رياضيات
بوابة تقنية المعلومات
بوابة علوم
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.