On the Logic and Learning of Language