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)

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.

In this paper I develop a framework for understanding ontic vagueness. The project of the paper is two-fold. I first outline a definitional account of ontic vagueness – one that I think is an improvement on previous attempts because it remains neutral on other, independent metaphysical issues. I then develop one potential manifestation of that basic definitional structure. This is a more robust (and much less neutral) account which gives a fully classical explication of ontic vagueness via modal concepts. The (...) overarching aim is to systematically investigate the puzzling question of what exactly it could be for the world itself to be vague. (shrink)

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.

Though it is standardly assumed that supervaluationism applied to vagueness is committed to global validity, Achille Varzi (2007) argues that the supervaluationist should take seriously the idea of adopting local validity instead. Varzi’s motivation for the adoption of local validity is largely based on two objections against the global notion: that it brings some counterexamples to classically valid rules of inference and that it is inconsistent with unrestricted higher-order vagueness. In this discussion I review these objections and point out ways (...) to address them not considered in Varzi’s paper. (shrink)

In 'Vague Identity: Evans Misunderstood' David Lewis defends Gareth Evans against a widespread misunderstanding of an argument that appeared in his article 'Can There be Vague Objects?'. Lewis takes himself to be 'defending Evans' and not just correcting a mistake; witness his remark that, 'As misunderstood, Evans is a pitiful figure: a "technical philosopher" out of control of his technicalities, taken in by a fallacious proof of an absurd conclusion'. Let me say at the outset that I take Lewis to (...) be exactly right in regarding as a misunderstanding the interpretation of Evans which he exposes as such. On Lewis's account, everything Evans says 'falls into place', and he quotes from a letter that 'settles the matter'. (shrink)