Formal Science

Formal sciences (like logic, statistics, and computer science) differ from empirical sciences in that they do not rely on empirical observations to establish truth.