Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to (...) the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets which are category-theoretically dual to one another (...) and which are developed in two dual mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the mathematics of set partitions can be transported in a natural way to complex vector spaces where it yields the mathematical machinery of QM. And then we show how the machinery of QM can be transported the other way down to set-like vector spaces over ℤ₂ yielding a rather fulsome "toy" or pedagogical model of "quantum mechanics over sets." In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

This paper attempts to explain the emergence of the logical empiricist philosophy of space and time as a collision of mathematical traditions. The historical development of the ``Riemannian'' and ``Helmholtzian'' traditions in 19th century mathematics is investigated. Whereas Helmholtz's insistence on rigid bodies in geometry was developed group theoretically by Lie and philosophically by Poincaré, Riemann's Habilitationsvotrag triggered Christoffel's and Lipschitz's work on quadratic differential forms, paving the way to Ricci's absolute differential calculus. The transition from special to general relativity (...) is briefly sketched as a process of escaping from the Helmholtzian tradition and entering the Riemannian one. Early logical empiricist conventionalism, it is argued, emerges as the failed attempt to interpret Einstein's reflections on rods and clocks in general relativity through the conceptual resources of the Helmholtzian tradition. Einstein's epistemology of geometry should, in spite of his rhetorical appeal to Helmholtz and Poincaré, be understood in the wake the Riemannian tradition and of its aftermath in the work of Levi-Civita, Weyl, Eddington, and others. (shrink)

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are category-theoretically dual (...) to one another and which are developed in two mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the logic and mathematics of set partitions can be transported in a natural way to Hilbert spaces where it yields the mathematical machinery of QM--which shows that the mathematical framework of QM is a type of logical system over ℂ. And then we show how the machinery of QM can be transported the other way down to the set-like vector spaces over ℤ₂ showing how the classical logical finite probability calculus (in a "non-commutative" version) is a type of "quantum mechanics" over ℤ₂, i.e., over sets. In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

When we begin to investigate the persistence of objects through time, we find immediately that the sort of concerns embodied in Leibniz's Law cause philosophers to divide themselves into the two major camps of Purdurantists and Endurantists. What is required according to each for a given object at a given time to be identified with a given object at another time is held to be dramatically different, even while both often look to the same general sort of indicators for their (...) answers to identity questions: identity or similarity of physical properties, including relational properties like spatial location. I believe, however, that logically prior to the problem of the persistence of objects through time will be questions regarding the composition of objects--we must have coherent notions of what an object is, what it means for parts to compose an object, and what is required for an object to be considered to exist at a single time before we can discuss the continued existence of objects at other times. I believe that posing the problem of temporal gaps for both the Perdurantist and Endurantist to solve can help us uncover reasonable answers to these more basic questions, and thereby help us judge the comparative coherence of the parent theories. Towards this goal, we investigate here some of the assumptions of persistence theories--that Perdurantists are four-dimensionalists and Endurantists are Presentists, for example--before moving on to find reasonable explanations of the composition of objects from within each theory. Important at this stage is clarifying such concepts as parthood and the present. When we at length turn our attention to the problem of gaps, it becomes useful to distinguish two sorts of gaps, each with their own difficulties: a 'gap' as a length of time during which the proper parts of an object are scattered through space, and a 'gap' as a length of time during which the proper parts of an object do not exist in space at all. My contention here is that Perdurantism, paired with four-dimensional spacetime, provides the most coherent answers to the challenges presented throughout. (shrink)

This paper argues that Weyl's view that scientific objectivity requires that concepts be freely created, i.e., introduced via Hilbert-style axiomatizations, led him to abandon the phenomenological view of objectivity.

Set theory deals with the most fundamental existence questions in mathematics—questions which affect other areas of mathematics, from the real numbers to structures of all kinds, but which are posed as dealing with the existence of sets. Especially noteworthy are principles establishing the existence of some infinite sets, the so-called “arbitrary sets.” This paper is devoted to an analysis of the motivating goal of studying arbitrary sets, usually referred to under the labels of quasi-combinatorialism or combinatorial maximality. After explaining what (...) is meant by definability and by “arbitrariness,” a first historical part discusses the strong motives why set theory was conceived as a theory of arbitrary sets, emphasizing connections with analysis and particularly with the continuum of real numbers. Judged from this perspective, the axiom of choice stands out as a most central and natural set-theoretic principle (in the sense of quasi-combinatorialism). A second part starts by considering the potential mismatch between the formal systems of mathematics and their motivating conceptions, and proceeds to offer an elementary discussion of how far the Zermelo—Fraenkel system goes in laying out principles that capture the idea of “arbitrary sets”. We argue that the theory is rather poor in this respect. (shrink)

In this critical notice we argue against William Craig's recent attempt to reconcile presentism (roughly, the view that only the present is real) with relativity theory. Craig's defense of his position boils down to endorsing a 'neo-Lorentzian interpretation' of special relativity. We contend that his reconstruction of Lorentz's theory and its historical development is fatally flawed and that his arguments for reviving this theory fail on many counts.

In Minkowski spacetime, because of the relativity of simultaneity to the inertial frame chosen, there is no unique world-at-an-instant. Thus the classical view that there is a unique set of events existing now in a three dimensional space cannot be sustained. The two solutions most often advanced are that the four-dimensional structure of events and processes is alone real, and that becoming present is not an objective part of reality; and that present existence is not an absolute notion, but is (...) relative to inertial frame; the world-at-an-instant is a three dimensional, but relative, reality. According to a third view, advanced by Robb, Capek and Stein, what is present at a given spacetime point is, strictly speaking, constituted by that point alone. I argue here against the first of these views that the four-dimensional universe cannot be said to exist now, already, or indeed at any time at all; so that talk of its existence or reality as if that precludes the existence or reality of the present is a non sequitur. The second view assumes that in relativistic physics time lapse is measured by the time co-ordinate function; against this I maintain that it is in fact measured by the proper time, as I argue by reference to the Twin Paradox. The third view, although formally correct, is tarnished by its unrealistic assumption of point-events. This makes it susceptible to paradox, and also sets it at variance with our normal intuitions of the present. I argue that a defensible concept of the present is nonetheless obtainable when account is taken of the non-instantaneity of events, including that of conscious awareness, as that region of spacetime comprised between the forward lightcone of the beginning of a small interval of proper time t and the backward lightcone of the end of that interval. This gives a serviceable notion of what is present to a given event of short duration, as well as saving our intuition of the “reality” or robustness of present events. (shrink)

Kant’s treatments of incongruent counterparts have been criticized in the recent literature. His 1768 essay has been charged with an ambiguous use of the notion of ‘inner ground’, and his 1770 claim that those differences cannot be apprehended conceptually is thought to be false. The author argues that those two charges rest on an uncharitable reading. ‘Inner ground’ is equivocal only if misread as mapping onto Leibniz notion of quality. Concepts suffice to distinguish counterparts, but are insufficient to specify their (...) spatial forms. Kant’s claims are reasonable and plausible, and have been reaffirmed repeatedly in contemporary discussions of demonstrative identification. (shrink)

In a recent PSA paper (2001a) as well as some other papers ((1995), (2000), (2001b)) and a book chapter (1999, ch. 7), Stathis Psillos raised a number of objections against structural realism. The aim of this paper is threefold: 1) to evaluate part of Psillos’ offence on the Russellian version of epistemic structural realism (ESR for short), 2) to elaborate more fully what Russellian ESR involves, and 3) to suggest improvements where it is indeed failing.

In this critical notice we argue against William Craig's recent attempt to reconcile presentism (roughly, the view that only the present is real) with relativity theory. Craig's defense of his position boils down to endorsing a ‘neo-Lorentzian interpretation’ of special relativity. We contend that his reconstruction of Lorentz's theory and its historical development is fatally flawed and that his arguments for reviving this theory fail on many counts. 1 Rival theories of time 2 Relativity and the present 3 Special relativity: (...) one theory, three interpretations 4 Theories of principle and constructive theories 5 The relativity interpretation: explanatorily deficient? 6 The relativity interpretation: ontologically fragmented? 7 The space-time interpretation: does God need a preferred frame of reference? 8 The neo-Lorentzian interpretation: at what price? 9 The neo-Lorentzian interpretation: with what payoff? 10 Why we should prefer the space-time interpretation over the neo-Lorentzian interpretation 11 What about general relativity? 12 Squaring the tenseless space-time interpretation with our tensed experience. (shrink)

This paper argues that Noether's axiomatic method in algebra cannot be assimilated to Weyl's late view on axiomatics, for his acquiescence to a phenomenological epistemology of correctness led Weyl to resist Noether's principle of detachment.

During his whole scientific life Hermann Weyl was fascinated by the interrelation of physical and mathematical theories. From the mid 1920s onward he reflected also on the typical difference between the two epistemic fields and tried to identify it by comparing their respective automorphism structures. In a talk given at the end of the 1940s he gave the most detailed and coherent discussion of his thoughts on this topic. This paper presents his arguments in the talk and puts it in (...) the context of the later development of gauge theories. (shrink)

When did the concept of model begin to be used in mathematics? This question appears at first somewhat surprising since “model” is such a standard term now in the discourse on mathematics and “modelling” such a standard activity that it seems to be well established since long. The paper shows that the term— in the intended epistemological meaning—emerged rather recently and tries to reveal in which mathematical contexts it became established. The paper discusses various layers of argumentations and reflections in (...) order to unravel and reach the pertinent kernel of the issue. The specific points of this paper are the difference in the epistemological concept to the usually discussed notions of model and the difference between conceptions implied in mathematical practices and their becoming conscious in proper reflections of mathematicians. (shrink)

My target is the epistemological dimension of the realism debate. After establishing a stance voluntarist framework with a Jamesian background, drawing mostly on Wylie, Chakravarty, and van Fraassen, I argue that current voluntarists are too permissive. I show that especially various anti-realist stances but also some realist and selective realist stances block themselves from refutation by the history of science. I argue that such stances should be rejected. Finally, I propose that any disagreement that cannot be resolved by this strategy (...) frequently boils down to an epistemic value disagreement about balancing the truth-goal. (shrink)

Hermann Weyl was one of the most important figures involved in the early elaboration of the general theory of relativity and its fundamentally geometrical spacetime picture of the world. Weyl’s development of “pure infinitesimal geometry” out of relativity theory was the basis of his remarkable attempt at unifying gravitation and electromagnetism. Many interpreters have focused primarily on Weyl’s philosophical influences, especially the influence of Husserl’s transcendental phenomenology, as the motivation for these efforts. In this article, I argue both that these (...) efforts are most naturally understood as an outgrowth of the distinctive mathematical-physical tradition in Göttingen and also that phenomenology has little to no constructive role to play in them. (shrink)

We illustrate the glorious history of logical foundations and discuss the uncertain future.

Attempts to ‘naturalize’ phenomenology challenge both traditional phenomenology and traditional approaches to cognitive science. They challenge Edmund Husserl’s rejection of naturalism and his attempt to establish phenomenology as a foundational transcendental discipline, and they challenge efforts to explain cognition through mainstream science. While appearing to be a retreat from the bold claims made for phenomenology, it is really its triumph. Naturalized phenomenology is spearheading a successful challenge to the heritage of Cartesian dualism. This converges with the reaction against Cartesian thought (...) within science itself. Descartes divided the universe between res cogitans, thinking substances, and res extensa, the mechanical world. The latter won with Newton and we have, in most of objective science since, literally lost our mind, hence our humanity. Despite Darwin, biologists remain children of Newton, and dream of a grand theory that is epistemologically complete and would allow lawful entailment of the evolution of the biosphere. This dream is no longer tenable. We now have to recognize that science and scientists are within and part of the world we are striving to comprehend, as proponents of endophysics have argued, and that physics, biology and mathematics have to be reconceived accordingly. Interpreting quantum mechanics from this perspective is shown to both illuminate conscious experience and reveal new paths for its further development. In biology we must now justify the use of the word “function”. As we shall see, we cannot prestate the ever new biological functions that arise and constitute the very phase space of evolution. Hence, we cannot mathematize the detailed becoming of the biosphere, nor write differential equations for functional variables we do not know ahead of time, nor integrate those equations, so no laws “entail” evolution. The dream of a grand theory fails. In place of entailing laws, a post-entailing law explanatory framework is proposed in which Actuals arise in evolution that constitute new boundary conditions that are enabling constraints that create new, typically unprestatable, Adjacent Possible opportunities for further evolution, in which new Actuals arise, in a persistent becoming. Evolution flows into a typically unprestatable succession of Adjacent Possibles. Given the concept of function, the concept of functional closure of an organism making a living in its world, becomes central. Implications for patterns in evolution include historical reconstruction, and statistical laws such as the distribution of extinction events, or species per genus, and the use of formal cause, not efficient cause, laws. (shrink)