A higher-order solution to the problem of the concept horse

@article{Jones2016AHS,
  title={A higher-order solution to the problem of the concept horse},
  author={Nicholas K. Jones},
  journal={Open Access Journal},
  year={2016},
  volume={3},
  pages={132-166}
}
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. A prominent style of expressibility problem for views of broadly this kind, versions of which are due to Linnebo, Hale, and Wright, is then addressed. Central to an account of the relationship between language and reality is an account of that between predicates and reality. Frege’s problem of the… Expand
THE CONCEPT HORSE IS A CONCEPT
  • A. Klev
  • Computer Science, Mathematics
  • The Review of Symbolic Logic
  • 2017
TLDR
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. Expand
Why did Frege reject the theory of types?
ABSTRACT I investigate why Frege rejected the theory of types, as Russell presented it to him in their correspondence. Frege claims that it commits one to violations of the law of excluded middle,Expand
Should a higher-order metaphysician believe in properties?
In this paper I take second order-quantification to be a sui generis form of quantification, irreducible to first-order quantification, and I examine the implications of doing so for the debate overExpand
Unrestricted Quantification and the Structure of Type Theory
Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: eachExpand
VIII—Propositions and Cognitive Relations
There are two broad approaches to theorizing about ontological categories. Quineans use first-order quantifiers to generalize over entities of each category, whereas type theorists useExpand
Denoting and Disquoting
ABSTRACT Fregeans hold that predicates denote things, albeit things different in kind from what singular terms denote. This leads to a familiar problem: it seems impossible to say what any givenExpand
University of Birmingham Nominalist realism
This paper explores the impact of quantification into predicate position on themetaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recastingExpand
How to unify
This paper evaluates the argument for the contradictoriness of unity, that begins Priest’s recent book One. The argument is seen to fail because it does not adequately differentiate between differentExpand

References

SHOWING 1-10 OF 44 REFERENCES
Semantic values in higher-order semantics
Recently, some philosophers have argued that we should take quantification of any (finite) order to be a legitimate and irreducible, sui generis kind of quantification. In particular, they hold thatExpand
A completeness theorem for unrestricted first- order languages
Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and anExpand
II—The Last Dogma of Type Confusions
In this paper I discuss a certain kind of ‘type confusion’ which involves use of expressions of the wrong grammatical category, as in the string ‘runs eats’. It is (nearly) universally accepted thatExpand
The Reference Principle
Certain features of Horwich's theory make the situation even worse. Namely, as Horwich explicitly notes (Horwich 1998: 20, n. 4), the minimal theory cannot be regarded as the set of propositions ofExpand
I—Truth and Meaning
Should we explicate truth in terms of meaning, or meaning in terms of truth? Ramsey, Prior and Strawson all favoured the former approach: a statement is true if and only if things are as the speaker,Expand
Hierarchies ontological and ideological
Godel claimed that Zermelo-Fraenkel set theory is ‘what becomes of the theory of types if certain superfluous restrictions are removed’. The aim of this paper is to develop a clearer understanding ofExpand
Frege: Philosophy of Language
* Preface to the First Edition * Preface to the Second Edition * Textual References * Introduction * Sense and Tone * Quantifiers * The Hierarchy of Levels * Proper Names * Sense and ReferenceExpand
Intensional and Higher-Order Modal Logic, With Applications to Montague Semantics
TLDR
From logic to language visiting pagan ethics paganism as a world religion, how to raise a child to say no to databases and higher types springer books and journals received link. Expand
Sets, Properties, and Unrestricted Quantification
Call a quantifier unrestricted if it ranges over absolutely all things: not just over all physical things or all things relevant to some particular utterance or discourse but over absolutelyExpand
Predication as ascription
I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription beingExpand
...
1
2
3
4
5
...