formal science—the study of logic and mathematics
applied science—disciplines that rely on science and use existing scientific knowledge to develop new applications, such as in engineering, robotics, agriculture and medicine.