How can logic help in the attainment of truth?