Çelişmezlik ilkesini sistemleştiren kişi Aristo'dur. Aristoteles çelişmezlik yasasını sistemleştirdi ve mantığın temeli hâline getirdi. Klasik mantık dışındaki mantık sistemlerinde üçüncü hâlin olmazlığı yasasının ve bu yasanın (çelişmezlik ilkesi) zorunluluğu tartışılmaktadır.