Recently a number of posts in this thread have proposed a retreat into 'fuzzy' or multi-valued logic as a way out of the paradoxes of vagueness. The inclination behind such suggestions is no doubt similar to that which impelled Russell to the introduction of Type Theory as an answer to the Liar paradox. History has shown serious dissatisfaction with type theory and I suggest will frown equally upon fuzzy solutions to the sorites. What makes the paradox compelling is the way it impugns classical logic, classical syntax AND semantics. Or, if we use a large but finite value for n, it seems that it will compete with an alternative logic with n-1 values.
Fuzzy logic is no panacea.