Kantian philosophy of space, time and gravity is significantly affected in three ways by particle physics. First, particle physics deflects Schlick’s General Relativity-based critique of synthetic a priori knowledge. Schlick argued that since geometry was not synthetic a priori, nothing was—a key step toward logical empiricism. Particle physics suggests a Kant-friendlier theory of space-time and gravity presumably approximating General Relativity arbitrarily well, massive spin-2 gravity, while retaining a flat space-time geometry that is indirectly observable at large distances. The theory’s roots (...) include Seeliger and Neumann in the 1890s and Einstein in 1917 as well as 1920s–1930s physics. Such theories have seen renewed scientific attention since 2000 and especially since 2010 due to breakthroughs addressing early 1970s technical difficulties. Second, particle physics casts additional doubt on Friedman’s constitutive a priori role for the principle of equivalence. Massive spin-2 gravity presumably should have nearly the same empirical content as General Relativity while differing radically on foundational issues. Empirical content even in General Relativity resides in partial differential equations, not in an additional principle identifying gravity and inertia. Third, Kant’s apparent claim that Newton’s results could be known a priori is undermined by an alternate gravitational equation. The modified theory has a smaller symmetry group than does Newton’s. What Kant wanted from Newton’s gravity is impossible due its large symmetry group, but is closer to achievable given the alternative theory. (shrink)

The logic of quantum mechanical propositions—called quantum logic—is constructed on the basis of the operational foundation of logic. Some obvious modifications of the operational method, which come from the incommensurability of the quantum mechanical propositions, lead to the effective quantum logic. It is shown in this paper that in the framework of a calculization of this effective quantum logic the negation of a proposition is uniquely defined (Theorem I), and that a weak form of the quasimodular law can be derived (...) (Theorem II). Taking account of the definiteness of truth values for quantum mechanical propositions, the calculus of full quantum logic can be derived (Theorem III). This calculus represents an orthocomplemented quasimodular lattice which has as a model the lattice of subspaces of Hilbert space. (shrink)

The purpose of this paper is to sketch an attack on the general problem of representing a composite physical system in terms of its constituent parts. For quantum-mechanical systems, this is traditionally accomplished by forming either direct sums or tensor products of the Hilbert spaces corresponding to the component systems. Here, a more general mathematical construction is given which includes the standard quantum-mechanical formalism as a special case.

The positive operator (valued) measures (POMs) allow one to generalize the notion of observable beyond the traditional one based on projection valued measures (PVMs). Here, we argue that this generalized conception of observable enables a consistent notion of unsharp reality and with it an adequate concept of joint properties. A sharp or unsharp property manifests itself as an element of sharp or unsharp reality by its tendency to become actual or to actualize a specific measurement outcome. This actualization tendency—or potentiality—of (...) a property is quantified by the associated quantum probability. The resulting single-case interpretation of probability as a degree of reality will be explained in detail and its role in addressing the tensions between quantum and classical accounts of the physical world will be elucidated. It will be shown that potentiality can be viewed as a causal agency that evolves in a well-defined way. (shrink)

Noncommuting quantum observables, if considered asunsharp observables, are simultaneously measurable. This fact is exemplified for complementary observables in two-dimensional state spaces. Two proposals of experimentally feasible joint measurements are presented for pairs of photon or neutron polarization observables and for path and interference observables in a photon split-beam experiment. A recent experiment proposed and performed by Mittelstaedt, Prieur, and Schieder in Cologne is interpreted as a partial version of the latter example.

The discussion of a particular kind of interpretation of the energy-time uncertainty relation, the “pragmatic time” version of the ETUR outlined in Part I of this work [measurement duration (pragmatic time) versus uncertainty of energy disturbance or measurement inaccuracy] is reviewed. Then the Aharonov-Bohm counter-example is reformulated within the modern quantum theory of unsharp measurements and thereby confirmed in a rigorous way.

The problem of the validity and interpretation of the energy-time uncertainty relation is briefly reviewed and reformulated in a systematic way. The Bohr-Einsteinphoton-box gedanken experiment is seen to illustrate the complementarity of energy andevent time. A more recent experiment with amplitude-modulated Mößbauer quanta yields evidence for the genuine quantum indeterminacy of event time. In this way, event time arises as a quantum observable.

The possibilities of a realistic interpretation of quantum mechanics are investigated by means of a statistical analysis of experiments performed on the simplest type of quantum systems carrying spin or helicity. To this end, fundamental experiments, some new, for measuring polarization are reviewed and (re)analyzed. Theunsharp reality of spin is essential in the interpretation of some of these experiments and represents a natural motivation for recent generalizations of quantum mechanics to a theory incorporating effect-valued measures as unsharp observables and generalized (...) systems of imprimitivity. (shrink)

The idea that a serious threat to scientific realism comes from unconceived alternatives has been proposed by van Fraassen, Sklar, Stanford and Wray among others. Peter Lipton's critique of this threat from underconsideration is examined briefly in terms of its logic and its applicability to the case of space-time and particle physics. The example of space-time and particle physics indicates a generic heuristic for quantitative sciences for constructing potentially serious cases of underdetermination, involving one-parameter family of rivals T_m that work (...) as a team rather than as a single rival against default theory T_0. In important examples this new parameter has a physical meaning and makes a crucial _conceptual_ difference, shrinking the symmetry group and in some case putting gauge freedom, formal indeterminism vs. determinism, the presence of the hole argument, etc., at risk. Methodologies akin to eliminative induction or tempered subjective Bayesianism are more demonstrably reliable than the custom of attending only to "our best theory": they can lead either to a serious rivalry or to improved arguments for the favorite theory. The example of General Relativity vs. massive spin 2 gravity, a recent topic in the physics literature, is discussed. Arguably the General Relativity and philosophy literatures have ignored the most serious rival to General Relativity. (shrink)