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:

    Then the justice,
    In fair round belly with good capon lined,
    With eyes severe and beard of formal cut,
    Full of wise saws and modern instances;
    And so he plays his part.
    William Shakespeare (1564–1616)

    For eighteen hundred years, though perchance I have no right to say it, the New Testament has been written; yet where is the legislator who has wisdom and practical talent enough to avail himself of the light which it sheds on the science of legislation?
    Henry David Thoreau (1817–1862)