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