 Modeling reasoning with vague predicates and propositions is often cited as the main motivation for introducing fuzzy logics. There are many alternative theories of  vagueness,  but there is a general agreement that the susceptibility to the  sorites paradox  is a main feature of vagueness. Consider the following version of the paradox: