Focused attention is needed to perceive change (Rensink et al., 1997; Psychological Science, 8: 368-373) . But how much attentional processing is given to an item? And does this depend on the nature of the task? To answer these questions, "flicker" displays were created, where an original and a modified image continually alternated, with brief blanks between them. Each image was an array of simple figures, half being horizontal and the other half vertical. In half the trials, one of the (...) items changed orientation; in the remainder, all items remained the same. Observers were asked to detect whether a change was occurring in each trial. -/- Within-observer comparisons for different shapes of items yielded two classes of speed: relatively fast search (50 ms/item) for simple lines, and slower search (90 ms/item) for compound figures made of two or more lines. Evidently, more processing was given to compound figures, even though shape was irrelevant to the task. A similar set of experiments asked observers to detect changes in contrast polarity. Here, no differences were found for different shapes, indicating that geometric information is not processed as much when the task involves only nongeometric properties. (shrink)

The purpose of this work is to address what notion of geometrical object and geometrical figure we have in different kinds of geometry: practical, pure, and applied. Also, we address the relation between geometrical objects and figures when this is possible, which is the case of pure and applied geometry. In practical geometry it turns out that there is no conception of geometrical object.

In this paper, we will make explicit the relationship that exists between geometric objects and geometric figures in planar Euclidean geometry. That will enable us to determine basic features regarding the role of geometric figures and diagrams when used in the context of pure and applied planar Euclidean geometry, arising due to this relationship. By taking into account pure geometry, as developed in Euclid’s Elements, and practical geometry, we will establish a relation between geometric objects and (...) figures. Geometric objects are defined in terms of idealizations of the corresponding figures of practical geometry. We name the relationship between them as a relation of idealization. This relation, existing between objects and figures, is what enables figures to have a role in pure and applied geometry. That is, we can use a figure or diagram as a representation of geometric objects or composite geometric objects because the relation of idealization corresponds to a resemblance-like relationship between objects and figures. Moving beyond pure geometry, we will defend that there are two other ‘layers’ of representation at play in applied geometry. To show that, we will consider Euclid’s Optics. (shrink)

This paper examines Aristotle's discussion of the priority of actuality to potentiality in geometry at Metaphysics Θ9, 1051a21–33. Many scholars have assumed what I call the "geometrical construction" interpretation, according to which his point here concerns the relation between an inquirer's thinking and a geometrical figure. In contrast, I defend what I call the "geometrical analysis" interpretation, according to which it concerns the asymmetrical relation between geometrical propositions in which one is proved by means of the other. His argument (...) as so construed is ultimately based on the asymmetrical relation between the corresponding geometrical facts. Then I explore this ontological priority in geometry by drawing attention to a parallel passage, Posterior Analytics II.11, 94a24–35, where Aristotle explains the relation between the same geometrical propositions in connection to material causation. (shrink)

The cognitive basis of geometry is still poorly understood, even the ‘simpler’ issue of what kind of representation of geometric objects we have. In this work, we set forward a tentative model of the neural representation of geometric objects for the case of the pure geometry of Euclid. To arrive at a coherent model, we found it necessary to consider earlier forms of geometry. We start by developing models of the neural representation of the geometric figures of (...) ancient Greek practical geometry. Then, we propose a related model for the earliest form of pure geometry – that of Hippocrates of Chios. Finally, we develop the model of the neural representation of the geometric objects of Euclidean geometry. The models are based on the hub-and-spoke theory. In our view, the existence of specific models opens the possibility of addressing the relationship between geometric figures and geometric objects, in a novel way, in terms of their neural representation. (shrink)

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy (...) theory. I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (shrink)

Luminance and color are strong and self-sufficient cues to pictorial depth in visual scenes and images. The present study investigates the conditions Under which luminance or color either strengthens or overrides geometric depth cues. We investigated how luminance contrasts associated with color contrast interact with relative height in the visual field, partial occlusion, and interposition in determining the probability that a given figure is perceived as ‘‘nearer’’ than another. Latencies of ‘‘near’’ responses were analyzed to test for effects (...) of attentional selection. Figures in a pair were supported by luminance contrast or isoluminant color contrast and combined with one of the three geometric cues. The results of Experiment 1 show that luminance contrasts associated with hue, when it does not interact with other hues, produces the same effects as achromatic luminance contrasts: The probability of‘‘near’’ increases with luminance contrast while the latencies for ‘‘near’’ responses decrease. Partial occlusion is found to be a strong enough pictorial cue to support a weaker red luminance contrast. Interposition cues lose out against cues of spatial position and partial occlusion. The results of Experiment 2, with isoluminant displays of varying color contrast, reveal that red color contrast on a light background supported by any of the three geometric cues wins over green or white supported by any of the three geometric cues. On a dark background, red color contrast supported by the interposition cue loses out against green or white color contrast supported by partial occlusion. These findings reveal that color is not an independent depth cue, but is strongly influenced by luminance contrast and stimulus geometry. Systematically shorter response latencies for stronger ‘‘near’’ percepts demonstrate that selective visual attention reliably detects the most likely depth cue combination in a given configuration. (shrink)

In the Critique of Pure Reason, Kant defends the mathematically deterministic world of physics by arguing that its essential features arise necessarily from innate forms of intuition and rules of understanding through combinatory acts of imagination. Knowing is active: it constructs the unity of nature by combining appearances in certain mandatory ways. What is mandated is that sensible awareness provide objects that conform to the structure of ostensive judgment: “This (S) is P.” -/- Sensibility alone provides no such objects, so (...) the imagination compensates by combining passing point-data into “pure” referents for the subject-position, predicate-position, and copula. The result is a cognitive encounter with a generic physical object whose characteristics—magnitude, substance, property, quality, and causality—are abstracted as the Kantian categories. Each characteristic is a product of “sensible synthesis” that has been “determined” by a “function of unity” in judgment. -/- Understanding the possibility of such determination by judgment is the chief difficulty for any rehabilitative reconstruction of Kant’s theory. I will show that Kant conceives of figurative synthesis as an act of line-drawing, and of the functions of unity as rules for attending to this act. The subject-position refers to substance, identified as the objective time-continuum; the predicate-position, to quality, identified as the continuum of property values (constituting the second-order type named by the predicate concept). The upshot is that both positions refer to continuous magnitudes, related so that one (time-value) is the condition of the other (property-value). -/- Kant’s theory of physically constructive grammar is thus equivalent to the analytic-geometric formalism at work in the practice of mathematical physics, which schematizes time and state as lines related by an algebraic formula. Kant theorizes the subject–predicate relation in ostensive judgment as an algebraic time–state function. When aimed towards sensibility, “S is P” functions as the algebraic relation “t → ƒ(t).”. (shrink)

Article Authors Metrics Comments Media Coverage Abstract Author Summary Introduction Results Discussion Supporting information Acknowledgments Author Contributions References Reader Comments (0) Media Coverage (0) Figures Abstract During language processing, humans form complex embedded representations from sequential inputs. Here, we ask whether a “geometrical language” with recursive embedding also underlies the human ability to encode sequences of spatial locations. We introduce a novel paradigm in which subjects are exposed to a sequence of spatial locations on an octagon, and are asked to (...) predict future locations. The sequences vary in complexity according to a well-defined language comprising elementary primitives and recursive rules. A detailed analysis of error patterns indicates that primitives of symmetry and rotation are spontaneously detected and used by adults, preschoolers, and adult members of an indigene group in the Amazon, the Munduruku, who have a restricted numerical and geometrical lexicon and limited access to schooling. Furthermore, subjects readily combine these geometrical primitives into hierarchically organized expressions. By evaluating a large set of such combinations, we obtained a first view of the language needed to account for the representation of visuospatial sequences in humans, and conclude that they encode visuospatial sequences by minimizing the complexity of the structured expressions that capture them. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

In the Fifth Meditation, Descartes makes a remarkable claim about the ontological status of geometrical figures. He asserts that an object such as a triangle has a 'true and immutable nature' that does not depend on the mind, yet has being even if there are no triangles existing in the world. This statement has led many commentators to assume that Descartes is a Platonist regarding essences and in the philosophy of mathematics. One problem with this seemingly natural reading is that (...) it contradicts the conceptualist account of universals that one finds in the Principles of Philosophy and elsewhere. In this paper, I offer a novel interpretation of the notion of a true and immutable nature which reconciles the Fifth Meditation with the conceptualism of Descartes' other work. Specifically, I argue that Descartes takes natures to be innate ideas considered in terms of their so-called 'objective being'. (shrink)

While there are satisfactory answers to the question “How should we teach children mathematics?”, there are no satisfactory answers to the question “What mathematics should we teach children?”. This paper provides an answer to the last question for preschool children (early childhood), although the answer is also applicable to older children. This answer, together with an appropriate methodology on how to teach mathematics, gives a clear conception of the place of mathematics in the children’s world and our role in helping (...) children develop their mathematical abilities. Briefly, children’s mathematics consists of the world of children’s internal activities that they eventually purposefully organize in order to understand and control the outside world and organize their overall activities in it. We need to support a child in mathematical activities that she does spontaneously and in which she shows interest, and we need to teach her mathematics that she is interested in developing through these activities. In doing so, we must be fully aware that the child’s mathematics is part of the child’s world of internal activities and is not outside of it. We help the child develop mathematical abilities by developing them in the context of her world and not outside of it. From the point of view of this conception, the standards established today are limiting and too focused on numbers and geometric figures: these topics are too prominent and elaborated, and other mathematical contents are subordinated to them. Adhering to the standards, we drastically limit the mathematics of the child’s world, hamper the correct mathematical development of a child, and we can turn her away from mathematics. (shrink)

The status of the laws of nature in Hobbes’s Leviathan has been a continual point of disagreement among scholars. Many agree that since Hobbes claims that civil philosophy is a science, the answer lies in an understanding of the nature of Hobbesian science more generally. In this paper, I argue that Hobbes’s view of the construction of geometrical figures sheds light upon the status of the laws of nature. In short, I claim that the laws play the same role as (...) the component parts – what Hobbes calls the “cause” – of geometrical figures. To make this argument, I show that in both geometry and civil philosophy, Hobbes proceeds by a method of synthetic demonstration as follows: 1) offering a thought experiment by privation; 2) providing definitions by explication of “simple conceptions” within the thought experiment; and 3) formulating generative definitions by making use of those definitions by explication. In just the same way that Hobbes says that the geometer should “put together” the parts of a square to learn its cause, I argue that the laws of nature are the cause of peace. (shrink)

John Corcoran. 1979 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974). Mathematical Reviews 58 3202 #21388. -/- The “method of analysis” is a technique used by ancient Greek mathematicians (and perhaps by Descartes, Newton, and others) in connection with discovery of proofs of difficult theorems and in connection with discovery of constructions of elusive geometric figures. Although this method was originally applied in geometry, its later application to number played an important role in the early development (...) of algebra [Jacob Klein, English translation, Greek mathematical thought and the origin of algebra, especially pp. 154–157, M.I.T. Press, Cambridge, Mass., 1968]. -/- It is universally agreed that the method of analysis begins by “assuming the thing sought after” (e.g., in geometry, the truth of the proposition to be proved or the existence of the geometric figure to be constructed). Aside from this, little else can be taken for granted. There is disagreement concerning the “direction of analysis”, i.e. whether one is to seek implications of the assumption or whether one is to seek implicants of it. There is also disagreement concerning what is to be “anatomized” (analyzed), i.e., whether one analyzes mathematical objects (figures), mathematical propositions (the axioms, known theorems, and analytic assumption) or an imagined proof (of the analytic assumption from axioms and known theorems). (shrink)

In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides the (...) Weyl’s system of axioms for Euclidean geometry. The system of axioms, together with its a priori interpretation, offers new views to philosophy and pedagogy of mathematics: it supports the thesis that Euclidean geometry is a priori, it supports the thesis that in modern mathematics the Weyl’s system of axioms is dominant to the Euclid’s system because it reflects the a priori underlying symmetries, it gives a new and promising approach to learn geometry which, through the Weyl’s system of axioms, leads from the essential geometric symmetry principles of the mathematical nature directly to modern mathematics. (shrink)

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion of logical (...) extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

After coining the term “philopsychy” to describe a “soul-loving” approach to philosophical practice, especially when it welcomes a creative synthesis of philosophy and psychology, this article identifies a system of geometrical figures (or “maps”) that can be used to stimulate reflection on various types of perspectival differences. The maps are part of the author’s previously established mapping methodology, known as the Geometry of Logic. As an illustration of how philosophy can influence the development of psychology, Immanuel Kant’s table of twelve (...) categories and Carl Jung’s theory of psychological types are shown to share a common logical structure. Just as Kant proposes four basic categories, each expressed in terms of three subordinate categories, Jung proposes four basic personality functions, each having three possible manifestations. The concluding section presents four scenarios illustrating how such maps can be used in philosophical counseling sessions to stimulate philopsychic insight. (shrink)

Analogy-making is finding analogies between different situations. In this paper, we provide a new model of computational analogy-making which uses Situation Theory as its formal background. Situation Theory is a semantic and logical theory which provides a naturalistic way to represent relations in situations. The system described in this paper is aimed at solving analogy problems made by basic geometric figures in a chessboard-like environment.

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...) there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

(Original French text followed by English version.) For Berkeley, mathematical and scientific issues and concepts are always conditioned by epistemological, metaphysical, and theological considerations. For Berkeley to think of any thing--whether it be a geometrical figure or a visible or tangible object--is to think of it in terms of how its limits make it intelligible. Especially in De Motu, he highlights the ways in which limit concepts (e.g., cause) mark the boundaries of science, metaphysics, theology, and morality.

This essay aims to provide conceptual tools for the understanding of Wittgenstein’s theory of color as a grammar problem instead of a phenomenological or purely scientific one. From an introduction of his understanding of meaning in his early and late life, his notion of grammar will be analyzed to understand his rebuttal of scientific and phenomenological discourse as a proper means for dealing with the problem of color through his critique of Goethe. Then Wittgenstein’s take on color will become clear (...) as his sympathy for Runge, the painter that Goethe criticizes, is analyzed to understand color as a language-game regarding kinds of colors as numbers and geometrical figures, in that grammar rather than experience is used to acknowledge them. (shrink)

The article is devoted to the publication of the pottery with a stamp design from the Kniazha Hora Old Rus fortress. During field seasons of 1958–1965, a representative collection of ceramic products was found on the settlement by a detachment of the Slavic-Rus archaeology of the Kaniv complex expedition under the direction of Halyna Mezentseva. Pots that are decorated with geometric figures-stamps are noteworthy because they are rare for the Kniazha Hora area. Studying ornamentation is very important because the (...) décor reflects some aspects of the spiritual culture of ancient population. However, these unique findings have not been given due attention by previous researchers. In the papers, the stamp type of ornament is associated with the West Slavonic tradition. It testifies one more peculiarity of the Old Rus society’s culture, in particular, of the Kniazha Hora fortress. (shrink)

Many global catastrophic risks are threatening human civilization, and a number of ideas have been suggested for preventing or surviving them. However, if these interventions fail, society could preserve information about the human race and human DNA samples in the hopes that the next civilization on Earth will be able to reconstruct Homo sapiens and our culture. This requires information preservation of an order of magnitude of 100 million years, a little-explored topic thus far. It is important that a potential (...) future civilization will discover this information as early as possible, thus a beacon should accompany the message in order to increase visibility. The message should ideally contain information about how humanity was destroyed, perhaps including a continuous recording until the end. This could help the potential future civilization to survive. The best place for long-term data storage is under the surface of the Moon, with the beacon constructed as a complex geometric figure drawn by small craters or trenches around a central point. There are several cost-effective options for sending the message as opportunistic payloads on different planned landers. (shrink)

At a distance of more ten years from publication (2000 French/2005 English translation), with this essay I will re-read, comment and discuss, in different way and in form of anthological sketch, the Derridean volume ‘On Touching-Jean Luc Nancy’, focusing in particular on its ‘tangents and its metonymies’, its manifold entanglements with the metaphysics of touch and bodily connections. Making use of the geometrical figure of the tangent, Derrida affirms that "[if] philosophy has touched the limit [my emphasis-J. D. ]. (...) of the ontology of subjectivity, this is because philosophy has been led to this limit”. To touch is to touch a limit, a limit without depth or surface. How have we regarded touching in the past? The body? My thesis is that if Derridean reflection remains mostly anchored to Jean-Luc Nancy’s Corpus, it is inspired nevertheless by a different deconstructive gesture/s similar to different geometric tangents (the deconstructive practice is similar to the tracing of many tangents). Discussing in particular Nancy’s Dis-Enclosure: The Deconstruction of Christianity, Derrida’essay ‘Deconstruction of Christianity’ and devoting an entire section of the book to the sense of touch in the Gospels, Derrida gives us numerous and special considerations on deconstruction and the deconstruction of touch in Christianity, admitting as well the enormity of this task. A reflection on the Kas Saghafi, “Safe, Intact”: Derrida, Nancy, and the “Deconstruction of Christianity” will follow in an exemplary way. Following a discussion of touch and the body in both animal and human spheres, in the closing section of the essay, I will comment on the Patrick Llored’s essay A Philosophy of Touching Between the Human and the Animal: The Animal Ethics of Jacques Derrida, recently published in A Companion to Derrida (2014). This study addresses highly topical questions such as: ‘What does it teach us about touch, but also about the body and the life of the animal? To what extent is it capable of renewing our knowledge [connaissance] of non-human life and of generating an animal ethics reconceived from top to bottom? If touching is coextensive with the living body, that implies not only that we place the haptical question at the centre of reflection on the animal, but also that we take into account the consequence that is most disruptive for us today (A Companion, p. 512). And conclude along with Patrick Llored that the question of touch promises to transform everything we have understood until now about animality. (shrink)

After sketching the historical development of “emergence” and noting several recent problems relating to “emergent properties”, this essay proposes that properties may be either “emergent” or “mergent” and either “intrinsic” or “extrinsic”. These two distinctions define four basic types of change: stagnation, permanence, flux, and evolution. To illustrate how emergence can operate in a purely logical system, the Geometry of Logic is introduced. This new method of analyzing conceptual systems involves the mapping of logical relations onto geometrical figures, following either (...) an analytic or a synthetic pattern (or both together). Evolution is portrayed as a form of discontinuous change characterized by emergent properties that take on an intrinsic quality with respect to the object(s) or proposition(s) involved. Causal leaps, not continuous development, characterize the evolution of human life in a developing foetus, of a thought out of certain brain states, of a new idea (or insight) out of ordinary thoughts, and of a great person out of a set of historical experiences. The tendency to assume that understanding evolutionary change requires a step-by-step explanation of the historical development that led to the appearance of a certain emergent property is thereby discredited. (shrink)

Sand drawings are introduced in relation to the fieldwork of British anthropologists John Layard and Bernard Deacon early in the twentieth century, and the status of sand drawings as mathematics is discussed in the light of Wittgenstein’s idea that “in mathematics process and result are equivalent”. Included are photographs of the illustrations in Layard’s own copy of Deacon’s “Geometrical Drawings from Malekula and other Islands of the New Hebrides” (1934). This is a brief companion to my article “Wittgenstein on string (...) figures as mathematics” (2022), published in the journal Philosophical Investigations. (shrink)

Victor Vasarely's (1906–1997) important legacy to the study of human perception is brought to the forefront and discussed. A large part of his impressive work conveys the appearance of striking three-dimensional shapes and structures in a large-scale pictorial plane. Current perception science explains such effects by invoking brain mechanisms for the processing of monocular (2D) depth cues. Here in this study, we illustrate and explain local effects of 2D color and contrast cues on the perceptual organization in terms of (...) class='Hi'>figure-ground assignments, i.e. which local surfaces are likely to be seen as “nearer” or “bigger” in the image plane. Paired configurations are embedded in a larger, structurally ambivalent pictorial context inspired by some of Vasarely's creations. The figure-ground effects these configurations produce reveal a significant correlation between perceptual solutions for “nearer” and “bigger” when other geometric depth cues are missing. In consistency with previous findings on similar, albeit simpler visual displays, a specific color may compete with luminance contrast to resolve the planar ambiguity of a complex pattern context at a critical point in the hierarchical resolution of figure-ground uncertainty. The potential role of color temperature in this process is brought forward here. Vasarely intuitively understood and successfully exploited the subtle context effects accounted for in this paper, well before empirical investigation had set out to study and explain them in terms of information processing by the visual brain. (shrink)

There have recently been various empirical attempts to answer Molyneux’s question, for example, the experiments undertaken by the Held group. These studies, though intricate, have encountered some objections, for instance, from Schwenkler, who proposes two ways of improving the experiments. One is “to re-run [the] experiment with the stimulus objects made to move, and/or the subjects moved or permitted to move with respect to them” (p. 94), which would promote three dimensional or otherwise viewpoint-invariant representations. The other is “to use (...) geometrically simpler shapes, such as the cube and sphere in Molyneux’s original proposal, or planar figures instead of three-dimensional solids” (p. 188). Connolly argues against the first modification but agrees with the second. In this article, I argue that the second modification is also problematic (though still surmountable), and that both Schwenkler and Connolly are too optimistic about the prospect of addressing Molyneux’s question empirically. (shrink)

The experiments reported herein probe the visual cortical mechanisms that control near–far percepts in response to two-dimensional stimuli. Figural contrast is found to be a principal factor for the emergence of percepts of near versus far in pictorial stimuli, especially when stimulus duration is brief. Pictorial factors such as interposition (Experiment 1) and partial occlusion Experiments 2 and 3) may cooperate, as generally predicted by cue combination models, or compete with contrast factors in the manner predicted by the FACADE model. (...) In particular, if the geometrical conŽ guration of an image favors activation of cortical bipole grouping cells, as at the top of a T-junction, then this advantage can cooperate with the contrast of the conŽ guration to facilitate a near–far percept at a lower contrast than at an X-junction. Varying the exposure duration of the stimuli shows that the more balanced bipole competition in the X-junction case takes longer exposure times to resolve than the bipole competition in the T-junction case (Experiment 3). (shrink)

Geometry, etymologically the “science of measuring the Earth”, is a mathematical formalization of space. Just as formal concepts of number may be rooted in an evolutionary ancient system for perceiving numerical quantity, the fathers of geometry may have been inspired by their perception of space. Is the spatial content of formal Euclidean geometry universally present in the way humans perceive space, or is Euclidean geometry a mental construction, specific to those who have received appropriate instruction? The spatial content of the (...) formal theories of geometry may depart from spatial perception for two reasons: first, because in geometry, only some of the features of spatial figures are theoretically relevant; and second, because some geometric concepts go beyond any possible perceptual experience. Focusing in turn on these two aspects of geometry, we will present several lines of research on US adults and children from the age of three years, and participants from an Amazonian culture, the Mundurucu. Almost all the aspects of geometry tested proved to be shared between these two cultures. Nevertheless, some aspects involve a process of mental construction where explicit instruction seem to play a role in the US, but that can still take place in the absence of instruction in geometry. (shrink)

Hermann Weyl was one of the most important figures involved in the early elaboration of the general theory of relativity and its fundamentally geometrical spacetime picture of the world. Weyl’s development of “pure infinitesimal geometry” out of relativity theory was the basis of his remarkable attempt at unifying gravitation and electromagnetism. Many interpreters have focused primarily on Weyl’s philosophical influences, especially the influence of Husserl’s transcendental phenomenology, as the motivation for these efforts. In this article, I argue both that these (...) efforts are most naturally understood as an outgrowth of the distinctive mathematical-physical tradition in Göttingen and also that phenomenology has little to no constructive role to play in them. (shrink)

Paleontological evidence suggests that human artefacts with intentional markings might have originated already in the Lower Paleolithic, up to 500.000 years ago and well before the advent of ‘behavioural modernity’. These markings apparently did not serve instrumental, tool-like functions, nor do they appear to be forms of figurative art. Instead, they display abstract geometric patterns that potentially testify to an emerging ability of symbol use. In a variation on Ian Hacking’s speculative account of the possible role of “likeness-making” in (...) the evolution of human cognition and language, this essay explores the central role that the embodied processes of making and the collective practices of using such artefacts might have played in early human cognitive evolution. Two paradigmatic findings of Lower Paleolithic artefacts are discussed as tentative evidence of likenesses acting as material scaffolds in the emergence of symbolic reference-making. They might provide the link between basic abilities of mimesis and imitation and the development of modern language and thought. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the (...) last: the parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

The text translated, “Das Wissen von fremden Ichen,” bears particular importance for the early phenomenological movement for two reasons. The first is Lipps’ refutation of the theory that knowledge of other selves arises by way of an inference from analogy. Lipps first developed his account of empathy to explain that we tend to succumb to geometric optical illusions because we project living activity into inanimate objects. In sum, Lipps’ groundbreaking article on The Knowledge of Other Egos deserves as much (...) interest from the philosophical community today as it had in the past. The figure of Lipps the philosopher needs to be taken into consideration anew among other much-celebrated proponents of the phenomenological movement. The supporters of that theory, however, demand that we ought to be able to pick out a justification for the existence of objective reality from the fact of our sensations by way of thought alone. (shrink)

The notion of linguistic geometry is defined in this book. It is pertinent to keep in the record that linguistic geometry differs from classical geometry. Many basic or fundamental concepts and notions of classical geometry are not true or extendable in the case of linguistic geometry. Hence, for simple illustration, facts like two distinct points in classical geometry always define a line passing through them; this is generally not true in linguistic geometry. Suppose we have two linguistic points as tall (...) and light we cannot connect them, or technically, there is no line between them. However, let's take, for instance, two linguistic points, tall and very short, associated with the linguistic variable height of a person. We have a directed line joining from the linguistic point very short to the linguistic point tall. In this case, it is important to note that the direction is essential when the linguistic variable is a person's height. The other way line, from tall to very short, has no meaning. So in linguistic geometry, in general, we may not have a linguistic line; granted, we have a line, but we may not have it in both directions; the line may be directed. The linguistic distance is very far. So, the linguistic line directed or otherwise exists if and only if they are comparable. Hence the very concept of extending the line infinitely does not exist. Likewise, we cannot say as in classical geometry; three noncollinear points determine the plane in linguistic geometry. Further, we do not have the notion of the linguistic area of well-defined figures like a triangle, quadrilateral or any polygon as in the case of classical geometry. The best part of linguistic geometry is that we can define the new notion of linguistic social information geometric networks analogous to social information networks. This will be a boon to non-mathematics researchers in socio-sciences in other fields where natural languages can replace mathematics. (shrink)

The purpose of this work is to address the relation existing between ancient Greek practical geometry and ancient Greek pure geometry. In the first part of the work, we will consider practical and pure geometry and how pure geometry can be seen, in some respects, as arising from an idealization of practical geometry. From an analysis of relevant extant texts, we will make explicit the idealizations at play in pure geometry in relation to practical geometry, some of which are basically (...) explicit in definitions, like that of segments in Euclid’s Elements. Then, we will address how in pure geometry we, so to speak, “refer back” to practical geometry. This occurs in two ways. One, in the propositions of pure geometry. The other, when applying pure geometry. In this case, geometrical objects can represent practical figures like, e.g., a practical segment. (shrink)

In Hegel ou Spinoza,1 Pierre Macherey challenges the influence of Hegel’s reading of Spinoza by stressing the degree to which Spinoza eludes the grasp of the Hegelian dialectical progression of the history of philosophy. He argues that Hegel provides a defensive misreading of Spinoza, and that he had to “misread him” in order to maintain his subjective idealism. The suggestion being that Spinoza’s philosophy represents, not a moment that can simply be sublated and subsumed within the dialectical progression of the (...) history of philosophy, but rather an alternative point of view for the development of a philosophy that overcomes Hegelian idealism. Gilles Deleuze also considers Spinoza’s philosophy to resist the totalising effects of the dialectic. Indeed, Deleuze demonstrates, by means of Spinoza, that a more complex philosophy antedates Hegel’s, which cannot be supplanted by it. Spinoza therefore becomes a significant figure in Deleuze’s project of tracing an alternative lineage in the history of philosophy, which, by distancing itself from Hegelian idealism, culminates in the construction of a philosophy of difference. It is Spinoza’s role in this project that will be demonstrated in this paper by differentiating Deleuze’s interpretation of the geometrical example of Spinoza’s Letter XII (on the problem of the infinite) in Expressionism in Philosophy, Spinoza,2 from that which Hegel presents in the Science of Logic.3. (shrink)

The derivative is a basic concept of differential calculus. However, if we calculate the derivative as change in distance over change in time, the result at any instant is 0/0, which seems meaningless. Hence, Newton and Leibniz used the limit to determine the derivative. Their method is valid in practice, but it is not easy to intuitively accept. Thus, this article describes the novel method of differential calculus based on the double contradiction, which is easier to accept intuitively. Next, the (...) geometrical meaning of the double contradiction is considered as follows. A tangent at a point on a convex curve is iterated. Then, the slope of the tangent at the point is sandwiched by two kinds of lines. The first kind of line crosses the curve at the original point and a point to the right of it. The second kind of line crosses the curve at the original point and a point to the left of it. Then, the double contradiction can be applied, and the slope of the tangent is determined as a single value. Finally, the meaning of this method for the foundation of mathematics is considered. We reflect on Dehaene’s notion that the foundation of mathematics is based on the intuitions, which evolve independently. Hence, there may be gaps between intuitions. In fact, the Ancient Greeks identified inconsistency between arithmetic and geometry. However, Eudoxus developed the theory of proportion, which is equivalent to the Dedekind Cut. This allows the iteration of an irrational number by rational numbers as precisely as desired. Simultaneously, we can define the irrational number by the double contradiction, although its existence is not guaranteed. Further, an area of a curved figure is iterated and defined by rectilinear figures using the double contradiction. (shrink)

When faced with uncertainty, consequentialists often advocate choosing the option with the largest expected utility, as calculated using the arithmetic average. I provide some arguments to suggest that instead, one should consider choosing the option with the largest geometric average of utility. I explore the difference between these two approaches in a variety of ethical dilemmas and argue that geometric averaging has some appealing properties as a normative decision-making tool.

At some point in the Incessu Animalium, Aristotle appeals to some geometrical claims in order to explain why animal progression necessarily involves the bending (of the limbs), and this appeal to geometrical claims might be taking as violating the recommendation to avoid “kind-crossing” (as found in the Posterior Analytic). But a very unclear notion of kind-crossing has been assumed in most debates. I will argue that kind-crossing in the Posterior Analytics does not mean any employment of premises from a discipline (...) other than that to which the explanandum belongs. Kind-crossing was meant to cover a specific sort of employment of premises from a different discipline, namely, the case in which premises from a discipline X are taken as the most important explanatory factor that delivers the fullest appropriate explanation of an explanandum within discipline Y. If this is so, the employment of geometrical premises in the Incessu Animalium is not an instance of the prohibited kind-crossing, but something that is in line with the theory of the Posterior Analytics. (shrink)

Supra-Bayesianism is the Bayesian response to learning the opinions of others. Probability pooling constitutes an alternative response. One natural question is whether there are cases where probability pooling gives the supra-Bayesian result. This has been called the problem of Bayes-compatibility for pooling functions. It is known that in a common prior setting, under standard assumptions, linear pooling cannot be nontrivially Bayes-compatible. We show by contrast that geometric pooling can be nontrivially Bayes-compatible. Indeed, we show that, under certain assumptions, (...) class='Hi'>geometric and Bayes-compatible pooling are equivalent. Granting supra-Bayesianism its usual normative status, one upshot of our study is thus that, in a certain class of epistemic contexts, geometric pooling enjoys a normative advantage over linear pooling as a social learning mechanism. We discuss the philosophical ramifications of this advantage, which we show to be robust to variations in our statement of the Bayes-compatibility problem. (shrink)

Much of our information comes to us indirectly, in the form of conclusions others have drawn from evidence they gathered. When we hear these conclusions, how can we modify our own opinions so as to gain the benefit of their evidence? In this paper we study the method known as geometric pooling. We consider two arguments in its favour, raising several objections to one, and proposing an amendment to the other.

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I (...) argue that when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

The paper is an introduction to geometric algebra and geometric calculus for those with a knowledge of undergraduate mathematics. No knowledge of physics is required. The section Further Study lists many papers available on the web.

This study analyses the predictions of the General Theory of Relativity (GTR) against a slightly modified version of the standard central mass solution (Schwarzschild solution). It is applied to central gravity in the solar system, the Pioneer spacecraft anomalies (which GTR fails to predict correctly), and planetary orbit distances and times, etc (where GTR is thought consistent.) -/- The modified gravity equation was motivated by a theory originally called ‘TFP’ (Time Flow Physics, 2004). This is now replaced by the ‘ (...) class='Hi'>Geometric Model’, 2014 [20], which retains the same theory of gravity. This analysis is offered partially as supporting detail for the claim in [20] that the theory is realistic in the solar system and explains the Pioneer anomalies. The overall conclusion is that the model can claim to explain the Pioneer anomalies, contingent on the analysis being independently verified and duplicated of course. -/- However the interest lies beyond testing this theory. To start with, it gives us a realistic scale on which gravity might vary from the accepted theory, remain consistent with most solar-scale astronomical observations. It is found here that the modified gravity equation would appear consistent with GTR for most phenomena, but it would retard the Pioneer spacecraft by about the observed amount (15 seconds or so at time). Hence it is a possible explanation of this anomaly, which as far as I know remains unexplained now for 20 years. -/- It also shows what many philosophers of science have emphasized: the pivotal role of counterfactual reasoning. By putting forward an exact alternative solution, and working through the full explanation, we discover a surprising ‘counterfactual paradox’: the modified theory slightly weakens GTR gravity – and yet the effect is to slow down the Pioneer trajectory, making it appear as if gravity is stronger than GTR. The inference that “there must be some tiny extra force…” (Musser, 1998 [1]) is wrong: there is a second option: “…or there may be a slightly weaker form of gravity than GTR.” . (shrink)

Provides an overview and examples of what impossible figures are, and explains their interest to many different disciplines including philosophy, psychology, art and mathematics.

This study presents a new type of foundational model unifying quantum theory, relativity theory and gravitational physics, with a novel cosmology. It proposes a six-dimensional geometric manifold as the foundational ontology for our universe. The theoretical unification is simple and powerful, and there are a number of novel empirical predictions and theoretical reductions that are strikingly accurate. It subsequently addresses a variety of current anomalies in physics. It shows how incomplete modern physics is by giving an example of a (...) theory that is genuinely unified. In doing this, it radically alters the metaphysical interpretation of the nature of time, space and matter currently interpreted from modern physics. It also profoundly challenges materialist expectations about a naturalistic account our own existence. I contend here that there is sufficient evidence to support this theory as a leading paradigm for a unified foundational theory. (shrink)

We think and speak in figures. This is key to our creativity. We re-imagine one thing as another, pretend ourself to be another, do one thing in order to achieve another, or say one thing to mean another. This comes easily because of our abilities both to work out meaning in context and re-purpose words. Figures of speech are tools for this re-purposing. Whether we use metaphor, simile, irony, hyperbole, and litotes individually, or as compound figures, the uses are all (...) rooted in literal meanings. These uses invite us to explore the context to find new meanings, new purposes, beyond the literal. -/- This special issue of Philosophical Studies brings together eight papers on various aspects and applications of figurative speech including: David Hills, Mitch Green, Liz Camp, Ofra Magidor, Larry Horn, Ken Walton, Stephen Barker, and Mihaela Popa-Wyatt. (shrink)

All acknowledged proofs of the Four Colour Theorem (4CT) are computerdependent. They appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, putatively minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient (...) in their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of the single, ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. We shall further show that although Kempe fallaciously concluded that a 5-sided configuration was also in the ‘unavoidable’ set, and appealed to unproven properties of ‘Kempe’ chains in a graphical representation to then argue for its ‘reducibility’, neither flaw in his ‘proof’ is fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

Ambiguous figures pose a problem for representationalists, particularly for representationalists who believe that the content of perceptual experience is non-conceptual (MacPherson in Nous 40(1):82–117, 2006). This is because, in viewing ambiguous figures, subjects have perceptual experiences that differ in phenomenal properties without differing in non-conceptual content. In this paper, I argue that ambiguous figures pose no problem for non-conceptual representationalists. I argue that aspect shifts do not presuppose or require the possession of sophisticated conceptual resources and that, although viewing ambiguous (...) figures often causes a change in phenomenal properties, this change is accompanied by a change in non-conceptual content. I illustrate the case by considering specific examples. (shrink)