There are different kinds of logic, most of which are bivalent, meaning they divide propositions into true or false ones. Among these are mathematical logic, computational logic, philosophical logic and many more. However, several non-classical logics do exist, like “fuzzy logic” which has “degrees of truth”.