Abstract: Kant follows a substantial tradition by defining judgment so that it must involve a relation of concepts, which raises the question of why he thinks that single-term existential judgments should still qualify as judgments. There is a ready explanation if Kant is somehow anticipating a Fregean second-order account of existence, an interpretation that is already widely held for separate reasons. This paper examines Kant's early (1763) critique of Wolffian accounts of existence, finding that it provides the key idea in (...) his mature model of existential judgment, which is in fact sharply opposed to the Fregean strategy. By relating this to Kant's theory of judgment in general—in particular, to his claim for an isomorphism between the assertoric function of judgment and the category of existence—a preliminary case is made that absolute positing, far from being a marginal special case, accomplishes the primary function of judgment. This argument shows the importance of distinguishing between contexts in which Kant is treating judgment as a vehicle for inference (e.g. pure general logic) and contexts in which he is treating it, more robustly, as the cognition of an object. (shrink)

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...) appearance of critical reviews by members of the Boolean school. (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.

We offer a novel picture of mathematical language from the perspective of speech act theory. There are distinct speech acts within mathematics, and, as we intend to show, distinct illocutionary force indicators as well. Even mathematics in its most formalized version cannot do without some such indicators. This goes against a certain orthodoxy both in contemporary philosophy of mathematics and in speech act theory. As we will comment, the recognition of distinct illocutionary acts within logic and mathematics and the incorporation (...) of illocutionary force indicators in the formal language for both goes back to Frege’s conception of these topics. We are, therefore, going back to a Fregean perspective. This paper is part of a larger project of applying contemporary speech act theory to the scientific language of mathematics in order to uncover the varieties and regular combinations of illocutionary acts present in it. For reasons of space, we here concentrate only on assertive and declarative acts within mathematics, leaving the investigation of other kinds of acts for a future occasion. (shrink)