This library is built in the open.
If you spot an error, have a suggestion, or just want to say hello — we’d love to hear from you.

Note on the first figure, in which the major premise is BA, the minor is CB, the direct conclusion is CA, and the indirect is AC. In the "first figure," the middle term (B) is the subject of the first premise and the predicate of the second. A "direct" conclusion (CA) follows the standard order of terms, while an "indirect" one (AC) reverses them.
A logical diagram consisting of three points labeled A, B, and C arranged horizontally. Two arcs connect A to B and B to C above, while a single large arc connects A and C from below.
Folio 5 recto, P edition
Note on the second figure, in which the major premise is AB, the minor is CB, the direct conclusion is CA, and the indirect AC. In the "second figure," the middle term (B) acts as the predicate in both premises.
A geometric diagram of a triangle with vertex B at the top and vertices A and C at the base (left and right respectively).
5
Note on the third figure, in which the major premise is BA, the minor is BC, and the conclusion is reached directly by CA and indirectly by AC. In the "third figure," the middle term (B) acts as the subject in both premises.
A geometric diagram of an inverted triangle with vertices A and C at the top and vertex B at the bottom.
Folio 5 verso, P edition
Page 710, G edition
10 Therefore, if you wish to conclude a universal affirmative A statement asserting that something is true for every member of a category, e.g., "All humans are mortal.", look for a middle term B, which is entirely contained by A—that is, a term of which A is universally predicated original: "praedicatur"; in logic, to be "predicated of" means to be stated or affirmed about a subject.—and which itself entirely contains C—that is, a term that is universally predicated of C. You will then construct your argument according to the first mode of the first figure This refers to the syllogism known as "Barbara" (All B is A; All C is B; therefore All C is A).. If [you wish to conclude] a universal nega— The text cuts off mid-word ("negativa"), preparing to explain how to prove that "No C is A."