/Analyticity theorists/, as I will call them, endorse the /doctrine of analyticity in ontology/: if some truth P analytically entails the existence of certain things, then a theory that contains P but does not claim that those things exist is no more ontologically parsimonious than a theory that also claims that they exist. Suppose, for instance, that the existence of a table in a certain location is analytically entailed by the existence and features of certain particles in that location. The (...) doctrine implies that the table's existence requires nothing more of the world than that those particles exist and bear the features in question. Analyticity theorists have alleged that this idea may be used to defend controversial existence claims against a battery of objections. I argue that this style of defense fails, because the doctrine faces counter-examples. An existence claim may be analytically entailed by some truth and still report a substantial further fact. (shrink)

Remember the story of the most-most? It’s the story of that club in New York where people are the most of every type. There is the hairiest bald man and the baldest hairy man; the shortest giant and the tallest dwarf; the smartest idiot and the stupidest wise man. They are all there, including honest thieves and crippled acrobats. On Saturday night they have a party, eat, drink, dance. Then they have a contest. “And if you can tell the hairiest (...) bald man from the baldest hairy man—we are told—you get a prize.”. (shrink)

Plurality, Conjunction and Events presents a novel theory of plural and conjoined phrases, in an event-based semantic framework. It begins by reviewing options for treating the alternation between `collective' and `distributive' readings of sentences containing plural or conjoined noun phrases, including analyses from both the modern and the premodern literature. It is argued that plural and conjoined noun phrases are unambiguously group-denoting, and that the collective/distributive distinction therefore must be located in the predicates with which these noun phrases combine. More (...) specifically, predicates must have a hidden argument place for events; the collective/distributive distinction may then be represented in the part/whole structure of these events. This allows a natural treatment of `collectivizing' adverbial expressions, and of `pluractional' affixes; it also allows a unified semantics for conjunction, in which conjoined sentences and predicates denote groups of events, much like conjoined noun phrases denote groups of individuals. (shrink)

In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to familiar inference-patterns (...) such as reductio and conditional proof. (shrink)

Russian translation of Williamson T. Imagination, Stipulation and Vagueness // Philosophical Issues, 8, 1997. Translated by Alisa Veruk, Nina Zubkova with kind permission of the author.

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

In recent analytic metaphysics, the view that ‘ordinary inanimate objects such as sticks and stones, tables and chairs, simply do not exist’ has been defended by some noteworthy writers. Thomasson opposes such revisionary ontology in favour of an ontology that is conservative with respect to common sense. The book is written in a straightforward, methodical and down-to-earth style. It is also relatively non-specialized, enabling the author and her readers to approach problems that are often dealt with in isolation in a (...) more unified way.Thomasson's arguments are mainly counter-attacks on six ‘eliminativist’ arguments against ordinary objects. A causal redundancy argument espoused by Trenton Merricks holds that to suppose that there are ordinary objects is to suppose that these objects have distinctive causal powers. However, the casual efficacy of a baseball, for example, is exhausted by that of some suitably arranged …. (shrink)

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from law (...) to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

There are important differences among those philosophers who would call themselves nominalists and thus claim to disbelieve in the existence of numbers, properties, propositions, and their ilk. Some are non-concessive, and would deny that sentences such as following can be true.

Central to discussion of supervaluationist accounts of vagueness is the extent to which they require revisions of classical logic and if so, whether those revisions are objectionable. In an important recent Journal of Philosophy article, J.R.G. Williams presents a powerful challenge to the orthodox view that supervaluationism is objectionably revisionary. Williams argues both that supervaluationism is non-revisionary and that even if it were, those revisions would be unobjectionable. This note shows that his arguments for both claims fail.

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

Alex Oliver and Timothy Smiley provide a new account of plural logic. They argue that there is such a thing as genuinely plural denotation in logic, and expound a framework of ideas that includes the distinction between distributive and collective predicates, the theory of plural descriptions, multivalued functions, and lists.

Precursors. 2.1 Introduction Thus far I have presented an approach to the semantics of plurals in the form of two rather similar grammars for a fragment of English. And I have given a few examples of the kinds of things one can say within this ...

Hud Hudson offers a fascinating examination of philosophical reasons to believe in hyperspace. He explores non-theistic reasons in the first chapter and theistic ones towards the end; in the intervening sections he inquires into a variety of puzzles in the metaphysics of material objects that are either generated by the hypothesis of hyperspace or else informed by it, with discussions of receptacles, boundaries, contact, occupation, and superluminal motion. Anyone engaged with contemporary metaphysics, and many philosophers of religion, will find much (...) to stimulate them here. (shrink)

The slogan “the whole is nothing over and above the parts” and related vague thoughts animate many theories of parthood and arguably are central to our ordinary conception. I examine some issues connected with this slogan.

Ordinary English contains different forms of quantification over objects. In addition to the usual singular quantification, as in 'There is an apple on the table', there is plural quantification, as in 'There are some apples on the table'. Ever since Frege, formal logic has favored the two singular quantifiers ∀x and ∃x over their plural counterparts ∀xx and ∃xx (to be read as for any things xx and there are some things xx). But in recent decades it has been argued (...) that we have good reason to admit among our primitive logical notions also the plural quantifiers ∀xx and ∃xx. More controversially, it has been argued that the resulting formal system with plural as well as singular quantification qualifies as ‘pure logic’; in particular, that it is universally applicable, ontologically innocent, and perfectly well understood. In addition to being interesting in its own right, this thesis will, if correct, make plural quantification available as an innocent but extremely powerful tool in metaphysics, philosophy of mathematics, and philosophical logic. For instance, George Boolos has used plural quantification to interpret monadic second-order logic and has argued on this basis that monadic second-order logic qualifies as “pure logic.” Plural quantification has also been used in attempts to defend logicist ideas, to account for set theory, and to eliminate ontological commitments to mathematical objects and complex objects. (shrink)

Russian translation of Williamson T. Imagination, Stipulation and Vagueness // Philosophical Issues, 8, 1997. Translated by Alisa Veruk, Nina Zubkova with kind permission of the author.