Geoffrey Hellman

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.

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.

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

Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis-a-vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell's many-topoi view and modal-structuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried out relative to such domains; puzzles about ‘large categories’ and ‘proper classes’ are handled in a uniform way, by relativization, sustaining insights of Zermelo.

This paper explores the status of the von Neumann-Luders state transition rule (the "projection postulate") within "real-logic" quantum logic. The entire discussion proceeds from a reading of the Luders rule according to which, although idealized in applying only to "minimally disturbing" measurements, it nevertheless makes empirical claims and is not a purely mathematical theorem. An argument (due to Friedman and Putnam) is examined to the effect that QL has an explanatory advantage over Copenhagen and other interpretations which relativize truth-value assignments to experimental arrangements. Two versions of QL, the lattice-theoretic (LT) and partial-Boolean-algebra (PBA), are considered. It turns out that the projection postulate is intimately connected with the choice of conditional connective for QL. The effect of the projection postulate is obtained with the Sasaki conditional. However, this choice is found to require extra assumptions, on both the LT and PBA versions, which are either just as ad hoc as the projection postulate itself or indefensible from within the real-logic QL framework