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