What are examples of formal science?

Formal sciences include disciplines that utilize formal systems and logical reasoning to study abstract concepts rather than empirical phenomena. Examples include mathematics, which explores numbers and structures; logic, which focuses on the principles of valid reasoning; and computer science, which encompasses algorithms and computational theory. These fields provide foundational frameworks that support the empirical sciences.