By way of a close reading of Boole and Frege’s solutions to the same logical problem, we highlight an underappreciated aspect of Boole’s work—and of its difference with Frege’s better-known approach—which we believe sheds light on the concepts of ‘calculus’ and ‘mechanization’ and on their history. Boole has a clear notion of a logical problem; for him, the whole point of a logical calculus is to enable systematic and goal-directed solution methods for such problems. Frege’s Begriffsschrift, on the other hand, (...) is a visual tool to scrutinize concepts and inferences, and is a calculus only in the thin sense that every possible transition between sentences is fully and unambiguously specified in advance. While Frege’s outlook has dominated much of philosophical thinking about logical symbolism, we believe there is value—particularly in light of recent interest in the role of notations in mathematics and logic—in reviving Boole’s idea of an intrinsic link between, as he put it, a ‘calculus’ and a ‘directive method’ to solve problems. (shrink)

Over the last century, there have been considerable variations in the frequency of use and types of diagrams used in mathematical publications. In order to track these changes, we developed a method enabling large-scale quantitative analysis of mathematical publications to investigate the number and types of diagrams published in three leading mathematical journals in the period from 1885 to 2015. The results show that diagrams were relatively common at the beginning of the period under investigation. However, beginning in 1910, they (...) were almost completely unused for about four decades before reappearing in the 1950s. The diagrams from the 1950s, however, were of a different type than those used earlier in the century. We see this change in publication practice as a clear indication that the formalist ideology has influenced mathematicians’ choice of representations. Although this could be seen as a minor stylistic aspect of mathematics, we argue that mathematicians’ representational practice is deeply connected to their cognitive practice and to the contentual development of the discipline. These changes in publication style therefore indicate more fundamental changes in the period under consideration. (shrink)

Structural representations are increasingly popular in philosophy of cognitive science. A key virtue they seemingly boast is that of meeting Ramsey's job description challenge. For this reason, structural representations appear tailored to play a clear representational role within cognitive architectures. Here, however, I claim that structural representations do not meet the job description challenge. This is because even our most demanding account of their functional profile is satisfied by at least some receptors, which paradigmatically fail the job description challenge. Hence, (...) the functional profile typically associated with structural representations does not identify representational posits. After a brief introduction, I present, in the second section of the paper, the job description challenge. I clarify why receptors fail to meet it and highlight why, as a result, they should not be considered representations. In the third section I introduce what I take to be the most demanding account of structural representations at our disposal, namely Gładziejewski's account. Provided the necessary background, I turn from exposition to criticism. In the first half of the fourth section, I equate the functional profile of structural representations and receptors. To do so, I show that some receptors boast, as a matter of fact, all the functional features associated with structural representations. Since receptors function merely as causal mediators, I conclude structural representations are mere causal mediators too. In the second half of the fourth section I make this conclusion intuitive with a toy example. I then conclude the paper, anticipating some objections my argument invites. (shrink)