One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...) judgement stroke in a way that renders it readily comprehensible why Frege insisted that this symbol was an essential part of his logical system. The key point here is that Frege viewed logic as the study of inference relations amongst acts of judgement , rather than – as in the typical contemporary view – of consequence relations amongst certain objects (propositions or well-formed formulae). The paper also explains why Frege's use of the judgement stroke is not in conflict with his avowed anti-psychologism, and why Wittgenstein's criticism of the judgement stroke as 'logically quite meaningless' is unfounded. The key point here is that while the judgement stroke has no content , its use in logic and mathematics is subject to a very stringent norm of assertion. (shrink)

The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...) notations on the logical representation of assertions, and evaluate their systems from the perspective of the philosophy of logical notations. Pragmatic assertions turn out to be useful in providing intended interpretations of a variety of logical systems. (shrink)

In Die Grundgesetze der Arithmetik (I, §48), Frege introduces his rule of the fusion of horizontals, according to which if an occurrence of the horizontal stroke is followed by another occurrence of the same stroke, either in isolation or “contained” in a propositional connective, the two occurrences can be fused with each other. However, the role of this rule, and of the horizontal sign more generally, is controversial; Michael Dummett notoriously claimed, for instance, that the horizontal is “wholly superfluous” in (...) Frege's logical system. In this paper, we challenge Dummett's view by providing a comprehensive analysis of the significance of the horizontal stroke. After some preliminary remarks, we argue that even if Frege's connectives in some sense “contain” the horizontal, yet they are total functions. Then, we take up the question of the sense expressed by the horizontal, and we claim that, unlike other sentential operators, the horizontal is not sense‐compositional. Finally, we consider the semantic and pragmatic aspects of Frege's horizontal in connection to his judgment stroke and the double judgment stroke. Contra Dummett, we argue that the horizontal is a special and indispensable element of Frege's logic. (shrink)

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)