Beruflich Dokumente
Kultur Dokumente
www.bloomsbury.com
Ian Mueller asserts his right under the Copyright, Designs and Patents Act, 1988,
to be identified as Author of this work.
All rights reserved. No part of this publication may be reproduced or transmitted in any form or
by any means, electronic or mechanical, including photocopying, recording, or any information storage or
retrieval system, without prior permission in writing from the publishers.
No responsibility for loss caused to any individual or organization acting on or refraining from action
as a result of the material in this publication can be accepted by Bloomsbury Academic or the author.
Acknowledgements
The present translations have been made possible by generous and imaginative funding from the
following sources: the National Endowment for the Humanities, Division of
Research Programs, an independent federal agency of the USA; the Leverhulme
Trust; the British Academy; the Jowett Copyright Trustees; the Royal Society (UK);
Centro Internazionale A. Beltrame di Storia dello Spazio e del Tempo (Padua); Mario Mignucci;
Liverpool University; the Leventis Foundation; the Humanities Research Board of the
British Academy; the Esme Fairbairn Charitable Trust; the Henry Brown Trust; Mr and
Mrs N. Egon; The Netherlands Organisation for Scientific Research (NWO/GW).
The editor wishes to thank Jonathan Barnes, Tad Brennan, Kevin Flannery, Pamela Huby,
Michael B. Papazian, Richard Patterson and Donald Russell for their
comments on the volume, and Han Baltussen for preparing the volume for press.
Introduction
I. Assertoric syllogistic 4
II. Modal syllogistic without contingency 9
II.A. Conversion of necessary propositions 9
II.B. NN-combinations 11
II.C. N+U combinations 13
III. Modal syllogistic with contingent propositions 19
III.A. Strict contingency and its transformation rules 19
III.B. Alexander and the temporal interpretation of
modality 23
III.C. Conversion of necessary propositions 25
III.D. Conversion of contingent propositions 27
III.D.1 Conversion of affirmative contingent
propositions 27
III.D.2 Non-convertibility of negative contingent
propositions 31
Notes 34
Summary (overview of symbols and rules) 39
Bibliography 163
English-Greek Glossary 165
Greek-English Index 169
Subject Index 185
Index Locorum 187
Editors Note
This translation has been literally decades (two) in the making. Josiah
Gould, acting on a suggestion of Ian Mueller, prepared a first draft of
the translation. Mueller produced a second draft and, then, in consult-
ation with Gould, a third and final version with introduction, notes,
appendices, and indices. We are certain that errors remain, but know
that there would have been many more without the advice of Tad
Brennan, Glenn Most, Richard Patterson, Robin Smith, and several
anonymous readers whose friendly but stern admonitions turned us
from some paths. We take full responsibility for remaining on other
paths despite their counsel.
where X and Y are terms (called respectively the predicate and the
subject of the proposition).2 These propositions are sometimes referred
to as a-propositions, e-propositions, etc. Propositions of the first two
kinds are called universal, those of the last two particular; a- and
i-propositions are called affirmative, e- and o- negative. Universality
and particularity are called quantity, affirmativeness and negativeness
quality. When we wish to represent a proposition in abstraction from
its quantity and quality we write, e.g., XY.
First figure XZ ZY
Second figure ZX ZY
Third figure XZ YZ
1. AAA1
2. EAE1
3. AII1
4. EIO1
where the letters give the quality and quantity of the propositions
involved and the subscripted number gives the figure. When we wish to
represent just a pair of premisses we write such things as
EE_1
AeB
BeC
We will, in fact, use something like this notation for pairs of pre-
misses, but after some hesitation, we have decided also to use the
medieval names for the categorical syllogisms in the belief that most
people who work on syllogistic will find them easier to read than the
more abstract symbolism. Those unfamiliar with the names need only
remember that the sequence of vowels in the medieval names repro-
duces the sequence of letters in the symbolism we have introduced; for
further clarity we will add to the names numerical subscripts indicating
the figure.5 Thus we will refer to the four first-figure syllogisms as
1. Barbara1
2. Celarent1
3. Darii1
4. Ferio1
Let A be the major extreme, B the middle term, and C the minor extreme.
If C is in B as in a whole, B is said of every C. Therefore, it is not
possible to take any C of which B is not said. Again, if B is in A as in a
whole, A is said of every B. Hence it is not possible to take any of B of
which A is not said. Now, if nothing of B can be taken of which A is not
said, and C is something of B, then by necessity A will be said of C too.
(54,12-18)
Whether one thinks that for Aristotle complete assertoric syllogisms are
simply self-evident or in agreement with Alexander that their
validity depends on the dictum de omni et nullo, affects ones under-
standing of Aristotles conception of logic, but it does not affect ones
understanding of which assertoric combinations are syllogistic. In the
case of modal syllogistic the situation changes. At least in antiquity the
dictum played a role in disputes about whether certain combinations
are syllogistic. We will say more about the issue in section II.C.
The first three of these are completed directly. We indicate the way in
which we will describe their reductions or proofs (deixeis), as Alexander
most frequently calls them, in the Summary. Baroco2 is justified indi-
rectly by reductio ad absurdum: from the contradictory of the conclusion
and one of the premisses, one uses a first-figure syllogism to infer the
contradictory of the other premiss. For our representation of the argu-
ment see the Summary, which gives similar representations for the
third figure. These derivations for modally unqualified propositions are
worth learning since in general Aristotle tries to adapt them to modally
qualified propositions. In the directly derivable cases he faces few
problems so that many of the main issues for them arise already in
connection with the first figure. However, the addition of the modal
operators causes special problems in the indirect cases.
Barbara1(UUU)
AE_1(UU_).
a law which he does not take up until 25a40-b3, and which he appears
to justify by citing EE-conversionn. For AI-conversionn and II-conver-
sionn Aristotle writes,
NEC(BiA) NEC(AiB)
CON(BeA). But:
The problem with this reconstruction is not simply that Aristotle relies
on laws concerning contingency which he has not yet discussed, but (i)
and (ii) are laws which Aristotle rejects at 1.17, 36b35-37a31. In the
Introduction 11
course of doing so he denies that an indirect argument works by denying
an instance of:
CON(P) NEC( P) ( C N )
NEC(P) CON( P) (N C )
P NEC( P) (U N )
For, if the terms are posited in the same way in the case of holding and in
that of holding by necessity or in the case of not holding there either
will or there wont be a syllogism <in both cases>, except that they will
differ by the addition of holding or not holding by necessity to the terms.
For the privative converts in the same way, and we will give the same
account of being in as a whole and said of all. (29b37-30a3)
Alexander points out that Aristotle means to include all conversion rules
in this remark (120,20-5), and he applies the reference to the dictum de
omni et nullo to the first figure (120,13-15), a sure sign that he takes
Aristotle to be treating the first-figure NNN syllogisms as complete.
Thus the argument is that the parallel first-figure combinations are
12 Introduction
syllogistic of parallel conclusions and that conversion will generate the
parallel directly verified syllogisms in the second and third figures. The
only remaining problem concerns:
After giving terms Aristotle says that the proof that Celarent1(UNN)
fails will be the same. Later, having affirmed Darii1(NUN) and
Ferio1(NUN), Aristotle rejects Darii1(UNN) and Ferio1(UNN):
Assume that AaB and NEC(BaC) yield NEC(AaC). But NEC(AaC) and
NEC(BaC) yield (Darapti3(NNN)) NEC(AiB). However, we ought to be
able to make AaB true while making NEC(AiB) false. Hence, the assump-
tion that Barbara1(UNN) holds is wrong.
Introduction 17
We prefer the following paraphrase of this argument:
the two negative propositions entail nothing, and AeC and NEC(BaC)
entail (Felapton3(UNU)) AoB which is certainly not incompatible with
AeB.27 For:
and
the conclusion and either premiss entail nothing. However, in the case
of these two the situation is exactly the same if the conclusion is taken
to be NEC(AiC) or NEC(AoC), as Alexander points out at 134,32-135,6
and 135,12-19. Hence Aristotle cannot give incompatibility rejection
arguments for either Darii1(UNN) or Ferio1(UNN).
At 129,9-22 Alexander more or less shows that there is no incompati-
bility rejection argument for Barbara1(NUN). The same is true for the
other first-figure NUN cases.28 In commenting on the rejection of
Barbara 1(UNN) (128,3-129,7) and Celarent1(UNN) (130,27-131,4)
Alexander contents himself with showing that incompatibility argu-
ments work for rejecting these. However, as we have seen, when he gets
18 Introduction
to Aristotles specification of terms, he points out (129,23-130,24) that
very similar terms would suffice for the rejection of Barbara1(NUN),
and offers essentially Theophrastean considerations against Aristotles
position. He subsequently (131,8-21) tries to explain the difference
between incompatibility rejection arguments and reductios, and then
says that Aristotle doesnt seem to be entirely confident about these
rejection arguments. This remark might seem out of place, given what
Alexander has said up to this point, but it is not if we realize the
complications which we have already outlined. Alexander goes on to
give his own method (132,5-7), which involves the attempt to produce a
reductio on the denial of a purported conclusion; if one is produced the
purported conclusion follows, if it isnt, the purported conclusion does
not. Application of the method requires Alexander to look ahead not
only to third-figure N+U (and UU) combinations, which is all right since
these combinations reduce to first-figure ones, but because the denial
of a necessary proposition is a contingent one also to N+C (and U+C)
combinations. The method appears to work for accepting Bar-
bara1(UNU) and rejecting Barbara1(UNN), but it would commit
Aristotle to acceptance of Celarent1(UNN).29
Alexander is obviously in difficulty when he gets to Aristotles rejec-
tion of Darii1(UNN) and Ferio1(UNN), since what Aristotle says or
clearly implies is false: we cannot give incompatibility rejection argu-
ments for these cases. Essentially Alexander considers various
alternatives without clearly espousing any one of them. We describe the
text, since it offers some difficulty. Alexander considers three alterna-
tive interpretations. He first suggests (133,20-9) that Aristotle is
intending to apply his method of incompatibility argumentation to
Darii1(UNN) and Darii1(NUN). But now he claims that the method
would not generate a contradiction if applied to Barbara1(NUN). This
claim is, of course, false, and in trying to defend it Alexander uses
Darapti3(UNU) rather than the stronger Darapti3(UNN) which is ac-
cepted by Aristotle.30 In any case, as we have seen, he subsequently
(134,32-135,6 and 135,12-19) asserts correctly that Aristotles incom-
patibility arguments will not work to reject either Darii1(UNN) or
Ferio1(UNN).
Alexanders second alternative interpretation of Aristotles words
(133,29-134,20) is his own method. He shows more or less that it will
suffice to confirm Darii1(NUU) but not Darii1(UNN). He does not point
out that it also confirms Darii1(NUN). Nor does he say anything about
Ferio1. In fact his method confirms both Ferio1(UNN) and Ferio1(NUN),
hardly a satisfactory result from Aristotles point of view.31
Alexanders third alternative is that Aristotle has in mind concrete
counterinterpretations. This has the benefit of putting Aristotle on
logically sound ground, but it is hard to believe that this is what the text
means.
Introduction 19
In other words, holding for the most part is not the defining feature of
contingency. Aristotle specifies the defining feature toward the begin-
ning of chapter 13 when he announces what Alexander calls (on the
basis of 1.14, 33b21-3, 1.15, 33b25-31, and 1.15, 34b27-9) the diorismos
of contingency:
The only clear and explicit use Aristotle makes of clause (ii) is in his
specious justifications of certain first-figure UC and NC syllogisms,
notably Barbara1(UC_) and Celarent1(UC_).32 Commenting on the
diorismos Alexander argues that for Aristotle CON(P) rules out P as
well as NEC(P):
Unfortunately, Aristotle does not offer any argument for any of these
rules, but simply says,
For since the contingent is not necessary, and what is not necessary may
(enkhrei) not hold, it is evident that, if it is contingent that A holds of B,
it is also contingent that it does not hold of B, and if it is contingent that
it holds of all, it is also contingent that it does not hold of all. And similarly
in the case of particular affirmations. (32a36-40)
(ia) CON(AaB)
(ib) CON(AeB)
(iia) CON(AiB)
(iib) CON(AoB)
(iic) CON(BiA)
(iid) CON(BoA)
(i) XaffY is contingent iff X does not hold of Y now but can hold of Y;
XnegY is contingent iff X holds of Y now, but can not hold of Y.
(ii) XaffY is contingent iff X can not hold of Y and can hold of Y.
XnegY is contingent iff X can hold of Y and can not hold of Y;
(Ct) P is contingent iff P is not true now, but P will be true at some
time.41
It is clear from this that in the previous proof too he used It is contingent
that B holds of some A in connection with something unqualified; for
there for if it is contingent that B holds of some should be understood to
mean For if B holds contingently (endekhomens) of some A. (37,17-21;
cf. 149,5-7)
Clearly (vi) and (ix) presuppose Nt, but Alexanders vocabulary shows
the same wavering between (C*) and (Ct) to which we have already
called attention. There is a perhaps more serious problem raised by (i).
Alexander offers no justification for how Aristotle can take this for
granted when he himself holds that CON(XiY) does not follow from
NEC(XeY), since NEC(XeY) is compatible with NEC(XaY), which is
Introduction 27
incompatible with CON(XiY). Perhaps when Alexander says that Aris-
totle takes (i) to be something agreed, he means that Aristotle is taking
(i) as an endoxon, albeit one which he does not accept.
Alexanders discussion of AI- and II-conversionn, to which we now
turn, throws some further light on his treatment of EE-conversionn.
Alexanders summary of the argument involves another (to us approxi-
mate) use of temporal considerations and the same assertion of the
equivalence of NEC(P) and It is contingent that P.
It is clear that he has not conducted the proof with contingent negative
propositions; for he thinks that they do not convert. Rather he reduces
<the contingent negative proposition> to an unqualified one, subtracting
necessity from it.44 He makes this clear by no longer using the word
contingent but simply saying For if it is not necessary. For he is
assuming that unqualified propositions convert. (37,14-17)
Here Alexander lights on the fact that in the justification of AI- and
II-conversionn Aristotle does not say something like if NEC(BiA), then
it is contingent that B holds of no A, and so it is contingent that A holds of
no B and so NEC(AiB), but simply if NEC(BiA) then NEC(AiB).
Alexander takes for granted that Aristotles argument must turn on the
three ways in which contingency is said, and that it will proceed
indirectly by moving from:
to:
which contradicts:
(iva) CON(AiB)
(ivb) AiB
(ivc) NEC(AiB)
Introduction 29
Case (b) is easy since (BiA), i.e., BeA, yields (EE-conversionu) AeB,
contradicting AiB. Similarly, given C N , which Alexander
presumably again takes as agreed, case (c) reduces to EE-conversionn.
For case (a) Alexander takes for granted N C and gives his most
straightforward temporal argument: if NEC(BiA) then ( N C
) CON(BeA), so that (Ct) at some time BeA, so that at that time AeB, so
CON(AeB), contradicting NEC(AiB). He does not seem to notice that if
this argument were correct it would establish EE-conversionc.
Alexander preserves for us something like such an argument of
Theophrastus and Eudemus for a version of EE-conversion for contin-
gent propositions, although it too shows an unclear handling of
temporal considerations:
It seems that Aristotle expresses a better view than they do when he says
that a universal negative which is contingent in the way specified does
not convert with itself. For if X is disjoined from Y it is not thereby
contingently (endekhomens) disjoined from it. Consequently it is not
sufficient to show that when it is contingent that A is disjoined from B,
then B is also disjoined from A; in addition <one must show> that B is
contingently disjoined from A. But if this is not shown, then it has not
been shown that a contingent proposition converts, since what is sepa-
rated from something by necessity is also disjoined from it, but not
contingently. (220,16-23; cf. 221,1-2)
For if someone requires that we take as universal what holds always but
not what holds at some time, he will be requiring nothing else than that
the unqualified be necessary, since the necessary does always hold.
Furthermore, he himself, when he is considering an unqualified proposi-
tion with respect to terms does not ever consider it with respect to terms
of this kind. (232,32-6; cf. 130,23-4)
In the case of negative propositions, it is not the same. With those which
are said to be contingent inasmuch as they do not hold by necessity or they
hold but not by necessity, the case is similar, e.g., if someone were to say
that it is contingent that what is human is not a horse or that white holds
of no cloak. For of these examples the former does not hold by necessity,
and it is not necessary that the latter hold and the proposition converts
in the same way; for, if it is contingent that horse holds of no human, it
will be possible (enkhrei) that human holds of no horse, and if it is
possible that white holds of no cloak, it is possible that cloak holds of
nothing white for if it is necessary that it holds of some, then white will
also hold of some cloak by necessity (for this was proved earlier). And
similarly in the case of particular negatives. (25b3-14)48
He says for if it is necessary that it holds of some, then white will also
hold of some cloak by necessity since a particular affirmative necessary
proposition must be the opposite of a contingent universal negative one,
and the unqualified proposition was assumed as contingent in its verbal
formulation. And the verbal opposite will contain necessity, although
what is signified by it will be particular affirmative unqualified. For this
is the opposite of a universal negative unqualified proposition. (39,4-11,
our italics)
But those things which are said to be contingent inasmuch as they are for
the most part and by nature and this is the way we specify contingency
will not be similar in the case of negative conversions. Rather a
universal negative proposition does not convert, and the particular does
convert. This will be evident when we discuss contingency. (25b14-19)49
* CON(BeA) NEC(BiA)
since one might have NEC(BoA) and NEC(BiA). For this discussion
it is also useful to have the analogue of (NCe) for a-propositions:
What does not emerge clearly from Aristotles text is whether or not he
accepts the converses of (NCe) and (NCa), that is
For if B does not hold of some A by necessity, it is not true to say that it
is contingent that it does not hold of all, just as if B does hold of some A
by necessity, it is not true to say that it is contingent that it holds of all.
(37a17-20)
That is,
34 Introduction
(NCe) NEC(BoA) CON(BeA)
(NCa) NEC(BiA) CON(BaA)
It is clear then that with respect to things which are contingent and not
contingent in the way which we have specified initially it is necessary to
take B does not hold of some A by necessity and not B holds of some A
by necessity. But if this is taken, nothing impossible results, so there is
no syllogism. (37a26-30)
We are inclined to think that Aristotle should say simply that we have
no right to infer NEC(BiA) from CON(BeA). But instead he says that
we must infer NEC(BoA). Alexander54 understands Aristotles claim to
be based on the idea that NEC(BiA), i.e., NEC(AiB), is incompatible
with the assumed CON(AeB). This interpretation seems to presup-
pose the truth of ( CeN). That is, the interpretation assumes that if
CON(BeA), then either NEC(BiA) or NEC(BoA) and rules out the
former option. If this interpretation is correct, then Aristotle presum-
ably also accepts ( CaN).
Notes
1. The reader can be sure that any variable letter other than A, B, C, D
and E has no correspondent in the Greek original.
2. In the Introduction and Summary we ignore Aristotles treatment of
so-called indeterminate propositions, X holds of Y and X does not hold of Y.
3. We also use the word syllogism to mean roughly valid inference. If the
Notes to pp. 5-13 35
premisses P1 and P2 are syllogistic, Alexander says things such as There is (or
will be) a syllogism, and if the conclusion yielded is P3, he often says there is a
syllogism of P3. We frequently render the former words as The result is a
syllogism and the latter There is a syllogism with the conclusion P3.
4. We adopt the convention of writing the conclusions of syllogistic combina-
tions after the premisses.
5. We will also frequently write out the propositions involved in a combina-
tion or syllogism. The order in which we list the syllogisms correponds to the
way Alexander orders them. He occasionally refers to, e.g., the third syllogism
in the first figure, meaning Darii1. See, for example 120,25-7.
6. For discussion see Patzig (1968), pp. 43-87.
7. See the note on 32,11 in Barnes et al., p. 87.
8. On this understanding of BiC see the notes on 49,22 (p. 111) and 32,20 (p.
88) of Barnes et al.
9. On Alexanders terminology for contradictories and contraries, see Barnes
et al., pp. 26-7. We have followed them in rendering antikeimenon opposite and
enantios contrary, saving antiphasis and antiphatikos for contradictory. In
some passages (e.g. 195,18-22, 237,29-32) Alexander uses antikeimenon as a
general term of which contraries and contradictories are species. But most often,
e.g., in representations of reductio proofs, he uses antikeimenon to refer to the
contradictory of a proposition.
The reader is well advised to learn the equivalences expressed by a and b,
since both Alexander and Aristotle by and large take them for granted.
10. We remark here that in the introduction and summary we pay virtually
no attention to Aristotles uniform rejection of combinations which do not
include a universal premiss.
11. Generally speaking it is not feasible to show that a combination is
syllogistic by showing directly that it admits no counterinterpretation because
it is not feasible to survey all possible interpretations.
12. See especially 238,22-38.
13. We do not, however, say that if P is an unqualified proposition and true,
P is unqualified, because if NEC(P), then P, but P is necessary, not unqualified.
The notation we have adopted represents necessity and contingency as
operators on sentences. Many interpreters prefer to represent them as operators
on predicates or the copula joining predicate to subject. See, e.g., Patterson
(1995). Our view is that no uniform representation, i.e., one in which the same
words of Aristole are always or almost always represented by the same formula,
is fully satisfactory, and that the notation we have adopted is simple and by and
large adequate to capture Alexanders perspective. For the most part, notation
becomes significant when one is concerned with the question of truth, e.g.,
whether or not it is the case that a certain combination is syllogistic or a
conversion rule correct. When one is concerned, as Alexander for the most part
is, with the overall coherence of what Aristotle says, the interpretation of a
formalism is much less significant: roughly speaking one can interpret the
formalism however one wants as long as one interprets it consistently.
14. And also except in the UC and NC cases complete. The situation
changes somewhat when contingent premisses are introduced because the
conversion rules allow for the justification of syllogisms with no analogue among
combinations not containing a contingent premiss.
15. More precisely, Aristotle uses the equivalent in his argument at 1.15,
34a34-b2 that Barbara1(UC_) yields a contingent conclusion and claims at 1.16,
36 Notes to pp. 13-20
35b37-36a2 that the fact that Barbara1(NC_) also yields such a conclusion will
be proved in the same way as in the preceding cases.
16. See, e.g., 174,13-19.
17. We here begin a practice of writing C or CON where there is some
unclarity about the specific character of an allegedly contingent propostion.
18. Aristotles formulation at 30a30-2 is slightly different.
19. It appears that some people tried to reject (a) by saying that Aristotle
does not interpret unqualified propositions as hypotheses. Alexander shows the
untenability of this position; see 126,9-22 and 130,23-4.
20. See Patterson (1995).
21. See the textual note on 30a21-2 (Appendix 6).
22. This is the way Alexander expresses 1.1, 24b29-30. When applied to the
notion of holding of all by necessity it provides one of the clearest expressions
of the idea of de re necessity: A holds of all B by necessity if A holds by necessity
of whatever is under B. Cf. 129,34-130,1 and 167,14-18.
23. Alexander most frequently refers to Theophrastus and Eudemus with
some such phrase as his [i.e., Aristotles] associates; sometimes he names them
both, and sometimes he names only Theophrastus. At no point does he distin-
guish between their views, and we see no basis for trying to do so. We shall
follow most modern scholarship by talking only about Theophrastus.
24. Alexanders fullest discussion is at 123,28-127,16; cf. 129,21-130,24 and
132,23-34. The crucial applications of the rule come in connection with the
first-figure NUN cases (and their consequences) and first-figure NC_ cases
which Aristotle says imply unqualified conclusions. See, e.g., 1.16, 36a7-17 with
Alexanders discussion at 208,8-209,32.
25. See, e.g., 247,39-248,3.
26. Assume, as is possible, that AaB, NEC(AiB), NEC(BaC), and assume
that Barbara1(UNU) is valid. Then AaC, which with NEC(BaC) implies
(Darapti3(UNN)) NEC(AiB), contradicting NEC(AiB). Hence Barbara1(UNU)
is not valid. This argument is a demonstration of the incoherence of Aristotles
treatment of combinations with a necessary and an unqualified premiss.
27. Alexander gives the incompatibility rejection argument for Celar-
ent1(UNN) at 130,25-131,4.
28. We give the arguments. For
Celarent1(NUN) NEC(AeB) BaC NEC(AeC)
NEC(AeC) and NEC(AeB) entail nothing, and NEC(AeC) and BaC entail
(Ferison3(NUN)) NEC(AoC), which is implied by NEC(AeC). In the case of:
Darii1(NUN) NEC(AaB) BiC NEC(AiC)
and:
Ferio1(NUN) NEC(AeB) BiC NEC(AoC),
nothing is entailed by the conclusion and either of the other premisses.
29. See the notes on 132,8 and 17.
30. See the note on 133,20.
31. For discussion see the note on 132,29.
32. See chapter 1.16 and volume 2, Introduction, section III.E.2.a.
33. The third adjunct (prosrhsis) is It is contingent that. See 1.2, 25a2-3
with Alexanders explanation at 26,29-27,1.
34. At 156,26 Alexander mentions a second consideration: that an unquali-
fied proposition is necessary on a condition and so ruled out by the words if P
is not necessary. For discussion see Appendix 3 on conditional necessity.
35. Alexanders interpretation is very problematic. For, as we will see shortly,
Aristotle is committed to the idea that, e.g., CON(AaB) implies CON(AoB). But
Notes to pp. 21-32 37
then, if CON(AaB) is true, so is CON(AoB), and hence so are (AaB)
and (AoB), i.e., AoB and (AoB). Alexander attempts unsuccessfully to
wriggle out of these difficulties at 161,3-26; see also 222,16-35.
36. We note that this means that, at least within the context of syllogistic,
neither of them is committed to two-sided contingency, if that means the
equivalence of CON(P) and CON( P) for any proposition P.
37. See 159,22-4.
38. Here and elsewhere Aristotle speaks of conversion. Modern scholars
sometimes speak of complementary conversion. In our discussion we use the
word transformation to bring out that the order of terms is preserved when the
rule is applied.
39. For an incisive account of the difficulties involved in what Alexander says
here see Barnes et al., pp. 79-80, n. 157. Although we do not claim to be able to
eliminate these difficulties, we hope to give some sense of what Alexander has
in mind.
40. See especially 38,23-6.
41. We use the future tense will be because Alexander says things such as
that a contingent proposition does not yet (mdep) hold (e.g. at 156,18).
Alexander never considers the possibility of a proposition which held at some
time in the past but never thereafter, but it does not seem unreasonable for
logical purposes to take his references to the future in such contexts to include
the past, so that a contingent proposition is understood to be one that holds at
some time but not at the present. For a discussion of this whole topic see
Hintikka (1973). For a discussion of Alexanders conception of possibility see
Sharples (1982).
42. Here we depart significantly from the translation of Barnes et al. And
this is one of the many places in which we have inserted variables where
Alexander has none. In the present case the insertion requires interpretation
of the text. One might choose to interchange the Bs and As in sentence (v).
43. Accepting the reading endekhetai of some manuscripts adopted by Barnes
et al.
44. Here we follow the manuscripts rather than accepting the emendation of
Barnes et al.; see their note 51 on 37,16 (p. 94); nothing significant turns on this
difference.
45. We note that in Alexanders argument for EE-conversionn, the question
of how AiB holds is irrelevant since, no matter how it holds, AiB contradicts
NEC(AeB).
46. See the Greek-English Index.
47. Compare, e.g., 1.14, 33b3-8 with 1.15, 35b11-19.
48. For deviations of Alexanders text of this passage from Rosss see Barnes
et al., pp. 200-1.
49. Most of Alexanders discussion of this passage (39,17-40,4) is devoted to
explaining that, although what is contingent may not hold for the most part,
Aristotle mentions only what holds for the most part which, according to
Alexander, is the same as what holds by nature because there is no scientific
value in arguments about what holds no more often than it fails to hold. Aristotle
has something further to say on this subject at 1.13, 32b4-22, and in connection
with this material Alexander discusses the subject in more detail (161,29-
165,14).
50. As always, Aristotle and so Alexander present these arguments in
what we think is a less satisfactory way. They assume EE-conversionc and
38 Notes to pp. 32-34
CON(AeB), infer CON(BaA) and then point out that CON(AeB) is compatible
with CON(BaA).
51. Alexander (221,7-13) shows uncertainty about whether what follows is
an independent argument.
52. Aristotles text actually says C holds of all D, but the change in letters
is irrelevant.
53. Aristotle does not need BaA only NEC(BoA), i.e., NEC (BaA);
see the note on 225,21.
54. See especially 226,13-31. Immediately after this passage at 226,32-227,9
Alexander gives the correct explanation of the illegitimacy of the inference.
Summary
Our symbols are all explained in the introduction. We here give brief
explications of the less usual ones. NEC(P) is read It is necessary that
P. CON(P) is read It is contingent that P. In the introduction we have
tried to unfold our understanding of the relevant notion of contingency.
Because Aristotle wavers in his understanding we sometimes write
CON(P) to indicate that the notion of contingency is uncertain in one
way or another. We frequently write NEC (P) to stand for It is
contingent (in another sense) that P; this sense is so-called Theo-
phrastean contingency; we sometimes use CONt(P) as an abbreviation
for NEC (P). Finally, Aristotle sometimes infers It is contingent
that P from P; in these cases we write CONu(P). We also recall the
following abbreviations:
P if and only if P
XaY if and only if (XoY) (so that also XoY if and only if (XaY))
XeY if and only if (XiY) (so that also XiY if and only if (XeY))
The relations among the different modal notions are given by the
following rules:
U N P NEC (P)
C N CON(P) NEC (P)
P CONu(P)
He rejects:
but not
Indirect reduction
Baroco2(UUU) AaB AoC BoC (27a36-b3)
Assume (BoC), i.e., BaC. So (Barbara1(UUU)) AaC, contradicting AoC.
Indirect reduction
Bocardo3(UUU) AoC BaC AoB (28b17-21)
Assume (AoB), i.e., AaB. So Barbara1(UUU)) AaC, contradicting AoC.
Second figure
Direct reductions (cf. the corresponding UUU cases)
Cesare2(NNN) NEC(AeB) NEC(AaC) NEC(BeC)
Camestres2(NNN) NEC(AaB) NEC(AeC) NEC(BeC)
Festino2(NNN) NEC(AeB) NEC(AiC) NEC(BoC)
Third figure
Direct reductions (cp. the corresponding UUU cases)
Darapti3(NNN) NEC(AaC) NEC(BaC) NEC(AiB)
Felapton3(NNN) NEC(AeC) NEC(BaC) NEC(AoB)
Datisi3(NNN) NEC(AaC) NEC(BiC) NEC(AiB)
Disamis3(NNN) NEC(AiC) NEC(BaC) NEC(AiB)
Ferison3(NNN) NEC(AeC) NEC(BiC) NEC(AoB)
UNU
Barbara1(UNU) AaB NEC(BaC) AaC (30a23-33)
Celarent1(UNU) AeB NEC(BaC) AeC (30a23-33)
Darii1(UNU) AaB NEC(BiC) AiC (30b2-6)
Ferio1(UNU) AeB NEC(BiC) AoC (30b2-6)
Indirect reductions
*Baroco2(NUU) NEC(AaB) AoC BoC (31a10-15)
*Baroco2(UNU) AaB NEC(AoC) BoC (31a15-17)
Indirect reductions
*Bocardo3(UNU) AoC NEC(BaC) AoB (31b40-32a1)
*Bocardo3(NUU) NEC(AoC) BaC AoB (32a4-5)
Aristotle rejects all forms with a particular major and either a universal
or a particular minor premiss at 33a34-b17.
Incomplete (UCC)3
*Barbara1(UCC) AaB CON(BaC) NEC (AaC) (34a34-b2)
*Celarent1(UC N ) AeB CON(BaC) NEC (AeC) (34b19-35a2)
Darii1(UCC) AaB CON(BiC) NEC (AiC) (35a35-b8)
Ferio1(UC N ) AeB CON(BiC) NEC (AoC) (35a35-b8)
Indirect reductions
Summary 47
*Bocardo3(CUC) CON(AoC) BaC NEC (AoB) (39b31-9)
AO?3(UC?) AaC CON(BoC) ? (39b31-9?)
AO?3(CU?) CON(AaC) BoC ? (39b31-9?)
OA?3(UC?) AoC CON(BaC) ? (39b31-9?)
Rejected Cases
*AE_3(CN_) CON(AaC) NEC(BeC) (40a35-8)
*IE_3(CN_) CON(AiC) NEC(BeC) (40b8-12)
Notes
1. Asterisks indicate places of difficulty in the modal syllogistic on which
Alexander has an interesting discussion.
2. The controversy concerning these four syllogisms transfers to any N+U
combination held by Aristotle to have a necessary conclusion.
3. These cases are very problematic, especially Barbara and Celarent; their
problematic nature transmits itself to combinations reduced to them.
4. The difficulties attaching to Barbara1(UCC) transfer to Barbara1(NCC).
New difficulties arise with Celarent1(NCCu).
5. Alexander wavers between thinking Aristotle espouses Bocardo3(CNC)
and OAI3(CNC), the waste case of Disamis3(CNC).
6. The waste case (of Disamis3(NCC)) would actually be:
IEI3(NCC) NEC(AiC) CON(BeC) CON(AiB)
but Aristotle implies a derivation of the syllogism we have given, and Alexander
carries it out at 253,23-7, perhaps in order to keep the conclusion of a syllogism
with a negative premiss negative.
This page intentionally left blank
Alexander of Aphrodisias
On Aristotle
Prior Analytics 1.8-13
(with 1.17, 36b35-37a31)
Translation
Textual Emendations
1.8 Combinations with two necessary
premisses. All figures1
29b30 For many things hold, but not by necessity; others hold 20
neither by necessity nor at all, but it is contingent that they
hold.
For in this way unqualified propositions will be indicative of holding
but not necessarily holding, necessary propositions of necessarily
holding, and contingent propositions of not holding now and being
capable of holding;3 and these propositions truly indicate what they 25
indicate if they are true, falsely indicate it if they are false. It is clear
that the difference of propositions and of the syllogisms with respect
to the modalities can be recognized by the addition of the modalities;
54 Translation
for the appropriate modality will be co-predicated for each proposition
and each syllogism.
120,1 29b33 [it is clear that a syllogism of each of these things will be
distinct] and its terms will not be related in the same way, [but
one syllogism will be from necessary things, a second from
unqualified ones, a third from contingent ones.]
He says that the syllogism of each of these things (i.e., of what is
necessary or unqualified or contingent) will be distinct, and he
indicates how they are distinct: they are not from similar propositions
and terms, but some syllogisms will be from necessary things, some
5 from unqualified ones, and some from contingent ones.
29b364 They are related in much the same way in the case of
necessary and of unqualified things. [For, if the terms are
posited in the same way in the case of holding and in that of
holding by necessity or in the case of not holding there either
will or there wont be a syllogism <in both cases>, except that
they will differ by the addition of holding or not holding by
necessity to the terms. For the privative converts in the same
way, and we will give the same account of being in as a whole
and said of all.]
He says that the syllogisms with a necessary conclusion will exist in
the same way in each figure as they were proved to occur in the case
10 of the unqualified. For in each figure the same combination of pre-
misses along with the addition of necessity will make necessary
syllogisms. And there will be four syllogistic combinations in the first
figure, four in the second, and six in the third. The reason for this is,
<first>, that said of all and said of none through which the
15 syllogisms in the first figure are proved are taken in the same way
in the case of what is necessary and of what is unqualified, and,
<second>, that the conversions of necessary propositions through
which three syllogisms in the second figure and five in the third are
proved to yield a conclusion have been shown to be the same in the
case of unqualified things and of necessary ones.
30a2 For the privative converts in the same way, [and we will
give the same account of being in as a whole and said of all. In
the other cases the conclusion will be shown to be necessary by
conversion in the same way as in the case of unqualified hold-
ing. But in the middle figure, when the universal is affirmative
and the particular privative,5 and again in the third figure when
Translation 55
the universal is affirmative and the particular is privative,6 the
demonstration will not be the same, but it is necessary to set out
something of which each does not hold and make the syllogism
with respect to this. For the syllogism will be necessary in the
case of these things. But if the syllogism is necessary with
respect to what is set out, it is necessary with respect to some
of what is set out. For what is set out is just what some of the
original term is. And each of the syllogisms comes in the appro-
priate figure.]
The words for the privative converts in the same way should not be 20
understood as meaning only the privative converts similarly. For
affirmative propositions also convert similarly. He mentions only
negative propositions because the affirmatives convert in the same
way in all modalities, but the negatives do not, since they do so
differently in the case of contingent propositions.7 Since conversion
is not thought to be the same in the case of all negatives, he reminds
us that these also behave in the same way in these modalities.
However, in the case of syllogisms composed of unqualified propo- 25
sitions, neither the fourth syllogism in the second figure, which has
a negative particular minor, nor the sixth in the third, which has a
particular negative major, was proved by conversion, but by reductio
ad impossibile.8 As will be clear, he does not use the same proof in the
case of these syllogisms when they have necessary premisses. <To
indicate this> he adds the words in much the same way.9 The others 30
are proved in <exactly> the same way. Consequently he doesnt
mention them further, thinking that what he said about <their
analogues with unqualified propositions> is also sufficient for under-
standing them. But he does mention the syllogisms which are not 121,1
still proved in the same way, and he tells us how in their case we
should give the proof and make them syllogistic. In their case he does
not use reductio ad impossibile as he did when the premisses were
unqualified because the opposite of what is necessary is contingent.
In both cases the conclusion proved is a particular negative necessary 5
proposition of which the opposite is It is contingent that X holds of
all Y. But if this is taken as hypothesis <for a reductio> and the other
premiss, which is necessary universal affirmative, is added, this
combination is a mixture of a contingent universal affirmative propo-
sition and a necessary universal affirmative one. But in the case of
such mixtures it is not yet known what follows.10 Furthermore, it is
necessary to understand the simple cases11 first, and then to under- 10
stand the composite ones. Therefore, he rejects the indirect method
of proof as unclear and dependent on posterior things. And he speaks
about both of them12 with the following words:
56 Translation
30a9 [But in the middle figure, when the universal is affirm-
ative and the particular privative, and again in the third figure
when the universal is affirmative and the particular is priva-
tive, the demonstration will not be the same,] but it is necessary
to set out something of which each does not hold and make the
syllogism with respect to this. [For the syllogism will be neces-
sary in the case of these things. But if the syllogism is necessary
with respect to what is set out, it is necessary with respect to
some of what is set out. For what is set out is just what some of
the original term is. And each of the syllogisms comes in the
appropriate figure.]
15 He is speaking about the particular negative premisses in the two
figures at the same time. And he is not saying about both of them that
it is necessary for something of which they do not hold to be set out;
for, if he said that, he would be speaking about two negative premisses
and he would not even say that they compose the combinations under
consideration.13 Rather, he is maintaining the following. In both the
combinations, that in the second figure and that in the third, there is
20 a particular negative premiss; therefore, taking in the case of each
combination of premisses all that of which <the predicate of the
premiss> does not hold,14 one makes the syllogism with respect to that
by transforming the particular negative premiss into a universal
negative one and proving by conversion that the combination with
the universal negative premiss is syllogistic just as was done in the
case of the other combinations in which the universal premiss was
25 negative; what has been proved in this way is that by necessity it does
not hold of some of that of which the other is a part.15 For example, if
A holds of all B by necessity and A does not hold of some C by necessity
(for this is the second-figure combination which he is discussing), he
says that one should take from C that <part> of it of which A does not
hold by necessity and because of which A was said not to hold of some
30 C by necessity, and, taking that, make the necessary premiss univer-
sal negative with respect to it. Let D be some part of C of which A
does not hold by necessity. Then the whole combination will be the
following: A holds of all B by necessity, and A holds of no D (which is
some of C) by necessity. This combination is proved to be syllogistic
122,1 by conversion of the universal negative premiss. For if A holds of no
D by necessity, D holds of no A by necessity as well; but also A holds
of all B by necessity; therefore, D holds of no B by necessity, so that
B also holds of no D by necessity for to prove the proposed conclusion
5 a combination of this kind in the second figure requires conversion of
the conclusion. Thus, if B holds of no D by necessity and D is some of
C, B also does not hold of some C by necessity.
16
The proof is the same in the case of the sixth syllogism in the
Translation 57
third figure. For let A not hold of some C by necessity and B hold of
all C by necessity. And again let some part of C of which A does not 10
hold by necessity be taken, and let it be D. (For it was assumed that
A does not hold of some C by necessity.)17 Then A holds of no D by
necessity and B of all D; for if B holds of all C by necessity, it would
also hold of part of it by necessity. If then, we convert the universal
affirmative BD, which is necessary, the result will be that D holds of
some B by necessity. But also A holds of no D by necessity. Therefore, 15
A does not hold of some B by necessity. So, if the proof relative to a
part of C is sound, there will also be a sound proof relative to some
of C.
It should be noted that this form of ekthesis is not the same as the
one which he mentioned in <treating> the third figure when his topic
was unqualified syllogisms.18 There what is set out and taken was
simply some sensible which did not need proof, and consequently its 20
being taken was sufficient to make the inference evident. But here
what is taken is not still taken in this way, nor is he satisfied with
sense perception; rather he makes the syllogism with respect to the
thing set out. This is why he here adds the phrase and make the
syllogism with respect to this, but there he did not make use of any
proof after taking the ekthesis. And this was reasonable. For <if he 25
had tried to use a proof there> he would have been doing the same
thing with respect to some other subject which, being equivalent to
and the same as the original subject, would prove nothing about it.
He also indicates the nature of what is taken in ekthesis in the
present case by saying, For what is set out is just what some of the
original term is.19 For this will be a certain part or species of the
term. Therefore, if <B> holds of none of what is set out <D> by
necessity, then it <B> also does not hold of some of that from which
what is set out is taken <C> by necessity. For what is set out <B> is 30
such as to be just what some of <C> is.
And even if the ekthesis <in the present case> is a matter of
perception, the same thing will also be proved in this way. For
example, in the second figure, if D is some of C and an individual,
none of A will be said of it,20 so that neither will B be. For B is some
of A, since A is said of all B. The proof is the same in the case of the
third figure. For if A does not hold of some C by necessity, but B holds 35
of all C by necessity and some individual of C of which A does not hold
is taken none of A will be said of it. But that individual is itself also 123,1
some of B, since all C is under B. Therefore, A will not hold of some
B by necessity.
In both combinations it is reasonable for him to take in the ekthesis
that thing of some of which something does not hold.21 For by neces-
sity what holds of all of something holds of that part of it of which 5
something is assumed not to hold. But it is not the case that by
58 Translation
necessity what is assumed not to hold of some of something will not
hold of a random part taken of that of which the thing was assumed
to hold of all; for it is possible for it to belong to this part of it, but not
to some other part. (He also used this method a short while ago22
when he did an ekthesis with respect to a particular negative pre-
miss.)
10 Having said how one should carry out the proof in the case of these
combinations, he adds that And each of the syllogisms comes in the
appropriate figure. He means that in the case of the syllogisms
involving the term set out, the one for the second figure will be in the
second figure and that for the third in the third. For in each combi-
nation the universal negative premiss constructed in relation to the
15 term set out does not alter the figure; rather the first is in the second
figure and the second in the third, as we have set forth.23 For they are
proved by a reduction to the first figure using conversion, and what
is proved is in the second figure in one case and in the third in the
other.
24
However, Theophrastus, discussing these things in the first book
20 of his Prior Analytics, does not use the method of ekthesis for proving
that the combinations under consideration are syllogistic. Rather he
postpones discussion of them because it requires reductio ad impos-
sibile, but what results <from a reductio> is not prima facie clear
because a mixture of premisses results and it is not yet known what
follows from mixtures.
30a2861 It is also evident from terms that the conclusion will not
be necessary, [for example, if A is motion, B animal, C human.
For a human is an animal by necessity, but an animal does not
move by necessity, nor does a human.]
He also gives a refutation and proof using terms. For if A is motion,
B animal, and C human, it will be the case that motion holds of all
25 animals unqualifiedly, animal of all humans by necessity, and motion
will hold of all humans, but not by necessity.
It is worth observing here how it is that, even though he estab-
lishes through terms that no necessary conclusion follows in the case
of this combination, he does not recognize that this same thing can
also be proved in the case of combinations having their major univer-
30 sal and necessary. For setting down the same terms proves that the
conclusion is not necessary in their case either. For, if we take it that
animal holds of all humans and human of all that moves, it will follow
that animal holds of all that moves.62 But it seems to follow only if
said of all by necessity <is understood> as signifying when nothing
of the subject can be taken of which the predicate will not be said by
130,1 necessity.63 If one takes what is under B64 as being some things of B,
he takes it that A is predicated of what is under B by necessity. And
this would be true if everything under B were a part of B and some
things of B in the sense of being in its substance. But if some things
Translation 65
under B can also be separated from it, A will not hold of the things 5
under B in this way by necessity. The cause of the mistake concerning
the universal unqualified proposition <is the following>:65 since in
the case of such a proposition, A must always hold of the things under
B, it seems to follow that, if A holds necessarily of all B, it will hold
of what is under B necessarily, the reason being that the things under
B are some things of B. But being some things of B is a quite general 10
expression, and it does not convey the impression that the things are
in the substance of B. But if they are not in the substance, A will not
hold of them by necessity. For what holds by necessity holds not just
at the present but also in the future; therefore, it does not posit an
unqualified proposition. For in the case of these things what is
predicated of all B by necessity will also hold by necessity of the
things under B in which B is by necessity. In the case of what is 15
predicated of all B unqualifiedly it is true that nothing is predicated
of the things under B of which what is said of all B will not be
predicated. For it is true to say that what is predicated of all of B
holds of what B is predicated of either necessarily or unqualifiedly.
But it is not true that what is predicated of all B by necessity will be
predicated by necessity of that of which B is predicated unqualifiedly. 20
For it is true to say that what holds by necessity holds, but it is not
true to say that what simply holds holds by necessity. And he also
indicated just now66 that the unqualified universal premiss is a
hypothesis through the terms he set down.
30b9106 For first, let the privative premiss be necessary, [and let
it be not contingent that A holds of any B and let it just hold of
C. Then, since the privative converts, it is not contingent that B
holds of any A; but A holds of all C, so that it is not contingent
that B holds of any C. For C is under A.]
The proof is clear. He converts the universal negative premiss, which 20
is necessary, and produces the first figure; since in the first figure
when the major premiss is necessary, the conclusion is necessary, he
says that the situation will be the same also in the case of this
<second> figure. 107It is known that the phrase It is not contingent
that X holds of any Y, which has been applied to the premiss AB,
being the negation of contingency, indicates necessity. For if it is not
contingent that A holds of any B, A holds of no B by necessity. For 25
the proposition has not been taken as contingent but as the negation
of a contingent proposition and is equivalent to A holds of no B by
necessity. And the same holds for so that it is not contingent that B
holds of any C. For what is said is the same as it is not contingent
that B holds of some C, which is equivalent to B holds of no C by
necessity.
And he uses the same consideration again108 when he says For C
is under A. For since A was assumed to hold of all C and B holds of 30
no A by necessity, B will hold of no C, which is some of the A, of none
of which B holds by necessity.
72 Translation
32a15 [We have said pretty much enough] about necessity, how
it comes about [and how it differs from the unqualified.]
In other words, how the conclusion comes to be necessary (and
sometimes it comes about from one premiss, when the major premiss
is necessary), and that necessary combinations are syllogistic in a way
similar to unqualified ones, and that the necessary differs from the
Translation 93
unqualified because it holds eternally.230 He is speaking about neces- 30
sity as the necessity of a conclusion.
32b5 [In one way what comes about for the most part and falls
short of necessity is contingent, for example, for a person to get
grey hair or to grow or decline, or in general what holds natu-
10 rally <of a human being> ] for this does not have necessity
continuously since a human does not always exist, but when a
human does exist, this is the case either by necessity or for the
most part. [In another way, the indefinite, which can be one way
or the other, for example, that an animal walks, or that there is
an earthquake when it is walking, or, in general, what comes
about by chance for it is not by nature any more one way than
the other. Each of the kinds of contingency converts with respect
to the opposite propositions also, but not in the same way. If P
is by nature, it converts with P does not hold by necessity it
is contingent for a person not to turn grey in this sense. But if
P is indefinite, P converts with no more P than not P.]272
He introduces two reasons why these things which come about
usually are not necessary. One is that the things of which they hold
do not always exist. For what comes to be by nature is not eternal.
15 What is natural is not by necessity because the things of which we
say it is contingent that what is natural holds do not always exist
for what is natural holds of individuals. For what is necessary is
eternal and always in the same way in the case of things which are
<always> in the same condition. So it could be said that what holds
by necessity of what is not eternal is also contingent, even if it doesnt
cease to exist before <what is necessary happens to it,> because it is
20 contingent that what comes about by necessity (if a human being
existed forever) does not come about because <the human being> does
Translation 101
cease to exist before <what is necessary happens to it>. For example,
if by necessity every human went grey on reaching the age of sixty,
nevertheless it would still be contingent that a given human being
will become grey, because it is contingent that he also not reach such
an age. He indicates what is contingent for this reason when he says
for this does not have necessity continuously since a human does not 25
always exist, meaning that such things are not necessary because
they are not continuous.
A second reason why things which come about naturally are not
by necessity is that even if a person of which what is natural holds
were to have reached the age of sixty, he will only turn grey usually,
but not by necessity. He indicates this reason when he says, but
when a human does exist, this is the case either by necessity or for
the most part. For, if something is for the most part, it is clear that 30
it is not by necessity. One of the things which contingency signifies,
then, is this. Also ordered under this would be things that come about
as a result of choice.273 For being usual also applies to these things.
He says that the other thing which contingency signifies is the 163,1
indefinite. He means by indefinite both what is equally balanced and
will be no more one way than the other (for example, that Socrates
will take a walk in the afternoon or converse with a certain person),
and in addition what is opposite to the kind of contingency which
comes about usually, namely what comes about infrequently and
because of which, when it intervenes, what comes about usually is 5
prevented from coming about always and being necessary. A sixty-
year-old not becoming grey would be this sort of thing. What is by
chance is also included in the kind of contingency signified by infre-
quency. He indicates the kind of contingency which is equally
balanced with respect to opposites with the words <an animal>
walks; and he indicates the infrequent which is opposite to what
happens usually with the words that there is an earthquake when it 10
is walking, or, in general, what comes about by chance. Both of these
are indefinite, one because it could equally go either way; for what is
not any more one way than the other is indefinite. And what is
infrequent is indefinite because it comes about more or less without
a cause. For what is by chance is of this kind and comes about in this
way. For chance is a cause accidentally, not per se, and the future
itself is in general indefinite and unclear. For what is most of all 15
determined is what is necessary. In second place is what is close to
the necessary; this is what happens usually. But it is reasonable to
call what stands furthest from the determined indefinite. What is
equally balanced is of this kind, and what happens infrequently is
even more so. For, the necessary is like a line which has been
stretched from eternity into eternity, and the contingent comes into 20
being from this line when it is cut. For if this line is cut into unequal
102 Translation
segments, the result is the contingent as the natural and what is for
the most part, and also the contingent as the infrequent, which
includes chance and spontaneity. But if the line is cut into equal
segments there results the who can tell.274
Of these, if the contingent is taken in the sense of what is for the
25 most part, It is contingent that P converts with It is not necessary
that P holds. Consequently, if it is contingent (in the sense of usual)
that P holds, it is also true that it is contingent that P does not hold,
because if P is usual, it is true that it is not necessary that P holds;
for It is not necessary that P is follows from It is contingent that P
is, just as It is not necessary that P is not does. If the contingent is
taken in the sense of who can tell, It is contingent that P holds
converts with It is contingent that P does not hold; for what is
contingent in this sense is equally balanced and is no more one way
than the other.
30 He himself also makes these things clear, by adding the words
Each of the kinds of contingency converts with respect to the opposite
propositions also, but not in the same way. By each of the kinds of
contingency he means the usual and the indefinite. If the contingent
164,1 is taken in the sense of what is usually, he says that the proposition
It is contingent that P does not come about is true, not because it is
equally true with the proposition It is contingent that P comes about,
but because in the case of the contingent in the sense of what is
usually the proposition It is not necessary that P is is true; for the
contingent is not necessary. And the proposition which says that it is
contingent that P does not come about is true because <the proposi-
tion It is contingent that P is> interrupts the continuity of necessity.
5 The contingent as indefinite converts insofar as it is no more one way
than the other. For in the case of what is contingent in this way the
proposition It is contingent that P is not is true together with the
affirmation It is contingent that P is and converts with it because
one is no more true than the other.
The words each of the kinds of contingency converts with respect
10 to the opposite propositions also are equivalent to also each of the
kinds of contingency converts with respect to the opposite proposi-
tions.275 The conjunction also seems to be oddly placed. Or perhaps
he says with respect to the opposite propositions also because they
also convert in other ways. For they also convert by interchange of
terms.276
32b32 Let us then first say [what syllogism and what sort of
syllogism there will be] if it is contingent that B holds of that of
which C is said and that A holds of that of which B is said. [For
in this way both premisses are taken as contingent. But when
it is contingent that A holds of that of which B is said <and B
holds of that of which C is said>, then one premiss is unquali-
fied, the other contingent. Consequently, it is necessary to begin
with premisses similar in form, as in the other cases.]
106 Translation
He says that it is first necessary to discuss the combination of two
contingent premisses. Since he assumes that X holds of that of which
30 Y is said is equivalent to X is said of all Y, he takes the premiss It
is contingent that B holds of all C because it means the same thing
as the following: it is contingent that B holds of that of which C is
167,1 said. Similarly in the case of A holds of that of which B is said; for
this is equivalent to A is said of all B.
He says that it is necessary to begin first from <premisses> similar
in form, and adds as in the other cases.292 For in treating the
unqualified and the necessary he first spoke about each on its own
5 and about premisses similar in form in their case, and then about
mixtures. He proposes to do the same thing and will do it in the case
of the contingent.
*
219,33 1.17, 36b35-37a31 Failure of EE-conversion for contingent
propositions293
and
Either (i) or (iii) will do away with both (ii) and (iv); at least if (ii) and
30 (iv) are equivalent to one another and convert with one another, each
of (i) and (iii) does away with both (ii) and (iv); and when one of (ii) or
(iv) is done away with the other is. Consequently (iii) and (i) do away
with (iv), and (iii) does so per se, (i) accidentally (since it does away
35 with (ii) and thereby also does away with (iv)). But, if this is so, the
224,1 negation of (iv), It is not contingent that B holds of no A, will be true
not only because (iii) is true but because (i) is. For both do away with
the opposite of this, (iv), since (iv) cannot be true when (i) is. Conse-
5 quently the person who hypothesizes It is not contingent that B holds
of no A does not always hypothesize it because (iii) holds, but also
because (i) does. So, if, given the hypothesis that it is not contingent
that B holds of no A, someone transforms it into (i) which is no less
a consequence of the hypothesis than (iii) ,316 nothing impossible will
10 follow.317 For it is not the case that if B does not hold of some A by
necessity, thereby A will not also hold of some B by necessity. For a
particular negative necessary proposition does not convert.
This being so, nothing is proved by reductio ad impossibile. For if
animal is divided into rational and irrational and there are rational
and irrational animals and someone were to assume the existence of
an animal and say absolutely that it is irrational, he would say what
15 is absurd and not true, since it is contingent that it is rational when
rational is posited to be a consequence of animal no less than irra-
tional is; so too, if someone were to assume that It is not contingent
that B holds of no A and say that it signifies (iii) only, he would say
what is absurd, since it is also possible318 that (i) is true.
319
And also it seems that only when (i) holds does the contingent
negative <universal> proposition not convert. For although it is
20 contingent that white holds of no human, it is not true that it is
contingent that human holds of nothing white. However, It is not
contingent that human holds of nothing white is true not because
Translation 113
human holds of something white by necessity (since it wouldnt be
contingent that white holds of every human if it held of some human
by necessity) but because human does not hold of something white by
necessity. Therefore in the case of conversions from It is not contin- 25
gent that B holds of no A to (iii) the transformation would not be
proper when the negation is not true because of (iii) but because of (i).
Conditional necessity
Toward the end of his discussion in On Interpretation of contingent statements
about the future Aristotle writes:
It is necessary that what is is when it is and that what is not is not when
it is not. But it is not necessary that everything which is be nor that what
is not not be. For these are not the same:
(a) everything that is is by necessity when it is;
(b) everything that is is without qualification (hapls) by necessity.
(On Interpretation 9.19a23-6)
Then, human will also hold of nothing white, but not by necessity; for it
is contingent that a human be white, although not so long as animal
holds of nothing white. So the conclusion will be necessary if certain
things are the case, but it will not be necessary without qualification.
(1.10, 30b36-40)
Alexander goes on to cite Aristotelian passages which suggest very strongly that
the interpretation offered by Sosigenes is untenable.7 Alexander might, of
course, have taken a different position in the certain short work to which
Philoponus refers, but we have no way of knowing this.
Alexander concludes his discussion of Sosigenes position by citing the
passage from On Interpretation with which we began this appendix:
At the same time he has also indicated by the addition <of the words
although not so long as animal holds of nothing white. So the conclusion
will be necessary if certain things are the case, but it will not be necessary
without qualification> that he is aware of the division of necessity which
his associates <Theophrastus and Eudemus> have made, and which he
has also already established in On Interpretation, where, discussing
contradiction of propositions about the future and individual things, he
says, It is necessary that what is is when it is, and that what is not is not
when it is not. For the necessary on a hypothesis is of this kind. (141,1-6)
There are two other passages in the commentary connecting Theophrastus with
necessity on a condition. In the first Alexander offers a possible justification for
the view that, according to the diorismos of contingency, if CON(P), P:
It seems reasonable to assume that this third sense of necessity is the third
sense of Ammonius and Philoponus, the one according to which S is P by
necessity as long as P holds of S.
In the other passage the connection with the account of Ammonius and
Philoponus is even clearer:
Or is it the case that even if it is taken that all that walks is human and
all humans move, still the conclusion all that walks moves is not neces-
sary without qualification but with the additional condition as long as it
is walking? For all that walks does not move by necessity, if, indeed, it is
true that what walks does not even walk necessarily except, as I said, on
the condition as long as it is walking. (155,20-5; cf. 201,21-4)
Although the exact construal of these words is uncertain, one plausible reading
would commit Alexander to the view that a necessary truth requires an eternal
subject term. Of course, such a view is not compatible with Aristotles practice
in the Prior Analytics.11
Notes
1. See the entry on meta diorismou (anankaios) in the Greek-English index.
2. We note that Philoponus divides the three kinds of necessity differently
from Ammonius, producing two kinds of necessity on a hypothesis where
Ammonius has two kinds of necessity without qualification. Stephanus (in Int.
38,14-31) agrees with Ammonius. At 162,13-26 Alexander suggests that neces-
sity which is conditional on the existence of a non-eternal subject is not necessity
at all.
3. This is generally thought to be the work on mixtures of premisses; see
125,31 with the note.
152 Appendix 3
4. On Sosigenes, see Moraux (1984), 335-60.
5. See section I of the introduction. We mention here a suggestion of an
anonymous reader, according to which Sosigenes espoused a method of showing
that a pair of premisses assumed to imply a conclusion of one kind does not
imply a stronger one by producing a counter-example rejecting the stronger
conclusion (the method used by Aristotle in connection with first-figure UN
cases). According to this suggestion, when Sosigenes claimed that Aristotle took
the conclusion of, e.g., Barbara1(NU_) to be only necessary on a hypothesis, he
was asked why he didnt produce a counter-example to a strictly necessary
conclusion. Sosigenes answer: Aristotle was not able to produce such terms.
This suggestion has the advantage of providing a reasonably unobjectionable
sense to the notion of providing terms to establish an implication, but we have
not succeeded in working it out fully.
6. We are not certain what to make of this last sentence. The anonymous
reader mentioned in the previous note has argued persuasively that it is part
of the view against which Alexander is arguing, according to which syllogistic
NU cases yield a conclusion which is necessary as long as the minor premiss is
true whereas the corresponding UN cases do not yield a conclusion which is
necessary in any sense.
7. Further evidence that Alexander did not follow Sosigenes on this issue is
provided by the fact that [Ammonius] (in An. Pr. 39,10-25) ascribes to Sosigenes
alone the position that the conclusion of Barbara1(NU_) is necessary on a
condition, while ascribing to Alexander an argument in support of Bar-
bara1(NUN). (For the argument see Alexanders commentary at 127,3-14.)
8. For another (less clear) passage of Alexander (citing Galen) which connects
Theophrastus with a distinction between necessary truths with eternal subjects
and those with perishable ones see Theophrastus 100C FHSG.
9. The fact that Human holds of everything literate is not necessary without
qualification shows that necessity without qualification is not so-called de re
necessity, since it is presumably de re necessary that human hold of everything
literate.
10. See 251,11-252,2.
11. Alexander mentions necessity on a condition one other time in the
commentary (179,31-180,3) in connection with the problematic conditional If
Dion has died, he has died, but he does so in a way which seems marginally
related to the topic of this appendix. He also twice (181,13-17 and 189,2-3) uses
in what seems to be an informal way the standard formula (est an) for
introducing the condition on which something is necessary.
Appendix 4
On Interpretation, chapters
12 and 13
In chapter 12 of On Interpretation Aristotle proposes to investigate how affirma-
tions and negations of the possible to be and the not possible to be and of the
contingent to be and the not contingent to be are related to one another and
about the impossible and the necessary. (21a34-37) In what follows Aristotle
makes no distinction between the possible and the contingent, but since the way
he treats the two notions differs from the way he treats contingency in the way
specified in the Prior Analytics, we shall introduce the operator POS to repre-
sent what he says here. We shall also ignore difficulties in the details of what
Aristotle says. Since It is impossible that and It is necessary that it is not the
case that end up as equivalent, we can formulate what Aristotle says in terms
of possibility and necessity. In chapter 12 the results are:
At 22b29 he raises the question whether this implication is correct. He uses the
example of being cut to suggest that POS(P) implies POS( P), which, with (ii),
would produce the impossibility that NEC(P) implies POS( P). Aristotles way
out is to speak of different kinds of possibility, only some of which are two-sided;
he also suggests that possibility is homonymous, and introduces a notion which
is something like what we represent by CONu:
For some possibilities are homonymous. For possible is not said in just
one way. But one thing is said to be possible because it is true in the sense
154 Appendix 4
of actually being for example, it is possible for something to walk
because it does walk, and, in general, it is possible for something to be
because it already is in actuality; another thing is said to be possible
because it might be actual, e.g., it is possible for something to walk
because it might walk. (23a6-11)
CON(P) NEC( P)
Given:
CONtc(AaB) CONtc(AiB)
CONtc(AeB) CONtc(AoB)
On the other hand we can block both EE-conversiontc and OO-conversiontc, that
is, we can show:
that is
What Alexander says suggests that the only reason Aristotle didnt make
NEC(AoC) the hypothesis for reductio is that it would not enable him to derive
a contradiction. He does not make clear what sense he would make of a
justification of EAA1(UC N ). In the light of the passage we have just
discussed it seems to us likely that underlying Alexanders remark here is the
idea that the conclusion of Celarent1(UC_) is not CON(AeC) because the
premisses do not imply NEC(AoC). This idea obviously presupposes ( CeN);
cf. 197,12-22, 198,9-11, 205,29-30, 207,9-11.
Other passages suggest the same thing but not so decisively. For example,
Alexander writes:
Textual notes
In this appendix we indicate places where Alexanders text may have been
different from that printed by Ross. Places where we have not followed the text
printed by Wallies are listed on p. 52 above.
Aristotle
This index refers to the page and line numbers of the CAG text and covers
Alexanders commentary on Aristotles Prior Analytics 1.8-22, translated in this
series in two volumes, of which this is the first. The index includes a range of
logical and philosophical terms and a few commentators expressions used by
Alexander. Only the first few occurrences (followed by etc.) of the most common
terms are given. We have sometimes left out of account non-technical uses of a
word, and we do not cite occurrences in the lemmas or in Alexanders quotations
of Aristotle. The translations indicated are our usual but not invariant ones.
Bold type is used for references to the pages, notes and appendixes of this book