§ 640. The canon of the first figure is known as the Dictum de Omni et Nullo-- What is true (distributively) of a whole term is true of all that it includes. § 641. The canon of the second figure is known as the Dictum de Diverse-- If one term is contained in, and another excluded from a third term, they are mutually excluded. § 642. The canon of the third figure is known as the Dictum de Exemplo et de Excepto-- Two terms which contain a common part partly agree, or, if one contains a part which the other does not, they partly differ. § 643. The canon of the fourth figure has had no name assigned to it, and does not seem to admit of any simple expression. Another mode of formulating it is as follows:-- Whatever is affirmed of a whole term may have partially affirmed of it whatever is included in that term (Bramantip, Dimaris), and partially denied of it whatever is excluded (Fesapo); whatever is affirmed of part of a term may have partially denied of it whatever is wholly excluded from that term (Fresison); and whatever is denied of a whole term may have wholly denied of it whatever is wholly included in that term (Camenes). § 644. From the point of view of intension the canons of the first three figures may be expressed as follows. § 645. Canon of the first figure. Dictum de Omni et Nullo-- An attribute of an attribute of anything is an attribute of the thing itself. § 646. Canon of the second figure. Dictum de Diverso-- If a subject has an attribute which a class has not, or vice versa, the subject does not belong to the class. § 647. Canon of the third figure. 1. Dictum de Exemplo-- If a certain attribute can be affirmed of any portion of the members of a class, it is not incompatible with the distinctive attributes of that class. 2. Dictum de Excepto-- If a certain attribute can be denied of any portion of the members of a class, it is not inseparable from the distinctive attributes of that class. CHAPTER XVI. _Of the Special Uses of the Four Figures._ § 648. The first figure is useful for proving the properties of a thing. § 649. The second figure is useful for proving distinctions between things. § 650. The third figure is useful for proving instances or exceptions. § 651. The fourth figure is useful for proving the species of a genus. FIGURE 1. § 652. B is or is not A. C is B. .'. C is or is not A. We prove that C has or has not the property A by predicating of it B, which we know to possess or not to possess that property. Luminous objects are material. Comets are luminous. .'. Comets are material. No moths are butterflies. The Death's head is a moth. .'. The Death's head is not a butterfly. FIGURE II. § 653. A is B. A is not B. C is not B. C is B. .'. C is not A. .'. C is not A.