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)

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)

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)

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)

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)

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 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)

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)

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)

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)

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)

We propose a formalization of Meinong's theory of objects with the help of Hilbert's $\epsilon$-symbol and a paraconsistent logical system, with an eye towards its application in an axiomatization of the natural sciences.

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)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule (...) have divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (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)

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 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.

We consider certain linear orders with a function on them, and discuss for which types of functions the resulting structure is or is not computably categorical. Particularly, we consider computable copies of the rationals with a fixed-point free automorphism, and also ω with a non-decreasing function.

INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...

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)

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, (...) with additional coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general (...) method of approach called substantial factualism which the author asserts allows for the development of a more comprehensive philosophical position by not trivialising or distorting substantial facts of human knowledge. (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 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)

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the language of propositional logic and the language of first-order logic, including the notion of a formal deduction. The text also covers Tarski’s definition of truth and the computability (...) concept. It also provides coherent proofs of Godel’s completeness and incompleteness theorems. Moreover, the text was written with the student in mind and thus, it provides an accessible introduction to mathematical logic. In particular, the text explicitly shows the reader how to prove the basic theorems and presents detailed proofs throughout the book. Most undergraduate books on mathematical logic are written for a reader who is well-versed in logical notation and mathematical proof. This textbook is written to attract a wider audience, including students who are not yet experts in the art of mathematical proof. (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 (...) class='Hi'>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)

This mathematics textbook covers the fundamental ideas used in writing proofs. Proof techniques covered include direct proofs, proofs by contrapositive, proofs by contradiction, proofs in set theory, proofs of existentially or universally quantified predicates, proofs by cases, and mathematical induction. Inductive and deductive reasoning are explored. A straightforward approach is taken throughout. Plenty of examples are included and lots of exercises are provided after each brief exposition on the topics at hand. The text begins with a study of symbolic (...) logic, deductive reasoning, and quantifiers. Inductive reasoning and making conjectures are examined next, and once there are some statements to prove, techniques for proving conditional statements, disjunctions, biconditional statements, and quantified predicates are investigated. Terminology and proof techniques in set theory follow with discussions of the pick-a-point method and the algebra of sets. Cartesian products, equivalence relations, orders, and functions are all incorporated. Particular attention is given to injectivity, surjectivity, and cardinality. The text includes an introduction to topology and abstract algebra, with a comparison of topological properties to algebraic properties. This book can be used by itself for an introduction to proofs course or as a supplemental text for students in proof-based mathematics classes. The contents have been rigorously reviewed and tested by instructors and students in classroom settings. (shrink)

SYMBOLIC LOGIC. CHAPTER I. ON THE FORMS OF LOGICAL PROPOSITION. IT has been mentioned in the Introduction that the System of Logic which this work is ...

What is mathematics; Symbolic logic; A reviw of number and notation; Further review topics; Introduction to proofs; Direct proof I; Direct Proog II; Indirect proof; Analogy abnd geometric proof.

An introduction to Mathematical Logic using a unique pedagogical approach in which the students implement the underlying conceps as well as almost all the mathematical proofs in the Python programming language. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. The covered mathematical material includes Propositional Logic and first-order Predicate Logic, culminating in a proof of Gödel's Completeness Theorem. A "sneak peak" into Gödel's Incompleteness Theorem is also provided.

Geared toward undergraduate majors in math, computer science, and computer engineering, this text employs discrete mathematics to introduce basic knowledge of proof techniques. Exercises with hints. 2019 edition.

The turn of the last century was a key transitional period for the development of symbolic logic and scientific philosophy. The Peano school, the editorial board of the Revue de Métaphysique et de Morale, and the members of the Vienna Circle are generally mentioned as champions of this transformation of the role of logic in mathematics and in the sciences. The articles contained in this volume aim to contribute to a richer historical and philosophical understanding of these groups and research (...) areas in Italy, France and Austria. Specifically, the contributions focus on the following topics: a detailed investigation of the relation between structuralism and modern mathematics; different notions of definition and interpretation at the turn of last century; a closer understanding of the relation between the Vienna Circle, the Peano School and French philosophy in the first half of the twentieth century. (shrink)