If you do not find what you're looking for, you can use more accurate words.
تشارك العلوم الشكلية في دراسة النظم الرسمية. وتشمل الرياضيات، نظرية النظم، وعلوم الحاسوب النظرية. تشترك العلوم الشكلية في أوجه التشابه مع الفرعين الآخرين من خلال الاعتماد على دراسة موضوعية ودقيقة ومنهجية لمجال المعرفة. ومع ذلك، فهي تختلف عن العلوم التجريبية لأنها تعتمد بشكل حصري على التفكير الاستنتاجي، دون الحاجة إلى أدلة تجريبية، للتحقق من مفاهيمها المجردة. وبالتالي فإن العلوم الشكلية هي تخصصات مسبقة وبسبب هذا، هناك خلاف حول ما إذا كانت تشكل في الواقع علمًا. ومع ذلك، تلعب العلوم الشكلية دورًا مهمًا في العلوم التجريبية. حساب التفاضل والتكامل، على سبيل المثال، اخترع في البداية لفهم الحركة في الفيزياء. تشمل العلوم الطبيعية والاجتماعية التي تعتمد اعتمادًا كبيرًا على التطبيقات الرياضية الفيزياء الرياضية والكيمياء الرياضية وعلم الأحياء الرياضي والرياضيات المالية والاقتصاد الرياضي.