translated by E. M. Edghill
The first class of simple propositions is the simple affirmation, the next, the simple denial; all others are only one by conjunction. Every proposition must contain a verb or the tense of a verb. The phrase which defines the species 'man', if no verb in present, past, or future time be added, is not a proposition. It may be asked how the expression 'a footed animal with two feet' can be called single; for it is not the circumstance that the words follow in unbroken succession that effects the unity. This inquiry, however, finds its place in an investigation foreign to that before us.
We call those propositions single which indicate a single fact, or the conjunction of the parts of which results in unity: those propositions, on the other hand, are separate and many in number, which indicate many facts, or whose parts have no conjunction. Let us, moreover, consent to call a noun or a verb an expression only, and not a proposition, since it is not possible for a man to speak in this way when he is expressing something, in such a way as to make a statement, whether his utterance is an answer to a question or an act of his own initiation.
To return: of propositions one kind is simple, i.e. that which asserts or denies something of something, the other composite, i.e. that which is compounded of simple propositions. A simple proposition is a statement, with meaning, as to the presence of something in a subject or its absence, in the present, past, or future, according to the divisions of time.
An affirmation is a positive assertion of something about something, a denial a negative assertion.
Now it is possible both to affirm and to deny the presence of something which is present or of something which is not, and since these same affirmations and denials are possible with reference to those times which lie outside the present, it would be possible to contradict any affirmation or denial. Thus it is plain that every affirmation has an opposite denial, and similarly every denial an opposite affirmation.
We will call such a pair of propositions a pair of contradictories. Those positive and negative propositions are said to be contradictory which have the same subject and predicate. The identity of subject and of predicate must not be 'equivocal'. Indeed there are definitive qualifications besides this, which we make to meet the casuistries of sophists.
Some things are universal, others individual. By the term 'universal' I mean that which is of such a nature as to be predicated of many subjects, by 'individual' that which is not thus predicated. Thus 'man' is a universal, 'Callias' an individual. Our propositions necessarily sometimes concern a universal subject, sometimes an individual.
If, then, a man states a positive and a negative proposition of universal character with regard to a universal, these two propositions are 'contrary'. By the expression 'a proposition of universal character with regard to a universal', such propositions as 'every man is white', 'no man is white' are meant. When, on the other hand, the positive and negative propositions, though they have regard to a universal, are yet not of universal character, they will not be contrary, albeit the meaning intended is sometimes contrary. As instances of propositions made with regard to a universal, but not of universal character, we may take the 'propositions 'man is white', 'man is not white'. 'Man' is a universal, but the proposition is not made as of universal character; for the word 'every' does not make the subject a universal, but rather gives the proposition a universal character. If, however, both predicate and subject are distributed, the proposition thus constituted is contrary to truth; no affirmation will, under such circumstances, be true. The proposition 'every man is every animal' is an example of this type.
An affirmation is opposed to a denial in the sense which I denote by the term 'contradictory', when, while the subject remains the same, the affirmation is of universal character and the denial is not. The affirmation 'every man is white' is the contradictory of the denial 'not every man is white', or again, the proposition 'no man is white' is the contradictory of the proposition 'some men are white'. But propositions are opposed as contraries when both the affirmation and the denial are universal, as in the sentences 'every man is white', 'no man is white', 'every man is just', 'no man is just'. We see that in a pair of this sort both propositions cannot be true, but the contradictories of a pair of contraries can sometimes both be true with reference to the same subject; for instance 'not every man is white' and some men are white' are both true. Of such corresponding positive and negative propositions as refer to universals and have a universal character, one must be true and the other false. This is the case also when the reference is to individuals, as in the propositions 'Socrates is white', 'Socrates is not white'.
When, on the other hand, the reference is to universals, but the propositions are not universal, it is not always the case that one is true and the other false, for it is possible to state truly that man is white and that man is not white and that man is beautiful and that man is not beautiful; for if a man is deformed he is the reverse of beautiful, also if he is progressing towards beauty he is not yet beautiful.
This statement might seem at first sight to carry with it a contradiction, owing to the fact that the proposition 'man is not white' appears to be equivalent to the proposition 'no man is white'. This, however, is not the case, nor are they necessarily at the same time true or false.
It is evident also that the denial corresponding to a single affirmation is itself single; for the denial must deny just that which the affirmation affirms concerning the same subject, and must correspond with the affirmation both in the universal or particular character of the subject and in the distributed or undistributed sense in which it is understood.
For instance, the affirmation 'Socrates is white' has its proper denial in the proposition 'Socrates is not white'. If anything else be negatively predicated of the subject or if anything else be the subject though the predicate remain the same, the denial will not be the denial proper to that affirmation, but on that is distinct. The denial proper to the affirmation 'every man is white' is 'not every man is white'; that proper to the affirmation 'some men are white' is 'no man is white', while that proper to the affirmation 'man is white' is 'man is not white'.
We have shown further that a single denial is contradictorily opposite to a single affirmation and we have explained which these are; we have also stated that contrary are distinct from contradictory propositions and which the contrary are; also that with regard to a pair of opposite propositions it is not always the case that one is true and the other false. We have pointed out, moreover, what the reason of this is and under what circumstances the truth of the one involves the falsity of the other.
An affirmation or denial is single, if it indicates some one fact about some one subject; it matters not whether the subject is universal and whether the statement has a universal character, or whether this is not so. Such single propositions are: 'every man is white', 'not every man is white'; 'man is white', 'man is not white'; 'no man is white', 'some men are white'; provided the word 'white' has one meaning. If, on the other hand, one word has two meanings which do not combine to form one, the affirmation is not single. For instance, if a man should establish the symbol 'garment' as significant both of a horse and of a man, the proposition 'garment is white' would not be a single affirmation, nor its opposite a single denial. For it is equivalent to the proposition 'horse and man are white', which, again, is equivalent to the two propositions 'horse is white', 'man is white'. If, then, these two propositions have more than a single significance, and do not form a single proposition, it is plain that the first proposition either has more than one significance or else has none; for a particular man is not a horse. This, then, is another instance of those propositions of which both the positive and the negative forms may be true or false simultaneously.