It is well known that reductio ad absurdum arguments raise a number of interesting philosophical questions. What does it mean to assert something with the precise goal of then showing it to be false, i.e. because it leads to absurd conclusions? What kind of absurdity do we obtain? Moreover, in the mathematics education literature number of studies have shown that students find it difficult to truly comprehend the idea of reductio proofs, which indicates the cognitive complexity of these constructions. In (...) this paper, I start by discussing four philosophical issues pertaining to reductio arguments. I then briefly present a dialogical conceptualization of deductive arguments, according to which such arguments are best understood as a dialogue between two participants—Prover and Skeptic. Finally, I argue that many of the philosophical and cognitive difficulties surrounding reductio arguments are dispelled or at least further clarified once one adopts a dialogical perspective. (shrink)

This paper surveys central justifications and approaches adopted by educators interested in incorporating history of mathematics into mathematics teaching and learning. This interest itself has historical roots and different historical manifestations; these roots are examined as well in the paper. The paper also asks what it means for history of mathematics to be treated as genuine historical knowledge rather than a tool for teaching other kinds of mathematical knowledge. If, however, history of mathematics is not subordinated to the ideas and (...) methods at the heart of the usual mathematical curriculum – algebraic equations, functions, derivatives, analytic geometry – if it becomes an essential subject for mathematics, then the attempt to find a place for history of mathematics requires refining our understanding of the nature of mathematics education itself. Thus, the paper asks not only how can history of mathematics be incorporated into mathematics education but also how the idea of mathematics education may need to be adjusted to accommodate history. (shrink)

The opening argument in the Metaphysics M.2 series targeting separate mathematical objects has been dismissed as flawed and half-hearted. Yet it makes a strong case for a point that is central to Aristotle’s broader critique of Platonist views: if we posit distinct substances to explain the properties of sensible objects, we become committed to an embarrassingly prodigious ontology. There is also something to be learned from the argument about Aristotle’s own criteria for a theory of mathematical objects. I hope to (...) persuade readers of Metaphysics M.2 that Aristotle is a more thoughtful critic than he is often taken to be. (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)

RésuméBien que l'existence d'une traduction arabe d'une section perdue en grec du commentaire de Proclus sur leTiméesoit connue depuis longtemps, ce texte n'avait fait jusqu'à présent l'objet d'aucune édition. Le présent article vise à remédier à ce manque, en proposant une édition critique du fragment arabe accompagnée d'une traduction anglaise annotée. L'étude qui l'accompagne, consacrée au contenu et à la structure du fragment transmis, montre qu'il présente, au plan formel, tous les éléments caractéristiques des commentaires de Proclus, quand bien même (...) sa concision et ses défauts soulèvent certains doutes quant à sa complétude. En forme d'appendice, l'article propose une analyse d'une lettre de Ḥunayn ibn Isḥāq négligée jusqu'à présent, jointe au fragment sous sa forme transmise. Loin de se borner à nous fournir des renseignements sur les origines du fragment de Proclus, cette lettre jette aussi quelque lumière sur la réception syriaque et arabe de certaines œuvres d'Hippocrate et de Galien, tout particulièrement sur le traitéDu régime dans les maladies aiguësd'Hippocrate et sur l'histoire de sa traduction arabe. (shrink)

A philosophical exploration is presented that considers entities such as atoms, electrons, protons, reasoned (in existing physics theories) by induction, to be other than universal building blocks, but artifacts of a sociological struggle that in elemental description is identical with that of all processes of matter and energy. In a universal context both men and materials, when stressed, struggle to accomplish/maintain the free state. The space occupied by cognition, inferred to be the result of the inequality of spaces, is an (...) integral component of both processes and process interpretation; arbitration space, ubiquitous throughout nature, occurred to a vast number of vastnesses, a manifestation of the existence of time dependent mass/number/amount, is argued to be located to the same judging criteria with which principles are determined for sociological purposes: the processes of mind are determined (excuse the pun) to occur as a free state that is reflectively equal to what is construed by the intellect as universe. Scientifically determined states are not free states. (shrink)

ExtractDuring the second half of the twentieth century an attention of historians of mathematics shifted to mathematics of the Late Antiquity and its subsequent development by mathematicians of the Arabic world. Many critical editions of works of mathematicians of the Hellenistic era have made their appearance, giving rise to a new, more detailed historical picture. Among these are the critical editions of the works of Diophantus, Apollonius, Archimedes, Pappus, Diocles, and others.Send article to KindleTo send this article to your Kindle, (...) first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.The Readings of Apollonius' On the Cutting off of a RatioVolume 22, Issue 1Ioannis M. Vandoulakis DOI: https://doi.org/10.1017/S0957423911000130Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. The Readings of Apollonius' On the Cutting off of a RatioVolume 22, Issue 1Ioannis M. Vandoulakis DOI: https://doi.org/10.1017/S0957423911000130Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. The Readings of Apollonius' On the Cutting off of a RatioVolume 22, Issue 1Ioannis M. Vandoulakis DOI: https://doi.org/10.1017/S0957423911000130Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

In this paper, I explore general features of the “architecture” (relations of white space, diagram, and text on the page) of medieval manuscripts and early printed editions of Euclidean geometry. My focus is primarily on diagrams in the Arabic transmission, although I use some examples from both Byzantine Greek and medieval Latin manuscripts as a foil to throw light on distinctive features of the Arabic transmission. My investigations suggest that the “architecture” often takes shape against the backdrop of an educational (...) landscape. The constraints of the economic marketplace and cultural aesthetic ideals also appear to play a role in determining the “architecture” of both manuscripts and early printed editions. (shrink)

Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With respect to the proofs in the Elements in particular, the received view is that Euclid's reliance on geometric diagrams undermines his efforts to develop a gap-free deductive theory. The central difficulty concerns the generality of the theory. How can inferences made from a particular diagrams license general mathematical results? After surveying the history behind the received (...) view, this essay provides a contrary analysis by introducing a formal account of Euclid's proofs, termed Eu. Eu solves the puzzle of generality surrounding Euclid's arguments. It specifies what diagrams Euclid's diagrams are, in a precise formal sense, and defines generality-preserving proof rules in terms of them. After the central principles behind the formalization are laid out, its implications with respect to the question of what does and does not constitute a genuine picture proof are explored. (shrink)

During the first phase of Greek mathematics a proof consisted in showing or making visible the truth of a statement. This was the epagogic method. This first phase was followed by an apagogic or deductive phase. During this phase visual evidence was rejected and Greek mathematics became a deductive system. Now epagoge and apagoge, apart from being distinguished, roughly according to the modern distinction between inductive and deductive procedures, were also identified on account of the conception of generality as continuity. (...) Epistemology of mathematics today only remembers the distinction, forgetting where they agreed, in this manner not only destroying the unity of the perceptual and conceptual but also forgetting what could be gained from Aristotelian demonstrative science. (shrink)

Einstein, like most philosophers, thought that there cannot be mathematical truths which are both necessary and about reality. The article argues against this, starting with prima facie examples such as "It is impossible to tile my bathroom floor with regular pentagonal tiles." Replies are given to objections based on the supposedly purely logical or hypothetical nature of mathematics.

The paper is an introduction to and an annotated translation of De quantitatibus, a mathematical manuscript by Johannes Kepler. Conceived as a philosophical treatise, the text collects, orders, and interprets the Aristotelian passages relevant to mathematics. Kepler thought of De quantitatibus as an introduction to Dasypodius's textbook, but by choosing the Aristotelian context, he distances himself from the tradition to which Dasypodius belonged. Dasypodius's works on mathematics, like Ramus's, were within the genre developed after the rediscovery of Proclus's commentary on (...) Euclid. Instead, Kepler took a position following the Aristotelian humanism of Schegk. While the dating of De quantitatibus is still uncertain, it is likely that Kepler wrote it not too long after his education in Tübingen, where he received instruction in natural philosophy under the influence of Schegk. In De quantitatibus, Kepler also exhibits some original views on mathematics within this humanist Aristotelian context. (shrink)

In this paper I show that proofs by contradiction were a serious problem in seventeenth century mathematics and philosophy. Their status was put into question and positive mathematical developments emerged from such reflections. I analyse how mathematics, logic, and epistemology are intertwined in the issue at hand. The mathematical part describes Cavalieri's and Guldin's mathematical programmes of providing a development of parts of geometry free of proofs by contradiction. The logical part shows how the traditional Aristotelean doctrine that perfect demonstrations (...) are causal demonstrations influenced the reflection on proofs by contradiction. The main protagonist of this part is Wallis. Finally, I analyse some epistemological developments arising from the Cartesian tradition. In particular, I look at Arnauld's programme of providing an epistemologically motivated reformulation of Geometry free of proofs by contradiction. The conclusion explains in which sense these epistemological reflections can be compared with those informing contemporary intuitionism. (shrink)

The individual soul is an ageless idea, attested in prehistoric times by the oral traditions of all cultures. But as far as we know, it enters history in ancient Egypt. I will begin with the individual soul in ancient Egypt, then recount the birth of the world soul in the Pythagorean community of ancient Greece, and trace it through the Western Esoteric Tradition until its demise in Kepler's writings, along with the rise of modern science, around 1600 CE. Then I (...) tell of the rebirth of the world soul recently, in new branches of mathematics. (shrink)

We consider the Geometria Practica of Christopher Clavius, S.J., a surprisingly eclectic and comprehensive practical geometry text, whose first edition appeared in 1604. Our focus is on four particular sections from Books IV and VI where Clavius has either used his sources in an interesting way or where he has been uncharacteristically reticent about them. These include the treatments of Heron’s Formula, Archimedes’ Measurement of the Circle, four methods for constructing two mean proportionals between two lines, and finally an algorithm (...) for computing nth roots of numbers. (shrink)

Descartes' image of the tree of knowledge from the preface to the French edition of the Principles of Philosophy is usually taken to represent Descartes' break with the past and with the fragmentation of knowledge of the schools. But if Descartes' tree of knowledge is analyzed in its proper context, another interpretation emerges. A series of contrasts with other classifications of knowledge from the seventeenth and eighteenth centuries raises some puzzles: claims of originality and radical break from the past do (...) not seem warranted. Further contrasts with Descartes' unpublished writings and with school doctrines lead to the ironic conclusion that, in the famous passage, Descartes is attempting to appeal to conventional wisdom and trying to avoid sounding novel. (shrink)

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

In his commentary on Euclid, Proclus says both that the first principle of geometry are self-evident and that they are hypotheses received from the single, highest, unhypothetical science, which is probably dialectic. The implication of this seems to be that a geometer both does and does not know geometrical truths. This dilemma only exists if we assume that Proclus follows Aristotle in his understanding of these terms. This paper shows that this is not the case, and explains what Proclus himself (...) means by definition, hypothesis, axiom, postulate, and the self-evident, and how geometry is a science that receives its principles from dialectic. (shrink)

An investigation of Proclus' logic of the syllogistic and of negations in the Elements of Theology, On the Parmenides, and Platonic Theology. It is shown that Proclus employs interpretations over a linear semantic structure with operators for scalar negations (hypemegationlalpha-intensivum and privative negation). A natural deduction system for scalar negations and the classical syllogistic (as reconstructed by Corcoran and Smiley) is shown to be sound and complete for the non-Boolean linear structures. It is explained how Proclus' syllogistic presupposes converting the (...) tree of genera and species from Plato's diairesis into the Neoplatonic linear hierarchy of Being by use of scalar hyper and privative negations. (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)

I aim to clarify the argument for space that Newton presents in De Gravitatione (composed prior to 1687) by putting Newton's remarks into conversation with the account of geometrical knowledge found in Proclus's Commentary on the First Book of Euclid's Elements (ca. 450). What I highlight is that both Newton and Proclus adopt an epistemic progression (or “order of knowing”) according to which geometrical knowledge necessarily precedes our knowledge of metaphysical truths concerning the ontological state of affairs. As I argue, (...) Newton's commitment to this order of knowing clarifies the interplay of the imagination and understanding in geometrical inquiry and illuminates how geometrical knowledge of space can lead to knowledge that space depends on and is related to God. In general, appreciating the Proclean elements of Newton's argument brings added light to the significance of geometrical inquiry for his general natural philosophical program and grants us insight into the philosophical grounding for the notion of absolute space that is presented in the Principia mathematica (1687). (shrink)

In 1932 Kolmogorov created a calculus of problems. This calculus became known to Deleuze through a 1945 paper by Paulette Destouches-Février. In it, he ultimately recognised a deepening of mathematical intuitionism. However, from the beginning, he proceeded to show its limits through a return to the Leibnizian project of Calculemus taken in its metaphysical stance. In the carrying out of this project, which is illustrated through a paradigm borrowed from Spinoza, the formal parallelism between problems, Leibnizian themes and Peircean rhemes (...) provides the key idea. By relying on this parallelism and by spreading the dialectic defined by Lautman with its ‘logical drama’ onto a Platonic perspective, we will attempt to obtain Deleuze's full calculus of problems. In investigating how the same Idea may be in mathematics and in philosophy, we will proceed to show how this calculus of problems qualifies not only as a paradigm of the Idea but also as the apex of transdiciplinarity. (shrink)