Since antiquity, natural philosophers have struggled to comprehend the nature of three tightly interconnected concepts: space, time, and motion. A proper understanding of motion, in particular, has been seen to be crucial for deciding questions about the natures of space and time, and their interconnections. Since the time of Newton and Leibniz, philosophers’ struggles to comprehend these concepts have often appeared to take the form of a dispute between absolute conceptions of space, time and motion, and (...) class='Hi'>relational conceptions. This article guides the reader through some of the history of these philosophical struggles. Rather than taking sides in the (alleged) ongoing debates, or reproducing the standard dialectic recounted in most introductory texts, we have chosen to scrutinize carefully the history of the thinking of the canonical participants in these debates — principally Descartes, Newton, Leibniz, Mach and Einstein. Readers interested in following up either the historical questions or current debates about the natures of space, time and motion will find ample links and references scattered through the discussion and in the Other Internet Resources section below. (shrink)

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)

This monograph is set forth in three sections. The first presents Whitehead's "La théorie Relationniste De L'Espace" in the original French. With the exception of page numerals, this reproduction is an exact duplicate of the original printing. (See the Commentary, p.65, for references.) The second section consists of an English translation of this essay. Here the aim has been the faithful rendering of Whitehead's ideas—sometimes, perhaps, at the expense of rhetorical polish. The third section, the commentary, attempts to shed some (...) light on some of the philosophical and mathematical difficulties of the essay.My thanks are extended to Librairie Armand Colin for granting me permission to reproduce the French original. (shrink)

For much of this century it was widely assumed in philosophical circles that the relational doctrine of space, time, and motion had finally been established beyond the point of reasonable controversy. In large part this was due to a widespread perception that the theory of relativity is itself a relational theory. Indeed, some of Einstein’s own pronouncements foster this impression. For example, in his definitive formulation of general relativity of 1916, he argued the need for (...) a generalization of the principle of special relativity in order to eliminate the “factitious” causal role he saw inertial frames playing in classical mechanics and special relativity. ‘The laws of physics must be of such a nature that they apply to systems of reference in any kind of motion’. Einstein claimed this requirement is fulfilled by satisfaction of the Principle of General Covariance—that the equations expressing the laws of nature remain valid under arbitrary coordinate substitutions. This, he says, ‘takes away from space and time the last remnant of physical objectivity.’. (shrink)

Although Descartes’ natural philosophy marked an important advance in the development of modern science, many of his specific concepts of science have been largely discarded, and consequently neglected, since their introduction in the seventeenth century. Many critics over the years, such as Newton (in his early paper De gravitatione), have presented a series of apparently devastating arguments against Descartes' theory of space and motion; a generally negative historical verdict which, moreover, most contemporary scholars accept. Nevertheless, it is also (...) true that most historians and philosophers of science have not sufficiently investigated the viability and effectiveness of the case against Cartesian space and motion. This book explores the success of the arguments against Descartes’ theory of space and motion by determining if it is possible to formulate a Cartesian theory of science that can avoid the problems raised by Newton, as well as by a host of other past and contemporary philosophers either sympathetic or hostile to the overall design of Cartesian science. In particular, if Descartes' theory of motion can be reconciled with his hypotheses on dynamics, then a Cartesian can successfully resolve the difficulties imposed by his critics. This book comprises, therefore, a sustained attempt to construct a consistent “Cartesian” spacetime theory: i.e., a theory of space and time that incorporates Descartes’ various theories of physics and nature without falling into the kinds of problems and contradictions as charged by, for example, Newton. (shrink)

In this paper I offer a fresh interpretation of Leibniz’s theory of space, in which I explain the connection of his relational theory to both his mathematical theory of analysis situs and his theory of substance. I argue that the elements of his mature theory are not bare bodies (as on a standard relationalist view) nor bare points (as on an absolutist view), but situations. Regarded as an accident of an individual body, a (...) situation is the complex of its angles and distances to other co-existing bodies, founded in the representation or state of the substance or substances contained in the body. The complex of all such mutually compatible situations of co-existing bodies constitutes an order of situations, or instantaneous space. Because these relations of situation change from one instant to another, space is an accidental whole that is continuously changing and becoming something different, and therefore a phenomenon. As Leibniz explains to Clarke, it can be represented mathematically by supposing some set of existents hypothetically (and counterfactually) to remain in a fixed mutual relation of situation, and gauging all subsequent situations in terms of transformations with respect to this initial set. Space conceived in terms of such allowable transformations is the subject of Analysis Situs. Finally, insofar as space is conceived in abstraction from any bodies that might individuate the situations, it encompasses all possible relations of situation. This abstract space, the order of all possible situations, is an abstract entity, and therefore ideal. (shrink)

Arguing that the universe is absolutely directioned and that there exist spatial (directional) relations that Leibniz overlooked, H. Scott Hestevold formulates a new relationalist theory of space, exploring its implications for the Special Composition Question, reductivism regarding boundaries and holes, and the nature of spacetime.

In this paper I attempt to trace certain aspects of the evolution of theories of space-time and mechanics as revealed by a brief comparative study of Newtonian theory, Robb's theory, general relativity, and Milne's kinematical relativity. The first object is to emphasise how each theory leaves us in a position in which the succeeding one appears as a perfectly natural next step in the development of ideas. The second object is to show how, in spite of (...) superficial differences in character, the theories all necessarily possess the same general structure constituted by the presence of hypotheses, from which certain general mathematical relations are deduced, which in their turn are used to predict relations between observable quantities. (shrink)

Hegel’s Philosophy of Nature begins with the concepts of space and time, and all of the concepts and phenomena that follow in the text are spatio-temporal. But the actual content of Hegel’s theory of space and time has remained obscure despite two centuries of interpretation, and obscure for at least two reasons. First, it is unclear how Hegel’s theory relates to those of his immediate predecessors (Newton, Leibniz, Kant) as well as other theories in the history (...) of philosophy. Second, the theoretical function to be played by this theory of space and time has remained unclear. In this paper, we clarify the first issue by interpreting Hegel’s theory as a theory of space-time, and we clarify the second issue by interpreting that theory as securing the theoretical possibility of motion. Of course, it will not be the same theory of space-time as the one that proceeds from modern relativistic physics; but designating Hegel’s theory as a theory of space-time helps to mark it out from its most prominent predecessors and helps to make sense of some of its most distinctive features—particularly Hegel’s insistence that time has three dimensions just as space does. This latter feature—the three-dimensionality of time—serves to distinguish Hegel’s view both from the classical mechanics of Newton and Kant (in which time does not interact with the spatial directions) and from contemporary relativistic physics (in which there is such interaction but time is only a single dimension added to the spatial dimensions). In Hegelian space-time, three-dimensional time is the flip side of three-dimensional space—it is this conception that makes Hegel’s view so distinctive. (shrink)

It is well known that a central issue in the famous debate between Gottfried Wilhelm Leibniz and Samuel Clarke is the nature of space. They disagreed on the ontological status of space rather than on its geometrical or physical structure. Closely related is the disagreement on the existence of vacuums in nature: while Leibniz denies it, Clarke asserts it. In this paper, I shall focus on Leibniz's position in this debate. In part one, I shall reconstruct the (...) class='Hi'>theory of physical space which Leibniz presents in his letters to Clarke. This theory differs from Leibniz's ultimate metaphysics of space, but it is particularly interesting for systematic reasons, and it also gave rise to a lively discussion in modern philosophy of science. In part two, I shall examine whether the existence of vacuums is ruled out by that theory of space, as Leibniz seems to imply in one of his letters. I shall confirm the result of E. J. Khamara that Leibniz's theory of space rules out the existence of a certain kind of vacuum, namely extramundane vacuums, although it does not rule out vacuums within the world. (shrink)

Berkeley held space to be relational. On the other hand, He took extension to be composed of absolute minima. This paper offers an analysis of berkeley's views on the nature of minimum visibles and space and related notions, E.G., Distance, Extension, And figure. The difficulties in his theory are clearest in the analysis of figure where it is argued that minima can have neither figure nor extension and that, Contrary to berkeley's view, Extension and figure cannot (...) be composed of such minima. The paper concludes by arguing that the "esse est percipi" doctrine is false, Since it entails that there are minimum visibles and that distances be specifiable in terms of minimum visible distances. (shrink)

Mental state reasoning or theory-of-mind has been the subject of a rich body of imaging research. Although such investigations routinely tap a common set of regions, the precise function of each area remains a contentious matter. With the help of functional magnetic resonance imaging (fMRI), we sought to determine which areas are involved when processing mental state or intentional metarepresentations by focusing on the relational aspect of such representations. Using non-intentional relational representations such as spatial relations between (...) persons and between objects as a contrast, the results ascertained the involvement of the precuneus, the temporal poles, and the medial prefrontal cortex in the processing of intentional representations. In contrast, the anterior superior temporal sulcus and the left temporo-parietal junction were implicated when processing representations that refer to the presence of persons in relational contexts in general. The right temporo-parietal junction, however, was specifically activated for persons entering spatial relations. The level of representational complexity, a previously unexplored factor, was also found to modulate the neural response in some brain regions, such as the medial prefrontal cortex and the right temporo-parietal junction. These findings highlight the need to take into account the critical roles played by an extensive network of neural regions during mental state reasoning. (shrink)

In a recent article in this journal, Barbara Lariviere offers a very useful distinction between two ways of understanding the claims that Leibniz, or relational theorists in general, might wish to make about the nature of motion and the structure of space and time; viz., There is no real inertial structure to space-time.and There is a real inertial structure to space-time, but it is dynamical rather than absolute.Citing the authority of Weyl, the author argues that L1 (...) is untenable; indeed, the argument purports to show that if L1 were true, then there would be no coherent basis for a theory of motion, not even a relational theory. My main goal in this note is to point out why this argument is mistaken while at the same time sketching the real reason why the relational conception of motion is untenable. In addition I will offer a few remarks about the relevance of L2 to the absolute-relational controvery. (shrink)

This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local proximity spaces, is developed. (...) This permits us to give new proximity-type models of local connection algebras, to obtain a representation theorem for such algebras and to give a new shorter proof of the main theorem of Roeper's paper [ROE 97]. Finally, the notion of MVD-algebra is introduced. It is similar to Mormann's notion of enriched Boolean algebra [MOR 98], based on a single mereological relation of interior parthood. It is shown that MVD-algebras are equivalent to local connection algebras. This means that the connection relation and boundedness can be incorporated into one, mereological in nature relation. In this way a formalization of the Whiteheadian theory of space based on a single mereological relation is obtained. (shrink)

The aim of this paper is to discuss the relation between the observation basis and the theoretical principles of General Relativity. More specifically, this relation is analyzed with respect to constructive axiomatizations of the observation basis of space-time theories, on the one hand, and in attempts to complete them, on the other. The two approaches exclude one another so that a choice between them is necessary. I argue that the completeness approach is preferable for methodological reasons.

Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional vector spaces over algebraically closed (...) fields is the model-completion of the theory of vector spaces. (shrink)

This paper investigates the question of, and the degree to which, Newton’s theory of space constitutes a third-way between the traditional substantivalist and relationist ontologies, i.e., that Newton judged that space is neither a type of substance/entity nor purely a relation among such substances. A non-substantivalist reading of Newton has been famously defended by Howard Stein, among others; but, as will be demonstrated, these claims are problematic on various grounds, especially as regards Newton’s alleged rejection of the (...) traditional substance/accident dichotomy concerning space. Nevertheless, our analysis of the metaphysical foundations of Newton’s spatial theory will strive to uncover its unique and innovative characteristics, most notably, the distinctive role that Newton’s “immaterialist” spatial ontology plays in his dynamics. (shrink)

We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory. We illustrate the new notion of reduction by showing that the Gromov–Hausdorff distance maintains the same complexity if it is defined on the class of all Polish metric spaces, spaces bounded from below, from above, and (...) from both below and above. Then we show that [Formula: see text] is not reducible to equivalences induced by orbit pseudometrics, generalizing the seminal result of Kechris and Louveau. We answer in negative a question of Ben Yaacov, Doucha, Nies, and Tsankov on whether balls in the Gromov–Hausdorff and Kadets distances are Borel. In appendix, we provide new methods using games showing that the distance-zero classes in certain pseudometrics are Borel, extending the results of Ben Yaacov, Doucha, Nies, and Tsankov. There is a complementary paper of the authors where reductions between the most common pseudometrics from functional analysis and metric geometry are provided. (shrink)

Konstantin Pollok offers the first book-length analysis of Kant's theory of normativity that covers foundational issues in theoretical and practical philosophy as well as aesthetics. Interpreting Kant's 'critical turn' as a normative turn, he argues that Kant's theory of normativity is both original and radical: it departs from the perfectionist ideal of early modern rationalism, and arrives at an unprecedented framework of synthetic a priori principles that determine the validity of our judgments. Pollok examines the hylomorphism in Kant's (...) theory of normativity and relates Kant's idea of our reason's self-legislation to the 'natural right' tradition, revealing Kant's debt to his predecessors as well as his relevance to contemporary debates on normativity. This book will appeal to academic researchers and advanced students of Kant, early modern philosophy and intellectual history. (shrink)

A logical space is a pair of a non-empty set A and a subset of . Since is identified with {0, 1} A and {0, 1} is a typical lattice, a pair of a non-empty set A and a subset of for a certain lattice is also called a -valued functional logical space. A deduction system on A is a pair (R, D) of a subset D of A and a relation R between A* and A. In terms (...) of these simplest concepts, a general framework for studying the logical completeness is constructed. (shrink)

I present a discussion of some open issues in the philosophy of space-time theories. Emphasis is put on the ontological nature of space and time, the relation between determinism and predictability, the origin of irreversible processes in an expanding Universe, and the compatibility of relativity and quantum mechanics. In particular, I argue for a Parmenidean view of time and change, I make clear the difference between ontological determinism and predictability, propose that the origin of the asymmetry observed in (...) physical processes is related to the existence of cosmological horizons, and present a non-local concept of causality that can accommodate both special relativity and quantum entanglement. (shrink)

This thesis explores whether the three standard value relations, “better than”, “worse than” and “equally as good”, exhaust the possibilities in which things can relate with respect to their value. Or more precisely, whether there are examples in which one of these relations is not instantiated. There are cases in which it is not obvious that one of these relations does obtain; these are referred to as “hard cases of comparison”. These hard cases of comparison become interesting, since if it (...) not the case that the standard three value relations obtains in these cases then the three standard relations do not exhaust the possibility of instantiated value relations. It is argued that for some of the hard cases of comparison, the standard relations determinately obtain. For some it is indeterminate, due to vagueness, which of the three relations obtains, but it is determinate that one of them obtains. Thereafter it is argued that the influential Collapsing Argument fails in ruling out other accounts of the hard cases of comparison. Since one cannot depend on the Collapsing Argument in order to conclude that all items are related by the standard three relations, the investigation continues. It is argued that none of the hard cases of comparison are cases of incomparability. Furthermore, none of them are cases of a fourth basic positive value relation such as “parity”. Consequently, for all the hard cases of comparison one of the standard value relations holds, although sometimes we do not know which one and sometimes it is indeterminate which one holds. This means that there is no reason to assume that one of the standard three value relations does not hold between items we are comparing. This is followed by a brief discussion about the normative consequences of this result. The thesis ends with four different appendices in which related topics are discussed. (shrink)

The current technoscientific progress has led to a sectorization in the philosophy of science. Today the philosophy of science isn't is informal interested in studying old problems about the general characteristics of scientific practice. The interest of the philosopher of science is the study of concepts, problems and riddles of particular disciplines. Then, within this progress of philosophy of science, neuroscientific research stands out, because it invades issues traditionally addressed by the humanities, such as the nature of consciousness, action, knowledge, (...) normativity, etc. As a result, the new area of interdisciplinary study of neuroscience and philosophy arises: neurophilosophy. This emerging area applies neuroscientific concepts to traditional philosophical questions, limiting their responses to neuroscientific revelations about nervous systems. Neurophilosophy research focuses on problems related to the indirect nature of mind and brain, computational or representative analysis of brain process, relationships between psychological and neuroscientific research, adequate adaptations of physical and philosophical concepts in neuroscience and the place of cognitive functions. Now, the temporal representation of conscious experience and the types of the neural architecture to represent objects in time have aroused scientific interest. Under these interests, we focus on the studies on the temporary triadic structure of phenomenological consciousness in Dan Lloyd and Rick Grush. From Grush’s studies, the importance of Kantian ideas for cognitive neuroscience emerges, due to the active way in which Kant conceived space and time as forms of intuition, within which the mind interprets its experience. Under this perspective, the theoretical arguments of Dennett-Kinsbourne and Eagleman-Sejnowski represent winks in the direction of Kant-Husserl within the neuroscientific goal while considering that the contents provided by the mind included space, objects and perception of causal relationships. Then, theories of cognitive neuroscience are beginning to suggest that these elements are also, as Kant argued, interpretative elaborations provided by mind / brain, and not only content received from outside. In other words, current cognitive neuroscientific theories try to pass from its Humean phase to a Kantian phase. So, the challenge has been to explain that these elements are provided by the mind and the world itself, and how they have the content they have come from. These are lacking in current studies. Filling this gap helps to involve the analysis of the scientist’s experience in his theoretical attitude. In this sense, an investigation under the Kantian-Husserlian approach that involves pure intuitions a priori with the experience of the scientific and neuroscientific concepts represents a ground-breaking. At present, a neurophilosophical study about this does not exist. In this sense, one feasible proposal for research would be based on the application of neuroscientific results of Moser-Britt to philosophical problems of foundational notions in relativistic physics: space, time, space-time, field, etc., under the Kantian-Husserlian approach, which allows to demonstrate the multidisciplinary link between neurophilosophy and physics. This represents a ground-breaking area in current interests in scientific research, with a positive impact in the field of neuroscience, and contributing to the study of abstraction emphasizing the importance of Kant’s Copernican turn and Husserl’s phenomenological ideas in the construction of physical theories. -/- . (shrink)

Conspectus of part of John R. Smythies' Analysis of Perception (1956). It presents a summary of his ideas on phenomenal space – the space of one’s imagination, dreams, psychedelic experiences, somatic sensations, visions, hynagogia, etc. – and its relation to physical space.

Through contact algebras we study theories of mereotopology in a uniform way that clearly separates mereological from topological concepts. We identify and axiomatize an important subclass of closure mereotopologies called unique closure mereotopologies whose models always have orthocomplemented contact algebras , an algebraic counterpart. The notion of MT-representability, a weak form of spatial representability but stronger than topological representability, suffices to prove that spatially representable complete OCAs are pseudocomplemented and satisfy the Stone identity. Within the resulting class of contact algebras (...) the strength of the algebraic complementation delineates two classes of mereotopology according to the key ontological choice between mereological and topological closure operations. All closure operations are defined mereologically if and only if the corresponding contact algebras are uniquely complemented while topological closure operations highly restrict the contact relation but allow not uniquely complemented and nondistributive contact algebras. Each class contains a single ontologically coherent theory that admits discrete models. (shrink)

The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discrete spaces. These modal logics are linguistic restrictions of propositional dynamic logic with the global diamond E. Their formulas are equivalent to Boolean combinations of modal formulas like E(A ∧ ⟨α⟩ B) where A and B are Boolean terms and α is a relational term. Examining what we (...) can say about dynamic models when we use formulas to describe them, we successively address the axiomatization/completeness issue and the decidability/complexity issue of our dynamic logics of the region-based theory of discrete spaces. (shrink)