كان المنطق القديم يعد الحق و الباطل صنفين متضادين. فإذا كان أمر من الأمور حقا فلا بد أن يكون نقيضه باطلا. و هذا هو ما يدعى بالتصنيف الثنائي. و هو تصنيف لا يستسيغه المنطق الحديث. إن الحق و الباطل، في نظر المنطق الحديث، أمران اعتباريان، و النزاع فيهما هو في أساسه نزاع على المقاييس أكثر منه نزاعا على الحقائق.