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)

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)

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)

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)

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)

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

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)

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

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)

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)

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)

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)

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)

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.

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)

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)

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)

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)

This paper argues that paradox offers an ideal didactic context for open-ended group discussion, for the intensive practice of reasoning, acquiring dispositions critical for mathematical thinking, and higher order learning. In order to characterize the full pedagogical range of paradox, I offer a short overview of the effects of paradox, followed by a discussion of some parallels between the use of paradox in paradoxical psychotherapy and the use of the koan in Zen Buddhist spiritual training. Reasoning with paradoxes in a (...) community of mathematical inquiry is interpreted as a comparative if not isomorphic pedagogical and cognitive phenomenon. Finally, some broad implications are drawn for mathematical inquiry with paradoxes. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

Wittgenstein's work remains, undeniably, now, that off one of those few philosophers who will be read by all future generations.

This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

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)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I (...) contend that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

Teachers in vocational education face two problems. (1) Learning involves the ability to transcend and modify learned knowledge to new circumstances. How should vocational education prepare students for future, unknown tasks? (2) Students should strive to produce work of good quality. How does vocational education help them develop their faculty of judgment to differentiate between better and worse quality? These two ques- tions are tightly interwoven. The paper compares the didactics of philosophy and sloyd. Both developed independently, but their (...) solutions to how one advances the capacity for reflective judgment are similar. Central to this capacity is not merely devising efficient means to work towards pre-existing aims, but to reflect in practice on what one’s aim are and should be. This implies reflection on what future problems, as well as solutions to them, demand of us cognitively, socially and morally. (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 (...) class='Hi'>mathematics, logic, natural philosophy, psychology, metaphysics, and theology, in addition to didactic fables.Epistles 43-45 succeed the extended description of religions and creeds that opens the final section of the corpus, on the theological sciences. Epistle 43 explains briefly the need for purifying one's soul by performing virtuous acts, after which one can follow the 'straight path' to God. The extremely diverse Epistle 44 is no dry exercise in abstruse theology; rather, it is characterized by the most delightful anecdotes, designed to inform the reader of a deeper truth, that of the hereafter following the soul's separation from the body at death. Alongside references to many of the Prophets encountered in the Qur'an, this Epistle shows a familiarity with other religions such as Christianity, Judaism, and Buddhism. Epistle 45 focuses on companionship and friendship, resonating strongly with the word 'Brethren' by which the authors distinguish themselves. The volume overall is united in its underlying themes of the immortality of the soul and the profound need for mutual cooperation, informed in parts by the general Neoplatonism of the entire corpus, as well as by Aristotelian and Platonic motifs. (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)

We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies entirely on informal reasoning. On the other hand, if it is given a weak semantics, it loses its power in expressing concepts categorically. First-order set theory and second-order logic are not (...) radically different: the latter is a major fragment of the former. (shrink)

Breathing fresh air into the philosophy of mathematics Content Type Journal Article DOI 10.1007/s11016-010-9470-8 Authors Marco Panza, IHPST, 13, rue du Four, 75006 Paris, France Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Suppose we are asked to draw up a list of things we take to exist. Certain items seem unproblematic choices, while others (such as God) are likely to spark controversy. The book sets the grand theological theme aside and asks a less dramatic question: should mathematical objects (numbers, sets, functions, etc.) be on this list? In philosophical jargon this is the ‘ontological’ question for mathematics; it asks whether we ought to include mathematicalia in our ontology. The goal of this (...) work is to answer this question in the affirmative, by drawing on considerations on the the applicability of mathematics to natural science. (shrink)