Authors/Ps-Aquinas/Summa Totius Logicae/TRACTATUS 6/Caput 9

An earlier version of this page is in Ye Olde Logic Museum.

Latin	English
CAPUT 9	Chapter 9
Restat nunc dicere de aequipollentiis dictarum enunciationum.	It remains now to speak of the equipollence of said assertions.
Ubi nota: quod negatio praeposita ante signum, et per consequens ante enuntiationem, aequipollet suae contradictoriae. Posita vero post signum, in compositione scilicet enunciationis, facit eam aequipollere suae contrariae. Praeposita vero et postposita facit eam aequipollere suae subalternae. Causa autem istarum aequipollentiarum est: nam in enunciationibus praedictis est considerare quantitatem, videlicet universalitatem, particularitatem: et qualitatem, scilicet negationem et affirmationem. Hoc est autem natura negationis, ut neget et tollat totum quod invenit post se.	It remains now to speak of 'equipollents' of spoken assertions. Where we note, that a negation placed before the sign [of quantity], and consequently before the assertion, it is equipollent to its contradictory. But placed after the sign [of quantity, i.e. in the composition of the assertion, it makes it equipollent to its contrary. Placed both before and after, however, it makes it equipollent to its subalternate. Now the cause of these equipollencies is that in the assertions mentioned above we may consider quantity, i.e. universality and particularity, and quality, i.e. negation and affirmation. Now the nature of negation is to deny and to remove all which occurs after it.
Sic ergo ista enuntiatio omnis homo currit est universalis et affirmativa: cui si praeponatur negatio, scilicet non omnis homo currit, ista negatio tollit universalitatem, et sic remanet particularis, vel indefinita, scilicet sine signo, quae aequipollet particulari; et tollit affirmationem, et per consequens remanet negativa.	Thus the assertion 'every man runs' is universal and affirmative. If negation is placed before this, i.e. 'not every man runs', the negation removes the universality, and thus it is left as a particular, or indefinite, i.e. without sign, which is equipollent to a particular, and removes the affirmation, and in consequence is left as a negative. I.e. it is equipollent to 'a certain man does not run', which was its contradictory.
Aequipollet ergo huic, scilicet quidam homo non currit, quae erat sua contradictoria. Similiter sit haec enunciatio nullus homo currit: certum est, quod haec enunciatio sit universalis et negativa: praeponatur sibi negatio, et dicatur non nullus homo currit: negatio tollit universalitatem, ergo erit particularis: tollit etiam negationem, et sic erit affirmativa, haec scilicet quidam homo currit, quae erat sua contradictoria: et idem erit de particularibus: nam haec, non quidam homo currit, aequipollet huic nullus homo currit: et propter hanc causam haec non quidam homo non currit, aequipollet huic, scilicet, quilibet homo currit.	The assertion 'no man runs' is similar. It is certain that this is universal and negative: the negation is placed before it, giving 'it is not the case that no man runs'. The negation removes the universality, therefore it will be particular, and it removes also the negation, and so it will be affirmative, i.e. 'a certain man runs', which was its contradictory, and the same will be true of the particulars. For 'it is not the case that a certain man runs', is equipollent to 'no man runs', and for this reason 'it is not the case that a certain man does not run' is equipollent to 'every man runs'.
Similiter etiam si sumatur haec enunciatio omnis homo currit, et postponatur negatio signo universali et ponatur ad compositionem sic omnis homo non currit, quia negatio non invenit post se signum, non negat illud, et per consequens remanet universalis enunciatio; aufert autem negatio affirmationem, et sic facta est enunciatio negativa et universalis: aequipollet ergo suae contrariae, scilicet huic nullus homo currit. Similiter haec nullus homo currit, est universalis et negativa: nam signum negativum negat compositionem enunciationis. Postponatur ergo ei negatio, et dicatur nullus homo non currit: quia negatio non habet signum post se, remanet enunciatio universalis. Et quia erat negativa quantum ad compositionem, aufert negationem, et remanet affirmativa, haec scilicet omnis homo currit, quae erat sua contraria.	Similarly also, if we take 'every man runs' and the negation is placed after the sign of universality and within the composition thus: 'every man does not run', then because the negation happens after the sign itself, it does not negate that, and by consequence it is left as a universal assertion. But it takes away the affirmation, and so the assertion is made negative and universal, and therefore equipollent to its contrary, i.e. 'no man runs'. Similarly 'no man runs' is universal and negative, for the negative sign negates the composition of the assertion. Then negation is placed after it, giving 'no man does not run'. Because the negation 'not' is after the sign, it is left as a universal assertion. And because it was negative regarding the composition, it takes away the negation, and it is left as affirmative, i.e. 'every man runs', which was its contrary.
Similiter etiam sumatur ista omnis homo currit, quae est universalis et affirmativa et praeponatur sibi et postponatur negatio sic non omnis homo non currit: certum est quod secunda negatio negat eius compositionem.	Similarly also we take 'every man runs', which is universal and affirmative, and the negation is placed before and after it, thus 'it is not the case that every man does not run'. It is certain that the second negation negates the composition.
Unde dato quod illa esset negativa, haec scilicet, omnis homo non currit, praeposita ergo negatio invenit post se universalitatem quam tollit, et sic facit eam particularem, invenit et negationem quam tollit, et facit eam affirmativam; et erit haec, scilicet quidam homo currit, quae erat sua subalterna. Et sic est de omnibus aliis si praeponatur et postponatur in eis negatio: quia aequipollent suo subalterno, sive sit universalis, sive particularis.	Hence, given that it was negative, i.e. 'every man does not run', then the negation that is placed before it, happens after it, which takes away the universality, and thus makes it particular, and [thus] takes away the negation, and makes it affirmative. And it will be 'a certain man runs', which was its subalternate. And so it is with all others if negation is placed before and after them, because they are equipollent to their subalternate, whether universal or particular.
Notandum quod aliquando contingit quod in eadem enunciatione sunt duo signa universalia negativa: unum videlicet in subiecto, et alterum in praedicato, sicut in hac, nullus homo nullum animal est: dico quod ista aequipollet huic omnis homo aliquod animal est. Ratio est, quia quodlibet dictorum signorum et est universale, et habet in se negationem.	It is to be noted that sometimes it happens that in the same assertion there are two universal negative signs, namely one in the subject and one in the predicate, e.g. 'no man is no animal'. I say that this is equipollent to 'every man is some animal'. The reason is, that because each of the signs above is universal, and has negation in it.
Et quia non praeponitur negatio primo signo, remanet enunciatio universalis: ergo negatio inclusa in primo signo, quod est signum universale et negativum, praeponitur negationi, seu secundo signo, quod est signum universale, et signum negativum.	And because negation is not prefixed to the first sign, it remains a universal assertion. Therefore negation is included in the first sign, which is a universal negative sign, prefixed to a negation, ie. the second sign, which is a universal negative sign.
Et quia invenit universalitatem, destruit ergo universalitatem, et remanet particulare: destruit negationem, et sic remanet enunciatio affirmativa, haec scilicet omnis homo aliquod animal est. Vel dicatur, sicut communiter dicitur, quod nullus non, aequipollet ei, quod est omnis, et dico non scilicet negationem quae continetur in secundo signo; non nullus vero aequipollet ei quod est quoddam, et nullus non, sumo pro negatione quae est in primo signo: et sic remanet omnis homo aliquod animal est. De omnibus his aequipollentiis, datur versus.	And because it finds universality, thus it destroys universality, and remains particular. It destroys negation, and thus remains an affirmative assertion, i.e. 'every man is some animal'. Or it may be said, as it commonly is, that 'no … not' is equipollent to 'every', and, I say, clearly not the negation which is contained in the second sign. But 'not no' is equipollent to 'a certain', and 'no … not' I take for the negation which is in the first sign, and thus it is left as 'every man is some animal'. About all these equipollencies, the following verse is given:
Prae Contradic. post Contra., prae postque Subalter.	Before – contradic., after – contra. Before and after – subalter.
Qui sic intelligitur: prae, idest negatio praeposita Contradic. idest facit aequipollere suo contradictorio: post, idest negatio postposita, facit aequipollere suo Contra., idest contrario. Prae postque idest negatio quae praeponitur et post ponitur facit aequipollere suo subalterno.	Which are understood thus: 'before' i.e. the negation is put before, 'contradic.' i.e. it makes it equipollent with its contradictory. 'After', i.e. negation is placed after, and makes it equipollent with its 'contra.' i.e. its contrary. 'Before and after' i.e. negation which is placed both before and after makes it equipollent with its subalternate. A
Et sic patet de aequipollentiis categoricarum.	And thus the equipollence of categorical propositions is clear.