This paper examines the Aristotelian roots of the mechanics of naval architecture, beginning with Mechanical Problems, through its various interpretations by Renaissance mathematicians including Vettor Fausto and Galileo at the Venice Arsenal, and culminating in the first synthetic works of naval architecture by the French navy professor Paul Hoste at the end of the seventeenth century.

We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...) with this account, we are ineluctably driven to introduce a highly constructive notion of (outer) measure based exclusively on the total magnitude of potentially infinite collections of line segments. The Paradox of Measure then consists in the proof that every finite or potentially infinite collection of points lacks magnitude with respect to this notion of measure. We observe that the Paradox of Measure, thus understood, troubled analysts into the 1880’s, despite their knowledge that the linear continuum is uncountable. The Paradox was ultimately resolved by Borel in his thesis of 1893, as a corollary to his celebrated result that every countable open cover of a closed line segment has a finite sub-cover, a result he later called the “First Fundamental Theorem of Measure Theory.” This achievement of Borel has not been sufficiently appreciated. We conclude with a metamathematical analysis of the resolution of the paradox made possible by recent results in reverse mathematics. (shrink)

We discuss the concept of a cardinal number and its history, focussing on Cantor's work and its reception. J'ay fait icy peu pres comme Euclide, qui ne pouvant pas bien >faire< entendre absolument ce que c'est que raison prise dans le sens des Geometres, definit bien ce que c'est que memes raisons. (Leibniz) 1.

La recherche historique dans le cours du dernier demi-siècle a amélioré notre connaissance des mathématiques de I 'Antiquité. Les textes en provenance d'Égypte et de Mésopotamie ont été mieux compris et leur interprétation a dépassé l'alternative sommaire entre empirisme et rationalisme. Le panorama offert par la science grecque s'est enrichi et diversifié: il n'est plus possible de le réduire à la seule théorie géométrique. Les principaux problèmes que posait son histoire ont été l'objet de discussions approfondies. À partir de là (...) des questions plus générales d'ordre épistémologique et philosophique sont soulevées. Y a-t-il un sens à chercher dans un lointain passé une « origine » unique des mathématiques? Quel rapport y at- il entre la forme des mathématiques dans une civilisation et la structure de la société? L'anthropologie culturelle peut-elle aider à interpréter la diversité et l'unité des mathématiques des divers peuples? À partir de quand et sous quelles conditions une histoire unique des mathématiques peut-elle commencer? (shrink)

The article examines Aristotle’s seminal discussion of the fallacy of begging the question, reconstructing its complex articulation within a variety of different, but related, contexts. I suggest that close analysis of Aristotle’s understanding of the fallacy should prompt critical reconsideration of the scope and articulation of the fallacy in modern discussions and usages, suggesting how begging the question should be distinguished from a number of only partially related argumentative faults.

This article proposes an interpretation of the chapters of theNicomachean Ethicsconcerning exchange and friendship. Rejecting approaches where Aristotle anticipates modern labour or need-based theories of value, the article claims that those notions of labour and need are required for a satisfactory interpretation of the most obscure passages of Book V. Finally, Aristotle's texts on exchange and friendship are related in such a way that the latter, since it is free from any political considerations, allows us to better understand the philosopher's (...) view on exchange. (shrink)

I present a systematic interpretation of the foundational purpose of constructions in ancient Greek geometry. I argue that Greek geometers were committed to an operationalist foundational program, according to which all of mathematics—including its entire ontology and epistemology—is based entirely on concrete physical constructions. On this reading, key foundational aspects of Greek geometry are analogous to core tenets of 20th-century operationalist/positivist/constructivist/intuitionist philosophy of science and mathematics. Operationalism provides coherent answers to a range of traditional philosophical problems regarding classical mathematics, such (...) as the epistemic warrant and generality of diagrammatic reasoning, superposition, and the relation between constructivism and proof by contradiction. Alleged logical flaws in Euclid can be interpreted as sound operationalist reasoning. Operationalism also provides a compelling philosophical motivation for the otherwise inexplicable Greek obsession with cube duplication, angle trisection, and circle quadrature. Operationalism makes coherent sense of numerous specific choices made in this tradition, and suggests new interpretations of several solutions to these problems. In particular, I argue that: Archytas’s cube duplication was originally a single-motion machine; Diocles’s cissoid was originally traced by a linkage device; Greek conic section theory was thoroughly constructive, based on the conic compass; in a few cases, string-based constructions of conic sections were used instead; pointwise constructions of curves were rejected in foundational contexts by Greek mathematicians, with good reason. Operationalism enables us to view the classical geometrical tradition as a more unified and philosophically aware enterprise than has hitherto been recognised. (shrink)

This paper aims to show that an examination of some passages in Aristotle’s work can contribute to the resolution of crucial problems related to the interpretation of ancient geometrical analysis. In this context, we will focus in particular on the famous passage of the Posterior Analytics in which Aristotle cryptically refers to the analysis practised by the geometers and we will show the fundamental importance of this passage for a correct understanding of ancient geometrical analysis.

This paper identifies ‘savage numbers’ – number-like or number-replacing concepts and practices attributed to peoples viewed as civilizationally inferior – as a crucial and hitherto unrecognized body of evidence in the first two decades of the Victorian science of prehistory. It traces the changing and often ambivalent status of savage numbers in the period after the 1858–1859 ‘time revolution’ in the human sciences by following successive reappropriations of an iconic 1853 story from Francis Galton's African travels. In response to a (...) fundamental lack of physical evidence concerning prehistoric men, savage numbers offered a readily available body of data that helped scholars envisage great extremes of civilizational lowliness in a way that was at once analysable and comparable, and anecdotes like Galton's made those data vivid and compelling. Moreover, they provided a simple and direct means of conceiving of the progressive scale of civilizational development, uniting societies and races past and present, at the heart of Victorian scientific racism. (shrink)

The Regress: Knowledge, we like to suppose, is essentially a rational thing: if I claim to know something, I must be prepared to back up my claim by statingmy reasons for making it;and if my claim is to be upheld, my reasons must begood reasons. Now suppose I know that Q; and let my reasons be conjunctively contained in the proposition that R. Clearly, I must believe that R ;equally clearly, I must know that R . Thus if I know (...) that Q, I know that R. But if I know that R, then I must have my reasons, R' for holding R; and, by the same argument, I mustknow that R'. And if R', then R”; and so on, ad infinitum. (shrink)

The Regress: Knowledge, we like to suppose, is essentially a rational thing: if I claim to know something, I must be prepared to back up my claim by statingmy reasons for making it;and if my claim is to be upheld, my reasons must begood reasons. Now suppose I know that Q; and let my reasons be conjunctively contained in the proposition that R. Clearly, I must believe that R ;equally clearly, I must know that R. Thus if I know that (...) Q, I know that R. But if I know that R, then I must have my reasons, R' for holding R; and, by the same argument, I mustknow that R'. And if R', then R”; and so on, ad infinitum. (shrink)

This article focusses on the generality of the entities involved in a geometric proof of the kind found in ancient Greek treatises: it shows that the standard modern translation of Greek mathematical propositions falsifies crucial syntactical elements, and employs an incorrect conception of the denotative letters in a Greek geometric proof; epigraphic evidence is adduced to show that these denotative letters are ‘letter-labels’. On this basis, the article explores the consequences of seeing that a Greek mathematical proposition is fully general, (...) and the ontological commitments underlying the stylistic practice. (shrink)

Dans un célèbre ouvrage surContemplation et Vie contemplative selon Platon, A.J. Festugière donnait de la dialectique platonicienne une interprétation selon laquelle celle-ci constituait une véritable expérience mystique possédant presque tous les traits de la contemplation chrétienne. La dialectique platonicienne y était présentée, surtout dans son acte final, comme une sorte d'extase, une union d'ordre mystique, un contact de l'âme perdue dans son objet, contact qui suscite en elle un sentiment qui dépasse tout l'ordre normal de la connaissance. Le Bien ou (...) l'Un en tant qu'objet dernier de l'ascension dialectique y était conçu comme quelque chose d'ineffable et d'indéfinissable. (shrink)

ArgumentThis paper argues for the viability of a different philosophical point of view concerning classical Greek geometry. It reviews Reviel Netz's interpretation of classical Greek geometry and offers a Deleuzian, post-structural alternative. Deleuze's notion of haptic vision is imported from its art history context to propose an analysis of Greek geometric practices that serves as counterpoint to their linear modular cognitive narration by Netz. Our interpretation highlights the relation between embodied practices, noisy material constraints, and operational codes. Furthermore, it sheds (...) some new light on the distinctness and clarity of Greek mathematical conceptual divisions. (shrink)

This historiographical study aims at introducing the category of “situated mathematics” to the case of Ancient Egypt. However, unlike Situated Learning Theory, which is based on ethnographic relativity, in this paper, the goal is to analyze a mathematical craft knowledge based on concrete particulars and case studies, which is ubiquitous in all human activity, and which even covers, as a specific case, the Hellenistic style, where theoretical constructs do not stand apart from practice, but instead remain grounded in it.The historiographic (...) interpretation that we will give of situated mathematics is inscribed in a characterization of mathematical styles that focuses on the role of mathematical practice. This categorization describes three types of mathematization, where, on the one hand, type I represents the classical and dominant Hellenocentric approach, which seeks to generate a body of principles that could then be applied in other fields. On the other hand, types II and III represent two kinds of situated mathematics, a parametrized and a concrete one. Type II proceeds in the opposite direction from Type I describing an application of a previously obtained theory. That is, given a practice in any domain, it seeks to build a mathematical systematization a posteriori to explain said practice. Finally, type III starts from a concrete practice and develops another similar practice that explains analogically the relationship.Based on the typology adopted, we seek to describe a case study within ancient Egyptian mathematics, which reveals how it is possible to subsume it in the two types of situated mathematization II and III. The foregoing will allow to bridge the gap between theory and practice. (shrink)

This article is primarily concerned with Aristotle’s theory of the syllogistic, and the investigation of the hypothesis that logical symbolism and methodology were in these early stages of a geometrical nature; with the gradual algebraization that occurred historically being one of the main reasons that some of the earlier passages on logic may often appear enigmatic. The article begins with a brief introduction that underlines the importance of geometric thought in ancient Greek science, and continues with a short exposition of (...) Aristotle’s views and methods in regard to logic. We then offer an interpretation of syllogisms, as well as of the main proof methods that are utilized by Aristotle, in terms of diagrams that can be seen as analogous to those of Euclidean geometry; where the various proofs proceed by appropriately manipulating an initially drawn diagram, in a way parallel to constructions that occur in Euclid’s Elements. In this way, logic is presented as following, to a large degree, methodological tenets established by the practice of geometry. Finally, we present a diagrammatic decision procedure that allows one to directly read off the validity of syllogisms from a corresponding diagram, in a way such that no further manipulation of it is necessitated. (shrink)

In the eighth chapter of De Sophisticis Elenchis, Aristotle introduces a mode of sophistical refutation that constitutes an addition to the taxonomy of the earlier chapters of the treatise. The new mode is pseudo-scientific refutation, or “the [syllogism or refutation] which though real, [merely] appears appropriate to the subject matter”. Against the grain of its most commonly accepted reading, I argue that Aristotle is not concerned in SE 8 to establish that both the apparent refutations of SE 4–7 and pseudo-scientific (...) refutations issue in false conclusions. His concern rather is to provide a causal analysis of both classes of apparent refutation alike which will explain why both kinds of apparent refutation are sophistical – and whose solutions are therefore the task of no special science but of a dialectical σλλογιστιϰή τέχνη. I conclude my analysis with the observation that Aristotle exploits the results of SE 8 to fend off inSE 9, 10, and 11 respectively a triad of threats to the very existence of a τέχνη of the resolution of sophistical refutation. The three threats are: the impossibility of omniscience; the relativity of semantic beliefs; and the incapacity of a questioner ignorant of a science to expose the ignorance of a pretender to scientific expertise. (shrink)

La filosofía de las matemáticas de Aristóteles es una investigación acerca de tres asuntos diferentes pero complementarios: el lugar epistemológico de las matemáticas en el organigrama de las ciencias teoréticas o especulativas; el estudio del método usado por el matemático para elaborar sus doctrinas, sobre todo la geometría y la aritmética; y la averiguación del estatuto ontológico de las entidades matemáticas. Para comprender lo peculiar de la doctrina aristotélica es necesario tener en cuenta que su principal interés está en poner (...) en relación la matemática con la filosofía primera u ontología y la física, y salvaguardar el campo de conocimiento propio de cada una de ellas. (shrink)

…all men begin… by wondering that things are as they are…as they do about…the incommensurability of the diagonal of the square with the side; for it seems wonderful to all who have not yet seen the reason, that there is a thing which cannot be measured even by the smallest unit. But we must end in the contrary and, according to the proverb, the better state, as is the case in these instances too when men learn the cause; for there (...) is nothing which would surprise a geometer so much as if the diagonal turned out to be commensurable. (shrink)

Pour rendre compte de la première démonstration d’existence d’une grandeur irrationnelle, les historiens des sciences et les commentateurs d’Aristote se réfèrent aux textes sur l’incommensurabilité de la diagonale qui se trouvent dans les Premiers Analytiques, les plus anciens sur la question. Les preuves usuelles proposées dérivent d’un même modèle qui se trouve à la fin du livre X des Éléments d’Euclide. Le problème est que ses conclusions, passant par la représentation des fractions comme rapport de deux entiers premiers entre eux, (...) i.e. la proposition VII.22 des Éléments, ne correspondent pas aux écrits aristotéli­ciens. Dans cet article, nous proposons une nouvelle démonstration, conforme aux textes des Analytiques, fondés sur des résultats très anciens de la théorie du pair et de l’impair. Ne passant pas par la proposition VII.22, ni par aucune autre propriété établie par l’absurde, cette irrationalité apparaît comme le premier résultat que l’on ne pouvait établir par une autre méthode. L’importance de ce résultat, révélant un nouveau domaine mathématique, celui des grandeurs irrationnelles, rend compte de la centralité que cette forme de raisonnement acquiert alors, d’abord en mathématique, puis dans tout type de discours rationnel. À partir des conséquences qui suivent de cette nouvelle démonstration, on peut interpréter très simplement la leçon sur les irrationnels du passage mathématique figurant dans le Théétète de Platon (147d-148b), ce que nous ferons dans un article à paraître dans un prochain numéro. (shrink)

ArgumentA Catoptrica attributed to Euclid appears in manuscripts amongst treatises dealing with elementary astronomy. Despite this textual background, the treatise has always been read literally as a theory of mirrors, and its astronomical significance has gone unnoticed. However, optics, catoptrics, and astronomy appear strongly intermingled in sources such as, amongst others, Geminus, Theon of Smyrna, Plutarch and Cleomedes. If one compares the optical reasoning put forward in these sources to account for the formation of moonlight with arguments of Catoptrica, one (...) is able to shed new light on several principles and propositions of Catoptrica, some of which had been deemed corrupt, meaningless, and obscure. Moreover, the present analysis offers a glimpse at the context of a specific stage in the evolution of ancient catoptrics: Whether literally or by analogy, several of its results appear to have been set against a wider astronomical background, which explains the inclusion of Catoptrica in the group of texts loosely defined as “little astronomy.”. (shrink)

With the systematic aim of clarifying the phenomenon sometimes described as “the intellectual apprehension of first principles,” Descartes’ first principle par excellence is interpreted before the historical backcloth of Aristotle’s Posterior Analytics. To begin with, three “faces” of the cogito are distinguished: (1) the proto-cogito (“I think”), (2) the cogito proper (“I think, therefore I am”), and (3) the cogito principle (“Whatever thinks, is”). There follows a detailed (though inevitably somewhat conjectural) reconstruction of the transition of the mind from (1) (...) via (3) to (2) and back again to (3). What emerges is, surprisingly, a non-circular, non-logical, and ultimately non-mysterious process by which first principles implicitly contained in a complex intuition are gradually rendered explicit (and, if abstract, grasped in their abstract universality). This process bears a striking family resemblance to that intuitive induction (“grasping the universal in the particular”) which Aristotle scholars have distinguished from empirical forms of induction. (shrink)

Roger Bacon has often been victimized by his friends, who have exaggerated and distorted his place in the history of mathematics. He has too often been viewed as the first, or one of the first, to grasp the possibilities and promote the cause of modern mathematical physics. Even those who have noticed that Bacon was more given to the praise than to the practice of mathematics have seen in his programmatic statements an anticipation of seventeenth-century achievements. But if we judge (...) Bacon by twentieth-century criteria and pronounce him an anticipator of modern science, we will fail totally to understand his true contributions; for Bacon was not looking to the future, but responding to the past; he was grappling with ancient traditions and attempting to apply the truth thus gained to the needs of thirteenth-century Christendom. If we wish to understand Bacon, therefore, we must take a backward, rather than a forward, look; we must view him in relation to his predecessors and contemporaries rather than his successors; we must consider not his influence, but his sources and the use to which he put them. (shrink)

To justify certain steps of the computation developed in his Sand-Reckoner, Archimedes cites the following inequalities relative to the sides of right triangles: if of two right-angled triangles, the sides about the right angle are equal, while the other sides are unequal, the greater angle of those toward [sc. next to] the unequal sides has to the lesser a greater ratio than the greater line of those subtending the right angle to the lesser, but a lesser than the greater line (...) of those about the right angle to the lesser. That is, with reference to the two right triangles ABG, DEZ, where AG equals DZ and the angle at B is greater than that at E, ZE:GB < angle B:angle E < DE:AB. (shrink)

Biton’s Construction of Machines of War and Catapults describes six machines by five engineers or inventors; the fourth machine is a rolling elevatable scaling ladder, named sambukē, designed by one Damis of Kolophōn. The first sambukē was invented by Herakleides of Taras, in 214 BCE, for the Roman siege of Syracuse. Biton is often dismissed as incomprehensible or preposterous. I here argue that the account of Damis’ device is largely coherent and shows that Biton understood that Damis had built a (...) machine that embodied Archimedean principles. The machine embodies three such principles: (1) the proportionate balancing of the torques on a lever (from Plane Equilibria, an early work); (2) the concept of specific gravity or density (from Floating Bodies, a late work); and (3) the κοχλίας, i.e., a worm drive (invented ca 240 BCE), with the toothed wheel functioning as the horizontal axis of rotation of the elevated ladder. Moreover, the stone-thrower of Isidoros of Abydos (the second machine in Biton) also embodies the κοχλίας. (shrink)

I argue that intelligible matter, for Aristotle, is what makes mathematical objects quantities and divisible in their characteristic way. On this view, the intelligible matter of a magnitude is a sensible object just insofar as it has dimensional continuity, while that of a number is a plurality just insofar as it consists of indivisibles that measure it. This interpretation takes seriously Aristotle's claim that intelligible matter is the matter of mathematicals generally – not just of geometricals. I also show that (...) intelligible matter has the same meaning in all three places where it is explicitly invoked: Z.10, Z.11, and H.6. Since the H.6 passage involves a mathematical definition, this requires determining what the mathematician defines and how she defines it. I show that, as with natural scientific definitions, there must be a matterlike element in mathematical definitions. This element is not identical with, but rather refers to, intelligible matter. (shrink)

There is little agreement about Aristotle’s philosophy of geometry, partly due to the textual evidence and partly part to disagreement over what constitutes a plausible view. I keep separate the questions ‘What is Aristotle’s philosophy of geometry?’ and ‘Is Aristotle right?’, and consider the textual evidence in the context of Greek geometrical practice, and show that, for Aristotle, plane geometry is about properties of certain sensible objects—specifically, dimensional continuity—and certain properties possessed by actual and potential compass-and-straightedge drawings qua quantitative and (...) continuous. For their part, the objects of stereometry are potential sensible three-dimensional figures qua quantitative and continuous. (shrink)

A form of quantification logic referred to by the author in earlier papers as being 'ontologically neutral' still made use of the actual infinite in its semantics. Here it is shown that one can have, if one desires, a formal logic that refers in its semantics only to the potential infinite. Included are two new quantifiers generalizing the sentential connectives, equivalence and non-equivalence. There are thus new avenues opening up for exploration in both quantification logic and semantics of the infinite.

At Aristotle,MetaphysicsE.1, 1026a14, Schwegler’s conjectural emendation of the manuscript reading ἀχώριστα to χωριστά has been widely adopted. The objects of physical science are therefore here ‘separate’, or ‘independently existent’. By contrast, the manuscripts make them ‘not separate’, construed by earlier commentators as dependent on matter. In this paper, I offer a new defense of the manuscript reading. I review past defenses based on the internal consistency of the chapter, explore where they have left supporters of the emendation unpersuaded, and attempt (...) to strengthen their appeal. I challenge Schwegler’s central case, developed by Ross and others, that the construction μὲν ἀλλ’ οὐκ demands an implausible ‘logical antithesis’ between inseparability and mobility. This is arguably the fundamental obstacle to the manuscript reading, and counterexamples have not to date convinced emenders. I offer a new, systematic review of Aristotle’s use of the phrase, including relevant cases from theRhetoric, to show how its usual meaning in Aristotle supports the transmitted text; I also reply to possible objections. Finally, I explore the implications of this defense for the classification of the sciences in E.1. (shrink)

The starting point of the following considerations is a case study concerning the discovery of Halley's comet and the theoretical description of its path. It is shown that the set of objects involved in that system and the time interval during which their paths are observed are determined in a theory dependent way – thereby making use of the very theory later used for that system's theoretical description. Metatheoretical consequences this fact has with respect to the structuralist view of empirical (...) theories are discussed in detail. German Den Ausgangspunkt der folgenden Überlegungen bildet eine Fallstudie, die der Entdeckung und theoretischen Beschreibung des Halleyschen Kometen gewidmet ist. Es wird gezeigt, dass bei diesem System die Menge der involvierten Objekte und die Zeitintervalle, über die sich die Beobachtung der Bahnen dieser Objekte erstreckt, in theorieabhängiger Weise bestimmt werden – und zwar in Abhängigkeit von genau derjenigen Theorie, die anschließend zur theoretischen Beschreibung des Systems eingesetzt wird. Metatheoretische Konsequenzen, die sich aus diesem Umstand insbesondere für das strukturalistische Theorienkonzept ergeben, werden im Detail analysiert. (shrink)

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

Through a detailed analysis of the various modes of argumentation employed by Aristotle throughout his natural scientific works, I aim to contribute to the growing scholarship on the relation between Aristotle’s theory of science and his actual scientific practice. I challenge the standard reading of Aristotle as a methodological empiricist and show that he permits a variety of non-empirical arguments to support controversial theses in properly scientific contexts. Specifically, I examine his use of logical (logikôs) argumentation in the discussion of (...) mule sterility in Generation of Animals II 8, rational (kata ton logon) argumentation in his discussion of cardiocentrism throughout the biological works, and the method of division in Posterior Analytics II 13. (shrink)

Equally surprisingly, Descartes’s paranoid belief was shared by several contemporary mathematicians, among them Isaac Barrow, John Wallis and Edmund Halley. (Huxley 1959, pp. 354-355.) In the light of our fuller knowledge of history it is easy to smile at Descartes. It has even been argued by Netz that analysis was in fact for ancient Greek geometers a method of presenting their results (see Netz 2000). But in a deeper sense Descartes perceived something interesting in the historical record. We are looking (...) in vain in the writings of Greek mathematicians for a full explanation of what this famous method was. And I will argue for an answer to the question why this lacuna is there: Not because Greek geometers wanted to hide this method, but because they did not fully understand it. It is instructive to note the ambivalent attitude of the most rigorous mathematician of the period, Isaac Newton, to the method of analysis. He used it himself in his own mathematical work and in the expositions of that work. Yet when the mathematical push came to physical and cosmological shove, he formulated his Principia entirely in.. (shrink)

The history of the continuous inclusion of mathematics in liberal education in the West, from ancient times through the modern period, is sketched in the first two sections of this chapter. Next, the heart of this essay (Sects. 3, 4, 5, 6, and 7) delineates the central role mathematics has played throughout the history of Western civilization: not just a tool for science and technology, mathematics continually illuminates, interacts with, and sometimes challenges fields like art, music, literature, and philosophy – (...) subjects now universally considered to be liberal arts. Section 8 adds an international perspective to the contemporary liberal arts story by describing some instructive mathematical achievements from many cultures and societies. Finally, Sect. 9 addresses how contemporary mathematics teaching can use the history of mathematics viewed as a liberal art to enhance the appreciation and understanding of mathematics for all students. (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)

This paper aims to establish the importance of mathematical thinking in the work of Vilém Flusser. For this purpose highlights the concept of escalation of abstraction with which the Czech German philosopher finishes by reversing the top of the traditional pyramid of knowledge, we know from Plato and Aristotle. It also assumes the implicit cultural revolution in the refinement of the numerical element in a process of gradual abandonment of purely alphabetic code, highlights the new key code, together with the (...) technological and telematic culture and uses the concepts of game theory, of probability theory and computing to analize the society and culture. Of particular importance is the affirmation of a new kind of imagination, a projective one, ranging from the model to the world. Today's society and culture can´t be understood without resorting to the concepts and results coined and made ​​in the course of developing a type of thinking entirely dominated by the mathematics. The limits and boundaries of scientific disciplines overlap under number development, requiring reflection and rethinking traditional concepts of social and natural sciences. (shrink)