in logic, an act of the mind affirming one thing to be different from another; as, that the soul is not matter.