Chapter 14

Demonstration¹ per impossibile differs from ostensive proof in that it posits² what it wishes to refute by reduction to a statement admitted to be false; whereas ostensive proof starts from admitted positions. Both, indeed, take two premisses that are admitted, but the latter takes the premisses from which the syllogism³ starts, the former takes one of these, along with the contradictory⁴ of the original conclusion. Also in the ostensive proof it is not necessary that the conclusion should be known, nor that one should suppose beforehand that it is true or not: in the other it is necessary to suppose beforehand that it is not true. It makes no difference whether the conclusion is affirmative or negative; the method is the same in both cases. Everything which is concluded ostensively can be proved per impossibile, and that which is proved per impossibile can be proved ostensively, through the same terms. Whenever the syllogism is formed in the first figure, the truth will be found in the middle or the last figure, if negative in the middle, if affirmative in the last. Whenever the syllogism is formed in the middle figure, the truth will be found in the first, whatever the problem may be. Whenever the syllogism is formed in the last figure, the truth will be found in the first and middle figures, if affirmative in first, if negative in the middle. Suppose that A has been proved to belong to no B, or not to all B, through the first figure. Then the hypothesis must have been that A belongs to some B, and the original premisses that C belongs to all A and to no B. For thus the syllogism was made and the impossible conclusion reached. But this is the middle figure, if C belongs to all A and to no B. And it is clear from these premisses that A belongs to no B. Similarly if has been proved not to belong to all B. For the hypothesis is that A belongs to all B; and the original premisses are that C belongs to all A but not to all B. Similarly too, if the premiss CA should be negative: for thus also we have the middle figure. Again suppose it has been proved that A belongs to some B. The hypothesis here is that is that A belongs to no B; and the original premisses that B belongs to all C, and A either to all or to some C: for in this way we shall get what is impossible. But if A and B belong to all C, we have the last figure. And it is clear from these premisses that A must belong to some B. Similarly if B or A should be assumed to belong to some C.

Again suppose it has been proved in the middle figure that A belongs to all B. Then the hypothesis must have been that A belongs not to all B, and the original premisses that A belongs to all C, and C to all B: for thus we shall get what is impossible. But if A belongs to all C, and C to all B, we have the first figure. Similarly if it has been proved that A belongs to some B: for the hypothesis then must have been that A belongs to no B, and the original premisses that A belongs to all C, and C to some B. If the syllogism is negative, the hypothesis must have been that A belongs to some B, and the original premisses that A belongs to no C, and C to all B, so that the first figure results. If the syllogism is not universal, but proof has been given that A does not belong to some B, we may infer in the same way. The hypothesis is that A belongs to all B, the original premisses that A belongs to no C, and C belongs to some B: for thus we get the first figure.

Again suppose it has been proved in the third figure that A belongs to all B. Then the hypothesis must have been that A belongs not to all B, and the original premisses that C belongs to all B, and A belongs to all C; for thus we shall get what is impossible. And the original premisses form the first figure. Similarly if the demonstration establishes a particular proposition: the hypothesis then must have been that A belongs to no B, and the original premisses that C belongs to some B, and A to all C. If the syllogism is negative, the hypothesis must have been that A belongs to some B, and the original premisses that C belongs to no A and to all B, and this is the middle figure. Similarly if the demonstration is not universal. The hypothesis will then be that A belongs to all B, the premisses that C belongs to no A and to some B: and this is the middle figure.

It is clear then that it is possible through the same terms to prove each of the problems ostensively as well. Similarly it will be possible if the syllogisms are ostensive to reduce them ad impossibile in the terms which have been taken, whenever the contradictory of the conclusion of the ostensive syllogism is taken as a premiss. For the syllogisms become identical with those which are obtained by means of conversion⁵, so that we obtain immediately the figures through which each problem will be solved. It is clear then that every thesis can be proved in both ways, i.e. per impossibile and ostensively, and it is not possible to separate one method from the other.

1 demonstration   

n.表明，示范，论证，示威

参考例句：

• His new book is a demonstration of his patriotism.他写的新书是他的爱国精神的证明。
• He gave a demonstration of the new technique then and there.他当场表演了这种新的操作方法。

2 posits   

v.假定，设想，假设( posit的第三人称单数 )

参考例句：

• If a book is hard going, it ought to be good. If it posits a complex moral situation, it ought to be even better. 如果一本书很难读，那么它应该是一本好书；如果它提出了一个复杂的道德状况，那么它就更应该是本好书了。 来自《简明英汉词典》
• Ray posits that this miracle is an object lesson for the disciples. 雷把这个奇事当作教训信徒们的事件。 来自互联网

3 syllogism   

n.演绎法，三段论法

参考例句：

• The ramifications or the mystery of a syllogism can become a weariness and a bore.三段论证法的分歧或者神秘会变成一种无聊、一种麻烦。
• The unexpected bursts forth from the syllogism.三段论里常出岔子。

4 contradictory   

adj.反驳的，反对的，抗辩的；n.正反对，矛盾对立

参考例句：

• The argument is internally contradictory.论据本身自相矛盾。
• What he said was self-contradictory.他讲话前后不符。

5 conversion   

n.转化，转换，转变

参考例句：

• He underwent quite a conversion.他彻底变了。
• Waste conversion is a part of the production process.废物处理是生产过程的一个组成部分。