Formal Science

Formal Science

The formal sciences are the branches of knowledge that are concerned with formal systems, such as logic, mathematics, theoretical computer science, information theory, game theory, systems theory, decision theory, and some aspects of linguistics.

Unlike other sciences, the formal sciences are not concerned with the validity of theories based on observations in the real world, but instead with the properties of formal systems based on definitions and rules. Methods of the formal sciences are, however, applied in constructing and testing scientific models dealing with observable reality.

Read more about Formal Science:  History, Differences From Other Forms of Science

Famous quotes containing the words formal and/or science:

    “The bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
    —Angela Carter (1940–1992)

    “Art is the beautiful way of doing things. Science is the effective way of doing things. Business is the economic way of doing things.”
    —Elbert Hubbard (1856–1915)