Many mathematics departments have transition to proof (TTP) courses, which prepare undergraduate students for proof-oriented mathematics. Here we discuss how common TTP textbooks connect three topics ubiquitous to such courses: logic, proof techniques, and sets. In particular, we were motivated by recent research showing that focusing on sets is…

This theoretical paper sets forth two "aspects of predication," which describe how students perceive the relationship between a property and an object. We argue these are consequential for how students make sense of discrete mathematics proofs related to the properties and how they construct a logical structure. These aspects of…

The value of some university mathematics courses gets characterized within a liberal arts course of study in terms of supporting "critical thinking skills" or some other phrase for generally improved reasoning. This can be seen as an application of the millennia old "Theory of Formal Discipline" that claims that mathematics…

This study compares the relative influence of syntax, semantics, and pragmatics in university students' interpretation of multiply quantified statements in mathematics, both before and after instruction. Like previous studies, results show that semantics plays a heavy role in student interpretation, especially before instruction. Unlike previous…

This paper sets forth a construct that describes how many undergraduate students understand mathematical terms to refer to mathematical objects, namely that they only refer to those objects that satisfy the term. I call this students' pronominal sense of reference (PSR) because it means they treat terms as pronouns that point to objects, like…

In this paper, we provide an in-depth account of traditional IBL instruction. Understanding the nature and effects of this form of instruction is of growing importance due to the strength and breadth of the IBL movement and its connections to other forms of inquiry in undergraduate mathematics. In this case study of one real analysis course taught…

Motivated by the observation that formal logic answers questions students have not yet asked, we conducted exploratory teaching experiments with undergraduate students intended to guide their reinvention of truth-functional definitions for basic logical connectives. We intend to reframe the relationship between reasoning and logic by showing how…

This paper sets forth a concept (Simon, 2017) of contrapositive equivalence and explores some related phenomena of learning through a case study of Hugo's learning in a teaching experiment guiding the reinvention of mathematical logic. Our proposed concept of contrapositive equivalence rests upon set-based meanings for mathematical categories and…

This paper demonstrates how questions of "provability" can help students engaged in reinvention of mathematical theory to understand the axiomatic game. While proof demonstrates how conclusions follow from assumptions, "provability" characterizes the dual relation that assumptions are "justified" when they afford…

This paper presents results from three teaching experiments intended to guide students to reinvent truth-functional interpretations for mathematical disjunctions. The initial teaching experiments revealed that students' emergent strategies for assessing disjunctions did not entail or facilitate the development of a relevant partitioning of example…

This study investigates interactions between calculus learning and problem-solving in the context of two first-semester undergraduate calculus courses in the USA. We assessed students' problem-solving abilities in a common US calculus course design that included traditional lecture and assessment with problem-solving-oriented labs. We investigate…

Weber and Alcock's (2004, 2009) syntactic/semantic framework provides a useful means of delineating two basic categories of proof-oriented activity. They define their dichotomy using Goldin's (1998) theory of representation systems. In this paper, I intend to clarify the framework by providing criteria for classifying student reasoning into…

This study presents how the introduction of a metaphor for sequence convergence constituted an experientially real context in which an undergraduate real analysis student developed a property-based definition of sequence convergence. I use elements from Zandieh and Rasmussen's (2010) Defining as a Mathematical Activity framework to trace the…