Traditional models of mathematical proof describe proofs as sequences of assertion where each assertion is a claim about mathematical objects. However, Tanswell observed that in practice, many proofs do not follow these models. Proofs often contain imperatives, and other instructions for the reader to perform mathematical actions. The purpose of this paper is to examine the role of instructions in proofs by systematically analyzing how instructions are used in Kunen’s Set theory: An introduction to independence proofs, a widely used graduate (...) text in set theory. I use Kunen’s text to describe how instructions and constructions in proof work in mathematical practice and explore epistemic consequences of how proofs are read and understood. (shrink)

ABSTRACTIn this paper I investigate how conceptual engineering applies to mathematical concepts in particular. I begin with a discussion of Waismann’s notion of open texture, and compare it to Shapiro’s modern usage of the term. Next I set out the position taken by Lakatos which sees mathematical concepts as dynamic and open to improvement and development, arguing that Waismann’s open texture applies to mathematical concepts too. With the perspective of mathematics as open-textured, I make the case that this allows us (...) to deploy the tools of conceptual engineering in mathematics. I will examine Cappelen’s recent argument that there are no conceptual safe spaces and consider whether mathematics constitutes a counterexample. I argue that it does not, drawing on Haslanger’s distinction between manifest and operative concepts, and applying this in a novel way to set-theoretic foundations. I then set out some of the questions that need to be engaged with to establish mathematics as involving a kind of conceptual engineering. I finish with a case study of how the tools of conceptual engineering will give us a way to progress in the debate between advocates of the Universe view and the Multiverse view in set theory. (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)

ABSTRACTIn a bilingual educational setting, even when mathematical word problems are presented in one’s first language, students may still perform poorly if cognitive constraints such as working me...