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, we provide a comprehensive survey of the space of possible analyses of the phenomenon of quantifier domain restriction, together with a set of considerations which militate against all but our own proposal. Among the many accounts we consider and reject are the ‘explicit’ approach to quantifier domain restric‐tion discussed, for example, by Stephen Neale, and the pragmatic approach to quantifier domain restriction proposed by Kent Bach. Our hope is that the exhaustive discussion of this special case of (...) context‐dependence will provide guidelines for how to decide, for an arbitrary case of context‐dependent discourse, whether it should be treated syntactically, semantically, or pragmatically. (shrink)

Confusion in terms inspires confusion in concepts. When a relevant distinction is not clearly marked or not marked at all, it is apt to be blurred or even missed altogether in our thinking. This is true in any area of inquiry, pragmatics in particular. No one disputes that there are various ways in which what is communicated in an utterance can go beyond sentence meaning. The problem is to catalog the ways. It is generally recognized that linguistic meaning underdetermines speaker (...) meaning because of the need for disambiguation and reference assignment and because people can speak figuratively or indirectly. But philosophers and linguists are coming to recognize that these are not the only ways. The situation may be described in Gricean terms: the distinction between what is said and what is implicated is not exhaustive. Charting the middle ground between the two will require attending to specific examples, noting their distinctive features, and articulating the relevant concepts. That is what I aim to do here. The basic idea will be to distinguish not only the implied from the explicit but the implicit from the implied. (shrink)

The theorems of the simplest and strongest sensible quantified modal logic include the Barcan Formula and its converse. Both formulas face strong intuitive objections. This paper develops a theory of possibilia to meet those objections.

There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlying the first-order schemata of separation and replacement. Another is its almost-categoricity: M is a model of second-order ZFC if and only if it is isomorphic to a model of the form Vκ, ∈ ∩ (Vκ × Vκ) , for κ a strongly inaccessible ordinal.

The aim of this essay is to show that the subject-matter of ontology is richer than one might have thought. Our route will be indirect. We will argue that there are circumstances under which standard first-order regimentation is unacceptable, and that more appropriate varieties of regimentation lead to unexpected kinds of ontological commitment.

Intuitionists and classical logicians use in common a large number of the logical axioms, even though they supposedly mean different things by the logical connectives and quantifiers — conquans for short. But Wittgenstein says The meaning of a word is its use in the language. We prove that in a definite sense the intuitionistic axioms do indeed characterize the logical conquans, both for the intuitionist and the classical logician.

Let DDQ be the thesis that definite descriptions are quantifiers. Philosophers often deny DDQ because they believe that quantifiers do not depend on context in certain ways, ways in which definite descriptions do depend on context. In this paper, we examine one such argument, which, if sound, would entail the negation of DDQ.We show that this argument fails, and draw some consequences from its failure.

George Boolos's employment of plurals to give an ontologically innocent interpretation of monadic higher‐order quantification continues and extends a minority tradition in thinking about quantification and ontological commitment. An especially prominent member of that tradition is Stanislaw Leśniewski, and shall first draw attention to this work and its relation to that of Boolos. Secondly I shall stand up briefly for plurals as logically respectable expressions, while noting their limitations in offering ontologically deflationary accounts of higher‐order quantification. Thirdly I shall focus (...) on the key idea of ontological commitment and investigate its connection with the idea of truth‐making. Fourthly I shall consider how different interpretations of quantification may sideline Boolos's work, but finally I shall largely support his analysis of quantification involving nominal expressions, while arguing, in the spirit of Arthur Prior, that non‐nominal quantification is non‐committing. (shrink)

We hardly ever mean exactly what we say. I don’t mean that we generally speak figuratively or that we’re generally insincere. Rather, I mean that we generally speak loosely, omitting words that could have made what we meant more explicit and letting our audience fill in the gaps. Language works far more efficiently when we do that. Literalism can have its virtues, as when we’re drawing up a contract, programming a computer, or writing a philosophy paper, but we generally opt (...) for efficiency over explicitness. In.. (shrink)

Vann McGee; XIII*—Two Problems with Tarski's Theory of Consequence, Proceedings of the Aristotelian Society, Volume 92, Issue 1, 1 June 1992, Pages 273–292, htt.

The full-text of this article is not currently available in ORA, but the original publication is available at springerlink.com . Citation: Williamson, T. . 'The necessary framework of objects', Topoi 19, 201-208. N.B. Tim Williamson is now based at the Faculty of Philosophy, University of Oxford.