The main topic of this essay is symbolic mathematics or the method of symbolic construction, which I trace to the end of the sixteenth century when Franciscus Vieta invented the algebraic symbolism and started to use the word ‘symbolic’ in the relevant, non-ontological sense. This approach has played an important role for many of the great inventions in modern mathematics such as the introduction of the decimal place-value system of numeration, Descartes’ analytic geometry, and Leibniz’s (...) infinitesimal calculus. It was also central for the rigorization movement in mathematics in the late nineteenth century, as well as for the mathematics of modern physics in the 20th century.However, the nature of symbolic mathematics has been concealed and confused due to the strong influence of the heritage from the Euclidean and Aristotelian traditions. This essay sheds some light on what has been concealed by approaching some of the crucial issues from a historical perspective. Furthermore, I argue that the conception of modern mathematics as symbolic mathematics was essential to Wittgenstein’s approach to the foundations and nature of mathematics. This connection between Wittgenstein’s thought and symbolic mathematics provides the resources for countering the still prevalent view that he defended an uttrely idiosyncratic conception, disconnected from the progress of serious science. Instead, his project can be seen as clarifying ideas that have been crucial to the development of mathematics since early modernity. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Symbolic Mathematics and the Intellect Militant: On Modern Philosophy’s Revolutionary SpiritCarl PageWhat makes modern philosophy different? My question presupposes the legitimacy of calling part of philosophy “modern.” That presupposition is in turn open to question as regards its meaning, its warrant, and the conditions of its applicability. 1 Importance notwithstanding, such further inquiries all start out from the phenomenon upon which everyone agrees: philosophy running through Plato (...) and Aristotle looks significantly different from philosophy running from Descartes to Kant.My concern in this essay is with the phenomenon of the difference itself, rather than with the second-order questions associated with how properly to assign it historical meaning. I take the difference between ancient and modern philosophy to be as significant as differences in philosophy’s history can be: modern philosophy rests on a new interpretation of the nature and fulfillment of human reason, and disputes about the nature of human reason are the ultimate battles of philosophy. But the general thesis is not my main point. 2 The focus of this essay falls on what may be called the integrity of the phenomenon, on the specific interpretation of human reason that lends modern philosophy its peculiar face. [End Page 233]Modern philosophy’s strikingly revolutionary spirit is my point of departure. When Descartes writes in the first of his Meditations that “it was necessary, once in the course of my life, to demolish everything completely and start again right from the foundations if I wanted to establish anything at all in the sciences that was stable and likely to last,” 3 he reveals the same enthusiasm for total reform later found in Kant: “This attempt to alter the procedure which has hitherto prevailed in metaphysics, by completely revolutionizing it in accordance with the example set by the geometers and physicists, forms indeed the main purpose of this critique of pure speculative reason.” 4 How exactly did philosophy become so convinced that its central tradition—a sprawling, disorganized, ugly city, as Descartes has it in the Discourse (I:116)—needed razing to the ground in the interest of some rational town-planning? Moreover, the calls for revolution have not abated, despite contemporary disillusionment with both Cartesian rationalism and Enlightenment philosophy in general; they have grown more shrill. The confidence with which rationalism, foundationalism, universalism, logocentrism, Platonism, and so on are currently set at naught for the sake of contingency, particularity, and difference reveals the same revolutionary and totalizing spirit that marks the earlier phase of philosophy’s modernity. Such enthusiasm is reason’s freedom taken to an extreme. 5 What inspires this march of the intellect militant? What, if anything, justifies its hubristic self-assertions in the domain of philosophy? These are the questions I address.Descartes is commonly identified as the father of modern philosophy. While the full story of modern philosophy’s parentage is more complicated than this, it is fair to say that in Descartes self-consciousness of a new mode of doing philosophy emerges with a focus and revolutionary sense of purpose that caught philosophical imagination in his own time and continues to do so in ours. 6 Motifs of modern philosophy may be found in many places—Machiavelli, Hobbes, Francis Bacon, Nicholas of Cusa, Giordano Bruno, Jakob Boehme—nonetheless, Descartes’s intensely single-minded, even jealous advocacy commends itself to all but the most stubborn antiquarian mentality as modernity’s almost perfect philosophical representative. [End Page 234]That Descartes stands on a remarkable philosophical cusp is apparent in the contrast between the title and the subject matter of his most influential philosophical work: Meditationes de Prima Philosophiae (1641). To that point prima philosophia or First Philosophy had been construed as the metaphysics. It was not concerned with the critical question of how metaphysical sciences are possible and was not directly related to any doctrine of the human soul—except perhaps on the one point of the divinity of nous, the human soul’s highest part. In Descartes’s Meditations, on the other hand, the landscape has altered. Doubt, certainty, knowledge, the ego cogitans and its stream of representations are the new subject matter. What is first in philosophy is no longer what... (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)

Burt C. Hopkins presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of modern symbolic mathematics. Accounts of the philosophical origins of formalized concepts—especially mathematical concepts and the process of mathematical abstraction that generates them—have been paramount to the development of phenomenology. Both Husserl and Klein independently concluded that it is impossible to separate the historical origin of the thought that generates the basic concepts of (...) class='Hi'>mathematics from their philosophical meanings. Hopkins explores how Husserl and Klein arrived at their conclusion and its philosophical implications for the modern project of formalizing all knowledge. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used (...) to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

Burt C. Hopkins, The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein. Bloomington and Indianapolis: Indiana University Press. 2011. 592 pp. $49.95. ISBN 978-0-253-35671-...

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...) by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

Advances in modern mathematics indicate that progress in this field of knowledge depends mainly on culturally inflected imaginative intuitions, or intuitive imaginings—which mysteriously result in the growth of systems of symbolism that are often efficacious, although fallible and very likely evolutionary. Thus the idea that a trouble-free epistemology can be constructed out of an intuition-free mathematical naturalism would seem to be question begging of a very high order. I illustrate the point by examining Philip Kitcher’s attempt to frame an (...) empiricist philosophy of mathematics, which he calls “mathematical naturalism,” wherein he proposes to explain novelty in mathematics by means of the notion of ‘rational interpractice transitions,’ only to end with an appeal to science to supply a meaning for rationality. A more promising naturalistic approach is adumbrated by Noam Chomsky who begins with a straightforward acceptance of mind and language as ‘natural’ or concrete facts which bespeak the need for a linguistic faculty. This indicates in turn that there may also be a mathematical faculty capable of generating and exploiting the powers of mathematical symbolisms in a manner analogous to the linguistic faculty. (shrink)

Discovering the underlying mathematical expressions describing a dataset is a core challenge for artificial intelligence. This is the problem of symbolic regression. Despite recent advances in training neural networks to solve complex tasks, deep learning approaches to symbolic regression are underexplored. We propose a framework that leverages deep learning for symbolic regression via a simple idea: use a large model to search the space of small models. Specifically, we use a recurrent neural network to emit a distribution (...) over tractable mathematical expressions and employ a novel risk-seeking policy gradient to train the network to generate better-fitting expressions. Our algorithm outperforms several baseline methods (including Eureqa, the gold standard for symbolic regression) in its ability to exactly recover symbolic expressions on a series of benchmark problems, both with and without added noise. More broadly, our contributions include a framework that can be applied to optimize hierarchical, variable-length objects under a blackbox performance metric, with the ability to incorporate constraints in situ, and a risk-seeking policy gradient formulation that optimizes for best-case performance instead of expected performance. (shrink)

Symbolic logics tend to be too mathematical for the philosophers and too philosophical for the mathematicians; and their history is too historical for most mathematicians, philosophers and logicians. This paper reflects upon these professional demarcations as they have developed during the century.

The canonical history of mathematics suggests that the late 19th-century “arithmetization” of calculus marked a shift away from spatial-dynamic intuitions, grounding concepts in static, rigorous definitions. Instead, we argue that mathematicians, both historically and currently, rely on dynamic conceptualizations of mathematical concepts like continuity, limits, and functions. In this article, we present two studies of the role of dynamic conceptual systems in expert proof. The first is an analysis of co-speech gesture produced by mathematics graduate students while proving (...) a theorem, which reveals a reliance on dynamic conceptual resources. The second is a cognitive-historical case study of an incident in 19th-century mathematics that suggests a functional role for such dynamism in the reasoning of the renowned mathematician Augustin Cauchy. Taken together, these two studies indicate that essential concepts in calculus that have been defined entirely in abstract, static terms are nevertheless conceptualized dynamically, in both contemporary and historical practice. (shrink)

Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.

The paper is divided into two parts. In the first one, I set forth a hypothesis to explain the failure of Husserl’s project presented in the Philosophie der Arithmetik based on the principle that the entire mathematical science is grounded in the concept of cardinal number. It is argued that Husserl’s analysis of the nature of the symbols used in the decadal system forces the rejection of this principle. In the second part, I take into account Husserl’s explanation of why, (...) albeit independent of natural numbers, the system is nonetheless correct. It is shown that its justification involves, on the one hand, a new conception of symbols and symbolic thinking, and on the other, the recognition of the question of “the formal” and formalization as pivotal to understand “the mathematical” overall. (shrink)

A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- (...) Soundness and completeness -- Why is first order logic "First Order"? (shrink)

Logical paradoxes – like the Liar, Russell's, and the Sorites – are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber uses “dialetheic paraconsistency” – a formal framework where some contradictions can be true without absurdity – as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, Weber (...) directly addresses a longstanding open question: how much standard mathematics can paraconsistency capture? The guiding focus is on a more basic question, of why there are paradoxes. Details underscore a simple philosophical claim: that paradoxes are found in the ordinary, and that is what makes them so extraordinary. (shrink)

In mathematics education, students' difficulties with negative numbers are well known. To explain these difficulties, researchers traditionally refer to obstacles raised by the concept of NEGATIVE NUMBERS itself throughout its historical evolution. In order to improve our understanding, I propose to take into consideration another point of view, based on Vygotsky's principles, which define a strong relationship between signs such as language or symbols and cognitive development. I show how it is of great interest to consider students' difficulties with (...) negatives in the light of the use of symbols, in particular the minus sign. I describe the results of an empirical study about students' strategies in solving arithmetical equations with negatives. My analysis shows that the problems raised by the presence of negatives in the equations are attributable to students' very restricted and often inadequate use of the minus sign, which prevents them from finding a negative solution or making sense of it. (shrink)

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly (...) the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

In the chapter of the Critique of Pure Reason entitled ‘The Discipline of Pure Reason in Dogmatic Use’, Kant contrasts mathematical and philosophical knowledge in order to show that pure reason does not (and, indeed, cannot) pursue philosophical truth according to the same method that it uses to pursue and attain the apodictically certain truths of mathematics. In the process of this comparison, Kant gives the most explicit statement of his critical philosophy of mathematics; accordingly, scholars have typically (...) focused their interpretations and criticisms of Kant’s conception of mathematics on this small section of the Critique. (shrink)

We introduce the question whether there are specific kinds of writing modalities and practices that facilitated the development of modern science and mathematics. We point out the importance and uniqueness of symbolic writing, which allowed early modern thinkers to formulate a new kind of questions about mathematical structure, rather than to merely exploit this structure for solving particular problems. In a very similar vein, the novel focus on abstract structural relations allowed for creative conceptual extensions in natural philosophy (...) during the scientific revolution. These preliminary reflections are meant to set the stage for the following contributions in this volume. (shrink)

This publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli. -/- The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103.

A growing body of research has shown that symbolic number processing relates to individual differences in mathematics. However, it remains unclear which mechanisms of symbolic number processing are crucial—accessing underlying magnitude representation of symbols (i.e., symbol‐magnitude associations), processing relative order of symbols (i.e., symbol‐symbol associations), or processing of symbols per se. To address this question, in this study adult participants performed a dots‐number word matching task—thought to be a measure of symbol‐magnitude associations (numerical magnitude processing)—a numeral‐ordering task (...) that focuses on symbol‐symbol associations (numerical order processing), and a digit‐number word matching task targeting symbolic processing per se. Results showed that both numerical magnitude and order processing were uniquely related to arithmetic achievement, beyond the effects of domain‐general factors (intellectual ability, working memory, inhibitory control, and non‐numerical ordering). Importantly, results were different when a general measure of mathematics achievement was considered. Those mechanisms of symbolic number processing did not contribute to math achievement. Furthermore, a path analysis revealed that numerical magnitude and order processing might draw on a common mechanism. Each process explained a portion of the relation of the other with arithmetic (but not with a general measure of math achievement). These findings are consistent with the notion that adults’ arithmetic skills build upon symbol‐magnitude associations, and they highlight the effects that different math measures have in the study of numerical cognition. (shrink)

The novel use of symbolism in early modern mathematics poses both philosophical and historical questions. How can we trace its development and transmission through manuscript sources? Is it intrinsically related to the emergence of symbolic algebra? How does symbolism relate to the use of diagrams? What are the consequences of symbolic reasoning on our understanding of nature? Can a symbolic language enable new forms of reasoning? Does a universal symbolic language exist which enable us to (...) express all knowledge? This book brings together a collection of papers that address all these and related questions which were initially posed at a conference held in Ghent (Belgium) in August 2009. Scholars working on philosophy of science, history of philosophy and history of mathematics provide an insight into the role and function of symbolic representations in the development of early modern mathematics. The papers cover the period from early abbaco arithmetic and algebra (14h century) up to Leibniz (early 18th century). (shrink)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...) the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. (shrink)

2014 Reprint of 1954 American Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. This two volume classic comprises two titles: "Patterns of Plausible Inference" and "Induction and Analogy in Mathematics." This is a guide to the practical art of plausible reasoning, particularly in mathematics, but also in every field of human activity. Using mathematics as the example par excellence, Polya shows how even the most rigorous deductive discipline is heavily dependent on techniques (...) of guessing, inductive reasoning, and reasoning by analogy. In solving a problem, the answer must be guessed at before a proof can be given, and guesses are usually made from a knowledge of facts, experience, and hunches. The truly creative mathematician must be a good guesser first and a good prover afterward; many important theorems have been guessed but no proved until much later. In the same way, solutions to problems can be guessed, and a god guesser is much more likely to find a correct solution. This work might have been called "How to Become a Good Guesser."-From the Dust Jacket. (shrink)