A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by its functional (...) component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (shrink)

Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...) We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)