Modern formal accounts of the constructive nature of elementary geometry do not aim to capture the intuitive or concrete character of geometrical construction. In line with the general abstract approach of modern axiomatics, nothing is presumed of the objects that a geometric construction produces. This study explores the possibility of a formal account of geometric construction where the basic geometric objects are understood from the outset to possess certain spatial properties. The discussion is centered around Eu , (...) a recently developed formal system of proof (presented in Mumma (Synthese 175:255–287, 2010 )) within which Euclid’s diagrammatic proofs can be represented. (shrink)

In this paper, we focus on the development of geometric cognition. We argue that to understand how geometric cognition has been constituted, one must appreciate not only individual cognitive factors, such as phylogenetically ancient and ontogenetically early core cognitive systems, but also the social history of the spread and use of cognitive artifacts. In particular, we show that the development of Greek mathematics, enshrined in Euclid’s Elements, was driven by the use of two tightly intertwined cognitive artifacts: the (...) use of lettered diagrams; and the creation of linguistic formulae. Together, these artifacts formed the professional language of geometry. In this respect, the case of Greek geometry clearly shows that explanations of geometric reasoning have to go beyond the confines of methodological individualism to account for how the distributed practice of artifact use has stabilized over time. This practice, as we suggest, has also contributed heavily to the understanding of what mathematical proof is; classically, it has been assumed that proofs are not merely deductively correct but also remain invariant over various individuals sharing the same cognitive practice. Cognitive artifacts in Greek geometry constrained the repertoire of admissible inferential operations, which made these proofs inter-subjectively testable and compelling. By focusing on the cognitive operations on artifacts, we also stress that mental mechanisms that contribute to these operations are still poorly understood, in contrast to those mechanisms which drive symbolic logical inference. (shrink)

This article offers an analysis of the cognitive role of diagrammatic movements in the theater. Based on the recognition of a theatrical work’s inherent ability to provide new insights concerning reality, the article concentrates on the way by which actors’ movements on stage create spatial diagrams that can provide new insights into the spectators’ world. The suggested model of theater’s epistemology results from a combination of Charles S. Peirce’s doctrine of diagrammatic reasoning and David Lewis’s theoretical account of the (...) truth value of counterfactual conditionals. I argue that in several theatrical works – in particular those whose central image is dominated by movements – the relation of what Lewis names “comparative overall similarity” between the fictional and the actual world is based on diagrammatic homology. The cognitive process involved in deciphering them is, hence, based on diagrammatic reasoning. The main emphasis of the analysis is on the previously unnoticed but important cognitive role of observation in the theater: the idea that observation takes an active role in the reasoning process that enables the spectators to form new knowledge about their actual world. Samuel Beckett’s plays Quad and Come and Go serve here as case studies. (shrink)

Kant's distinction between analytic and synthetic method is connected to the so-called Aristotelian model of science and has to be interpreted in a (broad) directional sense. With the distinction between analytic and synthetic judgments the critical Kant did introduced a new way of using the terms 'analytic'-'synthetic', but one that still lies in line with their directional sense. A careful comparison of the conceptions of the critical Kant with ideas of the precritical Kant as expressed in _Ãœber die Deutlichkeit, leads (...) to the interpretation defended here of Kant's distinction between analytic and synthetic judgments within his philosophy of mathematics. (shrink)

Topological relations such as inside, outside, or intersection are ubiquitous to our spatial thinking. Here, we examined how people reason deductively with topological relations between points, lines, and circles in geometric diagrams. We hypothesized in particular that a counterexample search generally underlies this type of reasoning. We first verified that educated adults without specific math training were able to produce correct diagrammatic representations contained in the premisses of an inference. Our first experiment then revealed that subjects who correctly (...) judged an inference as invalid almost always produced a counterexample to support their answer. Noticeably, even if the counterexample always bore a certain level of similarity to the initial diagram, we observed that an object was more likely to be varied between the two drawings if it was present in the conclusion of the inference. Experiments 2 and 3 then directly probed counterexample search. While participants were asked to evaluate a conclusion on the basis of a given diagram and some premisses, we modulated the difficulty of reaching a counterexample from the diagram. Our results indicate that both decreasing the counterexample density and increasing the counterexample distance impaired reasoning performance. Taken together, our results suggest that a search procedure for counterexamples, which proceeds object‐wise, could underlie diagram‐based geometric reasoning. Transposing points, lines, and circles to our spatial environment, the present study may ultimately provide insights on how humans reason about topological relations between positions, paths, and regions. (shrink)

Cognitive Science, Volume 46, Issue 1, January 2022.

It is frequently claimed that the human mind is organized in a modular fashion, a hypothesis linked historically, though not inevitably, to the claim that many aspects of the human mind are innately specified. A specific instance of this line of thought is the proposal of an innately specified geometric module for human reorientation. From a massive modularity position, the reorientation module would be one of a large number that organized the mind. From the core knowledge position, the reorientation (...) module is one of five innate and encapsulated modules that can later be supplemented by use of human language. In this paper, we marshall five lines of evidence that cast doubt on the geometric module hypothesis, unfolded in a series of reasons: (1) Language does not play a necessary role in the integration of feature and geometric cues, although it can be helpful. (2) A model of reorientation requires flexibility to explain variable phenomena. (3) Experience matters over short and long periods. (4) Features are used for true reorientation. (5) The nature of geometric information is not as yet clearly specified. In the final section, we review recent theoretical approaches to the known reorientation phenomena. (shrink)

Context: Technology has not only changed the way we teach mathematical concepts but also the nature of knowledge, and thus what is possible to learn. While geometric transformations are recognized to be foundational to the formation of students’ geometric conceptions, little research has focused on how these notions can be introduced in elementary schooling. Problem: This project addressed the need for development of students’ reasoning about and with geometric transformations in elementary school. We investigated the nature (...) of students’ understandings of translations, rotations, scaling, and stretching in two dimensions in the context of use of the software application Graphs ’n Glyphs. More specifically, we explored the question “What is the nature of elementary students’ reasoning of geometric transformations when instruction exploits the technological tool Graphs ’n Glyphs?” Method: Using a design research perspective, we present the conduct of a teaching experiment with one pair of fourth-graders, studying translation and rotation. The project investigated how and to what extent activity using Graphs ’n Glyphs can elicit students’ reasoning about geometric transformations, and explored the constraints and affordances of Graphs ’n Glyphs for thinking-in-change about geometric transformations. Results: The students proved adept using the software with carefully designed tasks to explore the behavior of two-dimensional shapes, distinguish among transformations, and develop predictions. In relation to varied conditions of transformations, they formed generalizations about the way a shape behaves, including the use of referent points in predicting outcomes of translations, and recognizing the role of the center of rotation. Implications: The generalizations that the students developed are foundational for developing an understanding of the properties of transformations in the later years of schooling. Dynamic technological approaches to geometry may prove as valuable to elementary students’ understanding of geometry as it is for older students. Constructivist content: This study contributes to ongoing constructivism/constructionism conversations by concentrating on the transformation of ideas when engaging learners in activity through particular contexts and tools. Key Words: Geometry, transformations, constructionist technologies. (shrink)

This chapter provides a survey of issues about diagrams in traditional geometrical reasoning. After briefly refuting several common philosophical objections, and giving a sketch of diagram-based reasoning practice in Euclidean plane geometry, discussion focuses first on problems of diagram sensitivity, and then on the relationship between uniform treatment and geometrical generality. Here, one finds a balance between representationally enforced unresponsiveness (to differences among diagrams) and the intellectual agent's contribution to such unresponsiveness that is somewhat different from what one (...) has come to expect in modern logic. Finally, challenges and opportunities for further work are indicated. (shrink)

In a previous article, the writer explored the geometric foundation of the generally covariant spinor calculus. This geometric reasoning can be extended quite naturally to include the Lie covariant differentiation of spinors. The formulas for the Lie covariant derivatives of spinors, adjoint spinors, and operators in spin space are deduced, and it is observed that the Lie covariant derivative of an operator in spin space must vanish when taken with respect to a Killing vector. The commutator of (...) two Lie covariant derivatives is calculated; it is noted that the result is consistent with the geometric interpretation of the Jacobi identity for vectors. Lie current conservation is seen to spring from the result that the operator of spinor affine covariant differentiation commutes with the operator of spinor Lie covariant differentiation with respect to a Killing vector. It is shown that differentiations of the spinor field defined geometrically are Lorentz-covariant. (shrink)

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)

Interpretation -- Introduction -- Interpreting Plato -- The political culture of Plato's early dialogues -- Dialogue -- Character and history -- The mouthpiece principle -- Forms of evidence -- Desire -- Socrates and eros -- The subjectivist conception of desire -- Instrumental and terminal desire -- Rational and irrational desires -- Desire in the critique of Akrasia -- Interpreting Lysis -- The deficiency conception of desire -- Inauthentic friendship -- Platonic desire -- Antiphilosophical desires -- Knowledge -- Excellence as wisdom (...) -- The epistemic unity of excellence -- Dunamis and technê -- Goodness and form -- The epistemological priority of definitional knowledge -- Ordinary ethical knowledge -- Method -- The Socratic fallacy -- Socrates' pursuit of definitions -- Hupothesis -- Two postulates -- The geometrical illustration -- Geometrical analysis -- The method of reasoning from a postulate -- Elenchus and hupothesis -- Knowledge and aitia -- F-conditions -- Cognitive security -- Aporia -- Forms of aporia -- Dramatic aporia -- The example of Charmides -- Charmides as autobiography -- The politics of Sôphrosunê -- Critias' Philotimia -- Self-knowledge and the knowledge of knowledge -- Knowledge of knowledge and knowledge of the good -- Philosophy and the polis. (shrink)

In a recent paper, Takacs and Bourrat (Biol Philos 37:12, 2022) examine the use of geometric mean reproductive output as a measure of biological fitness. We welcome Takacs and Bourrat’s scrutiny of a fitness definition that some philosophers have adopted uncritically. We also welcome Takacs and Bourrat’s attempt to marry the philosophical literature on fitness with the biological literature on mathematical measures of fitness. However, some of the main claims made by Takacs and Bourrat are not correct, while others (...) are correct but not for the reasons they give. (shrink)

This article analyzes Galileo's mathematization of motion, focusing in particular on his use of geometrical diagrams. It argues that Galileo regarded his diagrams of acceleration not just as a complement to his mathematical demonstrations, but as a powerful heuristic tool. Galileo probably abandoned the wrong assumption of the proportionality between the degree of velocity and the space traversed in accelerated motion when he realized that it was impossible, on the basis of that hypothesis, to build a diagram of the law (...) of fall. The article also shows how Galileo's discussion of the paradoxes of infinity in the First Day of the Two New Sciences is meant to provide a visual solution to problems linked to the theory of acceleration presented in Day Three of the work. Finally, it explores the reasons why Cavalieri and Gassendi, although endorsing Galileo's law of free fall, replaced Galileo's diagrams of acceleration with alternative ones. (shrink)

The fragmentary nature ofGSmakes it difficult to read as it stands, and for this reason, I have rearranged the material slightly so that it falls into four primary, reasonably coherent, parts. Their titles are: ‘The nature of mathematical objects’, ‘Thirteen propositions of Euclid 1’, ‘The philosophy of parallel lines’ and ‘On the algebra of geometrical figures’.GSactually starts with ‘Thirteen propositions of Euclid 1’. The justification for the reversal of order in the translation is to have Hegel's philosophical basis for geometry (...) available first, to provide a context for his detailed discussion of geometrical propositions. The reader can easily reconstruct the original order ofGSas follows. Interchange the first and second parts and also the third and fourth parts. Next, move the passages marked a …. a', b …. b',c….c'to the places in the text markeda-a',b-b'andc-c'. For the reader wishing to locate the original German passages inDok., the page and paragraph for each of these passages are given at the start of that passage.In addition, subtitles for sections in these parts have been added which do not appear in the original. They are included in the translation to help orient the reader. I have inserted in some places words not in the original in order to clarify the meaning of the text. These insertions as well as my comments on the text are also enclosed within square brackets. Further clarifications can be found in the appended endnotes. (shrink)

the view of spinoza as a scion of the mathematico-mechanistic tradition of Galileo and Descartes, albeit perhaps an idiosyncratic one, has been held by many commentators and might be considered standard.1 Although the standard view has a prima facie solid basis in Spinoza's conception of the physical world as extended, law-bound, and deterministic, it has come under sustained criticism of late. Arguing that, for Spinoza, numbers and figures are mere beings of reason and mathematical conceptions of nature belong to the (...) imagination rather than the intellect, recent commentators have cast doubt on the applicability of mathematics to natural science in Spinoza and challenged the association of him with the Galilean and... (shrink)

Legal reasoning requires identification through search of authoritative legal texts that apply to a given legal question. In this paper, using a network representation of US Supreme Court opinions that integrates citation connectivity and topical similarity, we model the activity of law search as an organizing principle in the evolution of the corpus of legal texts. The network model and probabilistic search behavior generates a Pagerank-style ranking of the texts that in turn gives rise to a natural geometry of (...) the opinion corpus. This enables us to then measure the ways in which new judicial opinions affect the topography of the network and its future evolution. While we deploy it here on the US Supreme Court opinion corpus, there are obvious extensions to large evolving bodies of legal text. The model is a proxy for the way in which new opinions influence the search behavior of litigants and judges and thus affect the law. This type of “legal search effect” is a new legal consequence of research practice that has not been previously identified in jurisprudential thought and has never before been subject to empirical analysis. We quantitatively estimate the extent of this effect and find significant relationships between search-related network structures and propensity of future citation. This finding indicates that “search influence” is a pathway through which judicial opinions can affect future legal development. (shrink)

ArgumentThe aim of this paper is to employ the newly contextualized historiographical category of “premodern algebra” in order to revisit the arguably most controversial topic of the last decades in the field of Greek mathematics, namely the debate on “geometrical algebra.” Within this framework, we shift focus from the discrepancy among the views expressed in the debate to some of the historiographical assumptions and methodological approaches that the opposing sides shared. Moreover, by using a series of propositions related toElem.II.5 as (...) a case study, we discuss Euclid's geometrical proofs, the so-called “semi-algebraic” alternative demonstrations attributed to Heron of Alexandria, as well as the solutions given by Diophantus, al-Sulamī, and al-Khwārizmī to the corresponding numerical problem. This comparative analysis offers a new reading of Heron's practice, highlights the significance of contextualizing “premodern algebra,” and indicates that the origins of algebraic reasoning should be sought in the problem-solving practice, rather than in the theorem-proving tradition. (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)

The author was invited by the organizers of the Benin symposium on the encounter between rationalities to contribute from the particular perspective of his research experience in ethno-mathematics – the study of mathematical ideas and practices as embedded in their cultural contexts. In this article he tries to contribute to the understanding of mathematical reasoning, as embedded in cultural practices, by means of illuminating some complementary aspects of geometrical exploration in diverse cultural contexts. He ends by offering a few (...) comments on possible educational implications. (shrink)

This paper describes Alfred Clebsch’s 1871 article that gave a geometrical interpretation of elements of the theory of the general algebraic equation of degree 5. Clebsch’s approach is used here to illuminate the relations between geometry, intuition, figures, and visualization at the time. In this paper, we try to delineate clearly what he perceived as geometric in his approach, and to show that Clebsch’s use of geometrical objects and techniques is not intended to aid visualization matters, but rather is (...) a way of directing algebraic calculations. We also discuss the possible reasons why the article of Clebsch has been eventually completely forgotten by the historiography. (shrink)

The paper addresses the issue of human diagrammatic reasoning in the context of Euclidean geometry. It develops several philosophical categories which are useful for a description and an analysis of our experience while reasoning with diagrams. In particular, it draws the attention to the role of seeing-as; it analyzes its implications for proofs in Euclidean geometry and ventures the hypothesis that geometrical judgments are analytic and a priori, after all.

In lieu of an abstract, here is a brief excerpt of the content:61. HUME'S GEOMETRIC "OBJECTS" Arithmetic and algebra allow of precision and certainty. The science of geometry is not likewise a perfect and infallible science. At any rate, this is Hume's teaching in the Treatise. When two numbers are so combin ' d, as that the one has always an unite answering to every unite of the other, we pronounce them equal; and 'tis for want of such a (...) standard of equality in extension, that geometry can scarce be esteem'd a perfect and infallible science. 1 The ideas of, say, equality and right line shade into· inequality and curve. It must not be supposed, however, that the vagueness of these ideas renders all judgments uncertain and fallible. 'Tie evident, that the eye, or rather the mind is often able at one view to determine the proportions of bodies....Such judgments are not only common, but in many cases certain and infallible. (T47) Nevertheless, geometry is a fallible science because its essential ideas are vague. Vagueness, due to lack of boundaries between ideas, is in the ideas themselves. For this reason, 'tis impossible to produce any definition of them, which will fix the precise boundaries betwixt them. (T49) (Yet, some forty pages earlier Hume argued at length that the mind cannot form any notion of quantity or quality without forming a precise notion of the degrees of each [T18]) As far as the Treatise goes, geometry is the science of measurement and as such it must allow for error. Even if precise geometric standards could be had, they would not make the propositions of geometry certain. Thus, we might precisely define a right line by a rule of order of indivisible points. But geometry, construed as the science of measurement, would not be perfected. Nor, if it were (the standard), is there any such firmness in our senses or imagination, as to determine when such an order is violated or preserv ' d. The original standard of a right line is in reality nothing but a certain general appearance. (T52) 62. In the Enquiries, Hume continues to hold that notions essential to geometry, for example, equality, right line, and so on, are sensibles. But they are no longer generic appearances. They are determinate. The great advantage of the mathematical sciences above the moral consists in this, that the ideas of the former, being sensible, are always clear and determinate... even when no definition is employed, the object itself may be presented to the senses, and by that means be steadily and clearly apprehended. 2 In addition, geometry is no longer merely the science of measurement. The truths of Euclid, Hume holds, would remain truths even if there were no figures in nature. Though there never were a circle or triangle in nature, the truths demonstrated by Euclid would for ever retain their certainty and evidence. (EHU25) Professor Zabeeh, in his commentary on Hume, holds that Hume did not mean to imply that Euclid could dispense with the observation of figures. However, whenever possible Hume should be taken at his word: observation of figures is not a truth condition for propositions of geometry. A distinction must be drawn between discovery conditions and what Hume calls the "truth or evidence" of a geometric proposition. We may suppose that observation of figures is a discovery condition. But it is hardly a truth condition. The certainty, as opposed to the discovery, of geometric propositions does not depend on the existence in nature of any figure. I am mainly concerned, however, with Professor Zabeeh' s account of how, according to Hume, geometric propositions retain their certainty and evidence in the face of recalcitrant experience. Noting that Hume does not "fully explain," he gives the real reason for Hume's belief in the apodeictic certainty of mathematical truths. He appears to assume we never allow such truths to be controverted by empirical evidence. That is to say, if perchance we find, by measurement, that the sum of the angles of a Euclidean triangle 63. does not equal 180 degrees, either we say that we measured wrongly or we say that the triangle we have been measuring is not Euclidean.4 This formulation of Hume's reason avoids... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:61. HUME'S GEOMETRIC "OBJECTS" Arithmetic and algebra allow of precision and certainty. The science of geometry is not likewise a perfect and infallible science. At any rate, this is Hume's teaching in the Treatise. When two numbers are so combin ' d, as that the one has always an unite answering to every unite of the other, we pronounce them equal; and 'tis for want of such a (...) standard of equality in extension, that geometry can scarce be esteem'd a perfect and infallible science. 1 The ideas of, say, equality and right line shade into· inequality and curve. It must not be supposed, however, that the vagueness of these ideas renders all judgments uncertain and fallible. 'Tie evident, that the eye, or rather the mind is often able at one view to determine the proportions of bodies....Such judgments are not only common, but in many cases certain and infallible. (T47) Nevertheless, geometry is a fallible science because its essential ideas are vague. Vagueness, due to lack of boundaries between ideas, is in the ideas themselves. For this reason, 'tis impossible to produce any definition of them, which will fix the precise boundaries betwixt them. (T49) (Yet, some forty pages earlier Hume argued at length that the mind cannot form any notion of quantity or quality without forming a precise notion of the degrees of each [T18]) As far as the Treatise goes, geometry is the science of measurement and as such it must allow for error. Even if precise geometric standards could be had, they would not make the propositions of geometry certain. Thus, we might precisely define a right line by a rule of order of indivisible points. But geometry, construed as the science of measurement, would not be perfected. Nor, if it were (the standard), is there any such firmness in our senses or imagination, as to determine when such an order is violated or preserv ' d. The original standard of a right line is in reality nothing but a certain general appearance. (T52) 62. In the Enquiries, Hume continues to hold that notions essential to geometry, for example, equality, right line, and so on, are sensibles. But they are no longer generic appearances. They are determinate. The great advantage of the mathematical sciences above the moral consists in this, that the ideas of the former, being sensible, are always clear and determinate... even when no definition is employed, the object itself may be presented to the senses, and by that means be steadily and clearly apprehended. 2 In addition, geometry is no longer merely the science of measurement. The truths of Euclid, Hume holds, would remain truths even if there were no figures in nature. Though there never were a circle or triangle in nature, the truths demonstrated by Euclid would for ever retain their certainty and evidence. (EHU25) Professor Zabeeh, in his commentary on Hume, holds that Hume did not mean to imply that Euclid could dispense with the observation of figures. However, whenever possible Hume should be taken at his word: observation of figures is not a truth condition for propositions of geometry. A distinction must be drawn between discovery conditions and what Hume calls the "truth or evidence" of a geometric proposition. We may suppose that observation of figures is a discovery condition. But it is hardly a truth condition. The certainty, as opposed to the discovery, of geometric propositions does not depend on the existence in nature of any figure. I am mainly concerned, however, with Professor Zabeeh' s account of how, according to Hume, geometric propositions retain their certainty and evidence in the face of recalcitrant experience. Noting that Hume does not "fully explain," he gives the real reason for Hume's belief in the apodeictic certainty of mathematical truths. He appears to assume we never allow such truths to be controverted by empirical evidence. That is to say, if perchance we find, by measurement, that the sum of the angles of a Euclidean triangle 63. does not equal 180 degrees, either we say that we measured wrongly or we say that the triangle we have been measuring is not Euclidean.4 This formulation of Hume's reason avoids... (shrink)

Just before the Scientific Revolution, there was a "Mathematical Revolution", heavily based on geometrical and machine diagrams. The "faculty of imagination" (now called scientific visualization) was developed to allow 3D understanding of planetary motion, human anatomy and the workings of machines. 1543 saw the publication of the heavily geometrical work of Copernicus and Vesalius, as well as the first Italian translation of Euclid.

According to major Latin dictionaries, the word radius is attested as a terminus technicus for the geometrical concept ‘radius’ in Cicero’s Timaeus 17. In this study, however, it is argued that there is good reason to believe that Cicero did not use the word in this sense, but in a metaphorical expression in which radius mainly carries the well-attested sense of ‘rod ’: paribus radiis attingi literally = ‘to be touched by equal rods’, that is to say, ‘to be equidistant’. (...) The first and only convincing attestation of radius in the sense of ‘radius ’ in ancient Latin literature is found in Calcidius’ Commentary on the Timaeus 59. It is suggested that Calcidius was influenced by Cicero’s translation and consequently adopted the word radius; however, its technical sense of ‘radius’ was coined, deliberately or not, by Calcidius himself. As there are no other convincing attestations of this sense of the word in ancient Latin, not even in geometrical texts, it is suggested that the word radius never became a commonly accepted terminus technicus for radius in antiquity. (shrink)

Spherical geometry studies the sphere not simply as a solid object in itself, but chiefly as the spatial context of the elements which interact on it in a complex three-dimensional arrangement. This compels to establish graphical conventions appropriate for rendering on the same plane—the plane of the diagram itself—the spatial arrangement of the objects under consideration. We will investigate such “graphical choices” made in the Theodosius’ Spherics from antiquity to the Renaissance. Rather than undertaking a minute analysis of every particular (...) element or single variant, we will try to uncover the more general message each author attempted to convey through his particular graphical choices. From this analysis, it emerges that the different kinds of representation are not the result of merely formal requirements but mirror substantial geometrical requirements expressing different ways of interpreting the sphere and testify to different ways of reasoning about the elements that interact on it. (shrink)

Leibnizian-Newtonian calculus was a theory that dealt with geometrical objects; the figure continued to play one of the fundamental roles it had played in Greek geometry: it susbstituted a part of reasoning. During the eighteenth century a process of de-geometrization of calculus took place, which consisted in the rejection of the use of diagrams and in considering calculus as an 'intellectual' system where deduction was merely linguistic and mediated. This was achieved by interpreting variables as universal quantities and introducing (...) the notion of function, which replaced the study of curves. However, the emancipation of calculus from its basis in geometry was not comprehensive. In fact, the geometrical properties of curves were attributed de facto to functions and thus eighteenth-century calculus continued implicitly to use principles borrowed from geometry. There was therefore no transition to a purely syntactical theory based on axiomatically introduced terms, a shift which only took place subsequently in modern times. (shrink)

Showing that the arithmetic mean number of offspring for a trait type often fails to be a predictive measure of fitness was a welcome correction to the philosophical literature on fitness. While the higher mathematical moments of a probability-weighted offspring distribution can influence fitness measurement in distinct ways, the geometric mean number of offspring is commonly singled out as the most appropriate measure. For it is well-suited to a compounding process and is sensitive to variance in offspring number. The (...) geometric mean thus proves to be a predictively efficacious measure of fitness in examples featuring discrete generations and within- or between-generation variance in offspring output. Unfortunately, this advance has subsequently led some to conclude that the arithmetic mean is never a good measure of fitness and that the geometric mean should accordingly be the default measure of fitness. We show not only that the arithmetic mean is a perfectly reasonable measure of fitness so long as one is clear about what it refers to, but also that it functions as a more general measure when properly interpreted. It must suffice as a measure of fitness in any case where the geometric mean has been effectively deployed as a measure. We conclude with a discussion about why the mathematical equivalence we highlight cannot be dismissed as merely of mathematical interest. (shrink)

This article is a study of geometric constructions. We consider, as an illustration, the methods used for dividing the straight line into n equal parts (n-section). Architects and practicioners of classical Europe had at their disposal a broad range of geometric constructions: ancient ones were edited and translated, whereas new solutions were constantly published. The wide variety and reasons for selection of these geometric constructions are puzzling: the most widespread construction was not the simplest one. This article (...) wonders why so many constructions were used to solve the same problem and why tedious methods were used. It is argued that the practical conditions and scale at which the problem was tackled could account for such diversity. (shrink)

A focused review of the literature on reasoning suggests that mechanisms based upon contraries are of fundamental importance in various abilities. At the same time, the importance of contraries in the human perceptual experience of space has been recently demonstrated in experimental studies. Solving geometry problems represents an interesting case as both reasoning abilities and the manipulation of perceptual–figural aspects are involved.In this study we focus on perceptual changes in geometrical problem solving processes in order to understand whether (...) a mental manipulation in terms of opposites might help. Four conditions were studied, two of which concerned the search for contraries as an implicit or explicit strategy.Results demonstrated that contraries, when used explicitly in solution processes, constitute an effective heuristic: The number of correct solutions increased, less time was needed to find a solution and participants were oriented towards the use of perception-based solutions—not only wer.. (shrink)

The founder of both American pragmatism and semiotics, Charles Sanders Peirce is widely regarded as an enormously important and pioneering theorist. In this book, scholars from around the world examine the nature and significance of Peirce’s work on perception, iconicity, and diagrammatic thinking. Abjuring any strict dichotomy between presentational and representational mental activity, Peirce’s theories transform the Aristotelian, Humean, and Kantian paradigms that continue to hold sway today and, in so doing, forge a new path for understanding the centrality of (...) visual thinking in science, education, art, and communication. The essays in this collection cover a wide range of issues related to Peirce’s theories, including the perception of generality; the legacy of ideas being copies of impressions; imagination and its contribution to knowledge; logical graphs, diagrams, and the question of whether their iconicity distinguishes them from other sorts of symbolic notation; how images and diagrams contribute to scientific discovery and make it possible to perceive formal relations; and the importance and danger of using diagrams to convey scientific ideas. This book is a key resource for scholars interested in Perice’s philosophy and its relation to contemporary issues in mathematics, philosophy of mind, philosophy of perception, semiotics, logic, visual thinking, and cognitive science. (shrink)

Based on extensive research conducted by the authors, Reasoning and Sense Making in the Mathematics Classroom, Pre-K-Grade 2, is designed to help classroom teachers understand, monitor, and guide the development of students' reasoning and sense making about core ideas in elementary school mathematics. It describes and illustrates the nature of these skills using classroom vignettes and actual student work in conjunction with instructional tasks and learning progressions to show how reasoning and sense making develop and how instruction (...) can support students in that development. Students who can make sense of mathematical ideas can apply those ideas in problem solving, even in unfamiliar situations, and can use them as a foundation for future learning. Without them, students are reduced to rote learning, often experiencing frustration and failure. But what do reasoning and sense making during learning and teaching look like? Each chapter of Reasoning and Sense Making in the Mathematics Classroom, Pre-K-Grade 2 explores a different topic that young children encounter in mathematics, demonstrating with actual student work and classroom dialogue how their mathematical knowledge and reasoning ability move through "levels of sophistication" or learning progressions: After opening with a discussion of the nature of reasoning and sense making and their critical importance in developing mathematical thinking, chapter 1 examines how young students attempt to make sense of the concepts of place value and length measurement. Chapter 2 focuses on how early childhood instruction can engage students in mathematical reasoning while helping them construct a rich sense of number and operations. Chapter 3 identifies core algebraic ideas and shows how students can engage with these ideas in ways that not only deepen their understanding of arithmetic but also lays the foundation for the future study of algebra. Children's reasoning and sense making as they decompose and compose geometric shapes--including reasoning about area--is examined in chapter 4. The use of learning progressions to understand students' reasoning and to guide their sense making with appropriate teaching is also discussed. Not just a theoretical discussion, the book also provides specific suggestions for related instructional activities for each topic. Supplementary online resources can be accessed at NCTM's More4U website. Reasoning and Sense Making in the Mathematics Classroom, Pre-K-Grade 2 will be a valuable and practical addition to your professional library. (shrink)

Many types of everyday and specialized reasoning depend on diagrams: we use maps to find our way, we draw graphs and sketches to communicate concepts and prove geometrical theorems, and we manipulate diagrams to explore new creative solutions to problems. The active involvement and manipulation of representational artifacts for purposes of thinking and communicating is discussed in relation to C.S. Peirce’s notion of diagrammatical reasoning. We propose to extend Peirce’s original ideas and sketch a conceptual framework that delineates (...) different kinds of diagram manipulation: Sometimes diagrams are manipulated in order to profile known information in an optimal fashion. At other times diagrams are explored in order to gain new insights, solve problems or discover hidden meaning potentials. The latter cases often entail manipulations that either generate additional information or extract information by means of abstraction. Ideas are substantiated by reference to ethnographic, experimental and historical examples. (shrink)

We construct the Extended Relativity Theory in Born-Clifford-Phase spaces with an upper R and lower length λ scales (infrared/ultraviolet cutoff). The invariance symmetry leads naturally to the real Clifford algebra Cl (2, 6, R) and complexified Clifford Cl C (4) algebra related to Twistors. A unified theory of all Noncommutative branes in Clifford-spaces is developed based on the Moyal-Yang star product deformation quantization whose deformation parameter involves the lower/upper scale $$(\hbar \lambda / R)$$. Previous work led us to show from (...) first principles why the observed value of the vacuum energy density (cosmological constant) is given by a geometric mean relationship $$\rho \sim L_{\rm Planck}^{-2}R^{-2} = L_{P}^{-4} (L_{\rm Planck} / R)^{2} \sim 10^{-122}M_{\rm Planck}^4$$, and can be obtained when the infrared scale R is set to be of the order of the present value of the Hubble radius. We proceed with an extensive review of Smith’s 8D model based on the Clifford algebra Cl (1, 7) that reproduces at low energies the physics of the Standard Model and Gravity, including the derivation of all the coupling constants, particle masses, mixing angles,....with high precision. Geometric actions are presented like the Clifford-Space extension of Maxwell’s Electrodynamics, and Brandt’s action related to the 8D spacetime tangent-bundle involving coordinates and velocities (Finsler geometries). Finally we outline the reasons why a Clifford-Space Geometric Unification of all forces is a very reasonable avenue to consider and propose an Einstein-Hilbert type action in Clifford-Phase spaces (associated with the 8D Phase space) as a Unified Field theory action candidate that should reproduce the physics of the Standard Model plus Gravity in the low energy limit. (shrink)

Reasoning is not just following logical rules, but a large part of human reasoning depends on our expectations about the world. To some extent, non-monotonic logic has been developed to account for the role of expectations. In this article, the focus is on expectations based on actions and their consequences. The analysis is based on a two-vector model of events where an event is represented in terms of two main components – the force of an action that drives (...) the event, and the result of its application. Actions are modelled in terms of the force domain and the results are modelled with the aid of different domains for locations or properties of objects. As a consequence, the assumption that reasoning about causal relations should be made in terms of propositional structures becomes very unnatural. Instead, the reasoning will be based on the geometric and topological properties of causes and effects modelled in conceptual spaces. (shrink)

The question of what Descartes did and did not doubt in the Meditations has received a significant amount of scholarly attention in recent years. The process of doubt in Meditation I gives one the impression of a rather extreme form of skepticism, while the responses Descartes offers in the Objections and Replies make it clear that there is in fact a whole background of presuppositions that are never doubted, including many that are never even entertained as possible candidates of doubt. (...) This paper resolves the question of this undoubted background of rationality by taking seriously Descartes’ claim that he is carrying out demonstrations modeled after the great geometers. The rational order of geometrical demonstration demands that we first clear away previous demonstrations not proven with the certainty necessary for genuine science. This is accomplished by the method of doubt, which is only applied to the results of possible demonstrations. What cannot be doubted are the very concepts and principles employed in carrying out geometrical demonstration, which enable it to take place. It would be senseless to ask whether we can doubt the essential components of the structure through which questioning, doubting, and demonstration are made possible. (shrink)

In ?155 of his New Theory of Vision Berkeley explains that a hypothetical ?unbodied spirit? ?cannot comprehend the manner wherein geometers describe a right line or circle?.1The reason for this, Berkeley continues, is that ?the rule and compass with their use being things of which it is impossible he should have any notion.? This reference to geometrical tools has led virtually all commentators to conclude that at least one reason why the unbodied spirit cannot have knowledge of plane geometry is (...) because it cannot manipulate a ruler or a compass. In this article I will show that such an interpretation is flawed. I will instead argue that Berkeley's understanding of Euclidian geometry was based on Isaac Barrow's account of the foundations of geometry. On this view geometrical objects are conceived in terms of the idealized motion that generates the objects of geometry. Consequently, that what the unbodied spirit cannot do in this context is to form an idea of motion rather than being unable to handle geometrical tools. 1All references to Berkeley are from, A. A. Luce and T. E. Jessop (eds.), The Works of George Berkeley, Bishop of Cloyne (London: Thomas Nelson and Sons, Ltd., 1948) The following abbreviations are used: An Essay Towards A New Theory of Vision, section x = New Theory x; Philosophical Commentaries, entry x = Commentaries x; Part I of A Treatise concerning the Principles of Knowledge, section x = Principles x. All other references to Berkeley's works are of the form The Works of George Berkeley, Bishop of Cloyne, volume x, page y = Works, x, y. (shrink)