Geoffrey Hellman

Structuralism is a view about the subject matter of mathematics according to which what matters are structural relationships in abstraction from the intrinsic nature of the related objects. Mathematics is seen as the free exploration of structural possibilities, primarily through creative concept formation, postulation, and deduction. The items making up any particular system exemplifying the structure in question are of no importance; all that matters is that they satisfy certain general conditions—typically spelled out in axioms defining the structure or structures of interest—characteristic of the branch of mathematics in question. Thus, in the basic case of arithmetic, the famous “axioms” of Richard Dedekind (taken over by Giuseppe Peano, as he acknowledged) were conditions in a definition of a “simply infinite system”, with an initial item, each item having a unique next one, no two with the same next one, and all items finitely many steps from the initial one. (The latter condition is guaranteed by the axiom of mathematical induction.) All such systems are structurally identical, and, in a sense to be made more precise, the shared structure is what mathematics investigates. (In other cases, multiple structures are allowed, as in abstract algebra with its many groups, rings, fields, and so forth.) This structuralist view of arithmetic thus contrasts with the absolutist view, associated with Gottlob Frege and Bertrand Russell, that natural numbers must in fact be certain definite objects, namely classes of equinumerous concepts or classes.

Two EPR arguments are reviewed, for their own sake, and for the purpose of clarifying the status of "stochastic" hidden variables. The first is a streamlined version of the EPR argument for the incompleteness of quantum mechanics. The role of an anti-instrumentalist ("realist") interpretation of certain probability statements is emphasized. The second traces out one horn of a central foundational dilemma, the collapse dilemma; complex modal reasoning, similar to the original EPR, is used to derive determinateness (of all spin components of two spin- 1 / 2 particles in the singlet state) from just (a form of) weak locality, result definiteness, and an assumption on propensities based on conservation. Theories meeting these conditions are therefore constrained by the Bell inequalities. Neither controversial assumptions of "strong locality" ("factorability") nor of determinism are employed in the derivation. The categories of "stochastic hidden variables" are then analyzed; one can focus on "quasi-definite" theories, without loss of generality. A means of excluding these is proposed, based on a demand that certain ideal cases be accurately treated. Theorems from quantum measurement theory, sometimes cited as showing that such cases are not physically possible, are found inapplicable

As argued in Hellman (1993), the theorem of Pour-El and Richards (1983) can be seen by the classicist as limiting constructivist efforts to recover the mathematics for quantum mechanics. Although Bridges (1995) may be right that the constructivist would work with a different definition of 'closed operator', this does not affect my point that neither the classical unbounded operators standardly recognized in quantum mechanics nor their restrictions to constructive arguments are recognizable as objects by the constructivist. Constructive substitutes that may still be possible necessarily involve additional 'incompleteness' in the mathematical representation of quantum phenomena. Concerning a second line of reasoning in Hellman (1993), its import is that constructivist practice is consistent with a 'liberal' stance but not with a 'radical', verificationist philosophical position. Whether such a position is actually espoused by certain leading constructivists, they are invited to clarify

Three questions are highlighted concerning the scope and force of indispensability arguments supporting classical, infinitistic mathematics. The first concerns the need for non-constructive reasoning for scientifically applicable mathematics; the second concerns the need for impredicative set existence principles for finitistic and scientifically applicable mathematics, respectively; and the third concerns the general status of such arguments in light of recent work in mathematical logic, especially that of Friedman et al. and Feferman et al. Some recent results are then presented bearing on the first question on the need for non-constructive analysis, especially for quantum physics. Despite the impressive work of Bishop et al. in constructive analysis, Hilbert's objection to intuitionism still carries significant force, and may be decisive depending in part on one's conception of "physics"

We develop a point-free construction of the classical one- dimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quantification. In some respects this realizes ideas going back to Aristotle,although, unlike Aristotle, we make free use of classical "actual infinity". Also, in contrast to intuitionistic, Bishop, and smooth infinitesimal analysis, we follow classical analysis in allowing partitioning of our "gunky line" into mutually exclusive and exhaustive disjoint parts, thereby demonstrating the independence of "indecomposability" from a non-punctiform conception. It is surprising that such simple axioms as ours already imply the Archimedean property and that they determine an isomorphism with the Dedekind-Cantor structure of R as a complete, separable, ordered field. We also present some simple topological models of our system, establishing consistency relative to classical analysis. Finally, after describing how to nominalize our theory, we close with comparisons with earlier efforts related to our own.

To what extent can constructive mathematics based on intuitionistc logic recover the mathematics needed for spacetime physics? Certain aspects of this important question are examined, both technical and philosophical. On the technical side, order, connectivity, and extremization properties of the continuum are reviewed, and attention is called to certain striking results concerning causal structure in General Relativity Theory, in particular the singularity theorems of Hawking and Penrose. As they stand, these results appear to elude constructivization. On the philosophical side, it is argued that any mentalist-based radical constructivism suffers from a kind of neo-Kantian apriorism. It would be at best a lucky accident if objective spacetime structure mirrored mentalist mathematics. the latter would seem implicitly committed to a Leibnizian relationist view of spacetime, but is it doubtful if implementation of such a view would overcome the objection. As a result, an anti-realist view of physics seems forced on the radical constructivist.

Standard proofs of generalized Bell theorems, aiming to restrict stochastic, local hidden-variable theories for quantum correlation phenomena, employ as a locality condition the requirement of conditional stochastic independence. The connection between this and the no-superluminary-action requirement of the special theory of relativity has been a topic of controversy. In this paper, we introduce an alternative locality condition for stochastic theories, framed in terms of the models of such a theory (§2). It is a natural generalization of a light-cone determination condition that is essentially equivalent to mathematical conditions that have been used to derive Bell inequalities in the deterministic case. Further, it is roughly equivalent to a condition proposed by Bell that, in one investigation, needed to be supplemented with a much stronger assumption in order to yield an inequality violated by some quantum mechanical predictions. It is shown here that this reflects a very general situation: from the proposed locality condition, even adding the strict anticorrelation condition and the auxiliary hypotheses needed to derive experimentally useful (and theoretically telling) inequalities, no Bell-type inequality is derivable. (These independence claims are the burden of §4.) A certain limitation on the scope of the proposed stochastic locality condition is exposed (§5), but it is found to be rather minor. The conclusion is thus supported that conditional stochastic independence, however reasonable on other grounds, is essentially stronger than what is required by the special theory.Our results stand in apparent contradiction with a class of derivations purporting to obtain generalized Bell inequalities from locality alone. It is shown in Appendix (B) that such proofs do not achieve their goal. This fits with our conclusion that generalized Bell theorems are not straightforward generalizations of theorems restricting deterministic hidden-variable theories, and that, in fact, such generalizations do not exist. This leaves open the possibility that a satisfactory, non-deterministic account of the quantum correlation phenomena can be given within the framework of the special theory.

We list, with discussions, various principles of scientific realism, in order to exhibit their diversity and to emphasize certain serious problems of formulation. Ontological and epistemological principles are distinguished. Within the former category, some framed in semantic terms (truth, reference) serve their purpose vis-a-vis instrumentalism (Part 1). They fail, however, to distinguish the realist from a wide variety of (constructional) empiricists. Part 2 seeks purely ontological formulations, so devised that the empiricist cannot reconstruct them from within. The main task here is to characterize "independence of mind". A pair of notions, "physical invariance" and "anti-determination", seem to work. They enable us to assess anew "the problem of constructing the physical out of the phenomenal" (yielding certain clarifications demanded by Goodman). Modern cosmology, especially, is seen to present insuperable obstacles to such empiricist approaches to science. The final section on epistemological principles reveals a morass better avoided in favor of an elementary claim about perception, together with a rejection of any absolute observation/theory dichotomy. Finally, a positive, realist notion of "observable-in-principle" is sketched, and it is suggested that, from the perspective of relativistic cosmology, even this defines no boundary to potential knowledge

A plurality of approaches to foundational aspects of mathematics is a fact of life. Two loci of this are discussed here, the classicism/constructivism controversy over standards of proof, and the plurality of universes of discourse for mathematics arising in set theory and in category theory, whose problematic relationship is discussed. The first case illustrates the hypothesis that a sufficiently rich subject matter may require a multiplicity of approaches. The second case, while in some respects special to mathematics, raises issues of ontological multiplicity and relativity encountered in the natural sciences as well.

Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it is argued that the modality of MS or a close cousin appears at crucial junctures in both STS and SGS, so that the above outcome is not obviously tendentious.

After briefly reviewing the standard set-theoretic resolutions of the Burali-Forti paradox, we examine how the paradox arises in set theory formalized with plural quantifiers. A significant choice emerges between the desirable unrestricted availability of ordinals to represent well-orderings and the sensibility of attempting to refer to ‘absolutely all ordinals’ or ‘absolutely all well-orderings’. This choice is obscured by standard set theories, which rely on type distinctions which are obliterated in the setting with plurals. Zermelo's attempt ( 1930 ) to secure ordinal representability of arbitrary well-orderings through relativization of quantification to set-theoretic models is reviewed and found wanting. The natural modal-structural recasting provides, it is claimed, a good repair