On Field’s Nominalization of Physical Theories
Transcript of On Field’s Nominalization of Physical Theories
![Page 1: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/1.jpg)
On Field’s Nominalization of PhysicalTheories
Máté SzabóEötvös University
1
![Page 2: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/2.jpg)
The Quine-Putnam indispensability argument
(canonized form)
(P1) We ought to have ontological commitment to all and onlythe entities that are indispensable to our best scientific theo-ries.
(P2) Mathematical entities are indispedsable to our best scientifictheories.
(C) We ought to have ontological commitment to mathematicalentities.
![Page 3: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/3.jpg)
• (P1) was controversial from the beginning.
• (P2) was considered evident.
Hartry Field was the first who claimed – in his Science Without Num-bers’ (1980) – that premise (P2) is false: mathematical entities are notindispensable to our best scientific theories.
![Page 4: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/4.jpg)
Field’s nominalization program
Field claims that a physical theory can be “nominalized”, that is, it canbe reconstructed in such a way that
• the new theory does not contain quantifications over mathemati-cal entities
• (still remains attractive)
![Page 5: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/5.jpg)
The Nominalization Procedure
1. we have a body of physical facts, in terms of empirical observa-tions
2. we have the usual (platonistic) physical theory describing the ob-servable phenomena in question – containing reference to andquantifications over mathematical entities
3. we construct a new theory which is capable to describe the samephenomena, but without any reference to mathematical entities
![Page 6: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/6.jpg)
Symbolically:
formal system
mathematical entities
with reference to
observable phenomena
S
L′
L
S′
formal system
mathematical entities
without any reference to
≈
![Page 7: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/7.jpg)
Symbolically:
L′
L
formal system
real numbers
without any reference to
formal system
real numbers
with reference to
≈
![Page 8: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/8.jpg)
A “toy” physical theory
The “toy” physical theory is about a few empirically observable reg-ularities related with the spatial relations of properties of the materialpoints/molecules of a sheet of paper.
Thus:
• the only physical entities are the molecules of the paper
• the only measuring equipment is a scale-free ruler
![Page 9: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/9.jpg)
Observed phenomena to be described
Betweenness We say thatmolecule γ is between molecules α
and β if1) whenever the ruler fits to α andβ then it also fits to γ
2) the mark on the ruler corre-sponding to γ falls between themarks corresponding to α and β.
γ
β
α
sheet of paper
Congruence We will say that apair of molecules α, β is congruentto a pair of molecules γ, δ if when-ever we mark the ruler at α, β, thesame marks will also fit γ, δ.
α β
γ
δ
sheet of paper
![Page 10: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/10.jpg)
For example we can observe:
(E1) If molecules α and β are congruent to molecules γ and δ, and γ
and δ are congruent to molecules ε and ζ , then α and β are congruentto ε and ζ .
(E2) If we consider three molecules fitting to the ruler, then there isexactly one that lies between the other two.
![Page 11: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/11.jpg)
The usual (platonistic) theory of the paper
The formal system we will use: L =(R2, Γ, Λ
)R2 pairs of real numbers
Γ(a, b, c) relation between three points of R2 (six real numbers):√(a1 − b1)
2 + (a2 − b2)2 +
√(c1 − b1)
2 + (c2 − b2)2
=
√(a1 − c1)
2 + (a2 − c2)2
Λ(a, b, c, d) relation between four points of R2 (eight real numbers):√(a1 − b1)
2 + (a2 − b2)2 =
√(c1 − d1)
2 + (c2 − d2)2
![Page 12: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/12.jpg)
Semantics
The empirically observable physical configurations, Betweenness andCongruence, correspond to relations between real numbers, Γ and Λ:
γ
β
α
sheet of paper
S
⇐⇒ Γ(a, c, b)
α β
γ
δ
sheet of paper
S
⇐⇒ Λ(a, b, c, d)
![Page 13: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/13.jpg)
Empirical confirmation
The physical theory (L, S), that is the formal system(R2, Γ, Λ
)with the
above semantics provides a proper description of our empirical knowl-edge about the paper. Moreover, it has predicative power! For instance,the following is a theorem of
(R2, Γ, Λ
):
Theorem 1.
∀a∀b∀g∀d∀e∀z∃o Γ(a, d, b) ∧ Γ(b, e, g) ∧ Γ(g, z, a)
∧Λ(a, d, d, b) ∧ Λ(b, e, e, g) ∧ Λ(g, z, z, a)
→ Γ(a, o, e) ∧ Γ(b, o, z) ∧ Γ(g, o, d)
![Page 14: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/14.jpg)
Empirical confirmation
The physical theory (L, S), that is the formal system(R2, Γ, Λ
)with the
above semantics provides a proper description of our empirical knowl-edge about the paper. Moreover, it has predicative power! For instance,the following is a theorem of
(R2, Γ, Λ
):
Theorem 1.
∀a∀b∀g∀d∀e∀z∃o Γ(a, d, b) ∧ Γ(b, e, g) ∧ Γ(g, z, a)
∧Λ(a, d, d, b) ∧ Λ(b, e, e, g) ∧ Λ(g, z, z, a)
→ Γ(a, o, e) ∧ Γ(b, o, z) ∧ Γ(g, o, d)
![Page 15: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/15.jpg)
Empirical confirmation
The physical theory (L, S), that is the formal system(R2, Γ, Λ
)with the
above semantics provides a proper description of our empirical knowl-edge about the paper. Moreover, it has predicative power! For instance,the following is a theorem of
(R2, Γ, Λ
):
Theorem 1.
∀a∀b∀g∀d∀e∀z∃o Γ(a, d, b) ∧ Γ(b, e, g) ∧ Γ(g, z, a)
∧Λ(a, d, d, b) ∧ Λ(b, e, e, g) ∧ Λ(g, z, z, a)
→ Γ(a, o, e) ∧ Γ(b, o, z) ∧ Γ(g, o, d)
b
g
e
oz
d
a
![Page 16: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/16.jpg)
Empirical confirmation
The physical theory (L, S), that is the formal system(R2, Γ, Λ
)with the
above semantics provides a proper description of our empirical knowl-edge about the paper. Moreover, it has predicative power! For instance,the following is a theorem of
(R2, Γ, Λ
):
HYPOTHESIS: If molecules α, β, γ, δ, ε and ζ sat-isfy that δ is between α and β, ε is between β andγ, and ζ is between γ and α, furthermore, α, δ arecongruent to δ, β, and β, ε are congruent to ε, γ,and γ, ζ are congruent to ζ, α, then we can alwaysfind a molecule ω such that it is between α and ε,and it is between β and ζ and it is between γ andδ.
β
γ
ε
ωζ
α
δ
![Page 17: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/17.jpg)
Indeed!
b
g
e
oz
d
a
S
⇐⇒
β
γ
ε
ωζ
α
δ
One can easily verify it on the paper, empirically, by means of the ruler.
![Page 18: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/18.jpg)
(L, S) is, in Field’s terminology, a platonistic theory, because it containsreference to mathematical entities, namely, to real numbers. (Γ and Λ
are relations between real numbers.)
![Page 19: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/19.jpg)
The Nominalized Theory
We will construct another physical theory, that is, we will give anotherformal system L’ with another semantics S ’, such that:
• it can equally well describe the same observable phenomena
• but without any reference to mathematical entities
The language of L’ contains:
• individuum variables: A, B, C, . . .
• a three-argument predicate: Bet
• a four-argument predicate: Cong
![Page 20: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/20.jpg)
Beyond the logical axioms of PC(=) (predicate calculus with identity)we give the following “physical” axioms:
T1 ∀A∀B Cong(A, B, B, A)
T2 ∀A∀B∀C Cong(A, B, C,C) → A = B
T3 ∀A∀B∀C∀D∀E∀F Cong(A, B, C,D) ∧ Cong(C, D,E, F )
→ Cong(A, B, E, F )
T4 ∀A∀B Bet(A, B, A) → A = B
(...)
T10 ∀A∀B∀C∀D∀E∀F∀G∀H ¬A = B ∧Bet(A, B, C) ∧Bet(E, F, G)
∧Cong(A, B, E, F ) ∧ Cong(B, C, F,G) ∧ Cong(A, D, E, H)
∧Cong(B, D, F, H) → Cong(C, D,G,H)
T11 ∀A∀B∀C∀D∃E Bet(D, A, E) ∧ Cong(A, E, B, C)
![Page 21: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/21.jpg)
Semantics
Individuum variables A, B, C, . . . range over the molecules α, β, γ, . . .
of the paper. The empirically observable physical configurations, Be-tweenness and Congruence, correspond to the predicates Bet andCong:
γ
β
α
sheet of paper
S ′
⇐⇒ Bet(A, C,B)
α β
γ
δ
sheet of paper
S ′
⇐⇒ Cong(A, B, C,D)
![Page 22: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/22.jpg)
Empirical confirmation
The theory so obtained equally well describes our empirical knowledgeabout the paper. Moreover it has the same predictive power! For in-stance, the following is a theorem of L’:
Theorem 1’.
∀A∀B∀G∀D∀E∀Z∃O Bet(A, D, B)
∧Bet(B, E, G) ∧Bet(G, Z,A) ∧ Cong(A, D, D,B)
∧Cong(B, E, E,G) ∧ Cong(G, Z, Z, A)
→ Bet(A, O, E) ∧Bet(B, O, Z) ∧Bet(G, O,D)
![Page 23: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/23.jpg)
Empirical confirmation
The theory so obtained equally well describes our empirical knowledgeabout the paper. Moreover it has the same predictive power! For in-stance, the following is a theorem of L’:
Theorem 1’.
∀A∀B∀G∀D∀E∀Z∃O Bet(A, D, B)
∧Bet(B, E, G) ∧Bet(G, Z,A) ∧ Cong(A, D, D,B)
∧Cong(B, E, E,G) ∧ Cong(G, Z, Z, A)
→ Bet(A, O, E) ∧Bet(B, O, Z) ∧Bet(G, O,D)
B
G
E
OZ
D
A
![Page 24: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/24.jpg)
Empirical confirmation
The theory so obtained equally well describes our empirical knowledgeabout the paper. Moreover it has the same predictive power! For in-stance, the following is a theorem of L’:
HYPOTHESIS: If molecules α, β, γ, δ, ε and ζ sat-isfy that δ is between α and β, ε is between β andγ, and ζ is between γ and α, furthermore, α, δ arecongruent to δ, β, and β, ε are congruent to ε, γ,and γ, ζ are congruent to ζ, α, then we can alwaysfind a molecule ω such that it is between α and ε,and it is between β and ζ and it is between γ andδ.
β
γ
ε
ωζ
α
δ
![Page 25: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/25.jpg)
Indeed!
B
G
E
OZ
D
A
S ′
⇐⇒
β
γ
ε
ωζ
α
δ
One can easily verify it on the paper, empirically, by means of the ruler.
![Page 26: On Field’s Nominalization of Physical Theories](https://reader030.fdocuments.net/reader030/viewer/2022012013/615888737c1eb479445f7409/html5/thumbnails/26.jpg)
Concluding remarks
There are however at least two important branches of the philosophy ofmathematics which remain unaltered by Field’s nominalization results:
• Although we eliminated from the physical theories the referencesto mathematical entities, we did not eliminated the mathematicalstructures themselves! For example, we eliminated the referenceto the points of R2, but did not eliminate the Euclidean geometrydefined by Tarski’s axioms T1–T11. And this is enough for thestucturalist version of platonism.
• Both the Quine–Putnam argument and Field’s nominalizationprogram are based on the tacit assumption that the terms andstatements of mathematics have meanings, and the only questionis the ontological status of the entites that mathematics refers to.This assumption is however unacceptable from the point of viewof formalist philosophy of mathematics.