Pluralist Mathematics, Minimalist Philosophy: Hans Reichenbach. Drunken Risibility.

H_Reichenbach

Hans Reichenbach relativized the notion of the constitutive a priori. The key observation concerns the fundamental difference between definitions in pure geometry and definitions in physical geometry. In pure geometry there are two kinds of definition: first, there are the familiar explicit definitions; second, there are implicit definitions, that is the kind of definition whereby such fundamental terms as ‘point’, ‘line’, and ‘surface’ are to derive their meaning from the fundamental axioms governing them. But in physical geometry a new kind of definition emerges – that of a physical (or coordinative) definition:

The physical definition takes the meaning of the concept for granted and coordinates to it a physical thing; it is a coordinative definition. Physical definitions, therefore, consist in the coordination of a mathematical definition to a “piece of reality”; one might call them real definitions. (Reichenbach, 8)

Now there are two important points about physical definitions. First, some such correlation between a piece of mathematics and “a piece of physical reality” is necessary if one is to articulate the laws of physics (e.g. consider “force-free moving bodies travel in straight lines”). Second, given a piece of pure mathematics there is a great deal of freedom in choosing the coordinative definitions linking it to “a piece of physical reality”, since… coordinative definitions are arbitrary, and “truth” and “falsehood” are not applicable to them. So we have here a conception of the a priori which (by the first point) is constitutive (of the empirical significance of the laws of physics) and (by the second point) is relative. Moreover, on Reichenbach’s view, in choosing between two empirically equivalent theories that involve different coordinative definitions, there is no issue of “truth” – there is only the issue of simplicity. In his discussion of Einstein’s particular definition of simultaneity, after noting its simplicity, Reichenbach writes: “This simplicity has nothing to do with the truth of the theory. The truth of the axioms decides the empirical truth, and every theory compatible with them which does not add new empirical assumptions is equally true.” (p 11)

Now, Reichenbach went beyond this and he held a more radical thesis – in addition to advocating pluralism with respect to physical geometry (something made possible by the free element in coordinative definitions), he advocated pluralism with respect to pure mathematics (such as arithmetic and set theory). According to Reichenbach, this view is made possible by the axiomatic conception of Hilbert, wherein axioms are treated as “implicit definitions” of the fundamental terms:

The problem of the axioms of mathematics was solved by the discovery that they are definitions, that is, arbitrary stipulations which are neither true nor false, and that only the logical properties of a system – its consistency, independence, uniqueness, and completeness – can be subjects of critical investigation. (p 3)

It needs to be stressed here that Reichenbach is extending the Hilbertian thesis concerning implicit definitions since although Hilbert held this thesis with regard to formal geometry he did not hold it with regard to arithmetic.

On this view there is a plurality of consistent formal systems and the notions of “truth” and “falsehood” do not apply to these systems; the only issue in choosing one system over another is one of convenience for the purpose at hand and this is brought out by investigating their metamathematical properties, something that falls within the provenance of “critical investigation”, where there is a question of truth and falsehood. This radical form of pluralism came to be challenged by Gödel’s discovery of the incompleteness theorems. To begin with, through the arithmetization of syntax, the metamathematical notions that Reichenbach takes to fall within the provenance of “critical investigation” were themselves seen to be a part of arithmetic. Thus, one cannot, on pain of inconsistency, say that there is a question of truth and falsehood with regard to the former but not the latter. More importantly, the incompleteness theorems buttressed the view that truth outstrips consistency. This is most clearly seen using Rosser’s strengthening of the first incompleteness theorem as follows: Let T be an axiom system of arithmetic that (a) falls within the provenance of “critical investigation” and (b) is sufficiently strong to prove the incompleteness theorem. A natural choice for such an axiom system is Primitive Recursive Arithmetic (PRA) but much weaker systems suffice, for example, IΔ0 + exp. Either of these systems can be taken as T. Assuming that T is consistent (something which falls within the provenance of “critical investigation”), by Rosser’s strengthening of the first incompleteness theorem, there is a Π01-sentence φ such that (provably within T + Con(T )) both T + φ and T + ¬φ are consistent. However, not both systems are equally legitimate. For it is easily seen that if a Π01-sentence φ is independent from such a theory, then it must be true. The point being that T is ∑10-complete (provably so in T). So, although T + ¬φ is consistent, it proves a false arithmetical statement.

Superstrings as Grand Unifier. Thought of the Day 86.0

1*An_5-O6idFfNx4Bs_c8lig

The first step of deriving General Relativity and particle physics from a common fundamental source may lie within the quantization of the classical string action. At a given momentum, quantized strings exist only at discrete energy levels, each level containing a finite number of string states, or particle types. There are huge energy gaps between each level, which means that the directly observable particles belong to a small subset of string vibrations. In principle, a string has harmonic frequency modes ad infinitum. However, the masses of the corresponding particles get larger, and decay to lighter particles all the quicker.

Most importantly, the ground energy state of the string contains a massless, spin-two particle. There are no higher spin particles, which is fortunate since their presence would ruin the consistency of the theory. The presence of a massless spin-two particle is undesirable if string theory has the limited goal of explaining hadronic interactions. This had been the initial intention. However, attempts at a quantum field theoretic description of gravity had shown that the force-carrier of gravity, known as the graviton, had to be a massless spin-two particle. Thus, in string theory’s comeback as a potential “theory of everything,” a curse turns into a blessing.

Once again, as with the case of supersymmetry and supergravity, we have the astonishing result that quantum considerations require the existence of gravity! From this vantage point, right from the start the quantum divergences of gravity are swept away by the extended string. Rather than being mutually exclusive, as it seems at first sight, quantum physics and gravitation have a symbiotic relationship. This reinforces the idea that quantum gravity may be a mandatory step towards the unification of all forces.

Unfortunately, the ground state energy level also includes negative-mass particles, known as tachyons. Such particles have light speed as their limiting minimum speed, thus violating causality. Tachyonic particles generally suggest an instability, or possibly even an inconsistency, in a theory. Since tachyons have negative mass, an interaction involving finite input energy could result in particles of arbitrarily high energies together with arbitrarily many tachyons. There is no limit to the number of such processes, thus preventing a perturbative understanding of the theory.

An additional problem is that the string states only include bosonic particles. However, it is known that nature certainly contains fermions, such as electrons and quarks. Since supersymmetry is the invariance of a theory under the interchange of bosons and fermions, it may come as no surprise, post priori, that this is the key to resolving the second issue. As it turns out, the bosonic sector of the theory corresponds to the spacetime coordinates of a string, from the point of view of the conformal field theory living on the string worldvolume. This means that the additional fields are fermionic, so that the particle spectrum can potentially include all observable particles. In addition, the lowest energy level of a supersymmetric string is naturally massless, which eliminates the unwanted tachyons from the theory.

The inclusion of supersymmetry has some additional bonuses. Firstly, supersymmetry enforces the cancellation of zero-point energies between the bosonic and fermionic sectors. Since gravity couples to all energy, if these zero-point energies were not canceled, as in the case of non-supersymmetric particle physics, then they would have an enormous contribution to the cosmological constant. This would disagree with the observed cosmological constant being very close to zero, on the positive side, relative to the energy scales of particle physics.

Also, the weak, strong and electromagnetic couplings of the Standard Model differ by several orders of magnitude at low energies. However, at high energies, the couplings take on almost the same value, almost but not quite. It turns out that a supersymmetric extension of the Standard Model appears to render the values of the couplings identical at approximately 1016 GeV. This may be the manifestation of the fundamental unity of forces. It would appear that the “bottom-up” approach to unification is winning. That is, gravitation arises from the quantization of strings. To put it another way, supergravity is the low-energy limit of string theory, and has General Relativity as its own low-energy limit.