The paper describes the conception of logic in Polish didactics authored by the Commission of National Education (KEN), an important educational institution of the European Enlightenment. Since the documents of the Commission refer to a vision of science presented by such influential works then as the Encyclopédie ou dictionnaire universel raisonné [Great French Encyclopedia], the paper compares the requirements from the Commission’s programmer with the encyclopaedic entries that entail logical problems broadly understood. It turns out that the Commission, following (...) the Encyclopédie, not only recommended a list of textbooks of logic but also shared its eclectic vision of logic. Although it is characteristic of modernity to take a relative approach to the importance of traditional logic, transformed into science on method, or literally an outline of epistemology, understood according to É. Condillac as a specific form of metaphysics, nevertheless some elements of logic were eclectically made valid. This logic, from the times of I. Kant, has been defined as formal logic. Practical logical skills were preferred to the knowledge of logical theories. At the same time attention was paid to the meaning of natural logical skills, and drills in logical reasoningwhen studying languages and mathematics. Despite preferences for the analytical method they also noticed the importance of synthetic method. It seems also that although the documents of the Commission do not say anything about the teaching of syllogistic issues, in didactic practice inspired by the Encyclopédie in the schools controlled by the Commission, the room was made to teach these problems. Condillac’s book was preferred in the schools controlled by the Commission, nevertheless, it was not, as in the case of other textbooks, a must on the reading list, an obligatory reading matter, therefore it was not published in Poland. The conception of logic presented by the Commission as modelled on the Encyclopédie managed to avoid the one-sidedness of Condillac’s approach, the approach that in fact eliminated the teaching of logic. (shrink)

The purpose of this research is to reflect on the role of the context environment of the contextualized situations of teaching school mathematics, which make significant contributions to the initial training of the mathematics teacher at the Universidad Popular del Cesar-Valledupar-Colombia, where the informants were the twelve students enrolled in the subjects of Elective III, Mathematics Didactics, History and Epistemology of Mathematics and Degree Work II, of the VI, VII, VIII and IX semesters respectively, of (...) the Bachelor's Degree in Mathematics program; assigned to the Faculty of Education, of the Universidad Popular del Cesar. The study was situated in the qualitative paradigm, under the epistemological approach of sociocultural constructivism, with the recapitulations of the foundations and orientations of the phenomenological-transcendental methodology. It is concluded that it is feasible to change the mathematics master class for a space where students can interact in the teaching-learning process, with the necessary knowledge to understand the messages of the context of the habitat of the subject who learns; and for this reason, the relationships of the trio: Teacher-School Mathematical Knowledge-Students and these with the context can always be placed in the context of mathematics education. (shrink)

How can we deal with the diversity of theories in mathematics education? This was the main question that led the authors of this book to found the Networking Theories Group. Starting from the shared assumption that the existence of different theories is a resource for mathematics education research, the authors have explored the possibilities of interactions between theories, such as contrasting, coordinating, and locally integrating them. The book explains and illustrates what it means to network theories; it presents (...) networking as a challenging but fruitful research practice and shows how the Group dealt with this challenge considering five theoretical approaches, namely the approach of Action, Production, and Communication (APC), the Theory of Didactical Situations (TDS), the Anthropological Theory of the Didactic (ATD), the approach of Abstraction in Context (AiC), and the Theory of Interest-Dense Situations (IDS). A synthetic presentation of each theory and their connections shows how the activity of networking generates questions at the theoretical, methodological and practical levels and how the work on these questions leads to both theoretical and practical progress. The core of the book consists of four new networking case studies which illustrate what exactly can be gained by this approach and what kind of difficulties might arise. (shrink)

The generative and governing "idea" of radical modernity is spawned by the technique of mathematical construction deployed and interpreted by the major early-modern thinkers and their legatees. ;Chapter I is a survey of this legacy as it appears in Vico, Kant, Fichte, Marx and Nietzsche and in the post-Nietzschean inheritance of contemporary philosophy, hyperbolic in the case of Derrida et al., elliptical, in the case of Carnap and Goodman. ;In Chapter II I try to show how the pre-modern mathematical tradition, (...) represented by Euclid, aimed at keeping the enticements of technical facility in check by means of didactic phronesis and how the post-Kantian interpretation of "existence" in Euclid as constructibility betrays his usage and self-understanding. I suggest that his focus in the postulates and elsewhere is on the undistorted iterability of graphic evocations of the items already intelligible thanks to the definitions or to the pre-understanding shared by the teacher and student. ;In Chapter III, devoted to Descartes the principal claims of modern constructivism are brought to sight. After examining Descartes' fabulous autobiography and its emphasis on self-origination, I turn to the style, contents and under-pinnings of the Geometry in an effort to extract from that text what he once referred to as "the metaphysics of geometry." The latter yields the conditions of successful problem-solving, i.e., dimensional homogeneity and kinematic continuity. These conditions, in turn, find their justification in Descartes' theses in the Rules concerning order, measure and the uniformity of "mental" activity. In the final section I apply the lessons learned from the Geometry and the Rules to one critical issue in the later Meditations, the transition from essence to existence. Descartes' "solution" generates a sequence of perplexities with Hobbes, Leibniz, Kant and other radical moderns continue to wrestle. (shrink)

In questo lavoro vengono sviluppate alcune considerazioni sulla funzione dell’istruzione nel presente contesto storico–culturale, in particolare riguardo alla matematica. Tra i molti aspetti che rendono l’epoca attuale diversa dalle precedenti ve ne sono due che più di altri invocano la necessità di un cambiamento nelle impostazioni didattiche. Il primo è una crisi che, per durata ed estensione, appare non più come dinamica di aggiustamento all’interno di un modello ma come irreversibile degenerazione del modello stesso. Il secondo riguarda la quantità di (...) informazione a cui l’individuo ha accesso e la facilità e velocità di tale accesso. Cambiamenti così profondi provocano una domanda: i modi e i contenuti della didattica devono rimanere gli stessi o occorre ripensare l’istruzione progettando cambiamenti altrettanto irreversibili quanto lo sono quelli dell’economia e della società? Queste considerazioni ci portano a una riflessione sul rapporto tra educazione e società e, più in generale, tra cultura e società. I prodotti scientifici e culturali sono dei codici cristallizzati come idee platoniche o piuttosto acquistano valenza e significato a partire dal contesto in cui nascono? Questa domanda poi ne richiama altre ancora sul rapporto tra individuo, sistema scolastico e società. In che misura il ruolo della scuola di standardizzare la cultura è compatibile con quello di favorire la creatività e le possibilità espressive dell’individuo? E cosa significa oggi dare all’individuo gli strumenti per sviluppare al meglio le proprie possibilità? L’insegnante dovrebbe osservare, ipotizzare, sperimentare, esplorare opportunità senza pregiudizi culturali. Egli sa che molte idee che sulla carta sembrano vincenti potrebbero rivelarsi inefficaci, ma ciò non deve costituire un alibi. Se infatti si possono nutrire dei dubbi su alcune proposte di innovazione, su una cosa vi è certezza: la didattica tradizionale ha ormai poco senso ed è totalmente inadeguata rispetto alle sfide di questi e dei prossimi anni. (shrink)

The field of mathematics education has been fashioned by a diversity of theoretical and philosophical perspectives. The purpose of this study is to add to this field an analysis of the philosophical position of critical realism. To achieve this objective, the study addresses the following questions: what does critical realism have to offer mathematics education? How may critical realism underlabour for this discipline? In addressing these questions, the study provides an overview of the basic theories and the possible (...) weak points of and arguments against critical realism and realism in general. It then draws upon the notion of a dialectical phenomenology to provide a sequence of Achilles' heel critiques of some of the perspectives that constitute broadly the theoretical landscape of mathematics education research. This critique proceeds with an analysis of didactically oriented empiricism, hermeneutics, pragmatism, postmodernism, traditionally recognized forms of constructivism, traditionally recognized theories of activity, and ethnomathematics. The last section summarizes the implications of philosophical underlabouring for a more beneficial science of mathematics education. (shrink)

The work done so far on the understanding of mathematical (proof) texts focuses mostly on logical and heuristical aspects; a proof text is considered to be understood when the reader is able to justify inferential steps occurring in it, to defend it against objections, to give an account of the “main ideas”, to transfer the proof idea to other contexts etc. (see, e.g., Avigad in The philosophy of mathematical practice, Oxford University Press, Oxford, 2008). In contrast, there is a rich (...) philosophical tradition dealing with the concept of understanding and interpreting texts, namely philosophical hermeneutics, represented, e.g., by Schleiermacher, Dilthey, Heidegger or Gadamer. In this tradition, “understanding” generally refers to the integration in a comprehensive (historical, existential, life-worldly,...) context. In this article, we take some first steps towards exploring the question how the ideas from philosophical hermeneutics presented in Gadamer’s “Truth and Method” apply to mathematical texts and what (if anything) can be learned from these for the didactics and presentation of mathematics. (shrink)

More or less explicitly inspired by the Aristotelian classification of arguments, a wide tradition makes a sharp distinction between argument and proof. Ch. Perelman and R. Johnson, among others, share this view based on the principle that the conclusion of an argument is uncertain while the conclusion of a proof is certain. Producing proof is certainly a major part of mathematical activity. Yet, in practice, mathematicians, expert or beginner, argue about mathematical proofs. This happens during the search for a proof, (...) then when the proof is presented and discussed by experts, and finally when it is taught or used in didactical contexts. (shrink)

The didactics of astronomy is a relatively young field with respect to that of other sciences. Historical issues have most often been part of the teaching of astronomy, although that often does not stem from a specific didactics. The teaching of astronomy is often subsumed under that of physics. One can easily consider that, from an educational standpoint, astronomy requires the same mathematical or physical strategies. This approach may be adequate in many cases but cannot stand as a (...) general principle for the teaching of astronomy. This chapter offers in a first part a brief overview of the status of astronomy education research and of the role of the history and philosophy of science (HPS) in astronomy education. In a second part, it attempts to illustrate possible ways to structure the teaching of astronomy around its historical development so as to pursue a quality education and contextualized learning. (shrink)

Part IV. About the author -- An amusing elementary example -- Annotated research bibliography -- Curriculum vitae -- List of articles -- Index -- Back Cover.

The indispensability argument, which claims that science requires beliefs in mathematical entities, gives a strong motivation for mathematical realism. However, mathematical realism bears Benacerrafian ontological and epistemological problems. Although recent accounts of mathematical realism have attempted to cope with these problems, it seems that, at least, a satisfactory account of epistemology of mathematics has not been presented. For instance, Maddy's realism with perceivable sets and Resnik's and Shapiro's structuralism have their own epistemological problems. This fact has been a reason (...) to rebut the indispensability argument and adopt mathematical nominalism. Since mathematical nominalism purports to be committed only to concretia, it seems that mathematical nominalism is epistemically friendlier than mathematical realism. However, when it comes to modal mathematical nominalism, this claim is not trivial. There is a reason for doubting the modal primitives that it invokes. In this thesis, this doubt is investigated through Chihara's Constructibility Theory. Chihara's Constructibility Theory purports not to be committed to abstracta by replacing existential assertions of the standard mathematics with ones of constructibility. However, the epistemological status of the primitives in Chihara's system can be doubted. Chihara might try to argue that the problem would dissolve by using possible world semantics as a didactic device to capture the primitive notions. Nonetheless, his analysis of possible world semantic is not plausible, when considered as a part of the project of nominalizing mathematics in terms of the Constructibility Theory. (shrink)

This volume brings together those papers of mine which may be of interest not only to various specialists but also to philosophers. Many of my writings in mathematics were motivated by epistemological considerations; some papers originated in the critique of certain views that at one time dominated the discussions of the Vienna Cirele; others grew out of problems in teaching fundamental ideas of mathematics; sti II others were occasioned by personal relations with economists. Hence a wide range of (...) subjects will be discussed: epistemology, logic, basic concepts of pure and applied mathematics, philosophical ideas resulting from geometric studies, mathematical didactics and, finally, economics. The papers also span a period of more than fifty years. What unifies the various parts of the book is the spirit of searching for the elarification of basic concepts and methods and of articulating hidden ideas and tacit procedures. Part 1 ineludes papers published about 1930 which expound an idea that Carnap, after a short period of opposition in the Cirele, fully adopted ; and, under the name "Princip/e of To/erance", he eloquently formulated it in great generality in his book, Logica/ Syntax of Language, through which it was widely disseminated. "The New Logic" in Chapter 1 furthermore ineludes the first report to a larger public of Godel's epochal discovery presented among the great logic results of ali time. Chapter 2 is a translation of an often quoted 1930 paper presenting a detailed exposition and critique of intuitionism. (shrink)

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage in cognitive processes that (...) make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

The ArgumentIn the minds of many, the Bourbakist trend in mathematics was characterized by pursuit of rigor to the detriment of concern for applications or didactic concessions to the nonmathematician, which would seem to render the concept of a Bourbakist incursion into a field of applied mathematices an oxymoron. We argue that such a conjuncture did in fact happen in postwar mathematical economics, and describe the career of Gérard Debreu to illustrate how it happened. Using the work of Leo (...) Corry on the fate of the Bourbakist program in mathematics, we demonstrate that many of the same problems of the search for a formalstructurewith which to ground mathematical practice also happened in the case of Debreu. We view this case study as an alternative exemplar to conventional discussions concerning the “unreasonable effectiveness” of mathematics in science. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Self-Reference:Theory and Didactics between Language and LiteratureSvend Erik Larsen (bio)Semiotics of Self-ReferenceLiterary metafiction constitutes the extreme case of self-referential texts. Therefore we can either discard it as generally irrelevant for the understanding of the cultural functions of texts, or use it as a point of departure for the formulation of both general and basic aspects of such functions. The position taken in this essay will opt for the (...) last possibility, although I know full well that already the term "metafiction" itself inevitably triggers a variety of skeptical reactions. Does it not just refer to some author's self-centered ruminations in the ivory tower? Or a topic for the nerds of literary studies with a taste for theoretical acrobatics? If so, in both cases following metafictional inclinations results in complete isolation from both the context of literature and its readers.However, one may also adopt the opposite position. The metafictional features of literature constitute one of the means by which literature reaches out to its context and also engages its readers. And critical endeavors are not necessarily devoid of anything but their own concepts. They may instead pave the way for methodological and didactic considerations that ultimately make difficult literature more accessible as a cultural phenomenon. Rather than dwelling upon subtle theoretical differences in the definition of what metafiction is, I will therefore engage in a methodological approach: what kind of questions can we put to the texts, and what kind of answers can we reasonably come up with when using metafiction in a methodological and didactic framework?I shall begin by proposing a set of definitions broader than metafiction that will allow me to zoom in on it as a relevant methodological concept that opens for didactic reflections. The notion of metalevel will constitute my starting point. In its broadest sense, a metalevel indicates a position outside a given field of objects or meanings and in relation to it. But rather than relating [End Page 13] to the content of the field in question, the metalevel is supposed to serve as a platform enabling us to observe and evaluate basic principles and function of the field. This is the role of, for example, the theory of science or of epistemology in relation to the particular knowledge of various sciences. We may call it an epistemological metalevel.In a more restricted sense, a metalevel comprises a level in relation to a given sign system — rather than to a given field of objects — from which we can observe and evaluate the basic principles defining the function, range and validity of the sign system. This is the role of, for example, musicology in relationto the acoustic arts, art criticism in relation to the visual arts, medicine in relation to bodily symptoms. We may call it an inter-semiotic metalevel.Finally, in its most restricted sense, a metalevel points toward a level inside a given sign system from which we can refer to this sign system itself,but not in relation to a given field of objects or in relation to another sign system. We may call this level an intra-semiotic metalevel. In this context, language is a unique system, which in this capacity shapes literature as a particular linguistic phenomenon. Only inside the semiotic system of language can the intra-semiotic metalevel have two different functions:The first function is as a science of language, linguistics, which is itself a verbal sign system. In verbal scientific descriptions and arguments we may scrutinize the natural or everyday language as a medium, that is, its basic linguistic structures and principles, without taking into consideration its content, which it may share with other media. Texts and pictures may refer to the same phenomenon even if such references do not overlap completely. All other sciences differ from linguistics in this respect, because they cannot deal scientifically with their non-verbal objects through the same non-verbal medium as that which makes up the object, but need the support of a linguistic metalevel or at least of signs that are linguistically anchored. Even mathematics or other strictly formal sign systems are based on natural languages. We may refer to... (shrink)

Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for (...) the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

The paper introduces Vailati’s life and works, investigating Vailati’s education, the relation to Peano and his school, and the interest for pragmatism and modernism. A detailed analysis of Vailati’s scientific and didactic activities, shows that he held, like Peano, a a strong interest for the history of science and a pluralist, anti-dogmatic and anti-foundationalist conception of definitions in mathematics, logic and philosophy of language. Vailati’s understanding of mathematical logic as a form of pragmatism is not a faithful interpretation of (...) Peano’s conception, but it is essential to understand the relations of Peano’s logic with other philosophical traditions and some epistemological aspects of Peano’s perspective, such as the search for a universal language. (shrink)

La présente étude questionne l’objectivité des mathématiques à travers l’analyse de la pratique mathématique, dans une modalité didactique. À travers des dialogues en classe (dans l’esprit de Lakatos), nous examinons la thèse, inspirée des travaux de Granger, que le développement de mathématiques formelles selon la méthode abstraite structuraliste ne se réduit pas à un langage mais engage un « contenu formel » qui se déploie dans une intuition symbolique. La didactique ou épistémologie expérimentale contribue ainsi à la philosophie par un (...) commentaire d’expériences et l’interprétation de significations, dans des regards croisés. (shrink)

In this paper we discuss visualizations in mathematics from a historical and didactical perspective. We consider historical debates from the 17th and 19th centuries regarding the role of intuition and visualizations in mathematics. We also consider the problem of what a visualization in mathematical learning can achieve. In an empirical study we investigate what mathematical conclusions university students made on the basis of a visualization. We emphasize that a visualization in mathematics should always be considered in its (...) proper context. (shrink)

Context: Constructivist teachers who find themselves working within an educational system that adopts a realist epistemology, may find themselves at odds with their own beliefs when they catch themselves paying closer attention to the knowledge authorities intend them to teach rather than the knowledge being constructed by their learners. Method: In the preliminary analysis of the mathematical learning of six low-performing Year 7 boys in a Maltese secondary school, whom one of us taught during the scholastic year 2014-15, we constructed (...) a conceptual framework which would help us analyze the extent to which he managed to be sensitive to constructivism in a typical classroom setting. We describe the development of the framework M-N-L as a viable analytical tool to search for significant moments in the lessons in which the teacher appeared to engage in what we define as “constructivist teaching” during mathematics lessons. The development of M-N-L is part of a research program investigating the way low-performing students make mathematical sense of new notation with the help of the software Grid Algebra. Results: M-N-L was found to be an effective instrument which helped to determine the extent to which the teacher was sensitive to his own constructivist beliefs while trying to negotiate a balance between the mathematical concepts he was expected to teach and the conceptual constructions of his students. Implications: One major implication is that it is indeed possible for mathematics teachers to be sensitive to the individual constructions of their learners without losing sight of the concepts that society, represented by curriculum planners, deems necessary for students to learn. The other is that researchers in the field of education may find M-N-L a helpful tool to analyze CT during typical didactical situations established in classroom settings. (shrink)

Sara Confalonieri presents an overview of Cardano's mathematical treatises and, in particular, discusses the writings that deal with cubic equations. The author gives an insight into the latest of Cardano's algebraic works, the De Regula Aliza (1570), which displays the attempts to overcome the difficulties entailed by the casus irreducibilis. Notably some of Cardano's strategies in this treatise are thoroughly analyzed. Far from offering an ultimate account of De Regula Aliza, by one of the most outstanding scholars of the 16th (...) century, the present work is a first step towards a better understanding. Contents Inter-Dependencies Between the Families of Cubic Equations in the Ars Magna Ars Magna, Chapters XI-XXIII and the Casus Irreducibilis Getting Acquainted with the De Regula Aliza The Method of the Splittings in Aliza, Chapter I Target Groups Academics, researcher and students in the fields of mathematics, the history of mathematics, and epistemology. The Author Sara Confalonieri graduated in Philosophy at the Università degli Studi di Milano, in Mathematics at the Université Paris 6, and in Epistemology at the Université Paris 7, where she also obtained the PhD degree in history of mathematics on cubic equations during the Renaissance. At present, she takes part in a project on history of the didactic of mathematics in the 18th century at the Bergische Universität in Wuppertal as a post-doctoral researcher. (shrink)

As part of the laboratory activities designed for the students of the second year of the Mathematical High School by the research group in Mathematics Education of the Department of Mathematics of the University of Salerno, the theme “From Archimedes and the oxen problem to Pell’s equation” has been designed. The course has not yet been delivered to students and in this paper the didactic path to be developed in the classroom will be described. The students initially will (...) retrace the various solution approaches proposed over the centuries. Subsequently, with a heuristic approach, they will tackle the resolution of the proposed problem by exploiting properties related to the theory of numbers. With the help of some schedules, provided by the teachers-tutors, they will conjecture and argue by answering questions aimed at stimulating didactic reflection. This workshop path involves processes such as exploring and conjecturing through the articulation of different ways of working (individual and in groups), manual and digital. (shrink)

A few days before his death my husband requested me to write a few words of thanks on the publication of this collection of articles. He had already prepared the greater part of the volume for the press and had also decided on the title Science a Road to Wisdom. His original selection was somewhat more comprehensive, which is still partly reflected in the Preface. Knowing how much he wished to see this collection published, I respectfully and lovingly fulfil his (...) request, thanking Else M. Barth and J. J. A. Mooij for their extensive and expert care in putting the final touches to the volume. ADDITION TO THE TRANSLATION Finally, I wish to thank Peter G. E. Wesly for his willingness to undertake the translation of the book into English. c. P. C. BETH-PASTOOR IX PREFACE In this republication of a number of philosophical studies I have refrained from including articles of a specialized nature on symbolic logic and the methodology of the exact sciences. There was no cause to include my contributions towards the didactics of mathematics and physics, nor did I consider it appropriate to reprint pieces of a predominantly polemical nature. I decided, however, that a very modest selection from my purely historical work would not be out of place. (shrink)

This is volume ten in Reidel's Vienna Circle Collection. Twenty-six papers written during the period 1921-1978 are included, together with a bibliography of the author's works, a list of his principal dates, and a list of his fields of research. Seven papers are on logic and foundations of mathematics, twelve have to do with the improvement of mathematical notation and the teaching of mathematics, four are concerned with philosophical ramifications of geometric ideas, one is memoir about the author's (...) relations with L. E. J. Brouwer during 1925-1929, and two treat issues in the foundations of economics. Nine of the selections date from 1939 and before and the rest from 1952 and after. (shrink)

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called "the mapping account". According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation ofthat system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence (...) of mathematical objects. In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)

Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the (...) graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics. (shrink)

The Ikhwan al-Safa (Brethren of Purity), the anonymous adepts of a tenth-century esoteric fraternity based in Basra and Baghdad, hold an eminent position in the history of science and philosophy in Islam due to the wide reception and assimilation of their monumental encyclopaedia, the Rasa'il Ikhwan al-Safa (Epistles of the Brethren of Purity). This compendium contains fifty-two epistles offering synoptic accounts of the classical sciences and philosophies of the age; divided into four classificatory parts, it treats themes in mathematics, (...) logic, natural philosophy, psychology, metaphysics, and theology, in addition to didactic fables. Epistles 32 to 36 comprise the first five treatises in the third division of the Rasa'il, on the sciences of the soul and intellect. Combining Islamic revelation with Hellenistic philosophy, the Ikhwan delineate herein their metaphysical system. Epistles 32 and 33 present adaptations of the Pythagorean doctrines, and of Neo-Platonist leitmotifs, whereby a numerical analogy is applied to the unique and transcendent God, or the One, from whom all existence emanates. Epistle 34 takes up the pervasive theme of the correspondence between microcosm and macrocosm, situating the human being as the central link between the celestial and terrestrial realms. In Epistle 35, we find an explanation of the intellectual faculties of the individual human soul, whose ultimate aim is ascension to the timeless reality of pure intellect. Finally, Epistle 36 presents itself as the astrological epistle par excellence of the Rasa'il; from the coming-to-be of worms, to the emergence of religions and empires, nothing in the sub-lunar sphere escapes the determining influence of the celestial cycles. (shrink)

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which (...) correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. (shrink)

The Ikhwan al-Safa (Brethren of Purity), the anonymous adepts of a tenth-century esoteric fraternity based in Basra and Baghdad, hold an eminent position in the history of science and philosophy in Islam due to the wide reception and assimilation of their monumental encyclopaedia, the Rasa'il Ikhwan al-Safa ( Epistles of the Brethren of Purity ). This compendium contains fifty-two epistles offering synoptic accounts of the classical sciences and philosophies of the age; divided into four classificatory parts, it treats themes in (...) mathematics, logic, natural philosophy, psychology, metaphysics, and theology, in addition to didactic fables. The Rasa'il constitutes a paradigmatic legacy in the canonization of philosophy and the sciences in mediaeval Islamic civilization, as well as having shown a permeating influence in Western culture. The present volume is the second of this definitive series, consisting of the very first critical edition of the Rasa'il in its original Arabic, complete with the first fully annotated English translation. Prepared by Professor Carmela Baffioni, Epistles 10-14 comprise the foundations of logic, which remained a fundamental component in pedagogy until the twentieth century. The Ikhwan treat the Isagoge and the larger part of the Organon , both of which were circulating through the Islamic world at that time, as they set about detailing the ten categories of existents, the five predicables, and other such commonplaces of Aristotelian logic, including his seminal method of syllogistic inference. With the claim that logic is the noblest of man's arts, and man the noblest of creatures, the Ikhwan cast Aristotelian tropes in a spiritual light. (shrink)

Both Carnap and Quine made significant contributions to the philosophy of mathematics despite their diversedviews. Carnap endorsed the dichotomy between analytic and synthetic knowledge and classified certainmathematical questions as internal questions appealing to logic and convention. On the contrary, Quine wasopposed to the analytic-synthetic distinction and promoted a holistic view of scientific inquiry. The purpose of thispaper is to argue that in light of the recent advancement of experimental mathematics such as Monte Carlosimulations, limiting mathematical inquiry to the (...) domain of logic is unjustified. Robustness studies implemented inMonte Carlo Studies demonstrate that mathematics is on par with other experimental-based sciences. (shrink)

The narrative about the nineteenth century favored by many philosophers of mathematics strongly influenced by either logic or algebra, is that geometric intuition led real and complex analysis astray until Cauchy and Kronecker in one sense and Dedekind in another guided mathematicians out of the labyrinth through the arithmetization of analysis. Yet the use of geometry in most cases in nineteenth century mathematics was not misleading and was often key to important developments. Thus the geometrization of complex numbers (...) was essential to their acceptance and to the development of complex analysis; geometry provided the canonical examples that led to the formulation of group theory; and geometry, transformed by Riemann, lay at the heart of topology, which in turn transformed much of modern mathematics. Using complex numbers as my case study, I argue that the best way to teach students mathematics is through a repertoire of modes of representation, which is also the best way to make mathematical discoveries. (shrink)

Blending classic wisdom with over 100 pop culture references, Singh whimsically switches the lens in this book from the traditional society teaching math to a new and bold math teaching society. With charming buoyancy and intimacy, he takes us on an emotional and surprising journey through the deepest goldmine of mathematics—our personal happiness.

Although many agree that all teaching rests on a theory of knowledge, this is an in-depth exploration of the philosophy of mathematics for education, building on the work of Lakatos and Wittgenstein.

This volume offers a selection of the most interesting and important work from recent years in the philosophy of mathematics, which has always been closely linked to, and has exerted a significant influence upon, the main stream of analytical philosophy. The issues discussed are of interest throughout philosophy, and no mathematical expertise is required of the reader. Contributors include W.V. Quine, W.D. Hart, Michael Dummett, Charles Parsons, Paul Benacerraf, Penelope Maddy, W.W. Tait, Hilary Putnam, George Boolos, Daniel Isaacson, Stewart (...) Shapiro, and Hartry Field. (shrink)

Discussions of the applicability of mathematics in the natural sciences have been flawed by failure to realize that there are multiple senses in which mathematics can be ‘applied’ and, correspondingly, multiple problems that stem from the applicability of mathematics. I discuss semantic, metaphysical, descriptive, and and epistemological problems of mathematical applicability, dwelling on Frege's contribution to the solution of the first two types. As for the remaining problems, I discuss the contributions of Hartry Field and Eugene Wigner. (...) Finally, I argue that there are epistemological problems concerning the applicability of mathematics that nobody in the philosophical community has yet confronted, though the problems are well known to physicists. (shrink)

Thirteen up-and-coming researchers in the philosophy of mathematics have been invited to write on what they take to be the right philosophical account of mathematics, examining along the way where they think the philosophy of mathematics is and ought to be going. A rich and diverse picture emerges. Some broader tendencies can nevertheless be detected: there is increasing attention to the practice, language and psychology of mathematics, a move to reassess the orthodoxy, as well as inspiration (...) from philosophical logic. (shrink)

The aim of this paper is to establish a phenomenological mathematical intuitionism that is based on fundamental phenomenological-epistemological principles. According to this intuitionism, mathematical intuitions are sui generis mental states, namely experiences that exhibit a distinctive phenomenal character. The focus is on two questions: what does it mean to undergo a mathematical intuition and what role do mathematical intuitions play in mathematical reasoning? While I crucially draw on Husserlian principles and adopt ideas we find in phenomenologically minded mathematicians such as (...) Hermann Weyl and Kurt Gödel, the overall objective is systematic in nature: to offer a plausible approach towards mathematics. (shrink)

Gilles Deleuze’s engagements with mathematics, replete in his work, rely upon the construction of alternative lineages in the history of mathematics, which challenge some of the self imposed limits that regulate the canonical concepts of the discipline. For Deleuze, these challenges provide an opportunity to reconfigure particular philosophical problems – for example, the problem of individuation – and to develop new concepts in response to them. The highly original research presented in this book explores the mathematical construction of (...) Deleuze’s philosophy, as well as addressing the undervalued and often neglected question of the mathematical thinkers who influenced his work. -/- In the wake of Alain Badiou’s recent and seemingly devastating attack on the way the relation between mathematics and philosophy is configured in Deleuze’s work, Simon Duffy offers a robust defence of the structure of Deleuze’s philosophy and, in particular, the adequacy of the mathematical problems used in its construction. By reconciling Badiou and Deleuze’s seeming incompatible engagements with mathematics, Duffy succeeds in presenting a solid foundation for Deleuze’s philosophy, rebuffing the recent challenges against it. -/- Simon B. Duffy is a Senior Lecturer in Philosophy at Yale-NUS College, Singapore, and Honorary Research Associate in the Department of Philosophy at the University of Sydney, Australia. He is the author of The Logic of Expression: Quality, Quantity, and Intensity in Spinoza, Hegel and Deleuze (2006). (shrink)

An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquiry and practice. He treats philosophical issues as they arise organically in mathematics, discussing such topics as platonism, realism, logicism, structuralism, formalism, infinity, and intuitionism in mathematical contexts. He organizes the book by mathematical themes--numbers, rigor, (...) geometry, proof, computability, incompleteness, and set theory--that give rise again and again to philosophical considerations. (shrink)

In contributing a foreword to this book I am complying with a wish my husband expressed a few days before his death. He had completed the manuscript of this work, which may be considered a companion volume to his book Formal Methods. The task of seeing it through the press was undertaken by Mr. J. J. A. Mooij, acting director of the Institute for Research in Foundations and the Philosophy of Science (Instituut voor Grondslagenonderzoek en Filoso:fie der Exacte Wetenschappen) of (...) the University of Amsterdam, with the help of Mrs. E. M. Barth, lecturer at the Institute. I wish to thank Mr. Mooij and Mrs. Barth most cordially for the care with which they have acquitted themselves of this delicate task and for the speed with which they have brought it to completion. I also wish to express my gratitude to Miss L. E. Minning, M. A., for the helpful advice she has so kindly given to Mr. Mooij and Mrs. Barth during the proof reading. C. P. C. BETH-PASTOOR VII PREFACE A few years ago Mr. Horace S. (shrink)