An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

In 1768 Immanuel Kant presented an argument showing the necessity of absolute space, i.e. substantivalism in contrast to relationalism, based on the property of handedness. While there is large consensus about the fallacy of Kant’s argument, a more recent debate exists – mainly stimulated by John Earman – about the status of the Kantian argument in view of modern physics and its fundamentally built-in parity violation, which leads to a preferred handedness. According to Earman the relationalist has no means to (...) distinguish one handedness in the cosmos without reference to an absolute structure of space. After recapitulating the historical background of the Newton/Leibniz debate on the ontological status of space as well as the Kantian argument, this paper offers a systematic consideration of arguments about handedness in modern physics. The goal is to show that “Earman’s challenge” can be rejected. (shrink)

I argue for a four dimensional, non-dynamical view of space-time, where becoming is not an intrinsic property of reality. This view has many features in common with the Parmenidean conception of the universe. I discuss some recent objections to this position and I offer a comparison of the Parmenidean space-time with an interpretation of Heraclitus’ thought that presents no major antagonism.

This paper has two goals. (i) I explore the limits of the mathematical theory of spacetime (more generally, differential geometry) as an analytical tool for interpreting early modern thought. While it dramatically clarifies some issues, it can also lead to misunderstandings of some figures, and is a very poor tool indeed for others - Leibniz in particular. (ii) I will show how to blunt a very influential argument against a relational conception of spacetime - the view that the properties and (...) relations of bodies exhaust the spatiotemporal. (shrink)

Paper begins: I have two gloves, a left glove and a right glove. I can fit the left glove onto my left hand, but not the right glove. Why? Because the right glove is the wrong shape to go on my left hand. So the two gloves are different shapes….

What is the relation between material objects and spacetime regions? Supposing that spacetime regions are one sort of substance, there remains the question of whether or not material objects are a second sort of substance. This is the question of dualistic versus monistic substantivalism. I will defend the monistic view. In particular, I will maintain that material objects should be identified with spacetime regions. There is the spacetime manifold, and the fundamental properties are pinned directly to it.

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user (...) as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)

A common adage runs that, given a theory manifesting symmetries, the syntax of that theory should be modified in order to construct a new theory, from which symmetry-variant structure of the original theory has been excised. Call this strategy for explicating the underlying ontology of symmetry-related models reduction. Recently, Dewar has proposed an alternative to reduction as a means of articulating the ontology of symmetry-related models—what he calls sophistication, in which the semantics of the original theory is modified, and symmetry-related (...) models of that theory are treated as if they are isomorphic. In this paper, we undertake a critical evaluation of sophistication about symmetries—we find the programme underdeveloped in a number of regards. In addition, we clarify the interplay between sophistication about symmetries, and a separate debate to which Dewar has contributed—viz., that between interpretational versus motivational approaches to symmetry transformations. (shrink)

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms, the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities, and conventions that are made possible by (...) possible revisions to theory. I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (shrink)

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

Michel Janssen and Harvey Brown have driven a prominent recent debate concerning the direction of an alleged arrow of explanation between Minkowski spacetime and Lorentz invariance of dynamical laws in special relativity. In this article, I critically assess this controversy with the aim of clarifying the explanatory foundations of the theory. First, I show that two assumptions shared by the parties—that the dispute is independent of issues concerning spacetime ontology, and that there is an urgent need for a constructive interpretation (...) of special relativity—are problematic and negatively affect the debate. Second, I argue that the whole discussion relies on a misleading conception of the link between Minkowski spacetime structure and Lorentz invari-ance, a misconception that in turn sheds more shadows than light on our understand-ing of the explanatory nature and power of Einstein’s theory. I state that the arrow connecting Lorentz invariance and Minkowski spacetime is not explanatory and uni-directional, but analytic and bidirectional, and that this analytic arrow grounds the chronogeometric explanations of physical phenomena that special relativity offers. (shrink)

This paper outlines a new interpretation of an argument of Kant's for the existence of absolute space. The Kant argument, found in a 1768 essay on topology, argues for the existence of Newtonian-Euclidean absolute space on the basis of the existence of incongruous counterparts (such as a left and a right hand, or any asymmetrical object and its mirror-image). The clear, intrinsic difference between a left hand and a right hand, Kant claimed, cannot be understood on a relational view of (...) space - for in terms of the spatial relations of their parts, there is no difference to be found. Kant's argument has been interpreted by, among others, Graham Nerlich (in 1973, Hands, Knees and Absolute Space, The Journal of Philosophy). I briefly discuss Nerlich, and then offer a different reconstruction of the argument, one that appears to be closer to Kant's text. The reconstruction, however, essentially involves ascription of primitive identity to parts of space. Comparing the Kantian absolutist account of incongruous counterparts using primitive identity to the correct relationist account, I conclude that the absolutist account pays a heavy metaphysical price, without buying any genuine explanatory advantage over the relationist. I go on to examine recent suggestions that parity-non-conservation phenomena in quantum physics allow a stronger version of Kant's challenge to relationism. On closer examination, it turns out that here too the absolutist or substantivalist must be appealing to space parts with primitive identity in order to claim an advantage over relationists; and here too, I argue the substantivalist story really has no advantage over the correct relationist account. (shrink)

We analyse the various conceptual notions that go under the umbrella “relationalism/substantivalism”. Our focus will be on evaluating the ontological status of spacetime in General Relativity. To this end we systematically develop the ontological framework that implicitly underlies the traditional debate and common understanding of physics. We submit that spacetime with its chronogeometric and inertial structure, represented by the triple of the bare manifold, the metric and the affine structure, is best construed as the totality of possible and actual spatiotemporal (...) relations of events. This can explain the non-fundamentality of general relativistic gravitational energy and suggests a non-causal, non-interactional understanding of the interdependence of matter in spacetime in GR. (shrink)

Metaphysicians eager to engage with substantive, thoughtful, and provocative issues will be happy with John Heil’s From an Ontological Point of View. The book represents not only a sustained defence of a specific metaphysical theory, but also of a specific way of doing metaphysics. Put ontology first, Heil urges us, in order to remember that the original fascination of metaphysics wasn’t the question ‘what must the world be like in order to correspond neatly to our use of language?’, but rather (...) the altogether more fundamental ‘what must the world be like?’. (shrink)

The empirical study of visual space has centered on determining its geometry, whether it is a perspective projection, flat or curved, Euclidean or non-Euclidean, whereas the topology of space consists of those properties that remain invariant under stretching but not tearing. For that reason distance is a property not preserved in topological space whereas the property of spatial order is preserved. Specifically the topological properties of dimensionality, orientability, continuity, and connectivity define “real” space as studied by physics and are the (...) spatial properties that characterize the physical universe as being an integral whole. By contrast the geometrical analysis of VS has taken little cognizance of its topology. Instead such properties have been presupposed a priori rather than being established a posteriori by empirical means, perhaps because these properties are self-evident. Applying the method of coordinative definition expounded by Hans Reichenbach for determining geometrical and topological properties of physical space, it can be shown that VS fulfills the topological criteria of being a “real” space sui generis. Though theorized to be produced by the brain, the topology of VS is not topologically equivalent with the structure and activity of the brain because, as will be shown, the topology of VS cannot be formed from the topology of the brain without tearing and/or cutting and pasting. (shrink)

This paper presents a framework for analysing perceptual Twin Earth thought experiments. Visual content normally has an analogue character, and it is argued in this paper that this sets certain constraints on the extent to which Twin Earth thought experiments can be successful. The argumentation in the paper is developed by using examples from visual spatial content. It is argued that visual spatial content can only be “twin-earthed” in a very limited way. Whereas the metrics of space can be twin-earthed, (...) visual experience has a structure that means that it can only be the vehicle for representing entities with geometrical structures. (shrink)

One cannot expect an exact answer to the question “What are the possible structures of space?”, but rough answers to it impact central debates within philosophy of space and time. Recently Gordon Belot has suggested that a rough answer takes the class of metric spaces to represent the possible structures of space. This answer has intuitive appeal, but I argue, focusing on topological characterizations of dimension, examples of prima facie space-like mathematical spaces that have pathological dimension properties, and endorsing a (...) principle of plenitude for possibility, that we get a different rough answer: either the class of metrizable spaces or the class of separable metrizable spaces are possible structures of space. (shrink)

This article argues that time‐asymmetric processes in spacetime are enantiomorphs. Subsequently, the Kantian puzzle concerning enantiomorphs in space is reviewed to introduce a number of positions concerning enantiomorphy, and to arrive at a dilemma: one must either reject that orientations of enantiomorphs are determinate, or furnish space or objects with orientation. The discussion on space is then used to derive two problems in the debate on the direction of time. First, it is shown that certain kinds of reductionism about the (...) direction of time are at variance with the claim that orientation of enantiomorphic objects is intrinsic. Second, it is argued that reductive explanations of time‐asymmetric processes presuppose that enantiomorphic processes do not have determinate orientation. (shrink)

I present a novel anti-sceptical BIV argument by focusing on conditions on the production and use of the locative preposition ‘in’. I distinguish two uses of ‘in’—material and descriptive phenomenological—and I explain in what respect movement is central to the concept that our use of ‘in’ expresses. I go on to argue that a functionalist semantics of the intelligible use of ‘in’ demands a materialist philosophy of action in the spirit of G.E.M. Anscombe, but also why the structure of space (...) is not irrelevant either; appeal to the structure of space unsettles the causal-empirical assumptions that ground the picture of subjectivity and agency that the biv narrative assumes. Finally, I explain why a functionalist semantics demands a Naïve Realist metaphysics of perception, consistent with some of Putnam’s last writings on philosophy of perception. (shrink)

Kant's argument from incongruent counterparts for substantival space is examined; it is concluded that the argument has no force against a relationist. The argument does suggest that a relationist cannot give an account of enantiomorphism, incongruent counterparts and orientability. The prospects for a relationist account of these notions are assessed, and it is found that they are good provided the relationist is some kind of modal relationist. An illustration and interpretation of these modal commitments is given.

I discuss a rarely mentioned correspondence between Einstein and Swann on the constructive approach to the special theory of relativity, in which Einstein points out that the attempts to construct a dynamical explanation of relativistic kinematical effects require postulating a fundamental length scale in the level of the dynamics. I use this correspondence to shed light on several issues under dispute in current philosophy of spacetime that were highlighted recently in Harvey Brown’s monograph Physical Relativity, namely, Einstein’s view on the (...) distinction between principle and constructive theories, and the consequences of pursuing the constructive approach in the context of spacetime theories. r 2008 Elsevier Ltd. All rights reserved. (shrink)

Space—an essential dimension of our life—is analyzable from different viewpoints, which often gives rise to contrasting conceptualizations. Perceptual analyses shed light on the intrinsic anisotropy and deformations of perceived space, raising the issue of which geometry may be able to represent perceptual space. Pictorial drawings and painting have been relevant sources of information about the nature of living and perceived space. Although the geometry of perceptual space is still in its infancy, contributions are beginning to appear. This special issue contributes (...) to the development of the geometry of perceptual space. (shrink)

Most relational theories assert both that spatial discourse is reducible to talk about physical objects and their spatial relations, and that the relation of congruence derives from a non-metrical relation which intervals bear or possibly bear to measuring instruments. We have shown that there are serious logical difficulties involved in maintaining both these positions and the thesis of the continuity of space. We have also shown that Grünbaum's motivating argument for the reduction of congruence is unsound, and, moreover, that the (...) prospects of formulating the kind of definition which this reduction requires seem to rest upon a wholly vague notion of physical possibility. Alternatively, if congruence is taken as primitive, it seems plausible that spatial discourse can be reconstructed so that there is no ontological commitment to spatial objects other than physical objects. Whether or not this relational thesis is ultimately defensible requires more elaboration of the relational theory, and investigation of its role in the formalizations of current physical theories. It is odd, considering the wide currency of relational theories, that this work has never been done. (shrink)

A critical re-examination of the history of the concepts of space (including spacetime of general relativity and relativistic quantum field theory) reveals a basic ontological elusiveness of spatial extension, while, at the same time, highlighting the fact that its epistemic primacy seems to be unavoidably imposed on us (as stated by A.Einstein “giving up the extensional continuum … is like to breathe in airless space”). On the other hand, Planck’s discovery of the atomization of action leads to the fundamental recognition (...) of an ontology of non-spatial, abstract entities (Quine) for the quantum level of reality (QT), as distinguished from the necessarily spatio-temporal, experimental revelations (measurements). The elementary quantum act (measured by Planck’s constant) has neither duration nor extension, and any genuinely quantum process literally does not belong in the Raum and time of our experience. As Heisenberg stresses: “Während also die klassische Physik ein objectives Geschehen in Raum and Zeit zum Gegenstand hat, für dessen Existenz seine Beobachtung völlig irrelevant war, behandelt die Quantentheorie Vorgänge, die sozusagen nur in den Momenten der Beobachtung als raumzeitliche Phänomene aufleuchten, und über die in der zwischenzeit anschaulische physikalische Aussagen sinloss sind”. An admittedly speculative, hazardous conjecture is then advanced concerning the relation of such quantum ontology with the role of the pre-phenomenal continuum (Husserl) in the perception of macroscopically distinguishable objects in the Raum and time of our experience. Although rather venturesome, it brings together important philosophical issues. Coherently with recent general results in works on the foundations of QT, it is assumed that the linearity of quantum dynamical evolution does not apply to the central nervous system of living beings at a certain level of the evolutionary ramification and at the pre-conscious stage of subjectivity. Accordingly, corresponding to the onset of a non-linear dynamic evolution, a ‘primary spatial’ reduction is ‘continually’ taking place, thereby constituting the neural precondition for the experience of distinguishable macroscopic objects in the continuous spatial extension. While preventing the theoretically possible quantum superpositions of macroscopic objects from being perceivable by living beings, the ‘primary reduction’ has no effect on the standard processes concerning quantum level entities involved in laboratory man-made experiments. In this connection, an experimental check which might falsify the conjecture is briefly discussed. The approach suggested here, if sound, leads to a naturalization of that part of Kant’s Transcendental Aesthetics than can survive the Euclidean catastrophe. According to such naturalized transcendentalism, “space can well be transcendental without the axioms being so”, in agreement with a well-known statement by Boltzman. Finally, as far as QT is concerned, the conjecture entails that a scheme for quantum measurement of the von Neumann type cannot even ‘leave the ground’, vindicating Bohr’s viewpoint. A quantum theory of measurement, in a proper sense, turns out to be unnecessary and in fact impossible. (shrink)