Frege: Judgment Stroke

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...) function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

I develop a new reading of Frege’s argument for the indefinability of truth. I concentrate on what Frege literally says in the passage that contains the argument. This literal reading of the passage establishes that the indefinability argument is an arguably sound argument to the following conclusion: provided that the Fregean conception of judgment—which has recently been countered by Hanks—is correct and that truth is a property of truth-bearers, a vicious infinite regress is produced. Given this vicious regress, Frege chooses (...) to reject that truth is a property of truth-bearers. Frege’s choice leads to a unique version of the Fregean conception of judgment. His unique conception of judgment can cope with Hanks’s recent criticisms against the Fregean conception. (shrink)

I investigate the role of the subject in judgment in Kant, Frege, and Husserl, situating it in the broader and less-often-considered context of their accounts of presentation as well as judgment. Contemporary philosophical usage of “representation” tends to elide the question of what Kant called the constitution of content, because of a reluctance, traced to Frege’s anti-psychologism, to attend to subjectivity. But for Kant and Husserl, anti-psychologism allows for synthesis as the subjective act necessary for both “mere presentation” and judgment. (...) In Begriffshrift, Frege alludes to a significant logical role for the subjective act of judgment, and in later work, traces of this logical role remain in the intensional notions of grasping a thought and judging as acknowledging its truth. But Frege’s anti-psychologism blocks interpreting these subjective notions in term of synthesis. Although similar in certain ways to Frege and equally anti-psychologistic, Husserl’s theory of judgment in the Logical Investigations maintains a role for subjective syntheses for presentations and judgments, and goes beyond Kant in allowing for a kind of objectivity at the level of non-judgment presentations. These two great anti-psychologists at the dawn of the parallel heydays of linguistic and phenomenological analysis are thus differentiated by the fates they assign to the act of synthesis. (shrink)

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.