"[A]ll the disputes that for so many generations have vexed philosophers are destroyed by visible certainty, and we are liberated from wordy arguments."