Chapter I: The Geometry of Visibles 1 . The N on- Euclidean Geometry of Visibles In the chapter "The Geometry of Visibles" in Inquiry into the Human Mind, ...

In his 'Inquiry', Reid claims, against Berkeley, that there is a science of the perspectival shapes of objects ('visible figures'): they are geometrically equivalent to shapes projected onto the surfaces of spheres. This claim should be understood as asserting that for every theorem regarding visible figures there is a corresponding theorem regarding spherical projections; the proof of the theorem regarding spherical projections can be used to construct a proof of the theorem regarding visible figures, and vice versa. I reconstruct Reid's (...) argument for this claim, and expose its mathematical underpinnings: it is successful, and depends on no empirical assumptions to which he was not entitled about the workings of the human eye. I also argue that, although Reid may or may not have been aware of it, the geometry of spherical projections is not the only geometry of visible figure. (shrink)

In a brief but remarkable section of the Inquiry into the Human Mind, Thomas Reid argued that the visual field is governed by principles other than the familiar theorems of Euclid—theorems we would nowadays classify as Riemannian. On the strength of this section, he has been credited by Norman Daniels, R. B. Angell, and others with discovering non-Euclidean geometry over half a century before the mathematicians—sixty years before Lobachevsky and ninety years before Riemann. I believe that Reid does indeed have (...) a fair claim to have discovered a non-Euclidean geometry. However, the real basis of Reid’s geometry of visibles is subtle and easy to misidentify. My main aim in what follows is to make clear what the real basis is, separating it from several fallacious or irrelevant considerations on which Reid may seem to be relying. A secondary aim is to air the worry that Reid’s case for his geometry can succeed only at the cost of compromising the achievement for which Reid is best known—his direct realist theory of perception. (shrink)

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

In a brief but remarkable section of the Inquiry into the Human Mind, Thomas Reid argued that the visual field is governed by principles other than the familiar theorems of Euclid—theorems we would nowadays classify as Riemannian. On the strength of this section, he has been credited by Norman Daniels, R. B. Angell, and others with discovering non-Euclidean geometry over half a century before the mathematicians—sixty years before Lobachevsky and ninety years before Riemann. I believe that Reid does indeed have (...) a fair claim to have discovered a non-Euclidean geometry. However, the real basis of Reid’s geometry of visibles is subtle and easy to misidentify. My main aim in what follows is to make clear what the real basis is, separating it from several fallacious or irrelevant considerations on which Reid may seem to be relying. A secondary aim is to air the worry that Reid’s case for his geometry can succeed only at the cost of compromising the achievement for which Reid is best known—his direct realist theory of perception. (shrink)

Thomas Reid presented a two-dimensional geometry of the visual field in his Inquiry into the Human Mind (1764). The axioms of this geometry are different from those of Euclidean plane geometry. The ‘geometry of visibles’ is the same as the geometry of the surface of the sphere, described without reference to points and lines outside the surface itself. In a recent article, James Van Cleve has argued that Reid can secure a non-Euclidean geometry of visibles only at the cost of (...) abandoning his direct realist theory of perception, and reintroducing sense-data. The question will be reexamined by considering two aspects of Reid’s theory of vision: the claim that we do not directly perceive distance by sight and Reid’s characterization of visible figure as a partial notion of an external object. (shrink)