 The particular response to the sorites paradox then further depends on the definition of validity adopted. A common generalisation of the concept of validity to many-valued logic involves the designation of certain values. A sentence holds (or is assertible) in a many-valued interpretation just if it takes a designated value. Validity may then be defined as the necessary preservation of designated value. (In classical logic, of course, only truth is designated and thus the generalised concept reduces to the classical concept of necessary truth-preservation.) There are then two non-trivial choices: let the set of designated values be {true} or {true, indeterminate}. The former proposal, advocated by Körner and by Tye, results in a type (2) response to the paradox. The latter proposal results in a paraconsistent logic and yields a type (3) response (see the section on many-valued systems in the entry on paraconsistent logic). When coupled with the Kleene strong tables, it results in the paraconsistent system LP, elsewhere proposed to deal with the liar paradox and offered as a logic of vagueness in Weber (2010).