Mathematics departments rarely require students to study very much logic before working with proofs. Normally, the most they will offer is contained in a small portion of a "bridge" course designed to help students move from more procedurally-based lower-division courses (e.g., abstract algebra and real analysis). What accounts for this seeming…

In this paper, we will discuss the way various features of consciousness interact with each other and with cognition, specifically, the cognition of mathematical reasoning and problem solving. Thus we are interested in how consciousness and cognition "work," in a somewhat mechanistic way, rather than in larger philosophical questions about…