Book, Paragraph

 1      I, 24|  themselves equal, the remainders E and F are equal, he will
 2      I, 25| propositions; e.g. the conclusion E may be established through
 3      I, 25|            e.g. by means of D and E, and again B by means of
 4      I, 25|      Suppose that the proposition E is inferred from the premisses
 5      I, 25|           them. It must either be E or one or other of C and
 6      I, 25|          than these.~(1) If it is E the syllogism will have
 7      I, 25|       also; and it must be either E, or one or other of the
 8      I, 25|           these. And if it is (i) E, or (ii) A or B, either (
 9      I, 25|          conclusion is other than E or A or B, the syllogisms
10      I, 25|           and B there follows not E but some other conclusion,
11      I, 25|         that the syllogism proved E. And if no conclusion follows
12      I, 28|      again that the attributes of E are designated by F, the
13      I, 28|          by F, the antecedents of E by G, and attributes which
14      I, 28| attributes which cannot belong to E by H. If then one of the
15      I, 28|          Fs, A must belong to all E: for F belongs to all E,
16      I, 28|           E: for F belongs to all E, and A to all C, consequently
17      I, 28|     consequently A belongs to all E. If C and G are identical,
18      I, 28|          Es: for A follows C, and E follows all G. If F and
19      I, 28|          Fs, but F belongs to all E. Again, if B and H are identical,
20      I, 28|        belong to all A, but to no E: for it was assumed to be
21      I, 28|           to D: but G falls under E: consequently A will not
22      I, 28|          converted syllogism: for E will belong to all A since
23      I, 28|          since B belongs to A and E to B (for B was found to
24      I, 28|       that A should belong to all E is not necessary, but it
25      I, 28|        but it must belong to some E because it is possible to
26      I, 28|   universal, e.g. in reference to E we must look to KF rather
27      I, 28|          belongs both to F and to E: but if it does not follow
28      I, 28|      proved that A belongs to all E, whenever an identical term
29      I, 28|         be the middle term; A and E will be the extremes. So
30      I, 28|         And A will belong to some E, whenever C and G are apprehended
31      I, 28|           And A will belong to no E, when D and F are identical.
32      I, 28| convertible, and F belongs to all E: the middle figure because
33      I, 28|       belongs to no A, and to all E. And A will not belong to
34      I, 28|           will not belong to some E, whenever D and G are identical.
35      I, 28|          will belong to no G, and E will belong to all G. Clearly
36      I, 28|         cannot possibly belong to E, or if those attributes
37      I, 28| attributes which cannot belong to E, e.g. C with H, we have
38      I, 28|         belong to all A and to no E. Consequently B must be
39      I, 28| everything which cannot belong to E.~It is clear then that from
40      I, 29|       suppose A to belong to some E: then since B belongs to
41      I, 29|      prove that A belongs to some E: for if A belonged to none
42      I, 29|   belonged to none of the Es, and E belongs to all G, A will
43      I, 29|       proved that A belongs to no E, because it turns out that
44      I, 29|      assumed that B belongs to no E and to all A, it is clear
45      I, 29|          that A will belong to no E. Again if it has been proved
46      I, 29|    syllogism that A belongs to no E, assume that A belongs to
47      I, 29|     assume that A belongs to some E and it will be proved per
48      I, 29|       impossibile to belong to no E. Similarly with the rest.
49      I, 29|          should be identical, but E should be assumed to belong
50      I, 29|           A would belong to every E: and again if the Ds and
51      I, 29|          should be identical, but E should be predicated of
52     II, 1 |           included in A. Again if E is included in C as in a
53     II, 1 |          C is included in A, then E will be included in A. Similarly
54     II, 1 |          yet B does not belong to E, if E is subordinate to
55     II, 1 |          does not belong to E, if E is subordinate to A. But
56     II, 1 |         that B does not belong to E.~But in particular syllogisms
57     II, 17|      suppose that A belongs to B, E to A and F to E, it being
58     II, 17|     belongs to B, E to A and F to E, it being false that F belongs
59     II, 18|           B, and these through D, E, F, and G, one of these
60     II, 18|           inferred by means of D, E, F, and G. Therefore the
61     II, 19|           true of F, B, C, D, and E being middle terms. One
62     II, 19|         next whether D belongs to E, instead of asking whether
63     II, 25|         let D stand for squaring, E for rectilinear figure,
64     II, 25|         term intermediate between E and F (viz. that the circle