Online research in philosophy

Many philosophers have held that it is not possible to experience a spatial object, property, or relation except against the background of an intact awareness of a space that is somehow ‘absolute’. This paper challenges that claim, by analyzing in detail the case of a brain-damaged subject whose visual experiences seem to have violated this condition: spatial objects and properties were present in his visual experience, but space itself was not. I go on to suggest that phenomenological argumentation can give us a kind of evidence about the nature of the mind even if this evidence is not absolutely incorrigible.

We study the complexity of (finitely-valued and transfinitely-valued) Euclidean functions for computable Euclidean domains. We examine both the complexity of the minimal Euclidean function and any Euclidean function. Additionally, we draw some conclusions about the proof-theoretical strength of minimal Euclidean functions in terms of reverse mathematics.

In the chapter “The Geometry of Visibles” in his ‘Inquiry into the Human Mind’, Thomas Reid constructs a special space, develops a special geometry for that space, and offers a natural model for this geometry. In doing so, Reid “discovers” non-Euclidean Geometry sixty years before the mathematicians. This paper examines this “discovery” and the philosophical motivations underlying it. By reviewing Reid’s ideas on visible space and confronting him with Kant and Berkeley, I hope, moreover, to resolve an alleged impasse in Reid’s philosophy concerning the contradictory characteristics of Reid’s tangible and visible space.

Throughout history, almost all mathematicians, physicists and philosophers have been of the opinion that space and time are infinitely divisible. That is, it is usually believed that space and time do not consist of atoms, but that any piece of space and time of non-zero size, however small, can itself be divided into still smaller parts. This assumption is included in geometry, as in Euclid, and also in the Euclidean and non- Euclidean geometries used in modern physics. Of the few who have denied that space and time are infinitely divisible, the most notable are the ancient atomists, and Berkeley and Hume. All of these assert not only that space and time might be atomic, but that they must be. Infinite divisibility is, they say, impossible on purely conceptual grounds.

Independently of any eighteenth century work on the geometry of parallels, Thomas Reid discovered the non-euclidean "geometry of visibles" in 1764. Reid's construction uses an idealized eye, incapable of making distance discriminations, to specify operationally a two dimensional visible space and a set of objects, the visibles. Reid offers sample theorems for his doubly elliptical geometry and proposes a natural model, the surface of the sphere. His construction draws on eighteenth century theory of vision for some of its technical features and is motivated by Reid's desire to defend realism against Berkeley's idealist treatment of visual space.

The issue is obscured by the fact that the word `space' can be used in four different ways. It can be used, first, as a term of pure mathematics, as when mathematicians talk of an `n-dimensional phase-space', an `n-dimensional vector-space', a `three-dimensional projective space' or a `twodimensional Riemannian space'. In this sense the word `space' means the totality of the abstract entities-the `points'-implicitly defined by the axioms. There is no doubt that there exist, iii this sense, non-Euclidean spaces, because all that is claimed by such an assertion is that sets of non-Euclidean axioms constitute possible implicit definitions of abstract entities, that is to say that some sets of non-Euclidean axioms are consistent. If Kant or any other philosopher had denied this, he would have been wrong; but Kant himself took care not to deny it, 2 and there is little reason to suppose that any philosopher concerned about space has been using the word in this, the pure mathematician's, sense.

Visual space can be distinguished from physical space. The ?rst is found in visual experi- ence, while the second is de?ned independently of perception. Theorists have wondered about the relation between the two. Some investigators have concluded that visual space is non- Euclidean, and that it does not have a single metric structure. Here it is argued (1) that visual space exhibits contraction in all three dimensions with increasing distance from the observer, (2) that experienced features of this contraction (including the apparent convergence of lines in visual experience that are produced from physically parallel stimuli in ordinary viewing con- ditions) are not the same as would be the experience of a perspective projection onto a fronto- parallel plane, and (3) that such contraction is consistent with size constancy. These properties of visual space are di?erent from those that would be predicted if spatial perception resulted from the successful solution of the inverse problem. They are consistent with the notion that optical constraints have been internalized. More generally, they are also consistent with the notion that visual spatial structures bear a resemblance relation to physical spatial structures. This notion supports a type of representational relation that is distinct from mere causal cor- respondence. The reticence of some philosophers and psychologists to discuss the structure of phenomenal space is diagnosed in terms of the simple materialism and the functionalism of the 1970s and 1980s.

Visual space can be distinguished from physical space. The first is found in visual experience, while the second is defined independently of perception. Theorists have wondered about the relation between the two. Some investigators have concluded that visual space is non- Euclidean, and that it does not have a single metric structure. Here it is argued (1) that visual space exhibits contraction in all three dimensions with increasing distance from the observer, (2) that experienced features of this contraction (including the apparent convergence of lines in visual experience that are produced from physically parallel stimuli in ordinary viewing conditions) are not the same as would be the experience of a perspective projection onto a frontoparallel plane, and (3) that such contraction is consistent with size constancy. These properties of visual space are different from those that would be predicted if spatial perception resulted from the successful solution of the inverse problem. They are consistent with the notion that optical constraints have been internalized. More generally, they are also consistent with the notion that visual spatial structures bear a resemblance relation to physical spatial structures. This notion supports a type of representational relation that is distinct from mere causal correspondence. The reticence of some philosophers and psychologists to discuss the structure of phenomenal space is diagnosed in terms of the simple materialism and the functionalism of the 1970s and 1980s. Ó 2003 Elsevier B.V. All rights reserved.

My concern in this paper is with the aspect of the phenomenal character of visual experience that pertains to its spatial dimension. I shall refer to this aspect as visual space. Kant famously claimed that the representation of space is the a priori form of the faculty of sensibility. This claim is sometimes interpreted as the view that visual space is a pictorial canvas contributed by the mind on which sensations such as color experiences are organized. This reading, whether it is correct or not, consists of at least two independent claims. First, visual space is contributed by the mind. Second, visual space is a pictorial canvas. Both of theses claims, of course, demand further explication. However.