Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

This paper brings to light a new puzzle for Frege interpretation, and offers a solution to that puzzle. The puzzle concerns Frege’s judgement-stroke (‘|’), and consists in a tension between three of Frege’s claims. First, Frege vehemently maintains that psychological considerations should have no place in logic. Second, Frege regards the judgementstroke—and the associated dissociation of assertoric force from content, of the act of judgement from the subject matter about which judgement is made—as a crucial part of his logic. Third, (...) Frege holds that judging is an inner mental process, and that the distinction marked by the judgement-stroke, between entertaining a thought and judging that it is true, is a psychological distinction. I argue that what initially looks like confusion here on Frege’s part appears quite reasonable when we remind ourselves of the differences between Frege’s conception of logic and our own. (shrink)

Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present some original features of his notations. To explain the motivations underlying Peano's approach, we first present his view of logic as a method of analysis and his desire for a rigorous and concise symbolism to represent mathematical ideas. On the basis of both his practice and his explicit reflections on notations, we discuss (...) the principles that guided Peano's introduction of new symbols, the choice of characters, and the layout of formulas. Finally, we take a closer look, from a systematic and historical perspective, at one of Peano's most striking innovations, his use of dots for the grouping of subformulas. (shrink)

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (shrink)