We here present explicit relational theories of a class of geometrical systems (namely, inner product spaces) which includes Euclidean space and Minkowski spacetime. Using an embedding approach suggested by the theory of measurement, we prove formally that our theories express the entire empirical content of the corresponding geometric theory in terms of empirical relations among a finite set of elements (idealized point-particles or events) thought of as embedded in the space. This result is of interest within the general phenomenalist tradition (...) as well as the theory of space and time, since it seems to be the first example of an explicit phenomenalist reconstruction of a realist theory which is provably equivalent to it in observational consequences. The interesting paper "On the Space-Time Ontology of Physical Theories" by Ken Manders, Philosophy of Science, vol. 49, number 4, December 1982, p. 575-590, has significant affinities to this one. We both, in a sense, try to formally vindicate Leibniz's notion of a relational theory of space, by constructing theories of spatial relations among physical objects which are provably equivalent to the standard absolutist theories. The essential difference between our approaches is that Manders retains Leibniz's explicitly modal framework, whereas I do not. Manders constructs a spacetime theory which explicitly characterizes the totality of possible configurations of physical objects, using a modal language in which the notion of a possible configuration occurs as a primitive. There is no doubt that this is a more accurate realization of Leibniz's own conception of space than the embedding-based approach developed here. However, it also remains open to objections (such as those cited here from Sklar) on account of the special appeal to modal notions. Our approach here, by contrast, aims to avoid the special appeal to modal notions by giving directly a set of laws which are satisfied by a configuration individually, if and only if it is one of the allowable ones. One thus avoids the need for reference to possible but not actual configurations or objects, in the statement of the spacetime laws. We may then take this alternative set of laws as the actual geometric theory, and do away with the hypothetical entity called 'space'. Yet at the same time there is no invocation of modality, except in the ordinary sense in which every physical theory constrains what is possible. So that a relationalist is not forced to utilize a modal language (though Leibniz certainly does.). (shrink)

Temporal betweenness in space-time is defined solely in terms of light signals, using a signalling relation that does not distinguish between the sender and the receiver of a light signal. Special relativity and general relativity are considered separately, because the latter can be treated only locally. We conclude that the (local) coherence of time can be described if we know only which pairs of space-time points are light-connected. Other consequences in the case of special relativity: (1) a categorical axiom system (...) exists in terms of nondirected light connection alone, with neither particle nor time order as a primitive concept, though we do not actually present the axioms; (2) any concept definable by coordinates is also definable in terms of nondirected light signals if and only if it is invariant under Lorentz transformations, translations, dilations, space reflections, and time reflections; and (3) any transformation of space-time (not necessarily continuous) which preserves nondirected light connection is a product of transformations just listed above. The bulk of the paper is devoted to proving that the definitions we give correspond to their intended interpretations in the usual space-time continua. (shrink)

There is an important point behind Earman's criticisms of the causal theory of time and space-time. This point has been made perspicuously in a recent paper by Glymour. It concerns the novel problems raised for a theory of space-time by the general theory of relativity, and I shall explain it briefly in Section II below. Section I briefly states my own view of the status of the causal theory, and Sections III and IV deal with Earman's specific criticisms.

The numerical representations of measurement, geometry and kinematics are here subsumed under a general theory of representation. The standard theories of meaningfulness of representational propositions in these three areas are shown to be special cases of two theories of meaningfulness for arbitrary representational propositions: the theories based on unstructured and on structured representation respectively. The foundations of the standard theories of meaningfulness are critically analyzed and two basic assumptions are isolated which do not seem to have received adequate justification: the (...) assumption that a proposition invariant under the appropriate group is therefore meaningful, and the assumption that representations should be unique up to a transformation of the appropriate group. A general theory of representational meaningfulness is offered, based on a semantic and syntactic analysis of representational propositions. Two neglected features of representational propositions are formalized and made use of: (a) that such propositions are induced by more general propositions defined for other structures than the one being represented, and (b) that the true purpose of representation is the application of the theory of the representing system to the represented system. On the basis of these developments, justifications are offered for the two problematic assumptions made by the existing theories. (shrink)

Griinbaum's own article sets forth his views on the ontology of the curvature of empty space, especially in the geometrodynamics of Clifford and Wheeler. ...

This article is concerned to formulate some open problems in the philosophy of space and time that require methods characteristic of mathematical traditions in the foundations of geometry for their solution. In formulating the problems an effort has been made to fuse the separate traditions of the foundations of physics on the one hand and the foundations of geometry on the other. The first part of the paper deals with two classical problems in the geometry of space, that of giving (...) operationalism an exact foundation in the case of the measurement of spatial relations, and that of providing an adequate theory of approximation and error in a geometrical setting. The second part is concerned with physical space and space-time and deals mainly with topics concerning the axiomatic theory of bodies, the operational foundations of special relativity and the conceptual foundations of elementary physics. (shrink)