We want now to take a glance at the logical form a theory of classifications (whatever these may be) could get in general. We must remark, first, that a logical approach to classifications (especially from an intensional viewpoint) never won unanimous support among the ancient philosophers and logicians (as proven by the numerous discussions between Aristotle and Plato, Ramus and Pascal, Jevons and Joseph).