symbolic logician: a person skilled at symbolic logic
logician: a person skilled at symbolic logic
inconsistency: the quality of being inconsistent and lacking a harmonious uniformity among things or parts