Scientific formalism is a family of approaches to the presentation of
science
Science is a systematic endeavor that Scientific method, builds and organizes knowledge in the form of Testability, testable explanations and predictions about the universe.
Science may be as old as the human species, and some of the earli ...
. It is viewed as an important part of the
scientific method
The scientific method is an empirical method for acquiring knowledge that has characterized the development of science since at least the 17th century (with notable practitioners in previous centuries; see the article history of scientific ...
, especially in the
physical sciences
Physical science is a branch of natural science that studies non-living systems, in contrast to life science. It in turn has many branches, each referred to as a "physical science", together called the "physical sciences".
Definition
Phy ...
.
Levels of formalism
There are multiple levels of scientific formalism possible. At the lowest level, scientific formalism deals with the symbolic manner in which the information is presented. To achieve formalism in a
scientific theory at this level, one starts with a well defined set of
axioms, and from this follows a
formal system
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system.
A form ...
.
However, at a higher level, scientific formalism also involves consideration of the axioms themselves. These can be viewed as questions of
ontology
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality.
Ontology addresses questions like how entities are grouped into categories and which of these entities exi ...
. For example, one can, at the lower level of formalism, define a
property
Property is a system of rights that gives people legal control of valuable things, and also refers to the valuable things themselves. Depending on the nature of the property, an owner of property may have the right to consume, alter, share, r ...
called 'existence'. However, at the higher level, the question of whether an
electron
The electron ( or ) is a subatomic particle with a negative one elementary electric charge. Electrons belong to the first generation of the lepton particle family,
and are generally thought to be elementary particles because they have no ...
exists in the same sense that a
bacterium
Bacteria (; singular: bacterium) are ubiquitous, mostly free-living organisms often consisting of one biological cell. They constitute a large domain of prokaryotic microorganisms. Typically a few micrometres in length, bacteria were amon ...
exists still needs to be resolved.
Some actual formal theories on
facts have been proposed.
In modern physics
The scientific climate of the twentieth century revived these questions. From about the time of
Isaac Newton
Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a " natural philosopher"), widely recognised as one of the grea ...
to that of
James Clerk Maxwell
James Clerk Maxwell (13 June 1831 – 5 November 1879) was a Scottish mathematician and scientist responsible for the classical theory of electromagnetic radiation, which was the first theory to describe electricity, magnetism and li ...
they had been dormant, in the sense that the physical sciences could rely on the status of the
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
s as a description of the
continuum, and an agnostic view of
atom
Every atom is composed of a nucleus and one or more electrons bound to the nucleus. The nucleus is made of one or more protons and a number of neutrons. Only the most common variety of hydrogen has no neutrons.
Every solid, liquid, gas, ...
s and their structure.
Quantum mechanics
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistr ...
, the dominant physical theory after about 1925, was formulated in a way which raised questions of both types.
In the
Newtonian framework there was indeed a degree of comfort in the answers one could give. Consider for example the question of whether the
Earth
Earth is the third planet from the Sun and the only astronomical object known to harbor life. While large volumes of water can be found throughout the Solar System, only Earth sustains liquid surface water. About 71% of Earth's surfa ...
really goes round the
Sun
The Sun is the star at the center of the Solar System. It is a nearly perfect ball of hot plasma, heated to incandescence by nuclear fusion reactions in its core. The Sun radiates this energy mainly as light, ultraviolet, and infrared radi ...
. In a
frame of reference adapted to calculating the Earth's orbit, this is a mathematical but also tautological statement.
Newtonian mechanics can answer the question, whether it is not equally the case that the Sun goes round the Earth, as it indeed appears to Earth-based astronomers. In Newton's theory there is a basic, fixed frame of reference that is
inertial
In classical physics and special relativity, an inertial frame of reference (also called inertial reference frame, inertial frame, inertial space, or Galilean reference frame) is a frame of reference that is not undergoing any acceleration. ...
. The 'correct answer' is that the point of view of an observer in an
inertial frame of reference
In classical physics and special relativity, an inertial frame of reference (also called inertial reference frame, inertial frame, inertial space, or Galilean reference frame) is a frame of reference that is not undergoing any acceleration. ...
is privileged: other observers see artifacts of their acceleration relative to an inertial frame (the
inertial forces). Before Newton,
Galileo would draw the consequences, from the
Copernican heliocentric model. He was, however, constrained to call his work (in effect) scientific formalism, under the old 'description' saving the phenomena. To avoid going against authority, the elliptic orbits of the heliocentric model could be labelled as a more convenient device for calculations, rather than an actual description of reality.
In
general relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
, Newton's inertial frames are no longer privileged. In quantum mechanics,
Paul Dirac
Paul Adrien Maurice Dirac (; 8 August 1902 – 20 October 1984) was an English theoretical physicist who is regarded as one of the most significant physicists of the 20th century. He was the Lucasian Professor of Mathematics at the Univer ...
argued that physical models were not there to provide semantic constructs allowing us to ''understand'' microscopic physics in language comparable to that we use on the familiar scale of everyday objects. His attitude, adopted by many
theoretical physicist
Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain and predict natural phenomena. This is in contrast to experimental physics, which uses experime ...
s, is that a good model is judged by our capacity to use it to calculate physical quantities that can be tested experimentally. Dirac's view is close to what
Bas van Fraassen
Bastiaan Cornelis van Fraassen (; born 1941) is a Dutch-American philosopher noted for his contributions to philosophy of science, epistemology and formal logic. He is a Distinguished Professor of Philosophy at San Francisco State University an ...
calls
constructive empiricism In philosophy of science, constructive empiricism is a form of empiricism. While it is sometimes referred to as an empiricist form of structuralism, its main proponent, Bas van Fraassen, has consistently distinguished between the two views.
Overvie ...
.
Duhem
A physicist who took the issues involved seriously was
Pierre Duhem
Pierre Maurice Marie Duhem (; 9 June 1861 – 14 September 1916) was a French theoretical physicist who worked on thermodynamics, hydrodynamics, and the theory of elasticity. Duhem was also a historian of science, noted for his work on the Eu ...
, writing at the beginning of the twentieth century. He wrote an extended analysis of the approach he saw as characteristically British, in requiring
field theories of theoretical physics to have a mechanical-physical interpretation. That was an accurate characterisation of what Dirac (himself British) would later argue against. The national characteristics specified by Duhem do not need to be taken too seriously, since he also claimed that the use of
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathe ...
, namely
quaternions, was also characteristically British (as opposed to French or German); as if the use of
classical analysis
Analysis is the branch of mathematics dealing with continuous functions, limits, and related theories, such as differentiation, integration, measure, infinite sequences, series, and analytic functions.
These theories are usually studied in ...
methods alone was important one way or the other.
Duhem also wrote on saving the phenomena. In addition to the
Copernican revolution
The Copernican Revolution was the paradigm shift from the Ptolemaic model of the heavens, which described the cosmos as having Earth stationary at the center of the universe, to the heliocentric model with the Sun at the center of the Solar Sys ...
debate of "saving the phenomena" (
Greek
Greek may refer to:
Greece
Anything of, from, or related to Greece, a country in Southern Europe:
*Greeks, an ethnic group.
*Greek language, a branch of the Indo-European language family.
**Proto-Greek language, the assumed last common ancestor ...
: σῴζειν τὰ φαινόμενα, ''sozein ta phainomena''
[An ancient view (attributed to ]Plato
Plato ( ; grc-gre, Πλάτων ; 428/427 or 424/423 – 348/347 BC) was a Greek philosopher born in Athens during the Classical period in Ancient Greece. He founded the Platonist school of thought and the Academy, the first institution ...
by Simplicius of Cilicia
Simplicius of Cilicia (; el, Σιμπλίκιος ὁ Κίλιξ; c. 490 – c. 560 AD) was a disciple of Ammonius Hermiae and Damascius, and was one of the last of the Neoplatonists. He was among the pagan philosophers persecuted by Justinian i ...
) on hypotheses, theories and phaenomena, on what scientists, or more historically accurately (ancient) astronomers, are for, are supposed to do; see
Wherein "The oldest extant text in which the expression "save the phenomena" is only of the first century A.D. namely Plutarch's ''On the Face in the Orb of the Moon''", hence see also (in Greek) Plutarch
Plutarch (; grc-gre, Πλούταρχος, ''Ploútarchos''; ; – after AD 119) was a Greek Middle Platonist philosopher, historian, biographer, essayist, and priest at the Temple of Apollo in Delphi. He is known primarily for hi ...
De faciae quae in orbe lunae apparet, 923a
(o
in English
at th
Perseus Project
/ref>) versus offering explanations that inspired Duhem was Thomas Aquinas
Thomas Aquinas, OP (; it, Tommaso d'Aquino, lit=Thomas of Aquino; 1225 – 7 March 1274) was an Italian Dominican friar and priest who was an influential philosopher, theologian and jurist in the tradition of scholasticism; he is known wit ...
, who wrote, regarding eccentrics and epicycles, that
Reason may be employed in two ways to establish a point: firstly, for the purpose of furnishing sufficient proof of some principle .. Reason is employed in another way, not as furnishing a sufficient proof of a principle, but as confirming an already established principle, by showing the congruity of its results, as in astronomy the theory of eccentrics and epicycles is considered as established, because thereby the sensible appearances of the heavenly movements can be explained (''possunt salvari apparentia sensibilia''); not, however, as if this proof were sufficient, forasmuch as some other theory might explain them. ../blockquote>
The idea that a physical interpretation—in common language or classical ideas and physical entities, though of or examined in an ontological or quasi-ontological sense—of a phenomenon in physics is not an ultimate or necessary condition for its understanding or validity, also appears in modern structural realist views on science.
Bellarmine
Robert Bellarmine
Robert Bellarmine, SJ ( it, Roberto Francesco Romolo Bellarmino; 4 October 1542 – 17 September 1621) was an Italian Jesuit and a cardinal of the Catholic Church. He was canonized a saint in 1930 and named Doctor of the Church, one of only 37. ...
wrote to heliocentrist Paolo Antonio Foscarini:[Bellarmine's 12 April 1615 letter to Galileo, translated in ]Nor is it the same to demonstrate that by assuming the sun to be at the center and the earth in heaven one can save the appearances, and to demonstrate that in truth the sun is at the center and the earth in heaven; for I believe the first demonstration may be available, but I have very great doubts about the second…
Modern physicist Pierre Duhem
Pierre Maurice Marie Duhem (; 9 June 1861 – 14 September 1916) was a French theoretical physicist who worked on thermodynamics, hydrodynamics, and the theory of elasticity. Duhem was also a historian of science, noted for his work on the Eu ...
"suggests that in one respect, at least, Bellarmine had shown himself a better scientist than Galileo by disallowing the possibility of a 'strict proof of the earth's motion,' on the grounds that an astronomical theory merely 'saves the appearances' without necessarily revealing what 'really happens.'"[*]
See also
*Andreas Osiander
Andreas Osiander (; 19 December 1498 – 17 October 1552) was a German Lutheran theologian and Protestant reformer.
Career
Born at Gunzenhausen, Ansbach, in the region of Franconia, Osiander studied at the University of Ingolstadt before ...
* Scientific community metaphor
Notes
{{Philosophy of science
Formalism (deductive)
Metatheory of science
Scientific method