
A "formal science" is an area of study that uses formal systems to generate knowledge such as in Mathematics and Computer Science. Formal sciences are important subjects because all of quantitative science depends on them.
The term "science" commonly refers to a set of methods of investigation leading to knowledge of the natural world. These methods include systematic observation, the formation of hypotheses and theories, and the construction of experiments to test these theories and hypotheses.
Washington and Lee offers curriculum and majors from all three areas of scientific study: Formal Sciences, Life Sciences and Physical Science.