Geoffrey Hellman

Physicalism: Ontology, Determination, and Reduction

Physicalism: Ontology, Determination, and Reduction Author(s): Geoffrey Paul Hellman and Frank Wilson Thompson Reviewed work(s): Source: The Journal of Philosophy, Vol. 72, No. 17, Seventy-Second Annual Meeting of the American Philosophical Association Eastern Division (Oct. 2, 1975), pp. 551-564 Published by: Journal of Philosophy, Inc. Stable URL: http://www.jstor.org/stable/2025067 . Accessed: 14/10/2012 16:09

Stochastic Einstein-locality and the Bell theorems

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.

Mathematical Constructivism in Spacetime

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.

Mathematical pluralism: The case of smooth infinitesimal analysis

A remarkable development in twentieth-century mathematics is smooth infinitesimal analysis (‘SIA’), introducing nilsquare and nilpotent infinitesimals, recovering the bulk of scientifically applicable classical analysis (‘CA’) without resort to the method of limits. Formally, however, unlike Robinsonian ‘nonstandard analysis’, SIA conflicts with CA, deriving, e.g., ‘not every quantity is either = 0 or not = 0.’ Internally, consistency is maintained by using intuitionistic logic (without the law of excluded middle). This paper examines problems of interpretation resulting from this ‘change of logic’, arguing that standard arguments based on ‘smoothness’ requirements are question-begging. Instead, it is suggested that recent philosophical work on the logic of vagueness is relevant, especially in the context of a Hilbertian structuralist view of mathematical axioms (as implicitly defining structures of interest). The relevance of both topos models for SIA and modal-structuralism as appled to this theory is clarified, sustaining this remarkable instance of mathematical pluralism.

Quantum mechanical unbounded operators and constructive mathematics : A rejoinder to bridges

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.

Some Ins and Outs of Indispensability: A Modal-Structural Perspective

Empiricism has traditionally had great difficulty in making sense of mathematics. The problems with Mill’s empiricism in this regard, as exposed by Frege, are well known. In this century, Carnap’s logical empiricism turned on the claim that all mathematical truths are really analytic, i.e., true solely in virtue of linguistic meanings, a claim that cannot withstand scrutiny in light of Godel’s work and its aftermath. Quine’s naturalistic empiricism has sought to do better. The insight that testing of scientific theories is holistic, involving substantial bodies of propositions, suggested that even purely mathematical assumptions, essential in both the formulation of (say) physical theories and in deduction of testable consequences, can gain empirical support or confirmation indirectly, in a manner analogous to the way in which highly theoretical physical postulates can. (The locus classicus is [20].) There is no need to claim that, say, abstract set-existence axioms are really analytic, nor is there any need to invoke a special intuitive faculty for grasping mathematical objects or propositions. Mathematics can be seen as continuous with the sciences, and mathematical epistemology promises to be brought within a thorough-going naturalistic framework.

Modal-Structural Mathematics

Few, if any, would dispute Gauss’s metaphor for mathematics as queen of the sciences. Controversy arises only when concrete imagery is suggested. One might imagine the queen as in classical Chinese Tang dynasty representations of Guanyin—erect, robes flowing in regal splendor, isolated in heaven but, notably, lacking any foundational support.

Regions-based two dimensional continua: The Euclidean case

We extend the work presented in [7, 8] to a regions-based, two-dimensional, Euclidean theory. The goal is to recover the classical continuum on a point-free basis. We first derive the Archimedean property for a class of readily postulated orientations of certain special regions, “generalized quadrilaterals” (intended as parallelograms), by which we cover the entire space. Then we generalize this to arbitrary orientations, and then establishing an isomorphism between the space and the usual point-based R × R. As in the one-dimensional case, this is done on the basis of axioms which contain no explicit “extremal clause” (to the effect that “these are the only ways of generating regions”), and we have no axiom of induction other than ordinary numerical (mathematical) induction. Finally, having explicitly defined ‘ point ’ and ‘ line ’, we will derive the characteristic Parallel’s Postulate (Playfair axiom) from regions-based axioms, and point the way toward deriving key Euclidean metrical properties.

Bell-type inequalities in the nonideal case : proof of a conjecture of bell

Recently Bell has conjectured that, with “epsilonics,” one should be able to argue, à la EPR, from “almost ideal correlations” (in parallel Bohm-Bell pair experiments) to “almost determinism,” and that this should suffice to derive an approximate Bell-type inequality. Here we prove that this is indeed the case. Such an inequality—in principle testable—is derived employing only weak locality conditions, imperfect correlation, and a propensity interpretation of certain conditional probabilities. Outcome-independence (Jarretts “completeness” condition), hence “factorability” of joint probabilities, is not assumed, but rather an approximate form of this is derived. An alternative proof to the original one of Bell [1971] constraining stochastic, contextual hidden-variables theories is thus provided.

Predicativity and Regions-Based Continua

After recapitulating in summary form our basic regions-based theory of the classical one-dimensional continuum (which we call a semi-Aristotelian theory), and after presenting relevant background on predicativity in foundations of mathematics, we consider what adjustments would be needed for a predicative version of our regions-based theory, and then we develop them. As we’ll see, such a predicative version sits between our semi-Aristotelian system and an Aristotelian one, as well as falling generally between fully constructive and fully classical theories. Finally, we compare the resulting predicative theory and our original semi-Aristotelian one with respect to their power and unity.