Frege: The Concept Horse Problem

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims at engineering (...) higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

This work addresses the critical discussion featured in the contemporary literature about two well-known paradoxes belonging to different philosophical traditions, namely Frege’s puzzling claim that “the concept horse is not a concept” and Gongsun Long’s “white horse is not horse”. We first present the source of Frege’s paradox and its different interpretations, which span from plain rejection to critical analysis, to conclude with a more general view of the role of philosophy as a fight against the misunderstandings that come from (...) the different uses of language (a point later developed by the “second” Wittgenstein). We then provide an overview of the ongoing discussions related to the Bai Ma Lun paradox, and we show that its major interpretations include—as in the case of Frege’s paradox—dismissive accounts that regard it as either useless or wrong, as well as attempts to interpret and repair the argument. Resting on our reading of Frege’s paradox as an example of the inescapability of language misunderstandings, we advance a similar line of interpretation for the paradox in the Bai Ma Lun: both the paradoxes, we suggest, can be regarded as different manifestations of similar concerns about language, and specifically about the difficulty of referring to concepts via language. (shrink)

Far from being of mere historical interest, concept horse-style expressibility problems arise for versions of type-theoretic semantics in the tradition of Montague. Grappling with expressibility problems yields lessons about the philosophical interpretation and empirical limits of such type-theories.

Frege’s rejection of singular reference to concepts is centrally implicated in his notorious paradox of the concept horse. I distinguish a number of claims in which that rejection might consist and detail the dialectical difficulties confronting the defense of several such claims. Arguably the least problematic such claim—that it is simply nonsense to say that a concept can be referred to with a singular term—has recently received a novel defense due to Robert Trueman. I set out Trueman’s argument for this (...) claim, identifying and remedying some omissions and errors of formulation therein. I then develop a response to the argument by showing, pace Trueman, that it is possible—and how it is possible—to express identities between objects and concepts. (shrink)

In this paper I offer a conceptually tighter, quasi-Fregean solution to the concept horse paradox based on the idea that the unterfallen relation is asymmetrical. The solution is conceptually tighter in the sense that it retains the Fregean principle of separating sharply between concepts and objects, it retains Frege’s conclusion that the sentence ‘the concept horse is not a concept’ is true, but does not violate our intuitions on the matter. The solution is only ‘quasi’- Fregean in the sense that (...) it rejects Frege’s claims about the ontological import of natural language and his analysis thereof. (shrink)

Gottlob Frege sostuvo que las palabras-concepto sólo se refieren a conceptos no a objetos y que los términos singulares se refieren sólo a objetos no a conceptos. Estas tesis dan lugar a la paradoja del concepto, de acuerdo con la cual ‘el concepto F’ no se refiere a ningún concepto. Mark Textor sostiene que su principio del espejar explica el origen del problema. Sin embargo, argumento que su artículo no explica todas las consecuencias de las tesis de Frege y mi (...) supuesto semántico ontológico puede verse como una consecuencia del principio del espejar de Textor. (shrink)

I argue that Frege's so-called "concept 'horse' problem" is not one problem but many. When these different sub-problems are distinguished, some emerge as more tractable than others. I argue that, contrary to a widespread scholarly assumption originating with Peter Geach, there is scant evidence that Frege engaged with the general problem of the inexpressibility of logical category distinctions in writings available to Wittgenstein. In consequence, Geach is mistaken in his claim that in the Tractatus Wittgenstein simply accepts from Frege certain (...) lessons about the inexpressibility of logical category distinctions and the say-show distinction. In truth, Wittgenstein drew his own morals about these matters, quite possibly as the result of reflecting on how the general problem of the inexpressibility of logical category distinctions arises in Frege's writings , but also, quite possibly, by discerning certain glimmerings of these doctrines in the writings of Russell. (shrink)

Mucho se ha escrito sobre las dificultades que presentan algunas de las nociones claves de la filosofía de Frege. Sin embargo, no ha merecido suficiente atención lo “indecible” en la teoria fregeana. Es este precisamente el objetivo de mi estudio. Mostrar que hay “indecibles” en la teoria fregeana, es de especial interés no sólo por las paradojas que plantea el hecho de que la teoria se impida a si misma la formulación de algunas tesis generales que la constituyen, sino también (...) porque al exhibir la existencia de ciertos “indecibles” y los principios teóricos de los que se desprenden, podemos arrojar luz sobre la raíz de algunas dificultades entrelazadas, que han sido comentadas por diversos autores. (shrink)