L’auteur commence par rappeler la diversité d’aspects des textes mathématiques. Il s’appuie pour cela sur plusieurs études historiques récentes consacrées à l’analyse et aux conséquences de cette diversité dans le cas des mathématiques babyloniennes, grecques et chinoises. Il propose ensuite une analyse sémiotique de la transcription de l’un des textes latins par lesquels l’arithmétique fondée sur les chiffres arabes a été diffusée en Occident. La comparaison des résultats obtenus avec ceux de la même analyse appliquée à la traduction française qui (...) a récemment été donnée de ce texte lui permet de comparer l’évolution de la forme des textes mathématiques avec l’évolution des caractéristiques sémiotiques des nombres. Au cours de cet article, il propose un rapprochement entre le type de «mise en texte» adoptée et certains préjugés formalistes. (shrink)

L’auteur commence par rappeler la diversité d’aspects des textes mathématiques. Il s’appuie pour cela sur plusieurs études historiques récentes consacrées à l’analyse et aux conséquences de cette diversité dans le cas des mathématiques babyloniennes, grecques et chinoises. Il propose ensuite une analyse sémiotique de la transcription de l’un des textes latins par lesquels l’arithmétique fondée sur les chiffres arabes a été diffusée en Occident. La comparaison des résultats obtenus avec ceux de la même analyse appliquée à la traduction française qui (...) a récemment été donnée de ce texte lui permet de comparer l’évolution de la forme des textes mathématiques avec l’évolution des caractéristiques sémiotiques des nombres. Au cours de cet article, il propose un rapprochement entre le type de «mise en texte» adoptée et certains préjugés formalistes. (shrink)

Mathematics is often defined as a “universal” or “conventional” language. Yet, things may be not as simple as that. The theoretical lens of the semiosphere, with the related notions of context and spatial dynamics, within which the concept of cultural conflict is defined, provides a new framework for research in mathematics education to consider the cultural aspects of mathematical discourses. It is under this framework that learning awareness occurs, and teaching challenges are no longer conceived as independent of the content (...) taught (or to be taught). It is not a question of nullifying the cultural conflict, but exploiting the concept of asymmetry to make sense of mathematical discourse. Meeting foreign cultures leads to looking at one’s own practices. An example drawn from Danish numerals, juxtaposed with a mathematical discourse occurring in a sixth-grade classroom in Italy, delves into the practical application of the framework. (shrink)

The article examines the history of the development of the ideas of semiotics, from the works of St. Augustine to the present. The author shares the semiotic approach, which, judging by the literature, was formulated by Augustine, and semiotics as a scientific discipline, and in two versions, as an analogue of mathematics and natural science. The characteristic of the semiotic approach presented by Augustine in the scheme is given, which, the author shows, can be extended to various humanitarian objects. (...) Based on the semiotic approach and classifications of signs, various variants of semiotics as a science were created in the XIX and XX centuries. The difference of scientific semiotics is explained: semiotics solved different problems and tasks, semiotically comprehended different subject areas, proceeded from a different understanding of science. Nevertheless, in all variants of semiotics, relations between the components of the sign were established. The semiotics reform project proposed by G.P. Shchedrovitsky is considered, and what came of it. Based on the analysis of two cases, the author outlines another version of semiotics, which he calls "expressionism". Although the methodology proposed by him allows analyzing and comprehending a fairly wide range of expressions and works of art, the author suggests not to consider it universal. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A Humanist History of Mathematics?Regiomontanus's Padua Oration in ContextJames Steven ByrneIn the spring of 1464, the German astronomer, astrologer, and mathematician Johannes Müller (1436–76), known as Regiomontanus (a Latinization of the name of his hometown, Königsberg in Franconia), offered a course of lectures on the Arabic astronomer al-Farghani at the University of Padua. The only one of these to survive is his inaugural oration on the history (...) and utility of the mathematical arts.1 Regiomontanus tells his audience that the purpose of the oration is torelate first the origin of our arts, and among which nations they first began to be cultivated, in what way they were at last translated from various foreign tongues into Latin, which of our ancestors were famed in these disciplines, and to whom in our lifetimes recognition should be granted.2To this end, he offers a history of the quadrivial arts (arithmetic, geometry, music, and astronomy) and other important mathematical disciplines from [End Page 41] antiquity to his own time, praises their utility, and exhorts his audience to revive the languishing study of mathematics at Padua. Astrology, a discipline with which Regiomontanus himself was closely associated, is singled out for particular praise.Traditionally, Regiomontanus's Padua oration has been seen through the lens of its rather obvious humanism. In particular, the Padua oration has come to be understood as the rhetorical embodiment of the fifteenth-and-sixteenth-century revival of ancient (Greek) mathematics. Just as this revival is inextricable from the rise of humanism, so Regiomontanus has come to be seen as an exemplar of humanist mathematics.3 It is the aim of this paper to examine the Padua oration in the context both of contemporary humanist rhetoric and of Regiomontanus's own intellectual background in order to argue that, while the oration is stylistically consistent with humanist norms, the vision of mathematics presented in it is also deeply grounded in the university mathematical curriculum and in Regiomontanus's own reading of mathematical texts.Regiomontanus was educated primarily at the University of Vienna (he was also briefly at the University of Leipzig), where he enrolled in 1450, completed his baccalaureate in 1452 and became a master in 1457.4 He remained at Vienna until 1461, when the death of his friend and teacher Georg Peurbach prompted him to travel to Italy with his patron, Cardinal Bessarion.5 In Regiomontanus's day Vienna was probably the most important of the German universities, rivaled only by Prague, whose prestige had declined after it was stripped of its theology faculty in the aftermath of the Hussite Wars.6 The curriculum at the University of Vienna was modeled [End Page 42] after that of Paris, and Parisian scholars played a major role both in its founding in 1365 and in its re-establishment (this time with a theology faculty) in 1384.7Most importantly for the purposes of this paper, the Viennese mathematical curriculum of Regiomontanus's day included all of the traditional authorities taught at Paris in the fourteenth century. For arithmetic and algebra, various "algorisms" (prose or poetry instructions for carrying out arithmetical operations that often also included a small amount of number theory) were the basic texts, supplemented in the fourteenth century by the Quadripartitum numerorum of Jean de Murs. Jordanus de Nemorare's De numeris datis and al-Khwarizmi's Algebra were common sources for those engaged in more advanced studies (i.e., they were not normally the subject of ordinary lectures, but were readily available to interested students, and would perhaps have been the subject of occasional extraordinary lectures). Euclid's Elements, supplemented by the commentaries of Pappus and Campanus, was the central text for geometry, and a number of medieval texts on practical and speculative geometry were in circulation as well. For astronomy, the Sphere of Sacrobosco and the Theorica planetarum were the most commonly used teaching texts, sometimes supplemented by al-Farghani's Elements of Astronomy (the subject of Regiomontanus's Padua lectures). Advanced students could read numerous more specific treatises by Arabic and Latin authors. For optics, the Perspectiva communis of John Peckham was the most common basic text, with texts... (shrink)

Previous work has shown that spontaneous collapse of Fock states of identical fermions can be modeled as arising from random Rabi oscillations between two states. In this paper, a mathematical formalism is presented to incorporate this into many-body quantum field theory. This formalism allows for nonlocal collapse in the context of a relativistic system. While there is no absolute time-ordering of events, this approach allows for a coherent narrative of the collapse process.

A comprehensive reference work covering the entire field of semiotics, spanning theory, method and practice across numerous traditions, disciplines and movements.

In this paper I study the development of arithmetical cognition with the focus on metaphorical thinking. In an approach developing on Lakoff and Núñez, I propose one particular conceptual metaphor, the Process → Object Metaphor, as a key element in understanding the development of mathematical thinking.

The present paper is devoted to the relation between changing historical identity of Russian Formalists in the second half of the 1920s and their individual evolution — as writers, members of society, figures of culture. Formalists with their aggressive inclination to modernity are opposed here to structuralists, the bearers of a conservative, traditional ideology (relating to the idea of Revolution). It could be explained by the specific “romantic” identity of Russian Formalists whose purpose was to appropriate cultural values renamed and (...) renewed by their revolutionary theory. As a revolutionary ideology, formalism was imported from the West. But the Stalinist “Renaissance” made the idea of Revolution both in mind and society senseless at the end of the 1920s. That is why Russian Formalism lost its mainstream positions and began to work out a new, adapted form of intellectual resistance (private life, domestic literature) in the next decade. (shrink)

This paper objectively defines the three main contemporary philosophies of mathematics: formalism, logicism, and intuitionism. Being the three leading scientists of each: Hilbert (formalist), Frege (logicist), and Poincaré (intuitionist).

The essays in Rose Lore are a rendering of global cultural history, literature, and metaphysics, woven together in a collection that will be valuable to several disciplines. The essays present numerous qualities of the rose as a symbol with broad cultural, social, and historical meanings: from astrology, to the history of Catholicism, to the new anti-female genital mutilation global movement.

In lieu of an abstract, here is a brief excerpt of the content:Abraham, Planter of Mathematics":Histories of Mathematics and Astrology in Early Modern EuropeNicholas PopperFrancis Bacon's 1605 Advancement of Learning proposed to dedicatee James I a massive reorganization of the institutions, goals, and methods of generating and transmitting knowledge. The numerous defects crippling the contemporary educational regime, Bacon claimed, should be addressed by strengthening emphasis on philosophy and natural knowledge. To that end, university positions were to be created devoted to (...) "Artes and Sciences at large," rather than to the professions. High salaries would render lecturers "able and sufficient," undistracted from their task. Most famously, he argued that teaching of the "operatiue studie of many Scyences" should involve sophisticated technical education. The study of natural philosophy demanded not only books, but globes, astrolabes, and other "instrumentals." Most significantly, yielding reliable and meaningful knowledge from experiential gleanings required a rigorous system of deductive reasoning.The legacy of this colossal proposal has earned Bacon honored status as devisor of the scientific method.1 But Bacon's educational reform extended [End Page 87] beyond the methods of producing and transmitting knowledge. To facilitate more efficient "vse and administration" of the knowledge produced by his system, he also demanded a searching examination of the history of learning. This history would provide a mirror enabling his contemporaries to deploy the fruits of his method, by considering how learning in the past had been used successfully or ill-advisedly. Producing this history was the ambition of the Advancement, for he explained: "no man hath propounded to himselfe the generall state of learning to bee described and represented from age to age, as many have done the works of Nature, & the State civile and Ecclesiastical." He continued:And yet I am not ignorant that in divers particular sciences, as of the Iurisconsults, the Mathematicians, the Rhetoricians, the Philosophers, there are set down some smal memorials of the Schooles, Authors, and Bookes: and so likewise some barren relations touching the Invention of Arts, or usages. But a iust story of learning, containing the Antiquities and Originalls of Knowledges, & their Sects; their Inventions, their Traditions; their diverse Administrations and Managings; their Flourishings, their Oppositions, Decayes, Depressions, Oblivions, Removes, with the causes, and occasions of them, and all other events concerning learning, throughout the ages of the world; I may truly affirme to be wanting.2Bacon thus positioned himself not only as a Father of Modern Science, but also a Father of the History of Science.Following Bacon's suggestion, I will examine the "small memorials" of the history of mathematics—and particularly the mathematical art of astrology—in the sixteenth and seventeenth centuries. My conclusion, however, will not bear out Bacon's claims. Despite his frustration, Bacon was only one of many early modern scholars appraising the role of mathematics within history. And he devoted less energy than others to mapping its origins and tracing its transmissions between communities. In fact, Bacon's 1605 proposal for a history of mathematics was already out-of-date. Discussions [End Page 88] of the history of mathematics had been rife on the continent and in England throughout the previous century.3The evidence that Renaissance scholars inherited was sprawling and inconclusive. Several genealogies for mathematics could be found within classical Greek, Latin, and patristic references. One lineage claimed mathematics began in ancient Assyria, where the priestly caste, the Chaldeans, practiced a form of mathematics that seemed a corrupt admixture of philosophy, medicine, and religion, and relied heavily on observation of the heavens. Other scholars traced the origins to Egypt, claiming that the field developed to survey lands frequently flooded by the Nile. The real problem for ancient, late antique, and medieval scholars had not been the origins of mathematics, but what exactly mathematics were. For some, the term strictly referred to the quadrivium: geometry, arithmetic, astronomy, and music. But for others, mathematics' origins amongst the Egyptians or Chaldeans inextricably linked it to forms of astrological divination, augury, and necromancy that were unsavory to both Latin and Christian traditions. Mathematici were included alongside ghastly lists of Magi, Brahmins, Aruspices, Genethliaci, and other diabolic practitioners of idolatrous magic. These might or might not be distinguished from mathematici such as Pythagoras... (shrink)

Platonism is the most pervasive philosophy of mathematics. Indeed, it can be argued that an inarticulate, half-conscious Platonism is nearly universal among mathematicians. The basic idea is that mathematical entities exist outside space and time, outside thought and matter, in an abstract realm. In the more eloquent words of Edward Everett, a distinguished nineteenth-century American scholar, "in pure mathematics we contemplate absolute truths which existed in the divine mind before the morning stars sang together, and which will continue to exist (...) there when the last of their radiant host shall have fallen from heaven." In What is Mathematics, Really?, renowned mathematician Rueben Hersh takes these eloquent words and this pervasive philosophy to task, in a subversive attack on traditional philosophies of mathematics, most notably, Platonism and formalism. Virtually all philosophers of mathematics treat it as isolated, timeless, ahistorical, inhuman. Hersh argues the contrary, that mathematics must be understood as a human activity, a social phenomenon, part of human culture, historically evolved, and intelligible only in a social context. Mathematical objects are created by humans, not arbitrarily, but from activity with existing mathematical objects, and from the needs of science and daily life. Hersh pulls the screen back to reveal mathematics as seen by professionals, debunking many mathematical myths, and demonstrating how the "humanist" idea of the nature of mathematics more closely resembles how mathematicians actually work. At the heart of the book is a fascinating historical account of the mainstream of philosophy--ranging from Pythagoras, Plato, Descartes, Spinoza, and Kant, to Bertrand Russell, David Hilbert, Rudolph Carnap, and Willard V.O. Quine--followed by the mavericks who saw mathematics as a human artifact, including Aristotle, Locke, Hume, Mill, Peirce, Dewey, and Lakatos. In his epilogue, Hersh reveals that this is no mere armchair debate, of little consequence to the outside world. He contends that Platonism and elitism fit well together, that Platonism in fact is used to justify the claim that "some people just can't learn math." The humanist philosophy, on the other hand, links mathematics with geople, with society, and with history. It fits with liberal anti-elitism and its historical striving for universal literacy, universal higher education, and universal access to knowledge and culture. Thus Hersh's argument has educational and political ramifications. Written by the co-author of The Mathematical Experience, which won the American Book Award in 1983, this volume reflects an insider's view of mathematical life, based on twenty years of doing research on advanced mathematical problems, thirty-five years of teaching graduates and undergraduates, and many long hours of listening, talking to, and reading philosophers. A clearly written and highly iconoclastic book, it is sure to be hotly debated by anyone with a passionate interest in mathematics or the philosophy of science. (shrink)

The development and applicability of complex numbers is often cited in defence of the formalist philosophy of mathematics. This view is rejected through an examination of hamilton's development of the notion of complex numbers as ordered pairs of reals, And his later development of the quaternion theory, Which subsequently formed the basis of vector analysis. Formalism, By protecting informal assumptions from critical scrutiny, Constrained rather than encouraged the development of mathematics.

In their recent paper on “Challenges in mathematical cognition”, Alcock and colleagues (Alcock et al. [2016]. Challenges in mathematical cognition: A collaboratively-derived research agenda. Journal of Numerical Cognition, 2, 20-41) defined a research agenda through 26 specific research questions. An important dimension of mathematical cognition almost completely absent from their discussion is the cultural constitution of mathematical cognition. Spanning work from a broad range of disciplines – including anthropology, archaeology, cognitive science, history of science, linguistics, philosophy, and psychology – (...) we argue that for any research agenda on mathematical cognition the cultural dimension is indispensable, and we propose a set of exemplary research questions related to it. (shrink)

The present paper argues that ‘mature mathematical formalisms’ play a central role in achieving representation via scientific models. A close discussion of two contemporary accounts of how mathematical models apply—the DDI account (according to which representation depends on the successful interplay of denotation, demonstration and interpretation) and the ‘matching model’ account—reveals shortcomings of each, which, it is argued, suggests that scientific representation may be ineliminably heterogeneous in character. In order to achieve a degree of unification that is compatible with successful (...) representation, scientists often rely on the existence of a ‘mature mathematical formalism’, where the latter refers to a—mathematically formulated and physically interpreted—notational system of locally applicable rules that derive from (but need not be reducible to) fundamental theory. As mathematical formalisms undergo a process of elaboration, enrichment, and entrenchment, they come to embody theoretical, ontological, and methodological commitments and assumptions. Since these are enshrined in the formalism itself, they are no longer readily obvious to either the novice or the proficient user. At the same time as formalisms constrain what may be represented, they also function as inferential and interpretative resources. (shrink)

The triumph of scientific materialism in the Seventeenth Century not only bifurcated nature into matter and mind and primary and secondary qualities, as Alfred North Whitehead pointed out in Science and the Modern World. It divided science and the humanities. The core of science is the effort to comprehend the cosmos through mathematics. The core of the humanities is the effort to comprehend history and human nature through narratives. The life sciences can be seen as the zone in which (...) the conflict between these two very different ways of comprehending the world collide. Evolutionary theory as defended by Schelling developed out of natural history, but efforts have been made to formulate neo-Darwinism through mathematical models. However, it is impossible to eliminate stories from biology. As Stuart Kauffman argued, mathematical models attempt to pre-state all possibilities, but in evolution there can be adjacent possibles that can be embraced by organisms but cannot be pre-stated. To account for such actions it is necessary to tell stories. Mathematics provides analytic precision allowing long chains of deductions, but tends to deny temporal becoming and cannot do justice to the openness of the future, while narratives focus on processes and events, but lack exactitude that would provide precise deductions and predictions. In advancing mathematics adequate to life, Robert Rosen argued that living beings as anticipatory systems must have models of themselves, and strove to develop a form of mathematics able to model life itself. It has been convincingly argued that narratives are central to human self-creation and they are lived out before being explicitly told. Their models of themselves are first and foremost, stories or narratives. If this is the case, might not living beings as biological entities be characterized by proto-stories or narratives in their models of themselves? Biosemiotics, largely inspired by C.S. Peirce, provides a bridge between mathematical and narrative comprehension, conceiving them as different forms of semiosis. The study of life through biosemiotics could reveal how mathematics and narratives can be understood in relation to each other. This could have implications for how we understand science and the humanities and their relationship to each other. In this paper I will examine work in theoretical biology that might advance these efforts. (shrink)

It has been observed many times before that, as yet, there are no encompassing, integrated theories of mathematical practice available.To witness, as we currently do, a variety of schools in this field elaborating their philosophical frameworks, and trying to sort out their differences in the course of doing so, is also to be constantly reminded of the fact that a lot of epistemic aspects, extremely relevant to this task, remain dramatically underexamined. This volume wants to contribute to the stock of (...) studies filling this perceived lacuna. It contains papers by established, upcoming, as well as beginning scholars, covering general, metaphilosophical themes such as naturalism, semiotics, pragmaticism, or empiricism, next to more specific topics including the unity of mathematical theories, thruth-flow in mathematics, diagrammatic reasoning, erroneous argumentation, or numerical analysis. (shrink)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue that (...) for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (shrink)

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate (...) on Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (shrink)

Mathematics has had its share of historical shocks, beginning with the discovery by Hippasus the Pythagorean that the integers could not possibly be the elements of all things. Likewise with Kurt Gödel’s Incompleteness Theorems, which presented a serious (even fatal) obstacle to David Hilbert’s formalism, and Bertrand Russell’s own discovery of the paradox inherent in his intuitively simple set theory. More recently, Paul Benacerraf presented a problem for the foundations of arithmetic in “What Numbers Could Not Be” and “Mathematical Truth.” (...) Drawing out difficulties he found in mathematical realism, Benacerraf ended up proposing his own structuralist view of mathematics, according to which numbers could not be considered objects at all, but mere placeholders, wholly defined in terms of the structures within which they were found. While we do not intend to work through the intricacies of structuralism or other types of mathematical nonrealism, or even of any of the many other competing theories in contemporary philosophy of mathematics, our question concerns problems one finds in an earlier, and perhaps more naïve, view of mathematics which, though a realism of its own, begins with seemingly more problematic assumptions than these. Classically expressed, the question is: do numbers exist in the world, whether as substances or as attributes of things? These are among the things Benacerraf holds numbers could not be; still, we hope to dispel some of the confusion which might bring one prematurely to reject this account. Most precisely, we wish to address the problem whether there can be a science of arithmetic, as that term is understood by Aristotle and Thomas Aquinas. (shrink)

In his essay Thinking Colours and/or Machines Kittler hints at a key point in the emergence of modern European culture: the point at which ‘letters and numbers no longer coincide’. In this essay - first published in 2003 as Zahl und Ziffer - Kittler traces the split between numerals and numbers in sweeping historical detail. This is part of a much larger project, the aim of which is to think about technology, history and culture anew by considering the ways (...) in which ‘letters, numbers, images and tones’ have been differentiated and re-integrated by developing notation systems and media technologies. In this present essay, Kittler is concerned specifically with the question of number. His argument is that numbers and numerals have not always stood apart. In Old Hebrew and even nursery rhymes, for example, numbers are in fact words. This might seem like a banal observation, but for Kittler it is crucial as historically, mathematics proper only developed ‘in cultures in which numbers are present as numerals’, a development which entailed the transformation of numbers from signifiers (‘a matter of hearing’) into signifieds (‘a matter of reading and writing’) and which rested on the emergence of storage and transmission media that Kittler calls ‘the media of mathematics’. This connection between media and mathematics is explored through a wide range of philosophical sources: Plato, Philolaus, Aristotle and Aquinas, to name but a few. Kittler is fascinated by the inscription technologies that make mathematics possible, and which at the same time structure cultural forms as well as our bodily experience of them. As he puts it in a programmatic aside, ‘media studies only make sense’ if they focus on how ‘media make senses.’ Hence his focus on the Greek phonetic alphabet: for Kittler, its superiority has less to do with its ability to reproduce the spoken words of any language, than with the fact that at one point it was used to handle language, music, and mathematics - that is, one and the same set of signs was used to encode letters, tones and numbers. This, however, was not an abstract undertaking but developed in constant feedback with specific instruments or media, especially the lyre and the bow. It was here that fundamental concepts such as logoi were first developed that were subsequently distorted, misunderstood and deprived of their musico-technical origins by philosophers such as Aristotle. Kittler’s essay is thus also part of a larger cultural project, indebted in particular to Martin Heidegger, whose aim it is to ferret out the different, as yet unrevealed beginning of occidental culture. Moreover, while it was necessary for the evolution of modern mathematics that numbers receive a notation system of their own that will allow for ratios and decimals, among others, it is obvious that Kittler sees the computer (as first envisaged in Alan Turing’s mathematical modelling) as a return of universal alphabet that operates in constant feedback with a medium that shapes our senses: ‘In the Greek alphabet our senses were present - and thanks to Turing they are so once again.’. (shrink)

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on logic. (...) -/- Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. -/- Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study. (shrink)

Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer’s main interest, however, was in the foundation of (...) mathematics which led him to introduce, and then consolidate, constructive methods under the name ‘intuitionism’. This made him one of the main protagonists in the ‘foundation crisis’ of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict. It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century. (shrink)

In this paper, I present an argument that quantitative behavioural analysis can be used in zoosemiotic studies to advance the field of biosemiotics. The premise is that signs and signals form patterns in space and time, which can be measured and analysed mathematically. Whole organism sign processing is an important component of the semiosphere, with individual organisms in their Umwelten deriving signs from, and contributing to, the semiosphere, and vice versa. Moreover, there is a wealth of data available in the (...) traditional ethology literature which can be reinterpreted semiotically and drawn together to make a cohesive biosemiotic whole. For example, isolated signals, such as structural elements of birdsong, are attributed meaning by an interpreter, thus generating new ideas and hypotheses in both biology and semiotics. Furthermore, animal behaviour science has developed numerous test paradigms that with careful adaptation, could be suitable for use within a Peircean tripartite model, and thus give valuable insights into Umwelten of other species. In my conclusion, I suggest that by bringing together traditional ethology and biosemiotics, it is possible to use the Modern Synthesis to provide context to biosemiosis, thus pragmatic meaning to animal signals. On this basis, I propose updating the Modern Synthesis to a Semiotic Modern Synthesis, which focuses on whole-organism signals and their contexts, the latter being derived from neo-Darwinian theory and the ‘Umwelt’. Thus, there need be no dichotomy; the Modern Synthesis can successfully be integrated with biosemiotics. (shrink)

What does it look like when a group of scientists set out to re-envision an entire field of biology in symbolic and formal terms? I analyze the founding and articulation of Numerical Taxonomy between 1950 and 1970, the period when it set out a radical new approach to classification and founded a tradition of mathematics in systematic biology. I argue that introducing mathematics in a comprehensive way also requires re-organizing the daily work of scientists in the field. Numerical taxonomists sought (...) to establish a mathematical method for classification that was universal to every type of organism, and I argue this intrinsically implicated them in a qualitative re-organization of the work of all systematists. I also discuss how Numerical Taxonomy’s re-organization of practice became entrenched across systematic biology even as opposing schools produced their own competing mathematical methods. In this way, the structure of the work process became more fundamental than the methodological theories that motivated it. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)

Can there be two things that are completely indistinguishable? This simple question has raised numerous debates throughout the history of philosophy and science. The principle of the identity of indiscernibles claims that no two things can be completely indiscernible. But this thesis has been challenged in quantum physics and continues to be a hot topic in cutting edge areas of mathematics. The question has gained a renewed interest with the possibility of harnessing indistinguishability as a resource in quantum information (...) tasks. This theme issue is devoted to understanding identity and indistinguishability in philosophy and science, gathering an interdisciplinary group of experts in the field. It will allow readers of diverse disciplines to have an updated introduction to the topic. (shrink)

Over the past half-century, formal, machine-executable proofs have been developed for an impressive range of mathematical theorems. Formalists argue that such proofs should be seen as providing the fully worked out proofs of which mathematicians’ proofs are sketches. Nonformalists argue that this conception of the relationship of formal to informal proofs cannot explain the fact that formal proofs lack essential virtues enjoyed by mathematicians’ proofs, the fact, for example, that formal proofs are not convincing and lack the explanatory power of (...) their informal counterparts. Formal proofs do not yield mathematical insight or understanding, and they are not fruitful in the way that informal proofs can be, for instance, in suggesting novel approaches to old problems. And yet, there is a clear sense in which the formalist is right: Formal proofs do seem to make explicit what is otherwise taken for granted in the mathematician’s reasoning. Very recent work uncovers the source of the dilemma by showing that rigor does not entail formalism insofar as rigor, unlike formalism, is compatible with contentfulness. Mathematical proofs, were they to be recast in a Leibnizian language, at once a characteristica and a calculus, would be, or could be made to be, completely gap-free and hence machine checkable. Because as so recast they would be grounded in mathematical ideas, they would not be machine executable. It is on just this basis that a compelling account can be given of the fact that formal proofs are mostly irrelevant to mathematicians in their practice. (shrink)

The relational interpretation of quantum mechanics (RQM) has received a growing interest since its first formulation in 1996. Usually presented as an interpretational layer over the usual quantum mechanics formalism, it appears as a philosophical perspective without proper mathematical counterparts. This state of affairs has direct consequences on the scientific debate on RQM which still suffers from misunderstandings and imprecise statements. In an attempt to clarify those debates, the present paper proposes a radical reformulation of the mathematical framework of quantum (...) mechanics which is relational from the start: fact-nets. The core idea is that all statements about the world, facts, are binary entities involving two systems that can be symmetrically thought of as observed and observer. We initiate a study of the fact-nets formalism and outline how it can shed new relational light on some familiar quantum features. (shrink)

In the consistent histories formalism one specifies a family of histories as an exhaustive set of pairwise exclusive descriptions of the dynamics of a quantum system. We define branching families of histories, which strike a middle ground between the two available mathematically precise definitions of families of histories, viz., product families and Isham’s history projector operator formalism. The former are too narrow for applications, and the latter’s generality comes at a certain cost, barring an intuitive reading of the “histories”. (...) Branching families retain the intuitiveness of product families, they allow for the interpretation of a history’s weight as a probability, and they allow one to distinguish two kinds of coarse-graining, leading to reconsidering the motivation for the consistency condition. (shrink)

Mathematical practitioners in seventeenth-century London formed a cohesive knowledge community that intersected closely with instrument-makers, printers and booksellers. Many wrote books for an increasingly numerate metropolitan market on topics covering a wide range of mathematical disciplines, ranging from algebra to arithmetic, from merchants’ accounts to the art of surveying. They were also teachers of mathematics like John Kersey or Euclid Speidell who would use their own rooms or the premises of instrument-makers for instruction. There was a high degree of interdependency (...) even beyond their immediate milieu. Authors would cite not only each other, but also practitioners of other professions, especially those artisans with whom they collaborated closely. Practical mathematical books effectively served as an advertising medium for the increasingly self-conscious members of a new emerging professional class. Contemporaries would talk explicitly of ‘the London mathematicians’ in distinction to their academic counterparts at Oxford or Cambridge. The article takes a closer look at this metropolitan knowledge culture during the second half of the century, considering its locations, its meeting places and the mathematical clubs which helped forge the identity of its practitioners. It discusses their backgrounds, teaching practices and relations to the London book trade, which supplied inexpensive practical mathematical books to a seemingly insatiable public. (shrink)

The epistomology of the definition of number and the philosophical foundation of arithmetic based on a comparison between Gottlob Frege's logicism and Platonic philosophy (Syrianus, Theo Smyrnaeus, and others). The intention of this article is to provide arithmetic with a logically and methodologically valid definition of number for construing a consistent philosophical foundation of arithmetic. The – surely astonishing – main thesis is that instead of the modern and contemporary attempts, especially in Gottlob Frege's Foundations of Arithmetic, such a definition (...) is found in the arithmetic in Euclid's Elements. To draw this conclusion a profound reflection on the role of epistemology for the foundation of mathematics, especially for the method of definition of number, is indispensable; a reflection not to be found in the contemporary debate (the predominate ‘pragmaticformalism’ in current mathematics just shirks from trying to solve the epistemological problems raised by the debate between logicism, intuitionism, and formalism). Frege's definition of number, ‘The number of the concept F is the extension of the concept ‘numerically equal to the concept F”, which is still substantial for contemporary mathematics, does not fulfil the requirements of logical and methodological correctness because the definiens in a double way (in the concepts ‘extension of a concept’ and ‘numerically equal’) implicitly presupposes the definiendum, i.e. number itself. Number itself, on the contrary, is defined adequately by Euclid as ‘multitude composed of units’, a definition which is even, though never mentioned, an implicit presupposition of the modern concept ofset. But Frege rejects this definition and construes his own - for epistemological reasons: Frege's definition exactly fits the needs of modern epistemology, namely that for to know something like the number of a concept one must become conscious of a multitude of acts of producing units of ‘given’ representations under the condition of a 1:1 relationship to obtain between the acts of counting and the counted ‘objects’. According to this view, which has existed at least since the Renaissance stoicism and is maintained not only by Frege but also by Descartes, Kant, Husserl, Dummett, and others, there is no such thing as a number of pure units itself because the intellect or pure reason, by itself empty, must become conscious of different units of representation in order to know a multitude, a condition not fulfilled by Euclid's conception. As this is Frege's main reason to reject Euclid's definition of number (others are discussed in detail), the paper shows that the epistemological reflection in Neoplatonic mathematical philosophy, which agrees with Euclid's definition of number, provides a consistent basement for it. Therefore it is not progress in the history of science which hasled to the a poretic contemporary state of affairs but an arbitrary change of epistemology in early modern times, which is of great influence even today. (shrink)

The invention of symbolic algebra in the sixteenth and seventeenth centuries fundamentally changed the way we do mathematics. If we want to understand this change and appreciate its importance, we must analyze it on two levels. One concerns the compositional function of algebraic symbols as tools for representing complexity; the other concerns the referential function of algebraic symbols, which enables their use as tools for describing objects (such as polynomials), properties (such as irreducibility), relations (such as divisibility), and operations (such (...) as factorization). The reconstruction of both the compositional function and the referential function of algebraic symbols requires the use of different analytic tools and the taking of different temporal perspectives. In this chapter, we offer both: a reconstruction of the compositional function of algebraic symbols, and a reconstruction of their referential function. (shrink)

Humans and other animals have an evolved ability to detect discrete magnitudes in their environment. Does this observation support evolutionary debunking arguments against mathematical realism, as has been recently argued by Clarke-Doane, or does it bolster mathematical realism, as authors such as Joyce and Sinnott-Armstrong have assumed? To find out, we need to pay closer attention to the features of evolved numerical cognition. I provide a detailed examination of the functional properties of evolved numerical cognition, and propose that they prima (...) facie favor a realist account of numbers. (shrink)

I point out that conceptions of particles as mathematical, or quasi mathematical, entities have a longer history than Resnik notices. I argue that Resnik's attack on the distinction between mathematical and physical entities is not deep enough. The crucial problem for this distinction finds its locus in the numerical indeterminancy of elementary particles. This problem, traced by Heisenberg, emerges from the discovery of antimatter.

A personal account is presented for the present status of mathematical chemistry, with emphasis on non-numerical applications. These use mainly graph-theoretical concepts. Most computational chemical applications involve quantum chemistry and are therefore largely reducible to physics, while discrete mathematical applications often do not. A survey is provided for opinions and definitions of mathematical chemistry, and then for journals, books and book series, as well as symposia of mathematical chemistry.

This paper argues that Oswald Spengler has an innovative philosophical position on the nature and interrelation of mathematics and science. It further argues that his position in many ways parallels that of Martin Heidegger. Both held that an appreciation of the mathematical nature of contemporary science was critical to a proper appreciation of science, technology and modernity. Both also held that the fundamental feature of modern science is its mathematical nature, and that the mathematical operates as a projection that establishes (...) in advance the manner in which an object will present itself. They also assert that modern science, mathematics and metaphysics all have their roots in the ‘mathematical’, whose essence is itself nothing numerical. (shrink)

This book is a mathematical potpourri. Its material originated in classroom presentations, formal lectures, sections of earlier books, book reviews, or just things written by the author for his own pleasure. Written in a nontechnical fashion, this book expresses the unique vision and attitude of the author towards the role of mathematics in society. It contains observations or incidental remarks on mathematics, its nature, its impacts on education and science and technology, its personalities and philosophies. The book is directed towards (...) the math buffs of the world and, more generally, towards the literate and interested public. Philip Davis is known for his work in numerical analysis and approximation theory, as well as his investigations in the history and philosophy of mathematics. Currently a Professor Emeritus from the Division of Applied Mathematics at Brown University, Davis is known for his books both in the areas of computational mathematics and approximation theory and for books exploring certain questions in the philosophy of mathematics and the role of mathematics in society. (shrink)

ABSTRACT In a recent essay, Sören Stenlund tries to align Wittgenstein’s approach to the foundations and nature of mathematics with the tradition of symbolic mathematics. The characterization of symbolic mathematics made by Stenlund, according to which mathematics is logically separated from its external applications, brings it closer to the formalist position. This raises naturally the question whether Wittgenstein holds a formalist position in philosophy of mathematics. The aim of this paper is to give a negative answer to this question, defending (...) the view that Wittgenstein always thought that there is no logical separation between mathematics and its applications. I will focus on Wittgenstein’s remarks about arithmetic during his middle period, because it is in this period that a formalist reading of his writings is most tempting. I will show how his idea of autonomy of arithmetic is not to be compared with the formalist idea of autonomy, according to which a calculus is “cut off” from its applications. The autonomy of arithmetic, according to Wittgenstein, guarantees its own applicability, thus providing its own raison d’être. RESUMO Em um recente artigo, Sören Stenlund procura alinhar a abordagem de Wittgenstein em relação aos fundamentos e à natureza da matemática com a tradição da matemática simbólica. A caracterização da matemática simbólica feita por Stenlund, de acordo com a qual a matemática é logicamente separada de suas aplicações externas, a aproxima da posição formalista. Isto naturalmente levanta a questão de se Wittgenstein defende uma posição formalista em filosofia da matemática. O objetivo deste artigo é dar uma resposta negativa a esta questão, ao defender que Wittgenstein sempre pensou não haver separação lógica entre a matemática e suas aplicações. Atenção especial será dada às observações de Wittgenstein sobre a aritmética pertencentes ao seu período intermediário, pois é neste período que uma leitura formalista de seus escritos é mais sedutora. Mostrarei como sua ideia de autonomia da aritmética não deve ser comparada à ideia formalista de autonomia, segundo a qual um cálculo é “cortado” de suas aplicações. A autonomia da aritmética, para Wittgenstein, garante ela própria sua aplicabilidade, provendo, assim, sua própria raison d’être. (shrink)

This paper investigates the notion of semiotic scaffolding in relation to mathematics by considering its influence on mathematical activities, and on the evolution of mathematics as a research field. We will do this by analyzing the role different representational forms play in mathematical cognition, and more broadly on mathematical activities. In the main part of the paper, we will present and analyze three different cases. For the first case, we investigate the semiotic scaffolding involved in pencil and paper multiplication. For (...) the second case, we investigate how the development of new representational forms influenced the development of the theory of exponentiation. For the third case, we analyze the connection between the development of commutative diagrams and the development of both algebraic topology and category theory. Our main conclusions are that semiotic scaffolding indeed plays a role in both mathematical cognition and in the development of mathematics itself, but mathematical cognition cannot itself be reduced to the use of semiotic scaffolding. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:"Periwigged Heralds":Epistemology and Intertextuality in Early American CometographyChristopher JohnsonIn the winter of 1680-81 an enormous comet appeared in the nighttime skies of Europe and the Americas.1 This "blazing star" occasioned numerous treatises, poems, pamphlets, broadsides, ballads, engravings, and woodcuts. Evaluating this cometary copia, the historian of science, Pingré, in 1783 observes:The world was inundated with writings on these phenomena, on their nature, on their significations; for there were still (...) astrologers and cometomantics [Cométomantiens]... I believe that the languages were not even as confused at the Tower of Babel, as were the sentiments concerning this famous comet.2Pingré's belated impatience with the discursive flood of "astrologers and cometomantics" echoes of course the more general Cartesian objection to the confusion of words and things, a confusion that L'Académie des sciences and Royal Society dedicated themselves to eliminating. But the arduous nature of this effort in seventeenth-century Europe is exemplified by the numerous, often-conflicting interpretations of the 1618, 1665, and 1680 comets—to say nothing of the unprecedented "new stars" or novas of 1572 and 1604, which were often treated as cometary phenomena. In this essay, though, I will trace the contours of this epistemological confusion in the Americas—specifically in [End Page 399] Mexico, Peru, and New England—where European astronomical, astrological, theological, and literary discourses concerning comets were repeated and imitated but also where they were mediated by cultural concerns unique to the New World. More particularly, by focusing on some of the intertextual aspects of the interpretation of the 1680 comet in the Americas, I suggest that the hermeneutic of signs which dominated in one way or another almost every Early American cometography is indicative of broader epistemological and rhetorical tensions that characterize the period.Popular belief in late seventeenth-century Europe generally held that a comet's appearance heralded God's wrath. In Germany the terrible "Wunder-Komet" of 1680 precipitated the publication of nearly a hundred treatises, most of which echoed the motto on a medal struck by the State Library of Zurich: "The star threatens evil things. Have faith! God will set things right."3 The devout comet-watcher could thus look forward to imminent salvation, while sinners were urged to seize a final chance to repent. Still, even many of the learned who treated comets mathematically also embraced some form of theological hermeneutic. Both Kepler and, later in his life, Newton wished to retain comets as actors in God's eschatological drama.4 Though others, like Galileo and Gassendi, saw the comet as a natural event without semiotic significance, the more astrologically inclined continued to see it not just as a sign but as the effective cause itself of ill, or less often, good fortune.5 Stanislaw Lubieniecki's1667 Theatrum cometicum thus places one comet at Jerusalem's destruction and another at Christ's birth.6 In other words, the Theatrum, like most contemporary cometographies, is fueled by the logic of analogy, for a comet was generally read as a wondrous (but usually disastrous) sign linking the microcosm and macrocosm, or alternately, as a sign legible only by translating the Book of Nature with the lexicon provided by the Book of God, the Bible.7 When it came to comets, the epistemic shift that Foucault traces in The Order of Things, from a sixteenth-century symbolic or qualitative world-view to a seventeenth-century rationalist or quantitative one, was often slowly and/or incompletely achieved. Forced to speak of a comet's "beard" or "tail," even the less mantic cometographers found themselves interrogating the analogical nature of their discourse as much as the celestial objects that excited their curiosity. [End Page 400]Especially in France and to a lesser extent England the epistemological and rhetorical assumptions associated with the idea that comets heralded misfortune were being subject to increasing scrutiny if not sometimes also outright scorn. Most famously, Pierre Bayle in his Pensées diverses; Ecrites à un Docteur de Sorbonne, à l'occasion de la comète qui parut au mois de Decembre 1680, uses the comet as a kind of floating signifier which allows him to interrogate with proto-Enlightenment rigor all manner... (shrink)

Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.

The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays (...) in the history of logic and mathematics. They address such issues as the philosophical background of the development of symbolism in mathematical logic, Giuseppe Peano and his role in the creation of contemporary logical symbolism, Emil L. Post's works in mathematical logic and recursion theory, the formalist school in the foundations of mathematics and the algebra of logic in England in the 19th century. The history of mathematics and logic in Poland is also considered.This volume is of interest to historians and philosophers of science and mathematics as well as to logicians and mathematicians interested in the philosophy and history of their fields. (shrink)