the notion of vague ideals in pseudo mv-algebras is introduced,and several properties are investigated. conditions for a vague set to be avague ideal are provided. conditions for a vague ideal to be implicative aregiven. characterizations of (implicative, prime) vague ideals are discussed.the smallest vague ideal containing a given vague set is established. primeand implicative extension proper...

We propose that not all such arguments are on a par. The first section of the paper distinguishes dialectically effective from dialectically ineffective arguments against metaphysical vagueness. The second section constructs an argument against metaphysical vagueness – specifically, an argument against objects that are indeterminate in what parts they have – which promises to be dialectically e...

David Lewis (1986) criticizes moderate views of composition on the grounds that a restriction on composition must be vague, and vague composition leads, via a precisificational theory of vagueness, to an absurd vagueness of existence. I show how to resist this argument. Unlike the usual resistance, however, I do not jettison precisificational views of vagueness. Instead, I blur the connection b...

Speakers often refer to context only implicitly when using language. The utterance “it’s warm outside” could signal it’s warm relative to other days of the year or just relative to the current season (e.g., it’s warm for winter). Warm vaguely conveys that the temperature is high relative to some contextual comparison class, but little is known about how a listener decides upon such a standard o...

In this paper the authors propose a new method of intelligent search using the vague set theory of Gau and Buehrer. Copyright c © 2006 Yang’s Scientific Research Institute, LLC. All rights reserved.

Timothy Williamson (1999) presents, without endorsing, an argument that for any n > 1, any sentence that is nth order vague is (n + 1)th order vague. The setting for the argument is a standard Kripke-style model theory for a propositional language enriched with an operator ∆ for ‘Definitely’. A model is a triple 〈W,≺, [[]]〉, where W is a domain of “points”, ≺ is an “accessibility” relation on W...