Formal sciences are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and portions of linguistics. Whereas the natural sciences seek to characterize physical systems, the formal sciences are concerned with characterizing abstract structures described by sign systems. The formal sciences aid the natural sciences by providing information about the structures the latter use to describe the world, and what inferences may be made about them.

Formalwissenschaften sind Wissenschaften, die sich der Analyse von formalen Systemen widmen. Beispiele sind Mathematik, Logik, allgemeine Linguistik, teilweise die Rechtswissenschaft und theoretische Informatik. Damit stellen die Formalwissenschaften einen Wissenschaftsbereich dar, der etwa von den Geisteswissenschaften, Sozialwissenschaften, Naturwissenschaften und Ingenieurwissenschaften abgegrenzt wird.