Measuring contradiction in fuzzy logic

Several methods have been proposed within fuzzy logic for inferring new knowledge from the original premises. However, there must be some guarantee that the results contradict neither each other nor the initial information. In 1999, Trillas et al. introduced the concepts of both contradictory set and contradiction between two sets. Moreover, we established the need to study not only contradiction but also the degree of such contradiction in E. Castineira et al., "Degrees of contradiction in fuzzy sets theory", Proceedings IPMU'02, 2002a, pp. 171-176, Annecy (France), E. Castineira et al., "Contradiccion entre dos conjuntos", Actas ESTYLF'02, 2002b, pp. 379-383, Leon (Spain) (in Spanish) establishing some measures for this purpose. Nevertheless, contradiction could have been measured in some other way. The main goal of this paper is to propose an axiomatic definition of measure of contradiction both for a set and between two sets. A requirement for such modelling is that some minimum conditions be met. We also examine how well some measures proposed throughout the fuzzy logic literature fit this definition. Finally, we obtain some results on the relationship between measures of contradiction and the measures of ambiguity introduced by Fishburn for classical logic and by Yager for imprecision.