Volume 8 of this landmark edition follows Peirce from May 1890 through July 1892—a period of turmoil as his career unraveled at the U.S. Coast and Geodetic Survey. The loss of his principal source of income meant the beginning of permanent penury and a lifelong struggle to find gainful employment. His key achievement during these years is his celebrated Monist metaphysical project, which consists of five classic articles on evolutionary cosmology. Also included are reviews and essays from The Nation in (...) which Peirce critiques Paul Carus, William James, Auguste Comte, Cesare Lombroso, and Karl Pearson, and takes part in a famous dispute between Francis E. Abbot and Josiah Royce. Peirce's short philosophical essays, studies in non-Euclidean geometry and number theory, and his only known experiment in prose fiction complete his production during these years. Peirce's 1883-1909 contributions to the Century Dictionary form the content of volume 7 which is forthcoming. (shrink)

Customary interpretations state that Tractarian thoughts are pictures, and, a fortiori, facts. I argue that important difficulties are unavoidable if we assume this standard view, and I propose a reading of the concept taking advantage of an analogy that Wittgenstein introduces, namely, the analogy between thoughts and projective geometry. I claim that thoughts should be understood neither as pictures nor as facts, but as acts of geometric projection in logical space. The interpretation I propose thus removes the root (...) of the identified difficulties. Moreover, it allows important clarification concerning some central aspects of the Tractarian theory of representation, and it yields a unifying elucidation regarding Wittgenstein’s remarks on the solipsistic thesis. (shrink)

Fix an algebraically closed field of characteristic zero and let G be its geometry of transcendence degree one extensions. Let X be a set of points of G. We show that X extends to a projective subgeometry of G exactly if the partial derivatives of the polynomials inducing dependence on its elements satisfy certain separability conditions. This analysis produces a concrete representation of the coordinatizing fields of maximal projective subgeometries of G.

In this paper we examine the contributions of the Italian geometrical school to the Foundations of Projective Geometry. Starting from De Paolis' work we discuss some papers by Segre, Peano, Veronese, Fano and Pieri. In particular we try to show how a totally abstract and general point of view was clearly adopted by the Italian scholars many years before the publication of Hilbert's Grundlagen.We are particularly interested in the interrelations between the Italian and the German schools (mainly the (...) influence of Staudt's and Klein's works). We try also to understand the reason of the steady decline of the Italian school during the twentieth century. (shrink)

Explications of the reconstruction of Leibniz’s metaphysics that Deleuze undertakes in 'The Fold: Leibniz and the Baroque' focus predominantly on the role of the infinitesimal calculus developed by Leibniz.1 While not underestimat- ing the importance of the infinitesimal calculus and the law of continuity as reflected in the calculus of infinite series to any understanding of Leibniz’s metaphysics and to Deleuze’s reconstruction of it in The Fold, what I propose to examine in this paper is the role played by other (...) developments in mathematics that Deleuze draws upon, including those made by a number of Leibniz’s near contemporaries – the projective geometry that has its roots in the work of Desargues (1591–1661) and the ‘proto-topology’ that appears in the work of Du ̈rer (1471–1528) – and a number of the subsequent developments in these fields of mathematics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. What is provided in this paper is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

We discuss Einstein’s knowledge of projective geometry. We show that two pages of Einstein’s Scratch Notebook from around 1912 with geometrical sketches can directly be associated with similar sketches in manuscript pages dating from his Princeton years. By this correspondence, we show that the sketches are all related to a common theme, the discussion of involution in a projective geometry setting with particular emphasis on the infinite point. We offer a conjecture as to the probable purpose (...) of these geometric considerations. (shrink)

We argue that the projective geometrical component of the Projective Consciousness Model can account for key aspects of pre-reflective self-consciousness and can relate PRSC intelligibly to another signal feature of subjectivity: perspectival character or point of view. We illustrate how the projective geometrical versions of the concepts of duality, reciprocity, polarity, closedness, closure, and unboundedness answer to salient aspects of the phenomenology of PRSC. We thus show that the same mathematics that accounts for the statics and dynamics (...) of perspectival character also accounts for PRSC. More generally, we argue that introducing higher-level geometrical concepts into the theory of PRSC, and into the theory of consciousness broadly, as the PCM does, promises to break longstanding theoretical impasses and dialectical stalemates. (shrink)

In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond (...) to pure orthogeometries, irreducible pure orthogeometries, Hilbertian geometries and irreducible Hilbertian geometries, respectively. The discovery of these correspondences raises interesting research topics and will enrich the study of logic. (shrink)

The Desarguesian nature of angular-momentum theory is illustrated by drawing correspondences between relations satisfied by then-j symbols and various collinearity properties of the appropriate diagrams. No examples of Pappus' theorem have been found. A relation is suggested between the operations of angular-momentum theory and Hilbert's constructions for the addition and multiplication of points on a line.

In recent years, several scholars have been investigating Frege’s mathematical background, especially in geometry, in order to put his general views on mathematics and logic into proper perspective. In this article I want to continue this line of research and study Frege’s views on geometry in their own right by focussing on his views on a field which occupied center stage in nineteenth century geometry, namely, projective geometry.

A Paper on the Foundations of Projective Geometry - (Read before the Aristotelian Society, Dec. 13, 1897) is an unchanged, high-quality reprint of the original edition of 1898. Hansebooks is editor of the literature on different topic areas such as research and science, travel and expeditions, cooking and nutrition, medicine, and other genres. As a publisher we focus on the preservation of historical literature. Many works of historical writers and scientists are available today as antiques only. Hansebooks newly (...) publishes these books and contributes to the preservation of literature which has become rare and historical knowledge for the future. (shrink)

The article analyzes in detail the assumptions and the proofs typical of the research field of the geometry of burning mirrors. It emphasizes the role of two propositions of the Archimedean Quadratura parabolae, never brought to bear on this subject, and of a complex system of projections reducing a sumptōma of a parabola to some specific linear lemmas. On the grounds of this case-study, the much-debated problem of the heuristic role of analysis is also discussed.

A method originally conceived by Bohm for abstracting key features of the metric geometry from an underlying spinor ordering is generalized to the projective geometry. This allows the introduction of the spinor into a projective context and the definition of an associated geometric algebra. The projective spinor may then be regarded as defining a pregeometry for the projective space.

Abstract:The notions "retinal images" and "retinal projection" are ubiquitous in both the scientific and philosophical literature on perception. However, this article argues that they belong to the former and should be kept out of the latter. In the context of the empirical investigation of perception, projections play a crucial role, and help articulate pressing research problems. But, as part of the phenomenological and conceptual analysis of perception, projections give rise to untenable models and to avoidable conundrums, such as the much (...) discussed issue of perceptual constancy. Why are projections and retinal images so prevalent in the philosophical literature? The author conjectures that the reason has to do with conceptual fallouts of the effort to give a geometric representation to changes of perspective, a mission more daunting than it initially appears to be, and one that leads to the problematic insertion of projections into phenomenology. He suggests that correcting this shows perceptual constancy to be a starting point rather than a challenge for phenomenology. (shrink)

In the middle part of his Brouillon Project on conics, Girard Desargues develops the theory of the traversale, a notion that generalizes the Apollonian diameter and allows to give a unified treatment of the three kinds of conics. We showed elsewhere that it leads Desargues to a complete theory of projective polarity for conics. The present article, which shall close our study of the Brouillon Project, is devoted to the last part of the text, in which Desargues puts his (...) theory of the traversal into practice by giving a very elegant tratment of the classical theory of parameters and foci. This will lead us to show that Desargues’ proofs can only be understood if one accepts that he reasons in a resolutely projective framework, completely assimilating elements at infinity to those at finite distance in his proofs. (shrink)

The axioms of projective and affine plane geometry are turned into rules of proof by which formal derivations are constructed. The rules act only on atomic formulas. It is shown that proof search for the derivability of atomic cases from atomic assumptions by these rules terminates . This decision method is based on the central result of the combinatorial analysis of derivations by the geometric rules: The geometric objects that occur in derivations by the rules can be restricted (...) to those known from the assumptions and cases. This “subterm property” is proved by permuting suitably the order of application of the geometric rules. As an example of the decision method, it is shown that there cannot exist a derivation of Euclid’s fifth postulate if the rule that corresponds to the uniqueness of the parallel line construction is taken away from the system of plane affine geometry. (shrink)

On an ordinary view of the relation of philosophy of science to science, science serves only as a topic for philosophical reflection, reflection that proceeds by its own methods and according to its own standards. This ordinary view suggests a way of writing a global history of philosophy of science that finds substantially the same philosophical projects being pursued across widely divergent scientific eras. While not denying that this view is of some use regarding certain themes of and particular time (...) periods, this essay argues that much of the epistemology and philosophy of science in the early twentieth century in a variety of projects looked to the then current context of the exact sciences, especially geometry and physics, not merely for its topics but also for its conceptual resources and technical tools. This suggests a more variable project of philosophy of science, a deeper connection between early twentieth-century philosophy of science and its contemporary science, and a more interesting and richer history of philosophy of science than is ordinarily offered. (shrink)

The symmetries between points and lines in planar projective geometry and between points and planes in solid projective geometry are striking features of these geometries that were extensively discussed during the nineteenth century under the labels “duality” or “reciprocity.” The aims of this article are, first, to provide a systematic analysis of duality from a modern point of view, and, second, based on this, to give a historical overview of how discussions about duality evolved during the (...) nineteenth century. Specifically, we want to see in which ways geometers’ preoccupation with duality was shaped by developments that lead to modern logic towards the end of the nineteenth century, and how these developments in turn might have been influenced by reflections on duality. (shrink)

We attempt to extend the nominalistic project initiated in Hartry Field's Science Without Numbers to modern physical theories based in differential geometry.

Many studies on the astrolabe were written during the period from the ninth to the eleventh century, but very few of them related to projection, i.e., to the geometrical transformation underlying the design of the instrument. Among those that did, the treatise entitled The Art of the Astrolabe, written in the tenth century by Abu Sahl al-Quhi, represents a particulary important phase in the history of geometry. This work recently appeared in a critical edition with translation and commentary by (...) Roshdi Rashed. It contains the earliest known theory of the projection of the sphere, a theory developed in a commentary written by a contemporary mathematician, Ibn Sahl. Following R. Rashed, the present article offers here a thorough mathematical analysis of al-Quhi's treatise and of the commentary by Ibn Sahl. It also presents, with commentary, an account of a contemporary treatise on the projection of the sphere, written by al-[Sdotu]agani. The latter work is concerned with the conical projection of a sphere on a plane, from a point on an axis of the sphere, other than its pole. The author consciously avoids the case of stereographic projection, but he studies all the other cases of conical projection which, if we employ the terms of al-Quhi's theory, are compatible with the movement of the instrument (i.e. the rotation of the sphere around its axis). These three texts provide clear evidence of the emergence, during the second half of the tenth century, of a new field of study, that of projective geometry. (shrink)

Many studies on the astrolabe were written during the period from the ninth to the eleventh century, but very few of them related to projection, i.e., to the geometrical transformation underlying the design of the instrument. Among those that did, the treatise entitled The Art of the Astrolabe, written in the tenth century by Abū Sahl al-Qūhī, represents a particulary important phase in the history of geometry. This work recently appeared in a critical edition with translation and commentary by (...) Roshdi Rashed. It contains the earliest known theory of the projection of the sphere, a theory developed in a commentary written by a contemporary mathematician, Ibn Sahl. Following R. Rashed, the present article offers here a thorough mathematical analysis of al-Qūhī's treatise and of the commentary by Ibn Sahl. It also presents, with commentary, an account of a contemporary treatise on the projection of the sphere, written by al-[Sdotu]āġānī. The latter work is concerned with the conical projection of a sphere on a plane, from a point on an axis of the sphere, other than its pole. The author consciously avoids the case of stereographic projection, but he studies all the other cases of conical projection which, if we employ the terms of al-Qūhī's theory, are compatible with the movement of the instrument. These three texts provide clear evidence of the emergence, during the second half of the tenth century, of a new field of study, that of projective geometry. (shrink)

Many studies on the astrolabe were written during the period from the ninth to the eleventh century, but very few of them related to projection, i.e., to the geometrical transformation underlying the design of the instrument. Among those that did, the treatise entitled The Art of the Astrolabe, written in the tenth century by Abū Sahl al-Qūhī, represents a particulary important phase in the history of geometry. This work recently appeared in a critical edition with translation and commentary by (...) Roshdi Rashed. It contains the earliest known theory of the projection of the sphere, a theory developed in a commentary written by a contemporary mathematician, Ibn Sahl. Following R. Rashed, the present article offers here a thorough mathematical analysis of al-Qūhī's treatise and of the commentary by Ibn Sahl. It also presents, with commentary, an account of a contemporary treatise on the projection of the sphere, written by al-[Sdotu]āġānī. The latter work is concerned with the conical projection of a sphere on a plane, from a point on an axis of the sphere, other than its pole. The author consciously avoids the case of stereographic projection, but he studies all the other cases of conical projection which, if we employ the terms of al-Qūhī's theory, are compatible with the movement of the instrument. These three texts provide clear evidence of the emergence, during the second half of the tenth century, of a new field of study, that of projective geometry. (shrink)

ABSTRACT A spatial logic is a modal logic of which the models are the mathematical models of space. Successively considering the mathematical models of space that are the incidence geometry and the projective geometry, we will successively establish the language, the semantical basis, the axiomatical presentation, the proof of the decidability and the proof of the completeness of INC, the modal multilogic of incidence geometry, and PRO, the modal multilogic of projective geometry.

Evolution and geometry generate complexity in similar ways. Evolution drives natural selection while geometry may capture the logic of this selection and express it visually, in terms of specific generic properties representing some kind of advantage. Geometry is ideally suited for expressing the logic of evolutionary selection for symmetry, which is found in the shape curves of vein systems and other natural objects such as leaves, cell membranes, or tunnel systems built by ants. The topology and (...) class='Hi'>geometry of symmetry is controlled by numerical parameters, which act in analogy with a biological organism’s DNA. The introductory part of this paper reviews findings from experiments illustrating the critical role of two-dimensional (2D) design parameters, affine geometry and shape symmetry for visual or tactile shape sensation and perception-based decision making in populations of experts and non-experts. It will be shown that 2D fractal symmetry, referred to herein as the “symmetry of things in a thing”, results from principles very similar to those of affine projection. Results from experiments on aesthetic and visual preference judgments in response to 2D fractal trees with varying degrees of asymmetry are presented. In a first experiment (psychophysical scaling procedure), non-expert observers had to rate (on a scale from 0 to 10) the perceived beauty of a random series of 2D fractal trees with varying degrees of fractal symmetry. In a second experiment (two-alternative forced choice procedure), they had to express their preference for one of two shapes from the series. The shape pairs were presented successively in random order. Results show that the smallest possible fractal deviation from “symmetry of things in a thing” significantly reduces the perceived attractiveness of such shapes. The potential of future studies where different levels of complexity of fractal patterns are weighed against different degrees of symmetry is pointed out in the conclusion. (shrink)

We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.

Elementary geometry can be axiomatized constructively by taking as primitive the concepts of the apartness of a point from a line and the convergence of two lines, instead of incidence and parallelism as in the classical axiomatizations. I first give the axioms of a general plane geometry of apartness and convergence. Constructive projective geometry is obtained by adding the principle that any two distinct lines converge, and affine geometry by adding a parallel line construction, etc. (...) Constructive axiomatization allows solutions to geometric problems to be effected as computer programs. I present a formalization of the axiomatization in type theory. This formalization works directly as a computer implementation of geometry. (shrink)

Any acceptable quantum gravity theory must allow us to recover the classical spacetime in the appropriate limit. Moreover, the spacetime geometrical notions should be intrinsically tied to the behavior of the matter that probes them. We consider some difficulties that would be confronted in attempting such an enterprise. The problems we uncover seem to go beyond the technical level to the point of questioning the overall feasibility of the project. The main issue is related to the fact that, in the (...) quantum theory, it is impossible to assign a trajectory to a physical object, and, on the other hand, according to the basic tenets of the geometrization of gravity, it is precisely the trajectories of free localized objects that define the spacetime geometry. The insights gained in this analysis should be relevant to those interested in the quest for a quantum theory of gravity and might help refocus some of its goals. (shrink)

Assume T is a superstable theory with $ countable models. We prove that any *-algebraic type of M-rank > 0 is m-nonorthogonal to a *-algebraic type of M-rank 1. We study the geometry induced by m-dependence on a *-algebraic type p* of M-rank 1. We prove that after some localization this geometry becomes projective over a division ring F. Associated with p* is a meager type p. We prove that p is determined by p* up to nonorthogonality (...) and that F underlies also the geometry induced by forking dependence on any stationarization of p. Also we study some *-algebraic *-groups of M-rank 1 and prove that any *-algebraic *-group of M-rank 1 is abelian-by-finite. (shrink)

Summary In his Theoremata de lumine, et umbre (1521), Francesco Maurolyco (1494–1575) discussed, inter alia, the problem of the pinhole camera. Maurolyco outlined a framework based on Euclidean geometry in which he applied the rectilinear propagation of light to the casting of shadow on a screen behind a pinhole. We limit our discussion to the problem of how the image behind an aperture is formed, and follow the way Maurolyco combined theory with instrument to solve the problem of the (...) projection of light through small apertures. We show that Maurolyco not only reformed the classical sources which, he thought, were no longer the authoritative code of textual knowledge, but also established with the dioptra a novel linkage of method, theory, and instrument. He thereby demonstrated the importance of optics to the science of astronomy. (shrink)

Hyperbolic geometry can be axiomatized using the notions of order andcongruence (as in Euclidean geometry) or using the notion of incidencealone (as in projective geometry). Although the incidence-based axiomatizationmay be considered simpler because it uses the single binary point-linerelation of incidence as a primitive notion, we show that it issyntactically more complex. The incidence-based formulation requires some axioms of the quantifier-type forallexistsforall, while the axiom system based on congruence and order can beformulated using only forallexists-axioms.