Evidently this elementary sort of logic, whether with Aristotle or Abaelard, represents a clearing up of the mind on current modes of expression. And sometimes from such studies men make discoveries like that of Molière’s Bourgeois Gentilhomme, who discovered that he had always been talking prose. Some of the points on which the minds of Abaelard’s contemporaries required clarification, would be foolish word-play to ourselves, as, for instance, whether the significance of the sentence _homo est animal_ is contained in the subject, copula, or predicate, or only in all three; and whether when a word is spoken, the very same word and the whole of it comes to the ears of all the hearers at the same time: “utrum ipsa vox ad aures diversorum simul et tota aequaliter veniat.”[465] Such questions, as was observed regarding the problems of logical arrangement in Gerbert’s mind, may be pertinent and reasonable enough, if viewed in connection with the intellectual conditions of a period; just as many questions now make demand on us for solution, being links in the chain of our knowledge, or manner of reasoning. But future men may pass them by as not lying in their path to progressive knowledge of the universe and man. So the problem of universals was still cardinal with Abaelard and his fellow-logicians, who through logic were advancing, as they believed, along the path of objective truth. Its solution would determine the nature of the categories into which logic was fitting whatever might be enunciated or expressed. The inquiry represented an ultimate analysis of statement, of the general nature of propositions; and also related to their assumed correspondence with realities. What William of Champeaux had unqualifiedly alleged, Abaelard tried to determine more analytically, to wit, the value of the proposition “si aliquid sit ea res quae est species, id est vel homo vel equus et caetera, sit quaelibet res quae eorum genus est, veluti animal aut corpus aut substantia,”--if species be something, as man, horse, and so forth, then that which is the genus of these may be something, as animal, body, or substance.[466]