 One might, perhaps, think that the mere existence of many-valued logics shows that there exist infinitely, in fact, uncountably many truth values. However, this is not at all clear (recall the more cautious use of terminology advocated by Gottwald).