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)

I offer an analysis of the sentence "the concept horse is a concept". It will be argued that the grammatical subject of this sentence, "the concept horse", indeed refers to a concept, and not to an object, as Frege once held. The argument is based on a criterion of proper-namehood according to which an expression is a proper name if it is so rendered in Frege's ideography. The predicate "is a concept", on the other hand, should not be thought of (...) as referring to a function. It will be argued that the analysis of sentences of the form "C is a concept" requires the introduction of a new form of statement. Such statements are not to be thought of as having function--argument form, but rather the structure subject--copula--predicate. (shrink)

This paper uses the resources of higher-order logic to articulate a Fregean conception of predicate reference, and of word-world relations more generally, that is immune to the concept horse problem. The paper then addresses a prominent style of expressibility problem for views of broadly this kind, versions of which are due to Linnebo, Hale, and Wright.

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)

It is a remarkable fact about the early history of the analytic tradition that its three most important protagonists all held, at least during significant intervals of their respective careers, that there are entities that cannot be named. This shared commitment on the part of Frege, Russell and the early Wittgenstein is the topic of this thesis. I first clarify the particular form this commitment takes in the work of these three authors. I also illustrate a distinctive cluster of philosophical (...) difficulties attending the view that there are unnameable entities, and explore the relationship between unnameability and inexpressibility. I then investigate what grounds there are for countenancing the unnameable, focussing in particular on the thesis that concepts cannot be named. I give a detailed hearing to four arguments for the unnameability of concepts discernible in, or suggested by, early analytic writings. The first and second arguments (chapters 3 and 4) are distinguishable in the locus classicus, Frege's 'On Concept and Object'. The first concerns the relationship between co-reference and intersubstitutability; the second concerns the unity of thought. The third argument (chapter 4) appeals to the alleged impossibility of expressing identities between objects and concepts, while the fourth (chapter 5) draws on considerations pertaining to diagonalization and Russell's paradox. I make the case that all four arguments fail to provide grounds for accepting the unnameable, contending that each argument can and should be resisted in defence of singular reference to concepts. In doing so I develop a novel defence of the view that absolutely any entity can be referred to with a singular term. (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)

In this essay, I respond to A. W. Moore’s instructive chapter on Frege. I respond by asking various questions, and I question particularly Moore’s claim that Frege, in reacting to Benno Kerry, falls into Hegelian excess. I toy with responding to my question by regarding Frege as anticipating a Wittgensteinian-Heideggerian exaction. It remains unclear whether this constitutes (much) progress.

What Frege’s paradox on concept and object (FP) consists in and the manner in which Frege coped with it (the ladder strategy) are briefly reviewed (§ 1). An idea for solving FP inspired by Husserl’s semantics is presented; it results in failure, for it leads to a version of Russell’s paradox, the usual solution of which implies something like a resurgence of FP (§ 2). A generalized version of Frege’s paradox (GFP) and an idea for solving it inspired by Davidson’s (...) semantics are presented; three theorems about recursive definability of truth are put forward and used to determine whether this idea can be successfully applied to certain putative forms of the Language of Science (§ 3). Proofs of these three theorems, in particular of the third, which answers a question that does not seem to have drawn logicians’ attention, are then given (§ 4). Finally, it turns out that there is a tension between the proposed solution of GFP and the idea of Language of Science assumed so far in this paper, and a way of solving it is proposed (§ 5). (shrink)

In this paper I argue that Frege’s concept horse paradox is not easily avoided. I do so without appealing to Wright’s Reference Principle. I then use this result to show that Hale and Wright’s recent attempts to avoid this paradox by rejecting or otherwise defanging the Reference Principle are unsuccessful.

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)

This paper provides a new solution to the concept horse paradox. Frege argued no name co-refers with a predicate because no name can be inter-substituted with a predicate. This led Frege to embrace the paradox of the concept horse. But Frege got it wrong because predicates are impurely referring expressions and we shouldn’t expect impurely referring expressions to be intersubstitutable even if they co-refer, because the contexts in which they occur are sensitive to the extra information they carry about their (...) referents. (shrink)

In this paper, I seek to clarify an aspect of Frege's thought that has been only insufficiently explained in the literature, namely, his notion of logical objects. I adduce some elements of Frege's philosophy that elucidate why he saw extensions as natural candidates for paradigmatic cases of logical objects. Moreover, I argue (against the suggestion of some contemporary scholars, in particular, Wright and Boolos) that Frege could not have taken Hume's Principle instead of Axiom V as a fundamental law of (...) arithmetic. This would be inconsistent with his views on logical objects. Finally, I shall argue that there is a connection between Frege's view on this topic and the famous thesis first formulated in ‘Über Begriff und Gegenstand’ that ‘the concept horse is not a concept’. As far as I know, no due attention has been given to this connection in the scholarly literature so far. (shrink)

The „Paradox of the Concept Horse" arises on the assumption of the Reference Principle: that co-referential expressions should be cross-substitutable salva veritate in extensional contexts and salva congruitate in all. Accordingly no singular term can co-refer with an unsaturated expression. The paper outlines a number of desiderata for a satisfactory response to the problem and argues that recent treatments by Dummett and Wiggins fall short by their lights. It is then pointed out that a more consistent perception of the requirements (...) of the Reference Principle leads not to the Paradox but to the result that Frege had no business extending the notion of Bedeutung to unsaturated expressions in the first place. Rather the relation between, e.g., predicates and the entities that comprise the range of higher-order logical variables must be logically unlike that between singular terms and their referents; the way is therefore opened for singular terms to refer to entities of the former kind after all. The Concept Horse is a concept (and a Fregean object too.). (shrink)

In this paper I discuss Frege's distinction between objects and concepts and suggest a solution of Frege's paradox of the concept horse. The expression ''the concept horse'' is not eliminated and the concept is not identified with its extension, but the concept is identified with the sense of the corresponding predicate. This solution fits better into a fregean ontology and philosophy of language than alternative solutions and allows for a general answer to the question why Frege's system is infected with (...) Russell's paradox. Russell's paradox is caused by the reification of a concept. Certain problems of modern set theory seem to have a similar cause.Eine weithin sichtbare Warnungstafel muss aufgerichtet. (shrink)

After describing the philosophical background of Kerry's work, an account is given of the way Kerry proposed to supplement Bolzano's conception of logic with a psychological account of the mental acts underlying mathematical judgements.In his writings Kerry criticized Frege's work and Kerry's views were then attacked by Frege.The following two issues were central to this controversy: (a) the relation between the content of a concept and the object of a concept; (b) the logical roles of the definite article. Not only (...) did Frege in 1892 offer an unconvincing solution to Kerry's puzzle concerning 'the concept horse' but he also overlooked the many criticisms levelled by Kerry against the notion of an (indefinite) extension on which his own definition of number was based. (shrink)

Frege held various views about language and its relation to non-linguistic things. These views led him to the paradoxical-sounding conclusion that "the concept horse is NOT a concept." A key assumption that led him to say this is the assumption that phrases beginning with the definite article "the" denote objects, not concepts. In sections I-III this issue is explained. In sections IV-V Frege's theory is articulated, and it is shown that he was incorrect in thinking that this theory led to (...) the conclusion that "the concept horse is not a concept." Section VI goes on to show that his strict theory about the functioning of ordinary language is inconsistent. Sections VII-VIII investigate Frege's reasons for thinking that "the concept horse" must denote an object; these reasons are not adequate on Frege's own grounds. Section IX sketches a systematic way to allow such phrases to denote concepts (not objects) within the framework of Frege's main views about language. Section X comments briefly on the consequences of this idea for his logistic program. (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)

The article raises an objection against michael dummett's defence of frege's thesis that incomplete expressions refer to concepts. Even if dummett has shown that predicates refer to concepts, He has not shown that the concepts referred to exist. Although dummett tries to justify the claim that concepts exist, The sense of 'exist' in this claim is not the customary one but is introduced by mere stipulation. Furthermore, Even if 'concepts exist' is true, It can be argued on fregean grounds that (...) it ascribes existence only to fregean objects, Not to concepts. (shrink)

The purpose of the article is to explain two curious doctrines maintained by frege and rejected by wittgenstein in the 'tractatus logico-philosophicus'. that a special assertion sign is necessary was maintained by frege because he wanted to apply his concept-writing to ordinary language, and it was rejected by wittgenstein because his concern in the 'tractatus' was with scientific assertions only. frege's paradoxical notion that 'the concept horse is not a concept' was a consequence of his symbolizing functions by 'unsaturated' expressions. (...) wittgenstein's picture theory eliminated expressions for relations and thereby avoided the fregean paradox. (shrink)

The fregean theory of meaning says how the meaningful parts of a meaningful expression contribute to that expression's sense and reference. But frege overlooks the fact that logical expressions play dual roles. The contributions of sentential connectives, For example, Are well described for contexts in which they connect sentences, But not for larger quantificational contexts. An obvious modification of the theory which might fill the abyss is considered, And it is maintained that it produces two difficulties: a replication of frege's (...) concept 'horse' troubles and an infinite proliferation of logical vocabulary. The seriousness of these difficulties is briefly discussed. (shrink)