formel (biçimsel) bilimler
bilimlerin sınıflandırılmasında, matematik ve mantık formel bilimler grubuna dahil edilirler. matematik ve mantığı diğer bilimlerden ayıran en önemli özellik bu bilimlerin konu ve kavramlarını duyularımızla kavrayamadığımız, ancak zihinsel olarak var olduklarını kabul ettiğimiz ilke ve sembollerin oluşturmasıdır. bu bilimlerin araştırdığı konular doğada bulunmazlar. mesela, sayılar, geometrinin konusu olan şekiller (üçgen, dörtgen gibi) ve onlara ilişkin özellikler doğada bulunmazlar. matematiğe ilişkin doğrular, doğruluğunu peşinen kabul ettiğimiz aksiyom ve postulatlara dayanır. bu bilimlere ilişkin doğruların doğrudan, ön kabule, deneye ve gözleme dayanarak elde edilmemesinden dolayı, bazıları matematik ve mantığın aslında bilim olmadığını, sadece diğer bilimlere "yardımcı" olduklarını ileri sürerler.
bazıları da mantık ve matematik bilgisinin doğru ve kesinliğine olan güven nedeniyle bir bilginin bilimsel kesinliğinin matematiğe olan yakınlığıyla ölçüldüğünü ileri sürerler. böyle bir düşüncenin sosyal bilimler için çok fazla bir anlam ifade etmediği açıktır.
evet, sosyal bilimler de istatistik ve ölçme gibi bazı matematik teknikleri kullanır. ancak sosyal bilimleri salt bir istatistik ve ölçme çalışması olarak görmek, sosyal bilimin doğasına uymaz.