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:

    “The extent to which a parent is able to see a child’s world through that child’s eyes depends very much on the parent’s ability to appreciate the differences between herself and her child and to respect those differences. Your own children need you to accept them for who they are, not who you would like them to be.”
    —Lawrence Balter (20th century)

    “How superbly brave is the Englishman in the presence of the awfulest forms of danger & death; & how abject in the presence of any & all forms of hereditary rank.”
    —Mark Twain [Samuel Langhorne Clemens] (1835–1910)

    “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)