Formal Science - Differences From Other Forms of Science

Differences From Other Forms of Science

One reason why mathematics enjoys special esteem, above all other sciences, is that its laws are absolutely certain and indisputable, while those of other sciences are to some extent debatable and in constant danger of being overthrown by newly discovered facts. —Albert Einstein

As opposed to empirical sciences (natural, social), the formal sciences do not involve empirical procedures. They also do not presuppose knowledge of contingent fact, or describe the real world. In this sense, formal sciences are both logically and methodologically a priori, for their content and validity are independent of any empirical procedures.

Although formal sciences are conceptual systems, lacking empirical content, this does not mean that they have no relation to the real world. But this relation is such that their formal statements hold in all possible conceivable worlds (see valid formula) – whereas, statements based on empirical theories, such as, say, General Relativity or Evolutionary Biology, do not hold in all possible worlds, and may even turn out not to hold in this world. That is why formal sciences are applicable in all domains and useful in all empirical sciences.

Because of their non-empirical nature, formal sciences are construed by outlining a set of axioms and definitions from which other statements (theorems) are deduced. In other words, theories in formal sciences contain no synthetic statements; all their statements are analytic.

Read more about this topic:  Formal Science

Famous quotes containing the words differences, forms and/or science:

    “I trust the time is nigh when, with the universal assent of civilized people, all international differences shall be determined without resort to arms by the benignant processes of civilization.”
    —Chester A. Arthur (1829–1886)

    “Two forms move among the dead, high sleep
    Who by his highness quiets them, high peace
    Upon whose shoulders even the heavens rest,
    Two brothers. And a third form, she that says
    Good-by in the darkness, speaking quietly there,
    To those that cannot say good-by themselves.”
    —Wallace Stevens (1879–1955)

    “Thinking is seeing.... Every human science is based on deduction, which is a slow process of seeing by which we work up from the effect to the cause; or, in a wider sense, all poetry like every work of art proceeds from a swift vision of things.”
    —Honoré De Balzac (1799–1850)