In thephilosophy of science,structuralism[α] (also known asscientific structuralism[1] or as thestructuralistic theory-concept)[2] asserts that all aspects of reality are best understood in terms of empirical scientific constructs of entities and their relations, rather than in terms of concrete entities in themselves.[3]
| Part of a series on |
| Epistemology |
|---|
Structuralism is an active research program in thephilosophy of science, which was first developed in the late 1960s and throughout the 1970s by severalanalytic philosophers.
As an instance of structuralism, the concept of matter should be interpreted not as an absolute property of nature in itself, but instead of how scientifically-grounded mathematical relations describe how the concept of matter interacts with other properties, whether that be in a broad sense such as the gravitational fields that mass produces or more empirically as how matter interacts with sense systems of the body to produce sensations such as weight.[4]
Structuralism's aim is to comprise all important aspects of an empirical theory in one formal framework. The proponents of this meta-theoretic theory areFrederick Suppe,Patrick Suppes,Ronald Giere,[5][3]Joseph D. Sneed,Wolfgang Stegmüller,Carlos Ulises Moulines [es], Wolfgang Balzer,John Worrall, Elie Georges Zahar, Pablo Lorenzano,Otávio Bueno,Anjan Chakravartty, Tian Yu Cao,Steven French, andMichael Redhead.
The term "structural realism" for the variation ofscientific realism motivated by structuralist arguments, was coined by American philosopherGrover Maxwell [es] in 1968.[6] In 1998, the British structural realist philosopher James Ladyman distinguishedepistemic andontic forms of structural realism.[7][3]
The philosophical concept of (scientific) structuralism is related to that ofepistemic structural realism (ESR).[3] ESR, a position originally and independently held byHenri Poincaré (1902),[8][9]Bertrand Russell (1927),[10] andRudolf Carnap (1928),[11] was resurrected byJohn Worrall (1989), who proposes that there is retention of structure acrosstheory change. Worrall, for example, argued thatFresnel's equations imply that light has a structure and thatMaxwell's equations, which replaced Fresnel's, do also; both characterize light as vibrations. Fresnel postulated that the vibrations were in a mechanical medium called "ether"; Maxwell postulated that the vibrations were of electric and magnetic fields. The structure in both cases is the vibrations and it was retained when Maxwell's theories replaced Fresnel's.[12] Because structure is retained, structural realism both (a) avoidspessimistic meta-induction[β] and (b) does not make the success of science seem miraculous, i.e., it puts forward ano-miracles argument.[13]
The so-calledNewman problem (alsoNewman's problem,Newman objection,Newman's objection) refers to the critical notice of Russell'sThe Analysis of Matter (1927) published byMax Newman in 1928.[14][3][15] Newman argued that the ESR claim that one can know only the abstract structure of the external world trivializes scientific knowledge. The basis of his argument is the realization that "[a]ny collection of things can be organized so as to have structureW, provided there are the rightnumber of them", whereW is an arbitrary structure.[16]
John Worrall (2000) advocates a version of ESR augmented by theRamsey sentence reconstruction of physical theories[17] (a Ramsey sentence aims at rendering propositions containing non-observable theoretical terms clear by substituting them with observable terms). John Worrall and Elie Georges Zahar (2001) claim that Newman's objection applies only if a distinction between observational and theoretical terms is not made.[18]
Ramsey-style epistemic structural realism is distinct from and incompatible with the originalRussellian epistemic structural realism[19] (the difference between the two being that Ramsey-style ESR makes anepistemic commitment to Ramsey sentences, while Russellian ESR makes an epistemic commitment to abstract structures, that is, to (second-order) isomorphism classes of the observational structure of the world and not the (first-order) physical structure itself).[20] Ioannis Votsis (2004) claims that Russellian ESR isalso impervious to the Newman objection: Newman falsely attributed the trivial claim "there existsa relation with a particular abstract structure" to ESR, while ESR makes the non-trivial claim that there is aunique physical relation that is causally linked with aunique observational relation and the two are isomorphic.[21]
The traditional scientific realist and notable critic of structural realism[3]Stathis Psillos (1999) remarks that "structural realism is best understood as issuing an epistemic constraint on what can be known and on what scientific theories can reveal."[22] He thinks that ESR faces a number of insurmountable objections.[23] These include among others that ESR's only epistemic commitment is uninterpreted equations which are not by themselves enough to produce predictions[24][15] and that the "structure versus nature" distinction that ESR appeals to cannot be sustained.[25]
Votsis (2004) replies that the structural realist "does subscribe to interpreted equations, but attempts to distinguish between interpretations that link the terms to observations from those that do not"[26] and he can appeal to the Russellian view that "nature" just means the non-isomorphically specifiable part of entities.[27]
Psillos also defendsDavid Lewis'sdescriptive-causal theory of reference[28][3] (according to which the abandoned theoretical terms after a theory change are regarded as successfully referring "after all")[3][28] and claims that it can adequately deal with referential continuity in conceptual transitions, during which theoretical terms are abandoned,[29] thus rendering ESR redundant.
Votsis (2004) replies that a scientific realist needs not tie the approximate truth of a theory to referential success.[30] Notably, structural realism initially did not dictate any particulartheory of reference;[31] however Votsis (2012) proposed astructuralist theory of reference according to which "scientific terms are able to refer to individual objects, i.e. in a term-by-term fashion, but that to fix this reference requires taking into account the relations these objects instantiate" (in this view, structural descriptions serve as reference determiners).[32]
While ESR claims that only the structure of reality is knowable,ontic structural realism (OSR) goes further to claim thatstructure is all there is. In this view, reality has no "nature" underlying its observed structure. Rather, reality is fundamentally structural, though variants of OSR disagree on precisely which aspects of structure are primitive. OSR is strongly motivated by modern physics, particularlyquantum field theory, which undermines intuitive notions of identifiable objects with intrinsic properties.[3] Some early quantum physicists held this view, includingHermann Weyl (1931),[33]Ernst Cassirer (1936),[34] andArthur Eddington (1939).[35] Recently, OSR has been called "the most fashionable ontological framework for modern physics".[36]
Max Tegmark takes this concept even further with themathematical universe hypothesis, which proposes that, if our universe is only a particular structure, then it is no more real than any other structure.[37][38]
In mathematical logic, a mathematical structure is a standard concept. A mathematical structure is aset of abstract entities with relations between them. The natural numbers under arithmetic constitute a structure, with relations such as "is evenly divisible by" and "is greater than". Here the relation "is greater than" includes the element (3, 4), but not the element (4, 3). Points in space and the real numbers under Euclidean geometry are another structure, with relations such as "the distance between point P1 and point P2 is real number R1"; equivalently, the "distance" relation includes the element (P1, P2, R1). Other structures include theRiemann space of general relativity and theHilbert space of quantum mechanics. The entities in a mathematical structure do not have any independent existence outside their participation in relations. Two descriptions of a structure are considered equivalent, and to be describing the same underlying structure, if there is a correspondence between the descriptions that preserves all relations.[37][39]
Many proponents of structural realism formally or informally ascribe "properties" to the abstract objects; some argue that such properties, while they can perhaps be "shoehorned" into the formalism of relations, should instead be considered distinct from relations.[40]
Inquantum field theory (QFT), traditional proposals for "the most basic known structures" divide into "particle interpretations" such as ascribing reality to theFock space of particles, and "field interpretations" such as considering the quantum wavefunction to be identical to the underlying reality. Varyinginterpretations of quantum mechanics provide one complication; another, perhaps minor, complication is that neither fields nor particles are completely localized in standard QFT. A third, less obvious, complication is that "unitarily inequivalent representations" are endemic in QFT; for example, the same patch of spacetime can be represented by a vacuum by an inertial observer, but as a thermal heat bath by an accelerating observer that perceivesUnruh radiation, raising the difficult question of whether the vacuum structure or heat bath structure is the real structure, or whether both of these inequivalent structures are separately real. Another example, which does not require the complications of curved spacetime, is that in ferromagnetism, symmetry-breaking analysis results in inequivalent Hilbert spaces. More broadly, QFT's infinite degrees of freedom lead to inequivalent representations in the general case.[36]
Ingeneral relativity, scholars often grant a "basic structure" status to the spacetime structure, sometimes via itsmetric.[3]
| Related articles |
| ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Theories | |||||||||||||||||||||||||||||||||
| Concepts |
| ||||||||||||||||||||||||||||||||
| Philosophers |
| ||||||||||||||||||||||||||||||||
