or negative as they are used in the argument. For in complex [propositions], sometimes one part is negative, the other is affirmative, and occasionally it is the negative part (the less obvious part) which is chiefly in point. For example,
And the dictum de omni et nullo is so useful in proving a true argument and detecting a false one, that by its help any intelligent person may be able to see both true syllogistic force and its fallacious semblance, according to whether one of the premisses contains the conclusion or not, even before applying the special rules of syllogisms.
CHAPTER 7
With regard to the remaining forms of argument, it is evident that they are imperfect syllogisms or may be reduced to imperfect syllogisms.
1. The enthymeme12 or rhetorical syllogism is “when one of the premisses is unspoken because it is quite obvious”; it is for this reason that an enthymematic judgment has full syllogistic force.
2. Induction is “an inference from various examples,” of which the chief use is in physics, in politics, and in household matters. It does not generate the highest credit or exclude all fears of the contrary, unless it is clear that there are absolutely no contrary examples.
3. An epicheirema13 is “a complex syllogism in which a confirmation is attached to one or both of the premisses.”
4. Sorites is “discourse which contains several syllogisms which are connected with each other,” or where there are several middle terms which are connected with each other or with the extremes in several propositions of which if even one is negative, the conclusion will be negative, and if two are negative or any middle term is not distributed at least once, there will be no inference.
5. A dilemma is “a kind of epicheirema, where in making a division, that which is shown about the individual parts in the premisses is concluded of the whole.”
6. A hypothetical syllogism is “one in which one of the premisses is hypothetical”; when the minor is hypothetical, so also is the conclusion; these also serve to prove the inference in an enthymeme. More frequent are those in which the major is hypothetical, for example:
| Major: If this [is], that will be | Or, If this [is], that will be, | |
| Minor: But this [is] (con.), therefore also that. | But not that, therefore not this either. |
But since a more general predicate follows from any of the corresponding kinds (for example, If it is a man, if it is a horse, etc., it will also be an animal), but from a general predicate, no one particular species will follow (for from the fact that it is an animal, it does not follow that it will be a horse or an ass), it is evident that hypothetical syllogisms rightly proceed (1) from the positing of an antecedent to the positing of a consequent, or (2) from the removal of a consequent to the removal of an antecedent.
| If Titius is a man, he is also an animal, | 2) If it were a bird, it would fly, | |
| But he is a man, therefore he is an animal. | But it does not fly, therefore it is not a bird. |
It is a fallacious inference from the removal of an antecedent, or the positing of a consequent:
| If Titius is a horse, he is an animal, | Or, But he is an animal, | |
| He is not a horse, therefore he is not an animal. | Therefore he is a horse. |
The positing of a negative will be a negation, and the removal of it an affirmation.
Hypothetical [syllogisms] are reduced to categorical [syllogisms] by this general method: “every case which posits that Titius is a man, posits that he is an animal; but every case, or some case, posits that he is a man; therefore, etc.” But often it may be more easily and briefly done when there is either the same subject or the same predicate to the antecedent and the consequent; for example:
If man is an animal, he has sensation,
But every man is an animal, therefore he has sensation.
Every animal has sensation.
Every man is an animal; therefore,
Every man has sensation.
If every animal has sensation, every man has sensation;
But every animal has sensation; therefore,
Every man has sensation.
7. Disjunctive syllogisms are “those in which the major is disjunctive, [whether] affirmative or negative.” Either it is day, or it is night; but it is not day, therefore it is night. Or, it is not both night and day, but it is day; therefore it is not night. The force of the inference is obvious enough, when by positing an affirmative disjunctive major, an affirmative conclusion is drawn from a negative minor; or from a copulative negative major and an affirmative minor, the conclusion is negative. For in the former case the syllogism will be reduced to Barbara.
All time different from daytime is night;
But this time is different from daytime.
Therefore …
In the other case.
No daytime is night,
But this time is day.
Therefore …
There is no inference from an affirmative minor, in the former, or from a negative [minor] in the latter.
CHAPTER 8
As far as content is concerned, syllogisms are either certain or probable depending on their premisses.
A demonstration is “an argument duly reaching a conclusion from certain premisses,” and it is either ostensive, or leading to absurdity; the latter is the case when the contradictory of a proposition is shown to be false, from which it will be clear that it is itself true. The former is either a priori, or of a cause,14 “when an effect is shown from a known cause.” But there are causes of being and causes of knowing. The former are prior by nature and per se; the latter [are prior] in being known and in relation to us. Demonstrations drawn from both kinds of causes are called a priori, but especially those which are drawn from things prior by nature.15
“The discipline which relies on demonstrations” is science. The general rules of science are
1. “All terms must be accurately defined,” nor is their meaning ever to be altered.
2. “Certain and evident axioms are to be posited.”
3. “One must proceed from the better known to the less known by demonstrations step by step,” and premisses which go beyond axioms and propositions previously demonstrated are not to be admitted.
Demonstrations only deal with abstract propositions, especially in geometry and arithmetic.
There is no single principle of human knowledge which you may rightly say is prior to the rest. There are many evident principles apart from the most general axioms. Nor will any syllogism carry full credence unless both terms of the conclusion are found connected with the middle term in evident propositions. In demonstration,
