Logic Avicenna
Logic Avicenna
Logic Avicenna
Editors:
Editorial Board:
ACKNOWLEDGEMENTS XIII
INTRODUCTION I
LIST OF ABBREVIATIONS 29
TRANSLATION - AL-QIYAS
BOOK V
The different forms the antecedent and the consequent of a conditional propo-
sition take - The separative can have more than two parts; but the connective
has only two - The subject and/or the predicate of the parts of a conditional can
be identical - The reduction of conditionals to predicative propositions - 'If'
and 'Either' etc. can be put after or before the subject of the antecedent; and in
the first case the proposition would be indeterminable - The view that the con-
nective is an affirmative statement and the separative a negative one. His view
on what affirmation and negation in conditional propositions are - The truth-
conditions of the connective and the separative.
BOOK VI
tion - 11/- - There are no figures in this kind of syllogism - The mood where
both premisses are affirmative one of which has a negative part - There is no
production if the premiss with the negative part is negative - There is no pro-
duction if one of the premisses is particular; or when the negative premiss has
affirmative parts - No production if one premiss is a real separative - When
both premisses are unreal separative and the middle part is affirmative, the con-
clusion is not affirmative - When the premisses are particular, the conclusion
would be a connective proposition - When the premisses are unreal and the
middle is negative - When the premisses are affirmative - When one premiss is
particular - When one premiss is negative there will be no production - No
production when both premisses are particular or when one of them has two
negative parts. If between them they have three negative parts they produce
when the middle is negative - Other combinations.
(iii) When the middle term occurs in the antecedent of the conditional and the
predicative - The first figure - When the connective is universal affirmative -
When the connective is universal negative - When the connective is particular
affirmative - When the connective is particular negative - When the connective
TABLE OF CONTENTS XI
BOOK VII
BOOK VIII
BOOK IX
COMMENTARY
BOOK V 215
BOOK VI 258
BOOK VII 266
BOOK VIII 270
BOOKIX 277
GLOSSARY 283
BIBLIOGRAPHY 287
INDEX 291
ACKNOWLEDGEMENTS
In discussing the sources of the logical part of al-Shifa> I shall limit myself
to works which are most likely to have treated the subject of conditional
propositions and syllogisms and which, therefore, might have influenced
Avicenna's study of this subject. The inquiry into the sources ofthe book
as a whole will be pursued to the extent that it will help to shed light on
the main problem of conditional reasoning. There are three kinds of
works that should be examined. First, al-Shifa> itself and in particular the
part which deals with conditional propositions and syllogisms, since this
part indicates, though vaguely, its own sources. Second, Avicenna's other
works and letters in which he speaks of his readings in philosophy. Third,
the main Arabic bio-bibliographies - al-Fihrist of Ibn al-Nadi'm, the
Ta>r'ikh of Ibn al-Qif!i' and Ibn Abi' U~aybi(a's Tabaqat al-Atibba>. The
above three works, though of much help to the historian of Arabic thought
do not give the full story. We shall consult them on whatever information
they could provide on Arabic translations, commentaries and epitomes
of works related to our subject. Some gaps in their picture will be filled
with the aid of some other Arabic books.
The one person who is frequently referred to in al-Shifa> is Aristotle.
However, this fact will not be of much help to us. For Aristotle, who is
called by the Muslim philosopher ~a~ibu 'l-mantiq (the author of the logic),
did not treat of conditional propositions and syllogisms in his works.
INTRODUCTION 5
Avicenna then goes on to describe the difference between his own ap-
proach and that of the author of this work. "The author", he says,
INTRODUCTION 7
did not know what makes conditional propositions affirmative, negative, universal, partic-
ular and indefinite; nor did he know how conditional propositions oppose or contradict
each other. He also did not know how one conditional proposition can be the suhaltern of
the other. For he thought that all these characteristics are determined by the parts of the
conditional proposition. 26
and the Topics seem to be the only extant logical works of this great Aristo-
telian commentator. The same Arabic bio-bibliographers say that al-
Kindt had written an epitome of the De Interpretatione 62 and a com-
mentary on the Prior Analytics. 63 Both Aristotelian works had been com-
mented on by Quwayrf. 64 AI-Razi'65, al-Sarakhst 66 and Thabit 67 are said
to have epitomized the same two Aristotelian works mentioned above;
while a book called Risiilafi'l-Man~iq (A Treatise on Logic) and another
called al-Burhiin (Apodeictics) are attributed to al-Razi'.68 A commentary
on the Topics and a treatise On the Analysis of Syllogisms are said to be
among Ya~ya ibn <Adiyy's works. 69 Excepting al-Farabl's five works
mentioned before, none of these works has survived. Thus, on the face of
it, this list cannot be of much help to us. But it does give a fairly detailed
picture of the active work on books which could have touched the
problem of conditionals in one way or another.
To go back to al-Farabi's extant works on logic. In al-Qiyiis al-$aghlr
there is a brief account of what our text calls exceptive syllogisms, which
are based on Chrysippus' indemonstrables. These are inference-schemas
in which the major premiss is a connective proposition (if ... then). In the
first we assert the antecedent of the connective to produce the consequent;
and in the second we assert the negation of the consequent to produce
the negation of the antecedent. Then al-Farabi talks of inferences in
which the major premiss is a separative proposition (either ... or). A
separative proposition, he says, expresses either complete or defective
conflict. The one expressing complete conflict is the exclusive disjunctive,
i.e. whose parts cannot be all true or all false. Defective conflict is that in
which all the parts can be false. The inference-schemas we get when the
major premiss expresses complete conflict are those in which we assert
any part and produce the negation of the other or we assert the negation
of one to produce the other. If the major premiss in this case consists of
more than two parts, then we produce one part after negating all the
others, al-Farab! says. When the major premiss expresses defective con-
flict, then the only kind of inferences we get are those in which we assert
one of the parts to produce the negation of the other(s). (See al-Qiyiis al-
$aghlr, pp. 257-60, and in the English translation pp. 74-80.) The termi-
nology used here is very similar to Avicenna's. But Avicenna differs from
al-Farabi in that he distinguishes also between complete and incomplete
connective propositions (the first is the equivalence and the second is the
INTRODUCTION 11
remaining case, namely when the antecedent is true and the consequent
false.72 When the connective proposition expresses chance connection,
it will be true when both its antecedent and consequent are true; and false
in the three remaining cases. 73
Avicenna introduces another classification of connective propositions.
He remarks that when the antecedent and the consequent in an 'If ... then'
sentence are true, the compound sentence will be true regardless of
whether it expresses implication or chance connection. Thus, when a
connective-conditional proposition is considered true because it has true
antecedent and consequent, it is called 'unrestricted' (Wi 'l-i!laq). If, on
the other hand, a connective proposition is viewed as one in which the
consequent is implied by the antecedent, then it should be called 'restrict-
ed' «Ia 'l-tabqi'q).74
There remains one important kind of conditional proposition which
we have not yet discussed: the connective proposition which reveals
'complete connection' (itti~al tamm). Complete connection obtains when
the antecedent implies the consequent and the consequent the antecedent
(in the sense of implication explained above).75 Accordingly, when the
antecedent implies the consequent, but not vice versa, this is called 'in-
complete connection' (itti~iil ghayr tiimm).76 Though the connective
proposition expressing complete connection is not defined in terms of
the truth-values of its component parts, it is obvious that it is true when
both its component parts are true and when both are false, and it is false
otherwise. This is the same as the equivalence described by modern
10gicians. 77 There is from a formalistic point of view a difference between
Avicenna's complete connection and the equivalence of modern logic.
Modern logicians use a special kind of functor when they express equiv-
alence, but in Avicenna's logic complete connection is expressed in two
implications thus: If p, then q and if q, then p.78
Conflict, to use Avicenna's definition, is the relation in which the ante-
cedent and the consequent cannot be true together (244, 13 and 247, 8).
He calls conflict 'complete' if one of the component parts is true and the
other false. He calls it 'incomplete' or 'defective' if both of the component
parts are false. 79 However, when Avicenna lists separative propositions
he mentions three kinds. so In the first, which he sometimes caBs 'real
separative' (al-munfa~ila al-baqi'qiyya), one of the component parts must
be true and the other false. This of course means that the real separative
INTRODUCTION 13
proposition is true if one of the parts is true and the other false; and false
if both component parts are true or if both are false. In the second kind,
both the antecedent and the consequent can be false. Thus, in this case,
the separative proposition will be true if both of the component parts are
false or if one is true and the other false; but it is false when both are true.
In the third kind, the antecedent and the consequent can be true. This
means that the proposition will be true if both of the antecedent and the
consequent are true or if one is true and the other is false; while it is false
if both parts are false. The second and the third kinds are sometimes
grouped together and called 'unreal separative' (al-munfa~ila ghayr al-
~aqlqiyya). The curious thing is that the examples Avicenna gives of the
third kind are all of a proposition whose antecedent and consequent are
negative sentences. 81 It seems that he was thinking of this particular case
when he formed this kind of separative proposition; since immediately
after discussing the above three kinds of propositions, he gives an example
of a separative proposition whose antecedent and consequent may be
true but this time having affirmative component parts. 82 He speaks of
this proposition as though it belongs to another kind of separative pro-
positions which he neither includes in his division of separative proposi-
tions nor refers to afterwards.
The author of al-ShifiP refers also to the case of the separative proposi-
tion expressing complete conflict when it has more than two parts. 83
Galen before him 84 said that this particular case (which Avicenna calls
real separative) will be true if one of its component parts is true and every
one of the remaining parts (which may be two or more) is false. If in the
proposition 'Either p or q or r', p is asserted, then q and r must be denied.
When q and r are denied, then p is asserted. Thus, the relation between p
on the one hand and q and r on the other must be a relation of complete
conflict. (This is identical with al-Farabi"s account; see p. 10.)
Avicenna's account differs in more than one detail. He no doubt regards
a proposition like 'Either p or q or r' when it expresses complete conflict
as do Galen and al-Farabi', that is as a proposition in which one of the
parts is true and the rest are false. But see what he does when inference-
schemas are constructed with the help of these propositions. First of all
when one part is asserted, then the denial of everyone of the other parts
is. produced. Or, he adds, we can take all these parts as a separative
proposition and deny that. That is when we assert p we produce either
14 THE PROPOSITIONAL LOGIC OF AVICENNA
Not-q and Not-r or Not-(q v r).85 If, on the other hand, we deny one of the
parts, then we produce a separative proposition in which another part is
to be denied. That is when we deny p, we produce q or r one part of which
is to be denied to produce the other.
To the above account of separative propositions one thing must be
added in order that we may fully appreciate Avicenna's understanding of
the way these propositions in particular and logic in general should be
treated. This is his view that logic is concerned with facts rather than
words. In Galen's I nstitutio Logica there is a short report of two different
terminologies used for analysing separative propositions which reveal two
different approaches in logic. One of these, according to Galen, is held by
those who attend to words; and the other by those who attend to the
nature ofthings.86 From what Galen says and from what we know from
sources like Sextus, Diogenes and Alexander of Aphrodisias, it has been
assumed that the Peripatetics were concerned with facts while the Stoics
attended to words. 87 Avicenna, for his part, stresses this Peripatetic
thesis saying that words are only a means for communication and that
logic should be concerned with meanings acquired by the intellect from
the external world. 88 We can thus see the reason behind Avicenna's
concern with the facts that the separative proposition reveals, which
makes him pay little attention to the nature of the functor. In fact,
most of the examples he gives of separative propositions are of the kind
whose component parts have one common subject, like the proposition
'The body either moves or is at rest'. In other words, he sees the separative
proposition as revealing more than one possibility for an existing object.
Until now all conditional propositions referred to are compounded of
what Avicenna calls 'predicative propositions' (qaqaya ~amliyya). He
mentions, however, the possibility for the conditional proposition to be
compounded of conditional propositions. 89 He first distinguishes between
the main statement, whose functor dominates the rest, and the con-
ditional statements which are the antecedent and the consequent of
the first, and whose functors are subordinate to the functor of the main
statement. Thus, the conditional proposition will be called 'connective'
or 'separative' according to whether the main statement is connective or
separative. Avicenna then discussed the different ways in which these
conditional components can be combined to form the compound con-
ditional proposition. He considers the possibility of the main proposition
INTRODUCTION 15
quents are made to be contrary to each other. 10l For example, the propo-
sition 'Sometimes: when every A is B, then every C is not D' is equipollent
to 'Not always: when every A is B, then every C is D', Considering, on the
other hand, separative-conditional propositions, he observes that the
universal affirmative implies the universal negative proposition (whose
antecedent and consequent have similar parts) when their antecedents
are contrary to each other. 102 The same is true of the particular affirmative
and the particular negative, namely that the first implies the second when
their antecedents are contrary to each other. 103 For example, 'Always:
either every A is B or every Cis D' implies 'Never: either every A is not B
or every C is D'; and in the other case the proposition 'Sometimes: either
every A is B or every Cis D' implies 'Not always: either every A is not B
or every C is D', Avicenna also asserts that a real separative proposition
which has affirmative parts implies the connective proposition which has
the same quality and quantity as the separative proposition but whose
antecedent is the contrary of that part of the separative which is similar
to it, provided that the two propositions are compounded of the same
terms, It also implies the connective proposition which agrees with it in
quantity and quality, but whose consequent is the contrary of the
corresponding part in the separative proposition, again provided that the
two are compounded of the same terms,l04 For example, the proposition
'Always: either every A is B or every C is D' implies 'Always: when every
C is not D, then every A is B'; and also implies the proposition 'Always:
when every A is B, then every C is not D', He again says that the separative
proposition in which at least one of the parts is negative implies the
connective proposition which has the same quantity and quality as the
separative but whose antecedent is the contradictory of that part of the
separative proposition similar to it. 105 For example, the proposition
'Always: either nothing of A is B or nothing ofC is D' implies the proposi-
tion 'Always: when some C is D, then nothing of A is B' and the proposi-
tion 'Always: when some A is B, then nothing of Cis D', The connective
proposition, on the other hand, implies the separative which has the same
quality but a different quantity,l06 In this case, Avicenna goes on, the
antecedents and the consequents must have the same quantity and quality,
For example, the proposition 'Always: when some A is B, then nothing
of C is D' implies 'Never: either some A is B or nothing of C is D', Also
the universal negative among connective propositions implies the uni-
18 THE PROPOSITIONAL LOGIC OF AVICENNA
ve premiss. These figures are again divided into moods according to the
quantity and the quality of the premisses involved. The following example,
taken from Avicenna, may perhaps clarify this:
Always; when H is Z, then every C is D,
and every D is A,
therefore always: when H is Z, then every C is A.
(2) This kind is called the 'exceptive syllogism'. I 10 It is in fact an infer-
ence-schema which consists of a conditional premiss and a predicative
premiss that, to use Avicenna's words, asserts or denies the antecedent
or the consequent of the conditional premiss. Avicenna devides these
inferences or syllogisms into twelve productive moods. The division is
based on his previous distinction between connective propositions which
express complete or incomplete connection on the one hand; and on the
other, the distinction between 'real' and 'unreal' separative propositions.
There are, for him, four schemas when the conditional premiss expresses
complete connection. In the first we infer the consequent of the conditional
premiss when we assert the antecedent. In the second we assert the nega-
tion of the antecedent to infer the negation of the consequent. In the third
we assert the consequent and infer the antecedent of the conditional
premiss. In the fourth we infer the negation of the antecedent when as-
serting the negation of the consequent. When the conditional premiss
expresses incomplete connection, the result will be only two inference-
schemas: one leads to the consequent when the antecedent of the con-
ditional premiss is asserted, and the other to the negation of the antece-
dent when the negation of the consequent is asserted. In case the condi-
tional premiss is a real separative which consists of two parts, then by
denying either of the parts we produce the other; and when either of the
parts is asserted, we produce the negation of the other. Avicenna counts
these as two moods. There are two more moods when the real separative
consists of more than two parts. In the first we assert any of the parts
producing the negation of each of the other parts, or the negation of the
rest taken as a separative proposition. In the second we deny one of the
parts producing, he says, a separative proposition consisting of the rest.
From this we deny one part ... etc. until at the end we produce the last
part. There are two kinds of unreal separative propositions. The first is
the one in which both parts may be true. Here we get one mood in which
20 THE PROPOSITIONAL LOGIC OF AVICENNA
when either of the parts is denied, the other part is produced. The second
may have both its parts false. In such a case we get a conclusive mood
when we assert any of the parts to produce the negation of the other. The
inference-schema can be exemplified by the following:
If A is B, then C is D,
but A is B,
therefore, C is D.
(3) This is what Avicenna calls the 'divided syllogism'. I II In this kind
of conditional syllogism one of the premisses must always be a separative
proposition whose component parts (which are always predicative prop-
ositions) share th~ir subject or their predicate. The other premiss or
premisses can be either (a) a group of predicative premisses which, again,
share their subject or predicate; (b) a group of predicative premisses
which share neither their subjects nor their predicate; (c) one predicative
proposition; (d) one connective proposition; or (e) a separative proposi-
tion. In order that such combinations be conclusive, there must be a
middle part which the premisses share between themselves. In (a) the
syllogism is divided into the three following figures:
B is either C or H or Z
C and Hand Z are A
B is A
and
B is either C or H or Z
A is C and Hand Z
B is A
and
Cor H or Z is B
C and Hand Z are A
B is A
(b) is also divided into three figures:
D is either C or B
C is Hand B is Z
D is either H or Z
INTRODUCTION 21
and
D is either C or B
H is C and Z is B
D is either H or Z
and
Cor B is D
C is Hand B is Z
D is either H or Z
Cis B
B is either H or Z
Cis H or Z
and
B is C
B is either H or Z
Cis H or Z
In (d) there are also two figures;
If C is B, then H is Z
Z is either D or A
If C is B, then H is either D or A
and
If C is B, then H is either Z or D
A is either Z or D
If C is B, then H is A. 112
Though there is much that can be said against Avicenna's ideas on the
subject of conditional propositions and syllogisms, there is no doubt as
to their historical significance. The vivid picture which the text reveals of
the Peripatetic doctrines in addition to many of the Galenic views will
22 THE PROPOSITIONAL LOGIC OF AVICENNA
be of much interest to the historian of late Greek logic. The most im-
portant aspect of this picture is perhaps the role which the Peripatetics
played in diverting the attention of philosophers from the worthy step
which Stoic thinkers had taken. This Peripatetic influence is clear in
Avicenna's case. But we should not forget that, in his turn, Avicenna
syllogism
predicative conditional
Fig. A. Avicenna's division of the syllogism.
influenced all Arabic logicians after him. The works of the two eminent
Arabic logicians, Qu!b ai-Din aI-Shirazi and Ibn Sahlan al-Sawi, are care-
ful elaborations of Avicenna's views. The authority which a work like
al-Shif(? had on Arabic thought might be explained in part by the fact
that it is, comparatively speaking, the most comprehensive work on
Greek philosophy in ArabicY3 Nothing of Avicenna's lengthy discus-
sion can be found in al-Farabi's section on conditional syllogisms. 114
Though the historian of Arabic thought regrets the loss of most of the
early Arabic logical writings, nevertheless, Avicenna's al-ShifCi> provides
him with a condensed material that includes conflicting views with the
acumen and understanding that never fails the author.
In this summary of Avicenna's main ideas on conditional propositions
and syllogisms we have tried to define the key terms which he used in
expounding his theoryY s Avicenna's ideas bear the influence of both
Peripatetic and Stoic theories on conditionals; but it would be an un-
warranted simplification to assume that Avicenna had direct access to
Stoic writings. The ideas and terminology of both schools were already
mixed together in later Greek writings, and the mixture became common
knowledge to Peripatetic authors. In fact, the tendency to compare the
two sets of ideas and terms goes back to Galen, whose writings, as we
INTRODUCTION 23
have seen, must have had a significant influence on Avicenna. 116 Also,
the fact that the writings of later commentators were more or less stereo-
typed and repetitious makes it more difficult for us to tell from the mere
analysis of terminology which commentary (or commentaries) was the
syllogism
direct source of al-ShijZe. But, it may be said again, it is more likely than
not that Stoic ideas and terminology percolated to Avicenna through
Peripatetic works.
NOTES
1 Abii 'All ibn Slna, al-Shifii', al-Qiyas (ed. by S. Zayed), Cairo 1964, pp. 229--425. The
lithographed edition of al-Shifii', published in Tehran in H. 1303 (A.D. 1886), includes only
the Physics and the Metaphysics (in two volumes).
2 In contrast with al-Shifii', neither al-Najat nor al-Isharat discusses the different views
of other philosophers on the subject of conditionals. Nor is there any detailed explanation
of the author's own views on the subject such as the one we find in al-Shifii> For example,
the moods of the so-called conjunctive conditional syllogisms are not mentioned in either
al-Najat or al-Isharat. These two works neglect also the different kinds of connective and
separative propositions to which Avicenna devotes a lengthy discussion in al-Shifii'. As a
result of this negligence the number of exceptive syllogisms, which goes up to 12 moods in
al-Shifii', is in these works only four. Neither al-Najat nor al-Isharat refers to what Avicenna
calls the divided syllogism. The fragment which has reached us of Avicenna's The Logic of
24 THE PROPOSITIONAL LOGIC OF AVICENNA
the Orientals (Man.tiq al-MashriqiYYln, Cairo 1910), explains in a few pages (pp. 60-63) the
two kinds of conditional propositions, and very briefly refers to the four forms of these
propositions: the universal affirmative, the universal negative, the particular affirmative
and the particular negative. There are also a few lines on p. 80 where he talks of the contra-
dictory of the universal affirmative in connective-conditional propositions. The book is of
no importance except for its controversial introduction, in which Avicenna makes it clear
that he will depart from what the commentators on Greek works have been occupied with.
Cr. Mantiq al-Mashriqiyyin, pp. 2--4; and al-Madkhal of al-Shifli' (ed. by C. Anawati and
others), Cairo 1952, p. 10. Avicenna's claim that the so-called Oriental philosophy repre-
sents a departure from Peripatetic teaching has no support either in what is left of the
Mantiq al-Mashriqiyyin, which is in harmony with his other views expressed in al-Shifli',
al-Najat and al-Isharat, or in his Notes to Aristotle's De Anima [cf. Aris!u 'Inda'I-'Arab (ed.
by A. Badawi), Cairo 1947, pp. 75-116). In these notes Avicenna repeatedly quotes 'the
Orientals'. But the views so quoted are in agreement with those expressed in al-Shifli'. [See
Avicenna's De Anima (ed. by F. Rahman), London, 1959.] For a recent discussion of Avi-
cenna's Oriental philosophy in the light of the text published by Badawi in Arisru 'Inda'-
I-'Arab see S. Pines, 'La Philosophie orientale d'Avicenne et sa poJ(:mique contre les bag-
dadiens', Archives d'histoire doctrinale et litteraire du moyen-age XIX (1952) 5-37.
3 AI-Madkhal, p. 2. See also Ibn al-Qif(i, Ta'rikh al-J;Iukama' (ed. by 1. Lippert), Leipzig
1903, pp. 419-20.
4 Al-Jiizjani says that he met Avicenna when the latter was 32 years old (Ibn al-Qif(i, op.
cit., pp. 422 and 426) and that a few years later Avicenna started writing al-Shifli' and fin-
ished it at the age of forty. (See al-Madkhal, pp. 1-3.) Cpo I. Madkour's view in his intro-
duction to al-Madkhal, p. 4, that the book was written in more than ten years.
5 AI-Madkhal, p. 9.
6 Ibid., p. 2.
7 "There is nothing that is of importance in the works of Ancient (philosophers) which we
have not included in this book. If (the ideas) are not found in the place where these books
usually deal with them, they will be found in another place which we thought is more ap-
propriate. We also added to these (ideas) what we grasped through our own understanding
and gathered by our own thought, especially in the fields of physics, metaphysics and
logic." AI-Madkhal, pp. 9-10.
8 The question-answer method can be found in Kalam. However, I am convinced that
Avicenna was following not the mutakallimin but Aristotle. See below.
9 In a letter to Abu Ja'far al-Kiya (published in A. Badawi's Arisru 'Inda'I-'Arab) Avicenna
talks of their "weakness and ignorance" (p. 122). See also what he says in p. 120 in the
same letter.
10 Aristotle, Prior Analytics (ed. and trans. by H. Tredennick), the Loeb Classical Library,
London and Cambridge, Mass., 1938, 50bl-5. As a matter of fact Aristotle talks about hy-
pothetical rather than conditional syllogisms. See the Commentary below pp. 215-16.
11 This remark may be simply based on the passage in Aristotle mentioned above. How-
ever, the quotation in al-Farabi's a/-Jam' bayna Ra'yayy al-J;Iakimayn (ed. by A. N. Nader),
Beyrouth 1960, p. 86, from a book by Aristotle on al-Qiyasat al-Shartiyya (Conditional
Syllogisms) at least shows that independently of Aristotle's remark Muslim philosophers
had some evidence to convince them that Aristotle did write such a book. Cpo al-Farabi's
Shar~ Kitab al-'Ibara (ed. by W. Kutsch and S. Marrow), Beyrouth 1960, p. 53, where he
speaks of the claim that Aristotle had written "books on conditional syllogisms".
12 Al-Qiyas, 397, 4-9.
13 Ibid.
INTRODUCTION 25
in his commentary on the Topics on Ammonius' commentary, which includes Books I-IV
of the Topics.
38 Al-Fihrist, p. 249. Ta'rikh, p. 35.
39 Al-Fihrist, p. 253. Ta'rikh, p. 257.
40 AI-Fihrist, p. 249. Ta'rikh, p. 35.
41 Al-Fihrist, p. 249. Ta'rikh, p. 36.
42 AI-Fihrist, p. 249. Ta'rikh, p. 36.
43 AI-Fihrist, p. 249. Ta'rikh, p. 37.
44 Ibn Abi U~aybi<a, Tabaqat al-Atibba' (ed. by August Miiller), Cairo 1882, Vol. I, p. 105.
26 THE PROPOSITIONAL LOGIC OF AVICENNA
64 Al-Fihrist, p. 249. His commentary on the Prior Analytics is to the end of I, VII.
65 Al-Fihrist, p. 249 and p. 299. Ta'rikh, p. 36 and p. 273.
66 Al-Fihrist, p. 249 and p. 262. Ta'rikh, p. 36.
67 Ta'rfkh, p. 36 and p. 120.
68 Al-Fihrist, p. 301 ...D2 and p. 299.
69 Ta'rikh, pp. 362-63.
70 Avicenna refers to other forms of conditional propositions, for example, 'A is not B
unless (~attii) C is D' and 'A is Band (wa) C is not D'. However, these forms, he says, can be
reduced to either a connective- or a separative-conditional proposition. See al-Qiyii, 251,
12-17, and 252.
71 Ibid., 233, 12-17, and 234.
72 Ibid., 260, 16-17 and 261.
73 Ibid., 238.
74 Ibid., 237, 13-16.
INTRODUCTION 27
75 This is probably the first time the concept of equivalence is mentioned in the history of
logic.
76 Ibid., 232,12-16.
77 Cpo al-Qiyiis, 390-91 and 396-97 where it becomes clear that 'complete connection' is
the same as the equivalence of modern logic.
78 Sometimes he expresses it in the form 'If p, then q', but he always adds that the con-
ditional statement is to be understood as expressing complete connection.
79 Ibid., 232,17-18, and 233,1-4.
80 Ibid., 242-44.
81 Ibid., 244.
82 Ibid., 245, 5.
83 Ibid., 401, 7-15 to 404.
84 Galeni Institutio Logica (ed. by Carlos Kalbfleisch), Leipzig 1896, V, 4.
85 Avicenna realizes that the two conclusions are equivalent when q v r has true parts.
86 Ibid., III, 5.
90 Al-Shifii', al-{Ibiira, British Museum MS., Or. 7500, fol. 40', lines 5-42.
91 See Commentary, pp. 220-21.
92 Loc. cit.
93 Al-Qiyiis, 235, 12-16; 236; 270,14-17 and 271, \-2.
94 See the Commentary, pp. 242-54.
95 Al-Qiyiis, 272,13-\8,273; 274 and also 263.
96 Avicenna, like Alexander of Aphrodisias, regards the conditional (Alexander's hypo-
thetical) syllogism as one which is compounded of at least one conditional premise. See
al-Qiyiis, 231,11-12.
97 Like Aristotle, Avicenna defines the syllogism as a discourse in which from certain
propositions that are laid down something other that what is stated follows necessarily.
See al-Qiyiis, 54, 6-7.
98 In many places in al-Qiyiis the name 'conditional syllogism' is given by Avicenna to
the first kind. Sometimes it is called 'conjunctive syllogism'. The last name is misleading
because predicative syllogisms are also called 'conjunctive'. At one place in the same book
Avicenna asserts that "The majority (of logicians) call it [i.e. the exceptive syllogism] con-
ditional. I did not call it conditional because some conditional (syllogisms) are conjunctive."
See al-Qiyiis, 106.
99 Al-Qiyiis, 366.
100 It should be n~ted that the antecedents and/or the consequents can be universal af-
firmative, universal negative, particular affirmative or particular negative.
101 AI-Qiyiis,371.
102 Al-Qiyiis, 379, 17-18 and 380.
103 Ibid., 381, 3-10.
104 Ibid., 376, 6-16 and 371, 1-9.
lOS Ibid., 378, 7-9.
106 Ibid., 382, 5-12.
107 It is not clear why the word 'conjunctive' is used to refer to this kind of conditional
syllogisms, unless the word is meant to refer to the conjunctive 'and' which connects the
premisses in all conjunctive-conditional'syllogisms. Note that the predicative syllogisms,
28 THE PROPOSITIONAL LOGIC OF AVICENNA
whose premisses are connected in the same way, are also called 'conjunctive'. Cpo note 110.
108 Avicenna puts the minor premiss before the major.
109 AI-Qiyiis, 295-348.
110 AI-Qiyiis, 389. The Arabic word istithnii'fmeans literally 'exceptive'. Avicenna, however,
explains istithnii' as meaning the assertion that something exists (see al-Qiyiis, 269, 11-12).
This use of the word is certainly odd, and the only possible explanation in our view is that
this syllogism gets its name from the word 'but' which precedes the major premiss in the
istithnii'l syllogism. As we said before (cf. note 107) the iqtiriini syllogism also seems to have
got its name from the conjunctive 'and' which precedes its major premiss. In al-Qiyiis,
389 and 390. Avicenna distinguishes between the conjunctive and the exceptive syllogism
saying that in the first the premisses potentially contain either the affirmation or the negation
of the quaesitum; while in the second the premisses actually contain them. 1. S. Kieffer (Galen's
Institutio 1..ogica, p. 129) says that Alexander of Aphrodisias distinguishes between the terms
metalepsis and pros Ie psis. The first, term is "used by Aristotle and the Peripatetics for the
minor (Aviceillla's major) premiss of a hypothetical syllogism, called by the Stoics ... proslep-
sis". Alexander, Kieffer continues, understands the distinction to be that a metalepsis repeats
a clause contained in the hypothetical major premiss, but only stating it as an assertion
instead of as a hypothesis. While the Aristotlian usage of proslepsis denotes a premiss that
is not contained actually in the major. (See Commentary to Book V, note 68.) The original
meaning of 1tp6cr"'T]1j11~ and ~EtU"'T]1j11~ is nearly the same: the first means 'taking in
addition', 'additional assumption'; and the second 'participation', 'concurrence', 'taking
something instead of another'. (See Liddell and Scott, A Greek-English Lexicon.) It is plausi-
ble to assume that the Arabic translator desired to distinguish between these terms for logi-
cal and historical reasons, and that the particles "and" and "but" used in the second premiss
of the conjunctive and exceptive syllogisms respectively made him opt for iqtiriinl and
istithna'l. Cpo Tadhiiri's translation of the Prior Analytics in Mantiq Aristu, ed. by A.
Badawi, vol. I. Cairo 1948, where ~lE"tUt..U~ ~UV6~EVOV (ul;i(O~u) (An. Pro 41 a, 40) is rendered
al-muqaddama al-muhawwala, and EV 8t "tOi~ c'it..t..Ol~ crut.."'oYlcr~oi~ "toi~ £1; (m09t(Jl;(O~,
OlOV OlcrOl KU"tU ~E"tat..T]1j11V is rendered wa amma.fi sa'ir al-maqiiYls al-shar!iyya mithl
al-Iaa takiinu bita~wl/ al-qawl (An. Pro 45b, 17). See also Is~aq ibn l:funayn's translation
of the De Interpretatione where npocr"ti9T]I.ll is rendered vastathni in 16a 15, 17a 12, and
17a 35. [I. Pollak, (ed.), Die Hermeneutik des Aristoteles in der arabischen Vbersetzung des
Ishiik Ibn Honain, Leipzig 1913.)
I I I Al-Qiyiis, 349-56, 1-6.
112 There is another combination (e) where the major premiss is a separative proposition.
There are two figures here the second of which is not clear at all to me. I will give the first
figure only:
Either C is D or H is D
D is either B or A
Either C is D or H is B or A
LIST OF ABBREVIATIONS
Al-Qiyiis
BOOK Vi
[231] CHAPTER ONE
5 ON CONDITIONAL PROPOSITIONS 2
chance (ittafaqa ittifoqan) but not necessarily so, since they are not [ulti-
mately] connected by chance and since this is not so in the nature of
things.
[The antecedent and the consequent of the connective proposition are not
statement-making sentences]
The antecedent of the connective-conditional proposition is a posited
thesis which does not state whether what we posit exists or not. When
15 we say 'If it is so, then it is so', we are not saying that so is to be and
together with it so is to be, that the antecedent is in itself a true proposi-
'AL-QIY AS' BOOK V 39
tion and the consequent in itself is true, that they were uttered together,
[236] and that the antecedent, taken by itself, is a complete statement. Further,
the antecedent does not say that 'So, with which so exists, also exists'.
This is a situation-describing (ma~alliyya) proposition which asserts that
so exists with the existence of so without stating any condition at all.
When a condition is stated, the parts will no longer be propositions.
5 When you say 'If it is so' it is neither true nor false; and when you say
'then it is so' it is also neither true nor false provided that 'then' fulfills
its real function of indicating that something follows from another. But
if we speak in a language in which the consequent as a consequent has
no (distinctive) sign but that it comes after something else, then it should
be in itself either true or false. For in this case the consequent is not stated
in full; and therefore its full meaning is not revealed. But to give the sen-
tence its full meaning you should add 'then' to it; and if 'then' is added
10 you would say 'then it is so' or 'together with what we said, it is so' which
is neither true nor false until we know the posited thesis. However, the
statement 'It is so' 10 is by itself either true or false. The antecedent as an
antecedent should not also be treated as something to be doubted or
asserted but something which implies or does not imply the consequent.
It [i.e. the antecedent] can be undoubtedly false - as they say 'If ten is
15 odd, then it is not divisible into two equal integers'; or it can be posited
as something permanent and true in itself so that the consequent (which
is implied by it) becomes a true proposition. But if taken as parts of a
conditional proposition, neither the antecedent nor the consequent will
be true or false; for neither one is to be taken as true when it is an antece-
dent or a consequent. And what cannot be taken thus cannot be subject
to doubt. However, if we inspect them from outside (min khiirij) we will
perhaps doubt the consequent if the intention is to produce it; or the
antecedent if the intention is to show that it is false.
15 ment) 'Five is even' is assumed to be true, and it is also true in itself that
'Every even is a number', then we necessarily conclude that 'Five is a
number'. However, we reached this conclusion because we conceded a
true and a false premiss [at the same time], and one must not concede
that false (statement) when he concedes the one which is true. When we
[240] posit the thesis 'Five is even', we must not concede that 'Every even is a
number'.14 One of the premisses must not be conceded, and this should
be (the first one). The assumption that 'Five is even' makes it necessary
in itself that the other premiss must not be conceded. Therefore, if you
5 assume that 'Five is even', you must concede that 'Not every even is a
number'. For no objection can be raised if the case is that of an impossible
being implied by another impossible. If a false statement is conceded,
then we should not concede a true statement. But if what we concede is
an impossible, then what we should concede with it must be an impos-
sible that follows necessarily from it. Here is a proof that when we con-
cede that ['Five is even'] we should concede ['Not every even is a number'].
No number is five-even; therefore, nothing which is five-even is a number.
If we concede that 'Five is even' and 'This five is not a number', it will
follow that 'Not every even is a number'. Only the person who posits this
thesis [namely 'Five is even'] is committed to this [namely the statement
that 'Not every even is a number']. However, he took a false thesis and
10 mixed it with a statement which is true in itself, from which he reached
a conclusion that would not follow necessarily if the true premiss was
not conceded with the one which is false. If we are looking for truth, then
it will be necessary to deny the false (premiss) and to concede the one
which is true. But if we want to pursue what is wron~, then it is necessary
or possible to affirm the false premiss and to concede the contradictory
of the one which is true. If the statement 'If five is even, then it is a number'
is true in itself, then it will be true to say that what is five-even is a number.
15 Since this is false, the connective statement, which is equivalent to it in
force (fi quwwatihi) 15, will also be false. And if the above predicative [i.e.
'Every five-even is a number'] is true, its coverse, namely 'Some numbers
are five-even', will be true.
You have known the truth-conditions of the restricted connective
proposition, or 16 the implication, when the antecedent alone is false and
when the consequent and the antecedent are together false.
'AL-QIYAS' BOOK V 43
[it is false when the antecedent is true and the consequent false]
It is not possible for the antecedent to be true and the consequent to
[24 J] be false because false statements cannot be implied by true statements.
[A connective] proposition can be false though its parts are true - for
example, 'Always: when man is a creature-that-rests, then he is a crea-
ture-that-moves'. (The above antecedent and consequent) correspond
with reality and therefore both are true propositions. The statement
'Never: if man is an animal, then he is a body' is false, for it denies what
is necessarily true.
NOTES
1 All the Maqiila's translated here are specified by the author as being "of the fourth Section
of the first Part which is the logic". Avicenna divided al-Shifli> into four Parts (Jumal):
logic, physics, mathematics and metaphysics. A Part (Jumla) is divided into Sections (Funun)
for example, logic is divided into the Introduction, the Categories ... etc.; which are in turn
divided into Books (Maqiiliit) whose subdivisions are the Chapters (Fu$ul).
2 The text reads 'syllogisms' for 'propositions'. The suggested reading is supported by the
fact that the whole chapter deals with conditional propositions.
3 Book VI and VIII, i-ii.
4 Euclid defines the perfect number as that which is equal to the sum of its own parts, i.e.
submultiples. Theon of Smyrna and Nichomachus add the definition of the two other kinds
of numbers in contrast with the perfect (i) the over-perfect, the sum of whose parts are greater
than the number itself and (ii) the defective, the sum of whose parts is less than the whole.
See The Thirteen Books of Euclid's Elements, tr. with intr. and comment, by T. L. Heath,
New York 1956 (2nd ed.), Vol. II, pp. 293-94.
5 cr. 258, 13-19; 259 and 260.
6 See 256,11-17; 257 and 258,1-12.
7 Cf. 264.
8 See 237.
9 Reading idh with C. The other MSS. read idhii.
10 Reading with D yakunu kadhii.
ON SEPARATIVE-CONDITIONAL PROPOSITIONS
[A separative proposition expresses (1) real coriflict and the particle it takes
is 'It is exclusively']
The word 'either' is used univocally to express the following three
10 cases: (1) The case of real (~aqlql) conflict; which is what you indicate when
you say for example, 'It is exclusively (Iii yakhlii) one of the cases'. This
is the same as saying 'Either this number is even or it is odd'. In this case
your aim is to indicate that these [namely even and odd] are conflicting
things and the thing [i.e. the number] is exclusively one of them. When
we use the word 'either' in this sense, it is improper to divide conflict into
[243] complete and defective. For the defective is in this case false. When you
say This number is exclusively either perfect or over-perfect' without
adding anything to that, your statement will be false.
if, as someone claims, the thing is one of these descriptions or the other,
then you must understand that the thing cannot be both in the sense
that the thing and the two descriptions are inseparable; but it is the one
or the other: not both. For both are in conflict with each other and,
10 therefore, cannot be said of one thing. In other words, both are in con-
flict with each other and, as someone claims, the thing is exclusively one
of them. Like (1), it indicates the same kind of conflict (between the parts
of the proposition) and that the thing is exclusively one of them. Except
that when we say here 'The thing is exclusively one of the two things' our
statement is not absolutely true but only relative to what the man we are
addressing says. For he (only) mentions these two things and asserts them
and their existence without saying that they are in conflict with each
other; and we add to this that they are, and that they cannot exist to-
15 gether though the thing must be the one or the other. When 'either' is
used in this sense it cannot express both complete and defective conflict
but one of them.
parts (of the separative proposition) cannot be both true. The word
'either' does not [only] refer to a meaning common to the first and the
15 second cases. For the word is used to indicate not only the case of plain
(~arf?1) conflict but also the fact that the second [i.e. the consequent] is if
the first is not. To indicate plain conflict, one may use the words which
form connective propositions, [such as 'if and 'always: when'], or express
it in a predicative statement.
[The antecedent and the consequent of the separative proposition are inter-
changeable, but not so in the connective]
10 Further, whereas the parts in conflict are equivalent, this is not so in
the case of connection. For the two parts of a connective proposition are
distinguished and separated by attaching a different word to each part -
'if is attached to the protasis to make it the antecedent per se and 'then'
to the apodosis to make it the consequent per se. The antecedent of a
connective proposition becomes the consequent and the consequent the
15 antecedent when we introduce a new thesis and abandon the first one or
when it is not the form of the proposition which we are considering but
particular subject-matters. But this [namely the subject-matter of the
proposition] is not what concerns us. Similarly we do not distinguish
'AL-QIYAS' BOOK V 47
not be inanimate. What we drop is the part which says 'It is (plant)' and
5 in its stead we put its implicate, namely 'It is not inanimate'. (If this part
is not dropped, then) it will be correct to mention anyone of its impli-
cates, which are infinite, and say for example, 'It is not a celestial sphere',
'It is not white' and 'It is not a king'; or say in the affirmative 'It breathes'
or 'It has root and branch'. (If we drop it, then) it will not be correct to
mention save a specific thing. However, it is customary for the sake of
brevity to omit the (implicitly stated) implicance if the mind, though
10 conscious of it, does not need to state it explicitly. But a real statement is
one in which what is audible coincides with the order of the intelligible
in thought. Thus, the above statement [i.e. 'Either this thing is not plant
or not inanimate'] is distorted, it disregards (the rules) and it is abridged
to an extent that its full meaning is not revealed in the sentence. The same
is true of the second 7 division. For what the proposition of this division
actually says is this: Either this thing is plant or it is not, and in the latter
case it could be inanimate.
[A comparison between (1) on the one hand and (2) and (3) on the other]
We have shown you that both the second and the third divisions are
in fact compounded of two propositions one of which is incorporated
15 (udghim) in the other. Someone may say the same thing ofthe first division.
But the difference between the first and the other two is the following:
To say that a number is not odd is the same as saying that it is even and
vice versa. But to say that something is plant is not the same as saying that
it is not inanimate or having the property of an inanimate object, since
these can be implied not only by the fact that the thing is plant but also
[249] by other (facts). Though it is possible to treat the real separative proposi-
tion as a combination of a separative and 8 a connective proposition, yet
to express it as a complete statement, we do not actually represent it in
the mind as two propositions. For the mind can confirm it without notic-
ing that it can be so represented. But in the case of the other two divisions,
the mind does not confirm the proposition unless it is represented in the
form of two propositions - (one is con·nective and the other is separative).
(In this context we must remind you that) there is a difference between a
5 a
state which belongs necessarily to something and state which may possi-
bly belong to it. The third division is not used in conjunctive-(iqtirani)
conditional syllogisms, though it may be used in exceptive (istithna)i)
50 THE PROPOSITIONAL LOGIC OF AVICENNA
syllogisms. 9 The real separative and the second division are used in both
kinds of conditional syllogisms. For the two divisions have the following
in common: when the contradictory of any part is posited, the other will
necessarily be affirmed. The real separative proposition has a peculiar
characteristic, namely when anyone of its parts is posited, the contra-
dictory of the other part must necessarily be affirmed.
10 You should know that what applies to the (separative proposition)
which is compounded of one negative and another affirmative part applies
also to the separative which is compounded oftwo negative parts. It is not
impossible for the real separative to have two negative parts, or one
negative and another affirmative part, if it is not only meant to indicate
what the separative proposition with two negative parts indicates, but
if it is also meant to express a division (of the possibilities into two). As
if one says 'One of the following things is exclusively true: Either A is not
B or C is not D'. In other words, it is exclusively either 'A is not B' is true
15 or 'C is not D' is true. If this is what it says, then the proposition with two
negative parts can take the words 'it is exclusively'.
[250] You should know that if we add a third part to the real separative
proposition, it becomes unreal (ghayr ~aqlqn, for the real separative
cannot have more than two parts. For example, they say 'Either this
number is even or odd or it is not a number'. This example has the ad-
5 vantage of showing that we use 'either' here in a sense different from that
used in the real separative proposition.
exclusively either man exists or void exists', for none of the different
meanings of the word 'either' is true here except metaphorically. We may
15 refer to this metaphorical usage later on.l0 If man does not exist it will
neither be necessary that void exists nor that it may happen by chance
that it exists. Also, if void exists, it will neither be necessary that man does
not exist nor that it may happen by chance that he does not exist. Also,
if void does not exist, we cannot truthfully assert with it that man does
[':51] not exist whether we want the latter to be implied or not implied by the
first. None of the above mentioned meanings of the word 'either' agree
with this (notion of things related by chance). For man, who always or
sometimes exists, and void, which is always non-existent, can neither
exist together nor can they be in conflict with each other in the sense that
the contradictory of the one is implied by the other. We must keep in
mind that this is different from saying that it is necessary for a separative
proposition to have equivalent parts (mukaji>a). For only when we express
5 conflict in a real separative proposition can the parts, which are in con-
flict with each other, be equivalent. But this is not a serious matter if the
proposition is not a real separative. We must say that the parts of con-
nective propositions are not necessarily equivalent. There is another
reason why it is possible to apply this notion (of things related by chqnce)
to the connective rather than the separative proposition. For it is not
unlikely that things which are connected together by chance may have
common relations in respect of which some of them will imply the other
though we are not conscious of these relations. This is not so in the case
10 where things exclude each other [by chance]. For in this case the parts
may be impossible in themselves, or there may be some other reasons
which make them exclude each other. But there will never be one common
cause which makes them exclude each other necessarily.
NOTES
1 The edited text reads aw not wa. The editor does not give any further readings; but in
consulting the B.M. MS. we found that the text reads IVa.
2 This is case (I) which he calls 'real conflict".
3 Avicenna uses the words 'immii ... wa immii', which can be literally translated as 'Either ...
and either', to express the separative proposition.
4 The text in fact says that the first case is not true of the last division; and that the second
case IS not true of the second division, which does not make sense.
s See 404, 5-12.
6 The tex-t reads 'the second'.
7 The text reads 'the third'.
'He has fever' is a complete statement and so also is the sentence 'He has
hard cough'.
Someone may say that though the consequent [of the connective
proposition] may consist of many propositions, the connective must be
considered as one proposition; for in order to consider the statement
'If it is sometimes A and not B, and sometimes B and not A, then neither
B is a condition of A nor A is a condition of B', as complete, we need to
20 state both (parts of the consequent) together. The answer to this is the
following: Though it is more significant to state them together, the state-
[256] ment will be regarded as complete if we accept one of them; for the
consequent is not an [essential] definition of the antecedent. While if a
[verbal] definition is stated as a predicative proposition with the definiens
as predicate, there will be no reason why part of the definiens cannot be
a predicate. However, one can reformulate the above proposition so that
it will not give a complete statement except when both parts are stated
together - as when one says 'If sometimes it is A and not B, and B and not
5 A, then neither one is a condition for the other'. However, the consequent
(in the last example) is a single proposition.
['If' and 'Either' etc. can be put after or before the subject of the antecedent;
and in the first case the proposition would be indeterminable]
You should know that in connective and separative propositions (the
[257] words used) to indicate connection and separation, I mean the words
which are responsible for the connection like 'if and 'always: when' and
the words which are responsible for the separation like 'either', come either
after or before the subject. 6 Thus, we shall have two kinds of propositions
5 in each type. The example for the connective proposition in which the
word that is responsible for the connection comes after the subject is: 'The
sun always when it rises, then it is day'. This kind is very similar to a
predicative proposition. For we can give one name to all that comes after
the subject. For instance, the above example is the same as the following
[predicative] proposition: 'The sun is something of which one can say
that when it rises, it will be day'. All what we said of the sun can be called
10 'Alpha'. When you say 'The sun is Alpha', it will be the same as saying
the (original) proposition. Thus, these propositions are indeterminable
(mutaraddida) - they can be either conditional or predicative. The example
for the connective proposition in which the word that is responsible for
the connection comes before the subject is: 'If the sun rises, then it is day'.
This is an actual connective proposition. Though it cannot (be reduced
to) a predicative proposition, it may imply a predicative proposition. The
two kinds of connective propositions mentioned above are everywhere
15 equipollent but as will be proved to you, the two corresponding separa-
tive 7 propositions are not. If the word which is responsible for the separa-
tion comes after the subject, then the antecedent and the consequent must
have the same subject. For example, you say 'Every number is either even
or odd'. This (kind of separative propositions) has the same force as a
predicative proposition. It is the same as the proposition which says
[258] 'Every number is something which can be described as being one of the
above things'. If you call what is said of numbers 'Gama', you can correctly
say 'Every number is Gama'. This proposition is indeterminable. It can be
used either as a separative or as a predicative proposition. Its being
indeterminable is not a case of far potentiality: it is rather a potentiality
5 which is almost an actuality. The example of the (kind) in which the word
'AL-QIYAS' BOOK V 57
which is responsible for the separation comes before the subject is:
'Either every number is even or every number is odd'. The difference
between the two separative propositions is that the latter is false and the
former is true. The latter becomes true if a third part is added to it. But the
former does not take a third part. For it is true to say 'Either every number
10 is even or every number is odd or some numbers are even and some are
odd'. But if the word which is responsible for the separation comes after
the subject, then we cannot have a true statement consisting of the above
three parts. Also, the latter separative proposition is not equivalent in
force to the predicative which is formed of the former (separative pro-
position).
[The view that the connective is an affirmative statement and the separative
a negative one. His view on what affirmation and negation in conditional
propositions are]
You should know that literally speaking and according to widely-
accepted opinion (al-mashhiir), the connective is similar to the affirmative
and the separative to the negative proposition; for there is neither affirma-
tion nor negation in conditional propositions. We first say: It is not correct
15 to say that if the antecedent and the consequent of a connective proposi-
tion are neither affirmed nor denied, then the (connective) proposition
[itseln should not be affirmed or denied; as it is not correct to say that if the
parts (of the connective proposition) are not considered true or false, the
proposition itself will not be true or false. Just as in affirming a predicative
proposition we affirm the statement of predication, so also with connec-
tive and separative propositions: in the former we affirm the connection
and in the latter we affirm the separation. If someone says 'If the sun
[259] rises, then it is day' he affirms the statement that the consequent follows
the antecedent and that it [i.e. the consequent] is true with it. If someone
denies this connection, i.e. he does not consider it true, and says 'Not:
if the sun rises, then it is day', then what is negated will be the connection.
5 This negation is not, as some people thought, a separative proposition,
though it implies a separative proposition. Also, we do not, as some people
thought, negate the connective proposition by negating its consequent -
as when we say 'If the sun rises, then it is not day'.8 We can show that this
proposition is not a negation of the connective if we put the words
'always: when' instead of 'if. For if you said: 'Always: when the sun rises,
58 THE PROPOSITIONAL LOGIC OF AVICENNA
then it is cloudy' and someone denied what you said, then the contra-
dictory of your statement wiIl not be 'Always: when the sun rises, then it
is not cloudy' but 'Not always: when the sun rises, then it is cloudy'. Thus
what we do is to keep the antecedent and the consequent as they are and
10 negate the universal connection. The same is true of conflict. If someone
said: 'Either this thing is an articulate creature or a creature-that-Iaughs'
and his statement was false, he should be told: 'Not: either it is an articula-
te creature or a creature-that-Iaughs'. The last proposition is not (equi-
valent) to the connective or the separative proposition in which one part
is affirmed and the other is denied. In other words, the negation of the
above affirmation of the separative proposition is not 'Either Zayd is an
articulate creature or he is not a creature-that-Iaughs'. We can show that
15 this is not so in another example.lfa person said: 'Either Zayd is a writer
or a jurist' and someone answered him saying: 'Not: either he is a writer
or a jurist', this will not mean that (Zayd) is either a writer or not a jurist.
For (Zayd) can be a writer without being a jurist; or a jurist without being
[260] a writer; or a writer as well as a jurist; or neither a writer nor a jurist. All
these things show that the negation ofa separative proposition may imply
the affirmation of the connective or the affirmation of the separative
proposition; and that the negation of the connective proposition may
imply the affirmation of the connective or the affirmation of the separative
proposition. And that when we say, 'If the sun rises, then it is not night'
this is not a negation of a connective proposition but a connective pro-
5 position with one of its parts being nagative. On the whole, the connective
would be considered an affirmative proposition not because its conse-
quent or antecedent is affirmative; nor would it be considered a negative
proposition for a similar reason. When we affirm or negate a connective
proposition we affirm or negate the connection. A connective proposition
may have a negative consequent or a negative antecedent and consequent
and still be affirmative - as when you say 'If man is a writer, then he is not
illiterate'; and when you say 'if this is not animal, then he is not man'.
A negative proposition can have two affirmative parts as our previous
examples show.
10 Just as a predicative proposition is affirmative or negative not because
its parts are affirmative or negative but because the statement of predica-
tion is affirmed or negated, so also with the connective proposition - its
affirmation or negation does not depend on whether its parts are affirmed
'AL-QIY AS' BOOK V 59
or negated. All what we said (of the connective) is also true of the sepa-
rative proposition.
NOTES
6 Assuming that the antecedent and the consequent are predicative propositions which
10 This is so only when the separative proposition expresses complete conflict. See pp. 222-
23.
[262] CHAPTER FOUR
(is so), then so is so' or 'When so (is so), then so is so' the proposition will
be indefinite. However, in a peculiar way, the word 'if seems to indicate
a particular kind of indefiniteness. As though when we say 'If A is B,
then H is Z'. what we are actually saying is that 'At any time in which A is
B, whenever A is B, H is Z'. As if 'H is Z' follows 'A is B' itself with no
reference to any of the conditions, which we will mention later on 1, that
10 are required when the words 'Always: when' are used. The word 'when'
does not seem to indicate this peculiar meaning, for it says that 'H is Z'
will follow from 'A is B' even if this is true at one time only.
For some propositions may belong to different types and can still imply
each other. They can be equal in respect of what they signify (daliila)
though different in the way their subject-matters are treated Wtibiir}. To
treat 'animality' as something which belongs to 'man' is one thing and to
say that the judgment 'He is an animal' is true whenever the judgment
'He is a man' is true is another. For these two are not the same. The latter
has a more general meaning than the first. For many things can be truth-
fully stated in the latter way though they cannot be stated in a predicative
proposition. One can find many examples in which the consequent is
15 true with the antecedent though it is not predicated of it. Further, one
can say that the following statement, which everyone concedes to be a
connective, namely 'If this is a man, then he is an animal', is equal to a
predicative proposition. Why is the proposition ('Always: when this is
a man, then he is an animal') considered to be equal to a predicative
proposition and not the proposition ('If this is a man, then he is an
animal'), knowing that if we turn the last two statements into predicative
propositions nothing will be omitted from the latter, while in the former
the quantifier will be omitted?
[Is 'Always: when every donkey talks, then every man brays' true in either
one of the senses of following?]
Someone may ask whether one can assert the following of the false
consequent (in a universal connective proposition), in which case it will
10 be true to say 'Always: when every donkey talks, then every man brays',
on the basis that if we assume that the false antecedent is true the false
consequent will be true with it. Some people thought that this following
is valid. We say: This is not so. For the consequent is neither necessary
in itself nor is it necessary for the person who admits the antecedent. For
this following can either be by implication, in which case the false antece-
15 dent implies the false consequent, or by chance. We say: But the above
following is not an implication for the consequent is not [formally]
'AL-QIYAS' BOOK V 65
[267] implied by the antecedent, whether the latter is considered true or false.
Because from 'man talks' we can neither [formally] imply that the donkey
brays nor that it does not bray. In fact ('The donkey brays') is in itself true.
It [i.e. the following] is also not by chance, namely it is not the kind where
this [i.e. the antecedent] is assumed to be true, and that [i.e. the consequent]
is found to be true with it. For (the consequent) is not true at all and,
5 therefore, it is not a case of true statements being connected by chance. 5
If the consequent is neither true with the antecedent nor is it implied by it,
then it does not follow it in any sense at all. Of course if the thesis 'Every
man talks' implies 'Every donkey brays', then the thesis 'Not every donkey
brays' will imply the statement 'Not every man talks'. But 'Every man
talks' does not imply 'Every donkey brays', for the first statement is true
in itself and it is connected (by chance) with the second. Therefore, the
false statement 'Not every donkey brays', does not imply the false state-
10 ment 'Not every man talks'. In such cases we must judge the consequent
in itself, and not as something which is implied, and therefore affected,
by another thing.
would make the other true statement [i.e. the consequent] false. If the
procedure were not as we described, the result would be that any statement
you deny will imply that any other true statement must be denied, as if
there is no difference between what is implied by a certain thing and what
has no relation with it at all.
10 But you must not be confused when you find that some people affirm
(awjabu) the contradictory of the antededent whenever they except
(istathnu) 6 the contradictory of the consequent. You should know that
when you except you do not just make an assumption. An exception is
rather an evidence to the existence and occurence (of something). And
this can mean one of two things: (a) That the thing [excepted] is in itself
true; which means that the contradictory of the consequent (which is in
the above case excepted), can never be false, or (b) that it is true because
the disputant acknowledges its truth, namely that he does not consider
it impossible. In this case, what is derived is the same as what is implied
15 by what we conceded to be false. Which is to say that what we derive is
not true in itself. Also, the conclusion does not follow not because it is
just a converse of some sort, but because it is admitted that the antecedent
as such corresponds with reality. If our assertion is taken in the sense (a),
then nothing will follow from asserting the contradictory of the conse-
quent unless the following condition is satisfied: that there is a protasis
and that something is implied (by it).
Let us go back to the main point. Does the conclusion follow necessarily
because someone admitted the contradictory of the consequent, in which
case the form of the derivation will be: If someone admits the contra-
[270] dictory of the consequent, then he must also admit the contradictory of
the antecedent? We say: This is inconceivable because the person who
admits the contradictory of the consequent does not derive the contra-
dictory of the antecedent unless he accepts the conditional proposition
and its protasis. But he cannot accept the conditional proposition and
at the same time posits the contradictory of the consequent, for the con-
ditional proposition which is accepted is not an implication; it only says
that the second thing [i.e. the consequent] is true with the first [i.e. the
antecedent] and that the consequent exists in itself, or assumed to exist,
5 without being implied by the antecedent. Therefore, we cannot say that
the acceptance of the contradictory of the consequent leads to a contra-
diction, since he did not say that 'The donkey does not bray' after he said
68 THE PROPOSITIONAL LOGIC OF AVICENNA
that 'The donkey always brays'. If he did assume and accept that, then
he will accept that 'Every man talks' and that 'Every donkey does not bray'.
cedent and whatever states (we may add to the antecedent). I mean those
states which can either be discourses derived necessarily from an assumed
antecedent; or assumed discourses which are said of an antecedent and
which follow it and can be with it. Either because they are predicates
which can be predicated of the subject of the antecedent, if the antecedent
is a predicative proposition; or, if the antecedent is not a predicative
proposition, because they are linked to the antecedent as new premisses
in which case these premisses must be consistent with the antecedent
[273] and should not contradict it even if it is in itself an impossible; or be-
cause they are conceded as statements which turn the impossible ante-
cedent into a necessary or a possible statement. In all these cases the
antecedent may not only be true but it may also be a false statement
which is posited as an assumption. For even when it is (false and posited
as an assumption) there will be statements that can be derived necessarily
from it and others that can be accidentally connected with it. There will
also be statements that can be derived necessarily from it and others
5 which can be accidentally connected with it, if it is assumed to corre-
spond with reality. Also, there will be certain statements that can be
conceded with it by a dialectician if the conditional proposition is intro-
duced in a dialectical dispute.
does not make it false. The statement 'Always: when this is a pair which
is not divided into two equal integers, then it is odd' is true in spite of
the fact that its antecedent is impossible. Therefore, there are cases in
which the consequent does not follow the antecedent because the ante-
cedent is accompanied by some other statements which make this an-
[274] tecedent impossible, not impossible to assume but impossible when
corresponded with reality. For example, it is not true that 'Always: when
this is assumed to be a pair, then it is, by implication, even'. This is true
only if nothing that contradicts this (implication) is assumed with the
antecedent. If such a thing is assumed, then the above (implication) will
be contradicted, though 9 this is impossible in existence. For the fact that
something does not possibly correspond with reality, will not prevent us
5 from assuming it. Thus, it is not the case that every time we assume that
something is a pair it must follow that it is even. For there are certain
assumptions which prevent this following. If, for example, the antecedent
'Always: when a pair is a number' is a statement which can possibly
correspond with reality, then we will not be allowed to introduce im-
possible antecedents, for in this case it is essential for the conditional
proposition not to have impossible antecedents. But an antecedent is
introduced as an assumption and not as something which should corre-
spond with reality. We say: We must remember that all this is true if the
10 conditional proposition is an implication. But it will not be true if the
conditional proposition has true parts (which are connected by chance).
Therefore, the above argument against the possibility of constructing a
universal conditional proposition would apply only if the [conditional]
proposition is an implication; but not if it has true parts (which are con-
nected by chance).
Someone may conclude that we will never find an affirmative universal
proposition which expresses an implication. We say: We do. And that is
when we add to the antecedent the condition that we are not allowed to
add to the antecedent any statement which will make it imply a conse-
quent that is not implied by the antecedent itself - as when you say
15 'Always: when this is a pair, in the sense a pair should be, then it is even'
[275] or 'Always: when this is a void, namely assuming that void exists the
kind of existence which we assume; or that void necessarily exists the
kind of existence which we assume; or that it possibly exists the kind of
existence which we assume, and there is no condition added to it which
72 THE PROPOSITIONAL LOGIC OF A VICENNA
10 In another sense it can neither be reduced to the first kind nor does it
resemble it, for when we say 'this is a man', and we assume that he exists,
this statement may imply at one time that he writes; but it may not imply
it at another. And this is not the case in the first kind; for we cannot say
'If it is an animal, then sometimes it is a man and sometimes it is not'.
The second kind can either express chance connection or necessary con-
nection. Since it is a particular proposition, there will be no harm if we
consider it true in case it expresses chance connection or implication.
Exactly as we say that a particular proposition is true whether it is taken
15 to be a necessary or an absolute statement 11 (murlaqa); though implica-
tive necessity is not the same as the modal necessity indicated in the con-
nective proposition which you know.
NOTES
[280] cation is something added to the consequent. The same rule which ap-
plies to the particular affirmative [in connective propositions] applies
also to the particular negative [in the same kind of propositions]. The
example for the particular negative is 'Sometimes not: if A is B, then C
is D' or 'Sometimes not 1 : if every A is B then every C is D'.
Let us see if this kind of negation can be absolutely true, namely that
the consequent will never follow from the antecedent whatever particular
states we may assume with the latter. One is inclined to think that this
5 is not so. For we can add certain conditions (to the antecedent) which
will enable the consequent, whose following is denied, to follow from the
antecedent - as when 'man' is said to be 'a creature-that-moves' so that
it will be followed by 'void does not exist'. But the truth is that (a) the
condition which is brought forward (to enable the antecedent to) imply
the consequent might turn out to be an assertion that the consequent
can never be implied by the antecedent and would keep the consequent
as it is; or that (b) the condition we assumed would let the consequent
be implied by the antecedent. If it is (the second case), where we except
[i.e. assert] the conditions which will let the consequent be implied by the
antecedent, then the negation of implication will be universal if it is as-
serted that all such conditions are to be excluded, and the assertion that
10 all such conditions are excluded is added to the universal [negation of
the] connective proposition. If it is the first case, then the negative prop-
osition is true; otherwise it is not true. For example, let the antecedent
be 'C is D' and the consequent be 'H is Z'. Let be one condition or more
than one condition which will make the antecedent imply the consequent.
Let us assume that we have only one condition of this kind, and let this
be 'E is T'. Thus, if 'C is D' and 'E is not T', then we cannot imply 'H is
15 Z'. Therefore, the proposition 'Always: when C is D and E is not T, then
we cannot imply H is Z' is true. If we say 'Not: if C is D and E is not
T2, then it is necessary that H is Z', the proposition will be true as a
[282] negation of implication. If this is not so, i.e. that (H is Z) is implied though
E is not T, and that nothing hinders the consequent from being implied
by whatever condition there is, then the proposition which expresses the
negation of implication is false. As we said before, these conditions,
namely those which make the antecedent imply the consequent, perform
their task when they are, or [if it is one condition], when it is, assumed
together with the antecedent. Since there are cases where a limited num-
ber of conditions can make an antecedent imply a certain consequent, it
5 will be possible for us to exclude them all. Therefore, it is possible to
formulate' a universal proposition in which the implication is negated.
In these negative propositions the implication is part of the consequent.
Thus when you say 'Never: if so is so, then so is so', you mean 'Never:
'AL-QIYAS' BOOK V 79
when so is so, then we imply that so is so'. You can treat the affirmative
proposition in the same way.
If this (separative) proposition is true when both its parts are true, then,
contrary to the case in affirmative propositions, its contradictory is not
necessarily true.
We can, however, give a possible assumption. For example, one can as-
sume that at one time, every thing which is a fire moves accidentally in
one direction. In such a case you would be allowed to say 'Either every
fire moves upwards or downwards or to a place in between these two'.
But this will not always be true. It will be true in respect of the assump-
tion which is possible in itself. For though it is possible that movement
15 belongs to every fire, when fire reaches its natural place it will not move.
Therefore, 'Sometimes: every fire is either so or so'. This means that there
is only one case in which this statement is true. If you put instead of
'fire' 'a sparkle' or 'a cod of earth', the statement will no longer be uni-
versal.
NOTES
[Its moods]
The first mood: This mood is compounded of two universal affirma-
tive premisses
always: when A is B, then C is D,
and always: when C is D, then H is Z, (1) AA/A
therefore always: when A is B, then H is Z.
5 therefore never always: when man talks, then a pair is even. If instead of
'a pair is even' we say 'man is an animal', then the following true conclu-
sion will follow: 'Always: when man talks, then man is an animal'. If
instead of 'man is an animal', you say 'man is plant', it will be true that
'Never: when man talks, then man is plant'. If the affirmative premiss is
10 an implication, then the combination will be productive whether it is
combined with a statement which is a negation of an implication or a
negation of chance connetion; and the conclusion will be an affirmative
proposition. The condition for its production is the same as that of the
second figure in predicative syllogisms. As we said when we discussed
predicative syllogisms, in order to be productive, the negative premiss
must be one of the two convertible necessary propositions. We can prove
it either by conversion or by reductio ad absurdum, or by introducing an
assumption. 6 The following mood will be an example that clarifies what
we said of this figure.
96 THE PROPOSITIONAL LOGIC OF AVICENNA
[Its moods]
The first mood: This mood is compounded of two universal premisses
15 of which the major premiss is negative - as we say
always: when A is B, then C is D,
and never: when His Z, then C is D, (1) AEjE
therefore never: when A is B, then H is Z.
This mood can be proved by converting the major premiss, and thus
reducing is to the second (mood) of the first (figure). It can also be proved
by reductio ab absurdum [as follows]: If the above conclusion is false, then
[301] its contradictory, namely, 'Sometimes: when A is B, then H is Z' will be
true. If you add to it 'Never: when H is Z, then C is D', the conclusion
will be 'Not always: when A is B, then C is D'.
The second mood: This mood is compounded of two universal premis-
ses of which the minor premiss is negative
[Its moods]
10 The first mood: This mood is compounded of two universal affirmative
propositions
We prove this mood by converting the minor premiss and thus reduce it
to the first figure. Or we can prove it in the following way: Let (the con-
clusion) be 'Never: if His Z, then A is B'. If we add to it 'Always: when
C is D, then A is B', both will yield the following conclusion: 'Never:
if H is Z, then A is B'. This is a contradiction.
15 The second mood: This mood is compounded of two universal pre-
misses with a negative major premiss
[303] We can prove it by converting the minor premiss. We can also prove it
by reductio ad absurdum by adding the contradictory of the conclusion
to the major premiss, from which you produce the contradictory of the
minor premiss.
The third mood: This mood is compounded of two affirmative premis-
ses with a particular minor premiss
NOTES
1 Like opo~ the original meaning of fwdd is 'limit'. It is defined in ArIstotle's Pro An. I, 24b 11
as that into which the premiss is resolved. The context there is the treatment of categorical
(Avicenna's predicative) syllogisms. opo<; and badd in that context mean simply a 'term'.
Avicenna here is clearly using it to refer to a proposition, for that is what a conditional
premiss is resolved into. To avoid confusion, we translate it here as 'part' (juz'), a word which
he used before in the same sense indicated (al-Qiyas, 232 and 255). As to mushtarak, it seems
to be a translation of u>tqJo't£po<; which is used in the same sense in Galen's I nstitutio
Logica. VII. 6.
100 THE PROPOSITIONAL LOGIC OF AVICENNA
[and the middle part is the consequent of the minor and the antecedent of
the major]
The combinations in which the minor premiss is a connective proposi-
tion, the major is a real separative and the sharing (al-sharika) occurs in
the consequent of the connective proposition:
(a) The moods which are compounded of two affirmative premisses. For
example, when the premisses are universal
always: when H is Z, viz. without making any further condi-
tions, then C is D,
(a) AAjA
and always: either C is D or A is B,
10 therefore always: when H is Z, then A is not B.
It can be proved by reducing the separative proposition to 'Always: when
C is D, then A is not B'.
[(b) lAjI]
(b) The mood constructed of two affirmative premisses, of which the
minor premiss is particular, will give the same conclusion as the former
except that the conclusion in this case is a particular proposition.
[(c) Alj-]
(c) There will be no production if the separative premiss is a particular
proposition. The examples in words for the last construction are 2:
102 THE PROPOSITIONAL LOGIC OF AVICENNA
(2) (The same example with the consequent of the major premiss
changed into) 'or a mUltiplicity which is not divisible into two equal
integers'. Sometimes we get a universal affirmative conclusion and
sometimes a universal negative.
[(g) No production jr"Dl'n two negative or two particular premisses]
(g) The sterillity of the moods constructed of particular premisses is
more obvious. There is no production from two negative or particular
premisses.
[W hen the minor is connective and the major is unreal separative; and the
middle part is the consequent of the first and the antecedent of the second]
[307] The combinations in which the minor premisses are connective propo-
sitions, the major are unreal separative propositions, and the sharing
occurs in the consequent of the connective proposition: First let the
separative premisses contain a negative and an affirmative part, and let
the sharing occur in the affirmative part. No attention is to be paid to that
part of the connective premiss in which no sharing takes place, since it
does not affect what we produce at all.
5 (a) The moods when the combinations consist of two affirmative
propositions. Let them be universal.
Always: when H is Z, without any further conditions,
then C is D, (a) AAj-
and always: either C is D or A is not B.
[Sterile moods]
(b) From this it is clear what will happen when the connective is
particular.
10 (c) When the separative is particular, it will also be unproductive.
For example
or
[308] Or, therefore, 'Never: either H is not Z or A is B'. The above syllogism
can be reduced to a syllogism which is compounded of connective propo-
sitions in the following way:
From the above syllogism we can infer 'Never: when H is Z, then A is B'
and 'Not: either H is Z or A is not B'.
'AL-QIYAS' BOOK VI 105
[(a) When the premisses are affirmative and one of them is universal it will
be sterile ;]
(a) The moods when the combination is of two affirmative premisses.
Always: when H is Z, then C is not D,
and either C is not D or A is B.
This is unproductive. The following is an example in words which repre-
sents this mood:
106 THE PROPOSITIONAL LOGIC OF A VICENNA
or
[When the separative is real and the middle part is the antecedent of both
premisses]
Let us now examine the moods which are similar to the above except
.that the sharing occurs in the antecedent of the connective premiss. Let
us start with those in which the separative is real.
10 (a) The moods when the two premisses are universal affirmative propo-
sitions.
°
connective premiss in the above syllogism. It will produce 'Never: when
C is not 0, then A is not B'; from which we infer 'Never: either Cis or
A is not B'.
°
Another conclusion we infer 'Always: when C is 0, then A is B', and
'Never: either Cis or A is B'. We prove it by converting the connective
premiss into a universal proposition, in which case it will be reduced to
one in which the sharing is in the consequent.
(d) When the connective proposition is particular, we prove the mood
by turning the connective proposition into an affirmative proposition,
and then we convert it.
This mood is unproductive. For when you say 'Always: when this is even,
then it is divided into two equal integers' and 'Never: it is either even or a
number' it would be correct to say 'Always: when this is divisible into two
5 equal integers, then it is a number'. But if you put 'void' instead of ,number'
the negative conclusion would be the correct one. The same happens if
the premiss is a particular proposition.
[When the separative is unreal and the middle part in the same position
and it is affirmative]
The same combinations when the separative is unreal. Let the sharing
be in the affirmative part.
(a) The moods when the premisses are affirmative.
[When the connective is the major premiss and the middle part is the
antecedent oj both]
5 Let us now concentrate on examining the same combinations when the
connective is the major premiss. Let us start with those in which the
sharing occurs in the antecedent [of the connective], and the separative
premiss is real.
(a) The moods when the premisses are affirmative.
'AL-QIYAS' BOOK VI III
Never: either H is Z or C is D,
(d) EAj-
and always: when C is D, then A is B.
[When the separative is unreal and the middle is in the same position]
The same combinations when the separative premiss is unreal and the
sharing is in the affirmative part:
(a) The moods when the two premisses are affirmative propositions.
[When the middle is negative and it is the consequent of the first and the
antecedent of the second]
The same combination when the sharing occurs in the negative
part:
(a) The moods when the premisses are affirmative propositions.
Always: either H is Z or C is not D,
and always: when C is not D, then A is B, (a) AAjA
therefore always: when H is not Z, then A is B.
10 Another conclusion we infer 'Never: either H is not Z or A is B'. For the
separative becomes 'Always: when H is not Z, then C is not D'.
or
sometimes: when this is not even, then it is odd
The separative becomes 'Always: when H is not Z, then C is not D' and
'Never: when H is not Z, then A is B' will be the conclusion; or we can
infer 'Not: either H is not Z or A is B'.
[When the separative is real and the middle is the consequent of both premis-
ses]
The combinations when the connective is the major premiss and the
10 sharing is in the consequent of the connective premiss. Let us start with
those in which the separative premiss is real.
(a) The moods when the premisses are affirmative propositions:
And
(2) 'Always: when it is moving, it is a substance'.
116 THE PROPOSITIONAL LOGIC OF AVICENNA
[When the separative is unreal and the middle is the consequent of both
premisses and it is affirmative]
The same combinations when the separative premiss is unreal and the
sharing occurs in the affirmative part:
(a) The moods when the two premisses are affirmative propositions.
15 Always: either H is not Z or C is D,
and always: when A is B, then C is D. (a) AAjE
For the separative becomes 'Always: wh~n H is Z, then C is not D', after
which we infer 'Never: when H is Z, then C is D'. The rest are to be
treated in the same way as you know.
[318] (b) The moods when the separative premiss is negative.
Never: either H is not Z or Cis D,
and always: when C is D, then A is B. (b) EAj-
This is unproductive. The examples in words are the same as the ex-
amples given in the corresponding mood except that you should put in
the separative premiss 'it is not at rest' instead of 'moving'.
'AL-QIYAS' BOOK VI 117
NOTES
1 The editor of the text added wa after that which is not needed.
2 Reading lidhiilik with the majority of MSS.
3 Reading with F aw.
4 Reading Iii yakunu with G.
5 The edited text reads jim hiP without giving any further readings. The B.M. MS. reads
jim diil.
6 The edited text. which does not give any further readings, readsjim hii'. The B.M. MS reads
jim diil.
7 By that he means to say that you would get different conclusions in different examples.
8 Reading idhii for ~ukman.
9 Reading with D alif bii'.
10 The B.M. MS. reads ?iihir. The edited text, which does not give any further readings,
reads ?iihira.
11 Reading with C, D, F, G, I and J falaysa hii' ziiy.
[319] CHAPTER THREE
[Syllogisms from two separative premisses and the conditions for their pro-
duction]
We say: There is never a syllogism from two real separative premisses.
5 For the statement 'It is exclusively either A is B or C is D' is true only
if it has no third part. What is meant by saying 'It is exclusively either
A is B or C is D' is the following: 'A is B, and if not, then it is necessary
that C is D'. If it is not the case that 'C is D', then the statement will be
false. Except, as we said before 1, when you tum it into a particular prop-
10 osition; for in this case it should not take a third part. We shall prove
that there is no syllogism from two affirmative premisses one of which
is a particular premiss.
If the premiss 'Either A is B or C is D' is true in one case only, namely,
when it does not take a third part, then if we add to it a new premiss,
say 'Either C is D or H is Z' in which one part of the first premiss is
repeated - the middle part, then 'H is Z' must be 'A is B'. Therefore, the two
propositions are one and the conclusion is incorrect. For the conclusion
15 will be 'Either A is B or H is Z', namely 'Either A is B or A is B'; if 'H is Z'
[320] is not the same as 'A is B', then there must be a third part, which means
that both separative propositions are false. If the premisses were affir-
mative propositions which express incomplete conflict, then it will be
possible to combine them in a syllogism though it will not give any in-
formation. It is also possible to combine separative propositions in a
syllogism if the premisses are other than those mentioned before.
[IIj-]
Let us first see if we can make a combination of two affirmative prem-
isses one of which is a particular premiss, and both have two affirmative
5 parts - as when we say 'Sometimes: either Cis D or His Z' and 'Either
C is D or H is Z or A is B'. The last premiss is made of three parts in
order that the particular be actually a particular and not a universal.
We say: It is more likely that this is not a syllogism, for the minor premiss
'AL-QIYAS' BOOK VI 119
[The mood where both premisses are affirmative one of which has a neg-
ative part]
The mood compounded of two affirmative premisses one of which
has a negative part:
5 Always: either H is Z or C is D,
and either: C is D or A is not B.
[When both premisses are unreal separative and the middle part is affirma-
tive, the conclusion is not affirmative]
The combinations in which the two premisses are unreal separative
propositions that share the affirmative part do not produce an affirma-
tive separative conclusion at all. Take the following examples:
from which follows that 'Not always: either two is not even or it is not
odd'.
And then we say
5 from which follows that 'Not: either two is even or it is not divisible into
two equal integers'.
Either H is not Z or C is D,
and either C is D or A is not B,
from which follows that 'IfC is not D, then H is not Z'; also, 'IfC is not D,
then A is not B'. Thus, 'Sometimes: if H is not Z, then C is not D'. From
10 the last proposition it follows that 'Not always: when H is not Z, then
C is not D'. Therefore, 'Not: either H is Z or C is D'. This is a negative
conclusion whose quality is different from that of the premisses. The
same can be said if one of the premisses is negative.
122 THE PROPOSITIONAL LOGIC OF AVICENNA
[No production when both premisses are particular or when one of them
has two negative parts. If between them they have three negative parts they
produce when the middle is negative]
If the premisses are particular propositions, it will be more evident that
they are unproductive.
'AL-QIY AS' BOOK VI 123
[Other combinations]
The combinations of two separative premisses which have negative
15 parts follow the same rules as those combinations which have separative
premisses sharing the negative part.
NOTES
1 See 288.
2 245,9-17 and 246,1-5.
[325] CHAPTER FOUR
[(i) the predicative is the major premiss and the middle term occurs in the
consequent of the conditional and the predicative]
Let us start first with those syllogisms in which the predicative prop-
osition is the major premiss and in which part of the predicative premiss
is shared with [part on the consequent (of the conditional premiss). The
part which the consequent (of the conditional premiss) and the predica-
tive premiss share will necessarily take anyone of the forms of the three
figures. We are determined to enumerate the productive moods with the
help of the knowledge we acquired from our previous investigations. We
shall not lengthen the book by mentioning the unproductive moods,
10 since we have already found the terms (from which examples of such
moods can be constructed).
and nothing of D is A,
15 therefore always: when H is Z, then not every Cis A.
osition, in which case its consequent will become affirmative. Then, de-
tach the implicant of the result.
The fifth mood:
Never: when A is B, then not every C is D,
5 and not every C is H, OOjA
therefore never: when A is B, then every D is H.
Every C is B,
and always: when H is Z, then every B is A, AAjA
15 therefore always: when H is Z, then every C is A.
Some C is B,
and always: when H is Z, then every B is A, IAjl
therefore always: when H is Z, then some C is A.
Some C is B,
and never: when H is Z, then not every B is A, 10/0
therefore never: when H is Z, then not every C is A.
We prove it in the same previous way.
The fourth mood:
Some C is B,
and never: if H is Z, then some B 8 is A, II/I
15 therefore never: if H is Z, then some C is A.
Every C is B,
and always: when H is Z, then not every A is B, AOIO
Every C is B,
and never: when H is Z, then some A is B, AliI
therefore never: when H is Z, then some C is A.
Nothing of C is B,
and never: when H is Z, then not every A is B. EOII
Some Cis B,
and never: when H is Z, then some A is B, lIlA
therefore never: when H is Z, then every Cis A.
The fourth mood:
Not every C is B,
and never: when H is Z, then not every A is B. OO/A
The conclusion will be like that of the third mood.
All these moods are proved by converting the negative [connective]
premiss into an affirmative proposition and then detach the implicant
of the result.
The conclusion will be like that of the third mood. We prove this mood
by converting the consequent (of the conditional premiss).
The fifth mood:
Every C is B,
and always: when H is Z, then not every C is A, AOIO
therefore always: when H is Z, then not every B is A.
The conclusion will be like that of the fifth mood. We prove this mood by
converting the predicative premiss.
Every C is B,
and never: when H is Z, then not every C is A, AO/E
therefore never: when H is Z, then nothing of B is A.
The second mood:
Every C is B,
and never: when H is Z, then some C is A, AliA
therefore never: when H is Z, then every B is A.
The third mood:
'AL-QIYAS' BOOK VI 137
Every C is B,
and never: when H is Z, then nothing of C is A, AE/E
15 therefore never: when H is Z, then nothing of B is A.
[336] The fourth mood:
Some C is B,
and never: when H is Z, then not every C is A, 10/E
therefore never: when H is Z, then nothing of B is A.
NOTES
readings.
6 Reading with G falakullu instead of fakullu.
7 The B.M. MS. reads ai-tail. The edited text reads al-thanl without giving any further
readings.
8 Reading biP for jim.
9 The B.M. MS. reads ba). The edited text reads dal.
[337] CHAPTER FIVE
[(iii) When the middle term occurs in the antecedent of the conditional and
the predicative]
5 Let us start with the syllogisms in which the predicative proposition
is the minor premiss.
[The first figure]
[First] the combinations which have the form of the first figure. The
condition for production is to have a true or not impossible antecedent.
What is peculiar to this figure is this: If the predicative premiss is a
universal affirmative proposition, the conclusion will be a particular
proposition whose antecedent is a universal statement. The conclusion
will be universal if the antecedent is particular. If the predicative premiss
and the antecedent (of the conditional premiss) are particular, the an-
tecedent of the conclusion will be universal. When the predicative premiss
10 is negative and the antecedent (of the conditional premiss) is particular,
(the syllogism) will be valid if the antecedent of the conclusion is uni-
versal affirmative. There will be no production if the conditional premiss
and its antecedent are particular propositions.
[When the connective is universal affirmative]
The first mood: The condition for its production is that the antecedent
must not be impossible.
Every C is B,
and always: when every B is A, then H is Z, AAjA
therefore sometimes: when every C is A, then H is Z.
If this were not the conclusion then it would be 'Never: when every Cis
'AL-QIYAS' BOOK VI 139
Every C is B,
and always: when nothing ofB is A, then H is Z, AE/E
therefore sometimes: when nothing of C is A, then H is Z.
If this were not the conclusion, then it would be 'Never: when nothing
5 of C is A, then H is Z'; add to it 'Always: when nothing of B is A, then
His Z'; therefore 'Not always: when nothing of B is A, then nothing of
C is A'. But 'Every C is B'. This is a contradiction.
The third mood:
Every Cis B,
and always: when some B is A, then H is Z, AliI or A
therefore always: when every, or some, C is A,
then H is Z,
since C is some of B, therefore, 'If C is A, then some B is A'.
10 The fourth mood:
Every Cis B,
and always: when not every B is A, then H is Z, AOIO or E
therefore always 1 : when not every C is A, or
nothing of C is A, then H is Z.
Since C is some of B.
[When the connective is universal negative]
The fifth mood:
Every C is B,
and never: when every B is A, then H is Z, AAIA
therefore sometimes not: when every C is A, then H is Z.
If this were not the conclusion, then it would be 'Always: when C is A,
then H is Z', add to it 'Never: when every B is A, then H is Z'. We pro-
15 duce 'Never: when every B is A, then every C is A'. This is a contradic-
tion. We also prove it by turning the negative connective premiss into
140 THE PROPOSITIONAL LOGIC OF AVICENNA
Every C is B,
and not always: when every B is A, then H is Z, AA/A
therefore not always: when every C is A, then H is Z.
We prove it by reductio ad absurdum and by turning (the negative premiss)
into an affirmative proposition.
The twelfth mood:
Every C is B,
and not always: when nothing of B is A, then H is Z, AE/E
15 therefore not always: when nothing of C is A, then H is Z.
We prove it by reductio ad absurdum and by turning (the negative premiss)
into an affirmative proposition.
[When the connective is universal affirmative]
[340] The thirteenth mood:
Some C is B,
and always: when some B is A, then H is Z, II/A
therefore always: when [every] C is A, then H is Z.
F or if every C is A and it is true that some C is B, then some B is A.
The fourteenth mood:
Some C is B,
and always: when not every B is A, then H is Z, 10/E
therefore always: when nothing of C is A, [then H is Z.]
For if [some] C is B and nothing of C is A, then not every B is A.
[When the connective is universal negative]
5 The fifteenth mood:
Some C is B,
and never: when some B is A, then H is Z, II/A
therefore never: when every C is A, then H is Z.
We prove it in the same way we proved the previous mood.
The sixteenth mood:
Some C is B,
and never: when not every B is A, then H is Z, AO/E
therefore never: when nothing of C is A, then H is Z.
142 THE PROPOSITIONAL LOGIC OF AVICENNA
Nothing of Cis B,
and never: when every A is B, then H is Z,
EA/E
therefore sometimes not: when nothing of C is A,
then H is Z.
5 We prove it in the way described before.
Every C is B,
and always: when some A is B, then H is Z,
AliA or I
therefore always: when every C is A, or some
C is A, then H is Z.
Since some A is B.
[The connective is universal affirmative]
The sixth mood:
Nothing of Cis B,
and always: when every A is B2, or some A is B 3 ,
then H is Z. EA/E
[therefore always: when nothing ofC is A, or some
El/O
C is not A, then H is Z]
144 THE PROPOSITIONAL LOGIC OF AVICENNA
Since some A is B.
10 The seventh mood:
Nothing of Cis B,
and always: when not every A is B, then H is Z,
EO/AorI
therefore always: when every C is A, or some
C is A, then H is Z.
Some C is B,
and always: when nothing of A is B, then H is Z,
IE/O
therefore sometimes: if not every C is A 4, then
His Z.
The ninth mood:
Some C is B,
15 and never: when nothing of A is B, then H is Z,
IE/O
therefore not always: when not every C is A,
then H is Z.
We prove it by reductio ad absurdum and other means. s
Not every C is B,
and always: when [every] A is B, then H is Z,
OA/O
therefore sometimes: when not every C is A,
then H is Z.
If this were not the conclusion, then it would be 'Never: [when every Cis
A, then H is Z]'. But we said that 'Always: when every A is B, then H is Z'.
Therefore, 'Never: when every A is B, then every C is not A'. But both are
true; therefore, the negation (of the conclusion) is false.
Not every e is B,
and never: when every A is B, then H is Z,
OA/O
therefore not always: when not every e is A,
then H is Z.
For if every A is B, then not every e is A and not H is Z. We can prove it
by turning the negative premiss into an affirmative proposition.
Some e is B,
and always: when some A is B, then H is Z, lilA
therefore always: when every e is A, then H is Z.
Since some A is B.
[When the connective is universal negative]
10 The thirteenth mood:
Not every e is H,
and never: when not every A is B, then H is Z, OO/A
therefore never: when every e is A, then H is Z.
Since not every A is B.
When the connective premiss is particular negative or universal negative.
Let us prove one of its moods:
Every e is B,
and not always: when nothing of A is B, AE/E
then H is Z,
therefore not always: when nothing of e is A,
then H is Z.
If this were not the conclusion, then it would be 'Always: [when nothing
ofe is A, then H is Z'.] When we add to it the premiss 'Not always: When
15 nothing of A is B, then H is Z', it will produce 'Not always: when nothing
of A is B, then nothing of e is A'. But 'every e is B'; therefore, 'Always:
when nothing of A is B, then nothing of e is A'.
[344] Let us prove another mood:
146 THE PROPOSITIONAL LOGIC OF AVICENNA
Everye is B,
and sometimes: when nothing of A is B,
then H is Z, AE/E
therefore sometimes: when nothing of e is A,
then H is Z.
Since every C is A.
15 The sixth mood:
Every Cis B,
and never: when nothing of C is A, then H is Z,
AE/E
therefore never: when nothing of B is A,
then H is Z.
Since nothing of C is A.
The seventh mood:
Every C is B,
and never: when some C is A, then H is Z, AliA
therefore never: when every B is A, then H is Z.
Since some C is A.
[345] The eighth mood:
Every C is B,
and never: when not every C is A, then H is Z, AO/E
therefore never: when nothing of B is A,
then H is Z.
Since not every C is A.
[The connective is particular affirmative]
The ninth mood:
Every C is B,
and sometimes: when every C is A, then H is z, AAIA
therefore sometimes: when every C is A, then H is Z.
Since every C is A.
5 The tenth, elevent, twelfth, thirteenth, fourteenth, fifteenth and six-
teenth moods have particular connective premisses. They all produce
particular conclusions with universal antecedents. You should know them
by yourself.
148 THE PROPOSITIONAL LOGIC OF A VICENN A
Since some C is A.
10 The eighteenth mood:
Some C is B,
and always: when not every C is A, then H is Z,
10/E
therefore always: when nothing of B is A,
then H is Z.
Since nothing of e is B.
10 The third mood:
the second figure. These are unproductive except if the predicative premiss
is universal and the antecedent has the same quality as the predicative
premiss.
Since every C is B.
The second mood:
Always: when nothing of C is B, then H is Z,
and nothing of A is B, EEj A
therefore always: when every C is A, then H is Z,
Since nothing of C is B.
The third mood:
Always: when some C is B, then H is Z,
IA/A
and every A is B.
The conclusion will be like in the first mood.
The fourth mood:
Always: when not every C is B, then H is Z,
OEjA
and nothing of A is B.
10 The conclusion will be like in the second mood.
There are other five moods in which the connective is negative, and
other eight moods when the connective is particular negative or partic-
ular affirmative.
Since nothing of C is B.
[348] The second mood:
Al wa ys: when nothing of C is B, then H is Z,
and nothing of C is A, EE/A
therefore always: when every B is A, then H is Z.
Since nothing of C is B.
The third mood:
Always: when not every Cis B, then H is Z,
and every C is A, OA/E
therefore always: when nothing of B is A, then H is Z.
NOTES
Always: either C is B or D is B,
and every C and every D is H,
therefore some B is H.
Since either one of C or D is some B.
The syllogisms will be unproductive when the separative premiss is
negative. For example,
never: either man is an animal or horse is an animal,
and every man and every horse is a body.
Again,
Every C is B,
and always: every B is either H or Z,
therefore every C is either H or Z.
[The connective is the minor and the separative is the major premiss]
10 (The divided syllogism) can have a minor connective and a major
separative which share with each other either the predicate of the conse-
quent 8 and the subject of the separative premiss or the predicate of both.
and nothing of A is Z 9 or D,
therefore always 10: When C is B, then H is not A.
(2) Always: when C is B, then H is not Z or D,
and every A is Z or D,
therefore always: when C is B, then H is not A.
NOTES
1 In the absence of short vowels it is difficult to tell whether the syllogism described in the
following pages is to be called the divided al-muqassam or the dividing al-muqassim syllogism.
However, we preferred the first since A, F and H read al-munqasim.
2 See 561-67.
3 Omitting thumma yakiinu al-juz'i in kiina fl'l-iikhar mushiirikan iyyiih.
4 Reading with F wa immii an yakiin.
5 Reading diil alif for diil bii).
6 Reading jim hii) for jim alif.
7 Reading diil instead of ziiy.
B Reading with D al-tii/i.
9 Reading ziiy with E, G and 1.
10 Readingfakullamii with the majority of MSS.
11 Reading waqa'a with J for wa waqa'a.
12 The B.M. MS. reads ya'udduhu. The edited text reads ba'dahu without giving any further
readings.
BOOK VII
[361] CHAPTER ONE
C is D' would be true. This would mean that the negative consequent
cannot be implied by all the theses which are posited as antecedents.
Therefore, there is at least one posited thesis which does not imply the
above consequent, in which case the contradictory of the consequent is
5 true with the above antecedent. Therefore, "Every A is B' and "Every C
is D'. But we said that "Never: when every A is B, then every C is D'. This
is a contradiction. If it is a negation of implication, then from the sentence
"Never: when every A is B, then every Cis D is implied' we infer 'Always:
when every A is B, then every C is D is not implied'. If not, then the sen-
tence "Not always: when every A is B, then every C is D' is not implied'
would be true. Therefore, there is one incident in which 'Every C is D' is
10 implied by the posited thesis 'Every A is B'; which is impossible.
To prove that this negative proposition is implied by the affirmative,
you must consider both the case of unrestricted connection and the case
of implication. For if the sentence 'Always: when every A is B, then every
Cis D' is true, and it is not true that 'Never: when every A is B, then not
every C is D', then the contradictory of the latter, namely 'If every A is B,
15 then not every C is D' is true. Therefore, it is possible to posit 'Every A
is B' without having 'Every C is D' as a consequent, for the consequent is
[368] 'Every C is not D'. But we said that 'Always: when every A is B'. Thus one
must posit as a consequent 'Every C is D'. This is a contradiction, since we
assumed that this is either true with it or implied by it. Therefore, the uni-
versal connective propositions which agree in quantity, differ in quality,
and have contradictory consequents are equipollent (mutaliizima). But in
those propositions whose negation is true because they indicate that the
5 antecedent when posited makes the consequent false, the contradictories
(of the consequents) should be implied by the antecedents. They will be
true whether implication is part of the consequent or not. But if(the nega-
tive propositions) are of the kind in which negation does not turn the
consequent into a false proposition, but prevents it from being implied,
regardless of whether it is true or false, and where the implication is to be
part of the consequent, then we bring the contradictory of the consequent
and make it a consequent which is implied by the antecedent. When the
10 consequent is affirmative, the connective proposition which is inferred
from it will be 'Always: when His Z, then Cis D is not implied by it'. If the
consequent is negative, it will be: 'Always: when H is Z, then not every C
is D is not implied by it'. Which means that 'C is D' can be assumed with it.
168 THE PROPOSITIONAL LOGIC OF AYICENNA
Therefore, the best way to put it is to say 'Always: when H is Z, then the
assumption C is 0 is true with if. It will be true as an assumption and not
because it corresponds with reality.2 From this it can also be shown that
it is wrong to think that connective propositions which have contradic-
15 tory consequents are contradictory, for if we have two universal affirma-
tive propositions whose consequents contradict each other, they can be
considered as two contrary propositions. They can both be false but they
do not contradict each other, since one of these affirmative propositions
is equivalent in force to a universal negative proposition which is con-
[369] trary to the other proposition. The particular affirmative propositions:
(I) When compounded of two universal affirmative propositions:
Sometimes: when every A is B, then every Cis D.
(2) WlIen compounded of two affirmative propositions with a particu-
lar consequent: Sometimes: when every A is B, then some C is D.
5 (3) When compounded of two affirmative propositions with a particu-
lar antecedent: Sometimes: when some A is B, then every Cis D.
(4) When compounded of two particular affirmative propositions:
Sometimes: when some A is B, then some C is D.
(5) When compounded of two universal negative propositions: Some-
times: when nothing of A is B, then nothing of C is D.
(6) When compounded of two negative propositions with a partic-
10 ular consequent: Sometimes: when nothing of A is B, then not every C
is D.
(7) When compounded of two negative propositions with a particular
antecedent: Sometimes: when not every A is B, then nothing ofC is D.
(8) When compounded of two particular negative propositions: Some-
times: when not every A is B, then not every C is D.
(9) When compounded of two universal propositions with an affirma-
tive antecedent and a negative consequent: Sometimes: when every A is
15 B, then nothing of C is D.
[370] (10) When the antecedent is particular affirmative and the consequent
is universal negative: Sometimes: when some A is B, then nothing of C
is D.
(11) When the antecedent is universal affirmative and the consequent
is particular negative: Sometimes: when every A is B, then not every C
is D.
5 (12) When the antecedent is particular affirmative and the consequent
'AL-QIYAS' BOOK VII 169
times: when every ... , then not every .. .'. Or else we would infer its con-
tradictory, namely 'Never: when every ... , then not every .. .'. From the
latter we infer 'Always: when every ... , then every .. .'. But we said 'Not
always: when every ... , then every ... '. This is a contradiction. In the same
10 way we prove the rest. A similar proof can be used to prove that from the
above affirmative we infer a negative proposition. If a negative conclu-
sion were not inferred, then it would be correct to infer its contradictory,
namely 'Always: when every ... , then every ... '. From this we infer 'Never:
when every ... , then not every .. .'. But we said that 'Sometimes: if every
... , then not every ... '. This is a contradiction. You must consider the two
cases when the connective proposition is unrestricted and when it is
an implication.
What we said above also shows the falsity of the opinion that the
connective propositions which have contradictory consequents are con-
15 tradictory; for the last two particular propositions can be true together.
But the negative proposition is equivalent in force to an affirmative
whose consequent contradicts the consequent of the affirmative proposi-
tion. Also, the affirmative is equivalent in force to a negative whose
consequent contradicts the consequent of the negative proposition. Thus,
we have two affirmative and negative propositions with contradictory
[372] consequents which are true. You learned before that when the universal
proposition is true, the subaltern which is a particular proposition and its
implicant must be true; and if the particular is false, the universal and its
implicant must be false. But neither case is convertible. You must note
that an additional requirement is needed when the connective is an im-
plication.
NOTES
then not every C is D'. If we do not infer the above sentence, we should
infer 'Not always: when every A is B, then not every Cis D'. But from
the last sentence follows 'Sometimes: if every A is B, then every C is D'
which permits the possibility of both parts being true; while the separative
10 does not permit this. This is a contradiction. What is said above explains
the case of the affirmative propositions whose parts are affirmative. We
proved the universal propositions among them, and in the same way we
can prove the particular. However, the converse «aks) of the above case,
namely the case in which the separative propositions will be true when the
above connective propositions are true, is not necessary; for if it were
necessary, then every one of these connective propositions will be con-
vertible if the parts of the proposition which express real conflict are con-
vertible.
15 The consequent in the affirmative connective proposition could be
implied by sentences other than the antecedent. For example, 'Always:
when man moves or does not move, in both cases, it follows necessarily
[378] that he is a body'. To prove this we say: Let the separative [which we
assume it is inferred from the connective] have the same antecedent as
the connective. For example, we infer 'Either every A is B or every C is
0' from 'Always: when every A is B, then not every C is 0'. We say:
We do not infer 'Either every A is B or every C is D' from the above
connective proposition. For if we do, then we will also infer the following
5 connective proposition, 'Always: when not every C is D, then every A
is B', [viz. the converse of the above connective proposition], but this
conversion is not universally true. Moreover, it would be necessary to
infer its converse if the inferred proposition contradict the antecedent of
the proposition from which it is inferred. But we do not necessarily infer
its converse.
When one or both parts [of the separative proposition] are negative,
we can infer those connective propositions in which the antecedent con-
tradicts the antecedent of the separative, and in which the consequent
agrees with the consequent of the separative. But we cannot infer a
connective proposition whose antecedent agrees with the antecedent of
the separative, and whose consequent contradicts the consequent of the
separative, as it is the case with those propositions which have affirmative
10 parts. For example, from the sentence 'Always: either nothing of A is B
or nothing of C is D' we infer 'Always: when some A is B, then nothing
'AL-QIyA.s' BOOK VII 175
which we infer from the separative proposition itself, is inferred from the
connective proposition. For example, the statement 'Never: either some
A is B or nothing of C is D' can be inferred from the statement' Always:
either nothing of A is B or nothing of C is D'. From this we infer the
15 following connective proposition 'Always: when some A is B. then
nothing of C is D'. We prove it in the following way: From the above
connective proposition we infer the statement 'Never: either some A is
B or nothing of C is D'. If not, we infer its contradictory, namely 'Some-
[382] times: either some A is B or nothing ofC is D'. From this we infer the fol-
lowing connective proposition 'Sometimes: if nothing of A is B, then no-
thing of C is D', and from this we infer 'Not always: when some A is B,
then nothing of C is D'. But we said 'Always: when some A is B, then
nothing of C is D'. This is a contradiction.
5 From this account you notice that from the affirmation of every con-
nective proposition we infer the negation of that separative proposition
which agrees with the connective in quantity, quality and the antecedent.
The kind of proof we shall give below will show you this. But you cannot
infer the negation of the separative from the affirmation of the connective,
for though it is true to say 'Never: either some people are writers or some
pairs are even', we do not infer from it that 'Always: when some people
10 are writers, then none of the pairs are even'. We infer these negative
propositions from the negations of the connective propositions, which
can, in turn, be inferred from the negations of the affirmative propositions
in which the antecedent contradicts the antecedent of the affirmative
propositions. From the last one we infer the negation of the separative
propositions. They can also be inferred from the separative propositions
which oppose the negation of the separative propositions we inferred.
Therefore, from every negation of a connective proposition we infer the
universal negation of the separative proposition which has an antecedent
that contradicts the antecedent of the negation of the connective. For
15 when we say 'Never: when every A is B. then every C is D', we infer 'Nev-
er: either not every A is B or every Cis D'. If not, then we infer 'Some-
times: either not every A is B or every C is D'. From this we infer 'Some-
times: when every A is B, then every C is D'. This is a contradiction.
[383] Let us see if we can infer 'Never: if every A is B. then every Cis D' from
'Never: either not every A is B or every C is D'. Let us posit that 'Never:
either not every A is B or every C is D'. Let us take an example in words:
J 78 THE PROPOSITIONAL LOGIC OF A VICENl\iA
'Never: either man is not animal or void does not exist'. This as you know
is true. But it does not imply the connective-conditional which expresses
5 implication, namely 'Never: if man is an animal, then void does not exist'.
But if the connective proposition expresses the general sense of connec-
tion, then it seems that we can infer it; for if this were true and the state-
ment 'Never: when every A is B, then every Cis D' were not true, its con-
tradictory 'Sometimes: when every A is B, then every C is D' would be
true. If 'Every A is B' and 'Every C is D' are both true at a certain time and
under a certain condition, then when this condition is given, we can assert
]0 that 'If not every A is B, then not every C is D'. But we said 'Never So'.
This is a contradiction. You have known that from affirmative separative
propositions we infer the following connective propositions: an affir-
mative which has an antecedent that contradicts the antecedent of the
separative proposition, while agreeing with it in quantity and quality.
Also the negative, which is equivalent in force to that affirmative, differs in
quality, agrees with the affirmative in the antecedent and has a consequent
that contradicts its consequent. It differs from the separative in quality 2
15 and in having an antecedent and a consequent that contradict the ante-
cedent and the consequent of the separative, though it agrees with it in
quantity. These inferences are not convertible. Therefore the connective
[384] propositions are not equivalent (tukaji» to the separative propositions.
But the negation of separative propositions are inferred from these affir-
mative propositions, and from what is inferred from the affirmative. We
infer the affirmation of these separative propositions that agree with the
affirmation of (the connective) in quantity and contradict their anteced-
ents; and the affirmation of the connective propositions which agree with
it in (a) quantity, (b) the antecedent and (c) the consequent; and the nega-
tion of the connective propositions which agree with it in (a) quantity, (b)
5 quality and (c) the antecedent, but whose consequent contradicts the
consequent of the connective.
You know now the states of equipollence in [conditional propositions].
From what you learned of the particular, universal, the affirmative and
the negative conditional propositions, you can know the contradictory,
contrary, subcontrary 3 and the subaltern. There is no need to enumerate
them, and therefore extend our discussions. Also, you can consider the
10 way their antecedents or consequents are related in everyone of the above
relations. But there is no use in this. The useful thing to do is to consider
'AL-QIYAS' BOOK VII 179
NOTES
1 The equipollence between separative propositions will be discussed in 379. 17 ·18 and
380. 1-10.
2 Reading al-ka.lj"for al-karnrn.
3 Reading wa rna ta~ta al-rnuta(iaddiil for wa rna tarnrnat al-rnuta(iaddat.
[385] CHAPTER THREE
In the subject of conversion we shall only deal with the conversion of the
connective proposition. We say: There are two kinds of conversion in
5 the connective proposition. The one is the conversion simpliciter, and the
other is the conversion per contrapositionem. In the conversion simpliciter
you turn the antecedent into a consequent, and the consequent into an
antecedent, while keeping the quality as it is. In this case truth will be
transmitted. In the conversion per contrapositionem you put the contra-
dictory of both the antecedent and the consequent.
10 Let us start with the conversion simpliciter. We say: From stating that
'Never: when every A is B, then every C is D', it will evidently follow that
'Never: when every C is D, then every A is B'. If this were not so, then let
at one time 'Every C is D' be together with 'Every A is B'. Therefore
sometimes 'Every A is B' and 'Every C is D' can be together. But we said
15 that this can never be the case. However, this creates a problem in some
cases - as when we say 'Never: if man exists, then void exists'. For it is
[386] not true to say 'Never: if void exists then man exists' if the statement is
meant to indicate that when the antecedent is assumed, the consequent
will not be connected with it by chance. But if it meant to indicate the
negation of implication, then the above conversion will not be valid.
But we say: In case the consequent is impossible the proposition ['Never:
if every A is B, then every C is D'] cannot be converted into a negation
of chance connection, but into a negation if implication, and in this case
5 the above mentioned proof of conversion will not hold; since we cannot
assume its affirmation nor can we specify it in existence. Also, the nega-
tion, and the affirmation of chance connection is more general than the
affirmation of implication.
BOOK VIII
[389] CHAPTER ONE
5 ON THE DEFINITION OF
THE EXCEPTIVE SYLLOGISM
[When the connective expresses complete implication; (i) we assert the ante-
cedent deducing the consequent]
In the first indemonstrable (mashhiir) mood of this syllogism the excep-
tive premiss is the same as the antecedent of the connective premiss, the
connective premiss expresses what we call 'complete connection' or 'com-
plete implication', and the conclusion is the same as the consequent of
the conditional premiss. Let us see now what happens to this kind of
exceptive syllogisms in case the connective premiss expresses chance
connection and in case it expresses implication. We say: If the connective
proposition expresses chance connection, then nothing new will be known
10 from the syllogism; for the consequent in this case is not something im-
plied by the assumed antecedent, rather it is taken to be connected [by
chance] with the antecedent. The reason is that it is known that the con-
sequent in itself, as well as the antecedent, are true; and what is known
to correspond with reality does not need to be deduced syllogistically.
Therefore, the consequent must be in itself something unknown, but we
need to know that it follows or that it is implied by the antecedent. Thus,
when we know that the antecedent corresponds with reality, we will
know that the consequent corresponds with reality - as when we say
'If A is B, then C is D" where 'C is D' is already known. If we assert 'A is
15 B', we conclude that 'C is D'. But in this case nothing new is known.
However, if 'C is D' is unknown, and we know that it follows 'A is B',
then, when 'A is B' is found to be true, 'C is D' will also be true. Therefore,
if the conditional premiss in the exceptive syllogism is a connective
proposition, then it must be one which expresses implication.
5 one of them. For if you affirm one of them, you must deny the case that
its weight is in between; as when we deny one of the conditions, we must
deny the rest of the parts together. For the negation of one of the parts
is potentially the negation of the rest taken together as such.
You must know (a) that no conclusion follows from excepting the
contradictory of the antecedent, (b) that when we except the antecedent,
the conclusion will be the consequent, (c) that no conclusion follows from
excepting the consequent, and (d) that when you except the contradictory
of the consequent, the conclusion will be the contradictory of the ante-
cedent. 6
5 All the above proliferations result from the fact that the work of the
first teacher [i.e. Aristotle], in which he discussed in detail the conditional
syllogisms, was lost. Thus, they were obliged to take up the subject by
themselves. Add to this that they were unaware of that part of condi-
tional syllogisms which deals with conjunctive syllogisms, and so they
came across these exceptive syllogisms. They found that the number of
syllogisms which appeared to them is small. They also fOlInd it infamous
that these syllogisms should be parallel to those which the first teacher
explained in his treatment of predicative syllogisms. Thus they sought to
sharpen the difference (between their logic and that of the first teacher) by
contradicting (his methods).
10 We want to finish this chapter with the following remark, that you
should not pay any attention to those who say that the exceptive premiss
must be a predictive proposition. The exceptive premiss is what the ante-
cedent or the consequent of the conditional premiss, or the contradictory
of any of them, is. Since these can be of any kind (whether predicative or
conditional), the exceptive premiss can be of any of these kinds. If some-
one says 'If, if the sun rises, then day follows necessarily from the rising
of the sun', and he wants to except the antecedent, the exception will
15 be a conditional proposition. Some thought that (the relation) of implica-
tion can be regarded as if it expresses a possible connection between things
- as when they say 'If this is an animal, then it is possible that it is a man',
and that in this case the rules that govern the exception of any part of the
conditional premiss are the opposite of those which we explained before.
[398] They were misled by this kind of example, for possibility here is only men-
tal and not factual. For nothing in the external world is 'animal' and can
possibly be 'man'. 'Animal' is either necessarily 'man' or it is necessarily
'not man'. It cannot become 'man' at all while its substance is at it is,
namely something which is taken to be a possibility. To show that this
mood, contrary to what they believed, is inconclusive we say: If you say
5 'If this is animal, then it can possibly be white', then nothing will follow
'AL-QIYAS' BOOK VIII 191
whether you assert that he is white or not white, animal or not animal.
Though it may be conclusive if possibility here is taken to be a mental
possibility which is concerned with the relation of the general to the
particular, namely the particular which is part of the general. But this is
something which goes beyond the idea of possible implication. It is also
something which concerns the subject-matter of the proposition not its
form. They were led to this view by a strange reason. For in his De Anima
10 the first teacher says that if the soul does not have an action proper to it,
then it will not have an independent existence; and if it has an action
proper to it, then it will have an independent existence. 7 A man who is
strong in medicine but weak in logic claimed that so-and-so is mistaken
when he excepted the contradictory of the consequent. Some zealous fol-
lowers of the first teacher answered saying that the first teacher is not
mistaken because the implication here is only a possibility, and, therefore,
he is permitted to except the contradictory of the antecedent to produce
15 the contradictory of the consequent. Some other people may reply to
them saying that the implication here is complete and therefore one can
conclude the contradictory of the antecedent. But the truth is that the
[399] first teacher did not mention this sentence in the form of an exceptive
premiss to reach a certain conclusion; rather he stated the two premisses
together in such a way as to show that one of them is the converse of the
other. As though one starts saying that 'Every creature-that-Iaughs is a
man' and 'Every man is a creature-that-laughs' so as to indicate that both
the subject and the predicate are identical. He does not want to show
that the second is proved by the first. He only wanted to mention them
together. And that is why he mentioned the second preceded with the
5 word used with the protasis (of a conditional premiss) while in the ex-
ceptive premiss this word should not be mentioned. The exceptive prem-
iss is stated as a complete discourse and not as part of a discourse. He
first put the premisses together; then he showed in another place that the
soul has an action proper to it and from this produced that it has an in-
dependent existence. Therefore, he did not except the contradictory of
the antecedent in the first premiss but the antecedent of the second. Thus,
the critic was misled in thinking that (the first teacher) produced the con-
tradictory of the consequent from the contradictory of the antecedent;
10 while the person who tried to solve it thought that the critic was right in
what he claimed and, therefore, tried to find an outlet for him [i.e. the
192 THE PROPOSITIONAL LOGIC OF AVICENNA
first teacher] by a useless device. Thus, the critic committed one mistake,
and the one who tried to anwer him committed two mistakes - the first
is to believe the critic in what he said and the second is to answer saying
that exceptive syllogisms can be productive if the conditional premiss is
a possible statement.
NOTES
4 The B.M MS. reads ghina'ihi. The edited text reads 'inayatan.
5 Reading al-luzum with D.
6 All this is true when the connective premiss expresses incomplete implication.
7 See De Anima 403aIO-15. The Arabic translation of the De Anima by Is~aq ibn Hunayn
reads: j'a'in kana fi'/un min aj"ali 'I-nafsi kha~~ul1 huwa all' mina'l-taghayyuri '1- 'aridi laha
(a bima'lJ(l '/-imakani an takuna mubayinatan Ii'l-;ismi. 1m in lam yak un shay'un klulSSUI1
laha (a/aysa bi-mubayina. Cf. ET'l-Naf.'; (ed. by A. Badawi), Cairo 1954.
[400] CHAPTER TWO
parts) - as when you say 'but not even' and produce 'it is odd' or (assert)
'not odd' and produce 'it is even'.
[When the real separative has more than two parts, then (i) if we assert one
part we (a) deny everyone of the others or (b) deny the separative consisting
of the others]
In the real separative propositions which have many parts, the parts
are either actually or potentially finite. The rule which applies to this case
is the same as the rule which applies to the previous case. For example,
10 you say 'This number is either equal to or more or less than (another),.
If you except anyone of the parts, you produce the contradictory of all the
rest.· When we say 'the contradictory of all the rest' we mean one of two
things: (a) that the conclusion is not one proposition but, as it is the case in
this example, two propositions. For example, in the above example we
say 'therefore, it is not more and it is not less than (another)'. This conclu-
sion is in fact two propositions. There are examples in which the parts (of
the separative premiss) are more than they are in the above example and
therefore the conclusion will be more than two propositions. (b) That the
conclusion is the contradictory of all of the parts taken as parts of one
15 separative proposition - as when we say 'therefore, it is not either more
or less than (another),.
Someone may object to this and say that the case described in (a) can-
not be considered a syllogism, for if the conclusion is two or more than
two propositions, then you allow that one particular syllogism produces
two or more than two conclusions taken together at one and the same time
[402] not one of them preceding the other. And if the case described is (b), then
you produce a false conclusion. For it is not true that this number is not
either more or less than (another), since when it is equal (to another) it
can neither be more nor less (than it). But if you say 'Either this or that
or something else', then your exceptive premiss does allow it, and it will
not be the contradictory of the exceptive premiss; since the predicative
5 premiss does not contradict the separative.
In answering this we say: First, it is not one of the conditions for the
syllogism that it should not produce two conclusions. The condition is
that it should produce one conclusion. Thus, if it produces two conclu-
sions, this does not mean that it did not produce one conclusion. Second,
it produces two conclusions because the syllogism is, in fact, potentially
'AL-QIYAS' BOOK VIII 195
two syllogisms. For the separa~ive premiss produces these many predica-
10 tive conclusions with the force of other premisses. For when you say 'but
it is equal to (another number), you need to mention to yourself an-
other premiss which is 'what is equal to (a certain number) cannot be
more than it', from which you produce one of the conclusions; and you
also need to mention the premiss 'what is equal to (a certain number)
cannot be less than it', from which you produce the other conclusion.
Though you did not say or utter these premisses, you certainly say them in
your mind for what they state must come to your mind. For if someone
15 says: Why should it be neither less nor more than (a certain number)?
You will say: Because it is equal to it, and what is equal to (a certain
number) can neither be less nor more than it. In this case you would be
analysing your discourse into its component parts. You must have these
(premisses) in mind even if you were not faced with the above objection,
for you can never prove the validity of the conclusion if your mind does
not recognize them. Thus, the conclusion is in fact produced from the
separative premiss with the help of another conjunctive syllogism. There-
[403] fore, the combination which leads to the conclusion 'It is not more than
(a certain number), is different from that which leads to the conclusion
'It is not less than it'. There are things here that need to be discussed but
5 which we will leave to al-Lawii~iq. Further, the statement 'Not: either
more or less' is true and its contradictory is false. For when you say 'Not:
either' what you want to say is that 'It is not the case that the thing which
is equal to (something) is either so or so'. Thus, it is true to say 'That thing
which is equal to (a certain number) is not either greater or smaller than
it', because it is equal to it. Also, 'Never: what is equal to (a certain num-
ber) can be either smaller or greater than it'. Thus, This thing is not either
greater or smaller than (a certain number),. To prove the truth of the
10 major premiss we say: If it is not true, then its contradictory 'Some of what
is equal to (a certain number) is either greater or smaller than it' is true.
This means that the truth regarding some of the things which are equal
to (other things) is that they are either greater or smaller; and this is clearly
false. You have known before this law. Therefore, there is no objection to
saying that this is the real conclusion, and that the two conclusions 1
15 follow necessarily from it 2 alone; since from saying that 'A is not either
B or C it does not follow that 'It is neither B nor C. When you say 'Zayd
is not either man or rational' it does not follow necessarily from it that
196 THE PROPOSITIONAL LOGIC OF A VICENNA
[Both parts of the separative may be true. If one of the parts is denied the
other must be asserted]
10 When the separative premiss is unreal, it will be (I) a separative whose
parts can both be true; which means (a) that they are in themselves true-
as when we say 'Either <Abd Allah does not sink or he is in the water'
which is nearly the same as saying 'It is not the case that '<Abd Allah is
sinking and he is in the water'. When we except the contradictory of any
one of them we produce the rest. But there is no production from ex-
cepting anyone of the parts. (b) That they are true by chance - as when
15 you say 'Either <Abd Allah does not talk or <Amr permits him to talk';
which is nearly the same as saying 'It is not the case that <Abd Allah talks
and <Amr does permit him to do so'. What applies to (a) applies also to
(b). There are other two statements which are nearly the same as those
[406] we mentioned in (a) and (b). For example 'It is not the case that <Abd
Allah sinks and he is not in the water' and 'It is not the case that <Abd
Allah talks and <Amr does not permit him to do so'. But the conclusion
here differs from the conclusion there, for if you except the contradictory
of one of the parts you produce the contradictory of the other. In (a) and
(b) we can have negative separative premisses - as when you say: 'Either
5 it is not plant or it is not inanimate'. It gives the same conclusion. What
comes near to it is to say '<Abd Allah cannot be plant while he is in-
animate' and '<Abd Allah cannot be plant or he cannot be inanimate'. In
the first example the two parts are the same as those in the original prop-
osition ('Either it is not plant or it is inanimate'). But in the second example
one of the parts is the same as in the original ('Either it is not plant or it is
inanimate') and the second part is the opposite of the other. In the example
where the two parts are the same as those in ('Either it is not plant or it
198 THE PROPOSITIONAL LOGIC OF AVICENNA
and what necessarily follows from it. The reader must represent and ex-
pound this with the help of the faculty he acquired thr.ough the exercises
he did to achieve this end.
NOTES
sary for us) to utter it. And that which is brought to the mind without
(the necessity of being) uttered is brought once to the mind. If it were
made explicit, it will C0me to the mind in a second instance after (the
utterance). And what comes to the mind as a result will be as though it
10 is brought once to the mind. In the sense (b) redundancy applies to the
utterance not the meaning. Thus, (the discourse) involved in (b) is not
redundant and is necessary to get the full meaning. And this is (what
applies to) the major premiss as we have shown. To state something [i.e.
the first premiss] and then follow it by the quaesitum, which is, for ex-
ample, 'Every B is A', will bring to the mind that the speaker has left
something implicit. If (the implicit premiss) is self-evident, there will be
no need to state it explicitly in order to make the conclusion follow from
15 the (first) premiss. It will be enough to bring it to the mind. If it were not
[421] self-evident, the addressed will ask for it and say: why every B is A? If he
did not understand what the person he is addressing had explicitly and
implicitly stated, he would not have asked him why every B is A? There
will be no use whatsoever of this discourse if the major [i.e. the second]
premiss does not come to the mind when the above conclusion is brought
following (the first) premiss. Therefore, (this discourse in which) the major
premiss is implicit wiII be useful (in bringing forward the conclusion) ifthe
major premiss is brought to the mind independently of bringing the minor
[i.e. first] premiss to the mind, and if the time (in which both premisses
occur) is connected. It is as though the major (premiss) is explicitly stated.
5 Ifit does not come to the mind, it will not be useful at all and (the discourse
in which the major premiss) is stated implicitly will not lead to any knowl-
edge at all. If it does, the implicit statement wiII be useful in bringing to
the mind something which will inevitably come to the mind and at the
same time in which it is made explicit. Therefore, the meaning indicated
by the utterance of the major premiss is needed. But it will be enough to
bring it to the mind to know it, in which case we can dispense with the
utterance. For though the meaning expressed by the words is needed, the
10 words can be dispensed with.
Now if we look at (this discourse) as a conditional (proposition), we
find that when we say 'If every A is B' the posited thesis comes to the mind
and so also its assertion. And the assertion, for example, comes to the
mind at an instance of time which precedes that in which the mind moves
to the consequent, let alone the time in which we except [i.e. assert] it.
208 THE PROPOSITIONAL LOGIC OF AVICENNA
When the exception comes, it will either not bring anything to the mind,
15 or repeat what has already occurred, and, therefore, be dispensable. Here
the time in which (the exception) is made is not the same as that in which
it is uttered; as is the case when the major (premiss), which need not be
[422] uttered, is made explicit at the time it occurred to the mind. Therefore, the
exception here does not produce anything essential for leading us to what
we are aiming at: it is something which is already asserted. And what has
been already asserted is redundant in its utterance and meaning, because
the time in which it is uttered is not the same as the time in which it is
needed. It neither informs us of anything new nor does it inform us of
what is dispensable. This cannot be said of that which, when uttered,
5 gives the needed information at the same time we needed it and whose
significance corresponds with what is needed at that time.
It is clear, then, that treating such premisses [i.e. the 'If - then' prop-
ositions] as a form of a syllogism is a useless effort, and that it ought to
be treated in the mentioned way. They put it this way: 'Whereas such is
such, such is such'. But not everything which takes the form of a syllo-
gism produces like a syllogism. For when someone says 'Every man is a
creature-that-laughs' this is true; and when he adds 'And every creature-
10 that-laughs is an animal' this is true. But from this we do not get a new in-
formation. For we know that every man is an animal, but not after we
were informed that he is a creature-that-Iaughs. This is how we should
understand what the first teacher [i.e. Aristotle] says. It should not be
thought that his view is that whatever is evidently implied by something
which is evidently true, is evidently true. Or that the antecedent is not to
be posited as an antecedent unless it is doubtful. As though the proposi-
tion is not connective unless its antecedent is doubtful. Which means
15 that when one says 'Ifman is an animal, then he is a body' the antecedent
must be something doubtful, otherwise the proposition will not be con-
nective. What (he says) amounts to saying that it is not syllogistic, or that
it is not a case where the significate corresponds with what is needed,
to except the antecedent in a proposition whose antecedent is doubtful
when the consequent is evidently implied or shown to be evidently implied
or it is itself self-evident. If the consequent is not evidently implied, it will
then be remote and need necessarily a conjunctive syllogism to show it.
So, in order that the connection be evident and, therefore, useful, it must
lead to a conjunctive syllogism. Thus, we cannot except the antecedent
'AL-QIY AS BOOK IX 209
the exceptive. Since the only conjunctive mentioned in the Prior Analytics
is the predicative, the conjunctive and the predicative there follow the
same route.
Since we reached our objective, with all the effort it took us, we should
add that the predicative is not completed except by two premisses, and
that a single quaesitum need no more than two premisses. You can
transfer everything said about the predicative to the conjunctive, if you
have the capacity to do it.
NOTES
1 AI-Qiyas, 408-11.
2 Ibid., Book VI.
3 Ibid., 400 and 401; 406-07.
4 Ibid., 395, 8-13.
5 Ibid., 236,12-18.
6 A syllogism to Avicenna is the two premisses without the conclusion. See pp. 216-17.
7 Reading al-muqaddam ila ai-tall instead of al-taH ila al-muqaddam.
8 Reading with the majority of MSS. alif ba' instead of kullu alif ba'.
9 See 394-95.
CHAPTER ONE
to the solution of the problem why the above two types of propositions
are called shar.fiyyat. For in both the connective and the separative the
antecedent (the consequent) is to be taken as a condition for turning the
consequent (the antecedent) into a complete statement. 5 This makes it
clear that 'conditional' is the word that Avicenna had in mind when using
the word shar!iyya. We can also add here that when Avicenna speaks of a
hypothesis (or any of its derivations) he puts the word wat' or fanj (or any
of their derivations) and not shar!6
In this rather clear picture there is one thing left. In Man.tiq al-Mash-
riqiYYln A vicenna says that the 'If - then' proposition is either called
shar!iyya mutta~ila or wat'iyya. 7 But when, in the same source, he refers
to the 'Either - or' type he says that it is called shar!iyya munfa~ila. 8 Now
if we take the conclusion we reached above as a guide, we can simply say
that the 'If - then' proposition is either called 'connective-conditional'
or 'hypothetical'; and that the 'Either - or' type is named 'separative-
conditional'. Therefore, while 'conditional' names both types of prop-
ositions, 'hypothetical' seems to be exclusively indicative of connective
propositions. If we go back to Greek sources we find in Alexander of
Aphrodisias' commentary on the Prior Analytics 9 and in Galen's In-
stitutio Logica 10 both the Stoic and the Peripatetic terms used for the
above types of propositions. The 'If - then' proposition is called by the
Peripatetics hypothetical 'by connection' KULa O"UVEX£lUV, and the
'Either - or' proposition is called hypothetical 'by separation' OlUtP£TlKUi
TCponicn~. The Stoics, however, called the first 'conditional' cruvll1111EVOV
and the second 'disjunctive' Ot£~£\)YI1EVOV. This seems to indicate that
the Peripatetic word 'hypothetical' is the one used to refer to both types
of propositions while the Stoic term 'conditional' is only indicative of the
'If - then' type. We were not able to find any evidence in Arabic sources
that would help us explain this incongruity between the Avicennian and
the Greek terminology.
Nothing much is known about (2), but the difference between (1) and (2)
is quite obvious.
We must, therefore, look for another source for (1). In his commentary
218 THE PROPOSITIONAL LOGIC OF AVICENNA
(3) If A then B.
If B then r.
Therefore, if A then r.14
than one judgment are made. It is, however, clear that in this example
we made at least one judgment, namely that something is implied by or
follows from another. Later on in this chapter Avicenna says that the
antecedent and consequent, as parts of a conditional proposition, are
not propositions. In other words they are neither true nor false. For the
expression 'If the sun rises' in itself is neither true nor false, nor is the
expression 'then it is day'.29 Therefore, as he says in his al-<Ibiira (On
Propositions), a conditional proposition is a single statement-making
sentence. 30 This is an important point, since it explains Avicenna's con-
ception of conditional propositions on which his whole treatment of
conditional propositions and syllogisms is based.
As a modem writer on the subject puts it, the question as regards con-
ditionals (Avicenna's connective propositions) is whether "the form of
language 'if p, then q', when used for asserting q on the condition p, itself
expresses a proposition" 31 and if so, whether this proposition is to be
asserted categorically or conditionally.32 The writer's answer to the first
question is in the negative. The reason which he gives for his answer is this:
"To assert q on the condition of p is to assert that p materially implies q
without asserting or denying the antecedent or the consequent of the
material implication". Hence, "although part of what we do in thus
using 'if p, then q' is that we assert a certain proposition, it is equally a
part of what we do that we leave some propositions unasserted. There-
fore the whole of what we do in asserting q on the condition p is not that
we assert some proposition (or combination of propositions) categori-
cally." 33
To sum up. The form 'if p, then q' consists of three propositions though
the assertion made is only one. The reader will remember that Avicenna
thought that the form 'if p, then q' consists of one proposition (since the
antecedent and the consequent for him are not propositions) in which
only one assertion is made. As a result, he considers the form 'if p, then q'
as being itself a proposition asserted categorically viz. unconditionally.
For he speaks, for example, of the negation of that which is asserted,
when q is asserted on the condition p, namely 'Not: if p, then q'. This, as
we said before, is a fundamental point in his conception of conditional
propositions. It also explains how Avicenna was able to apply Aristotle's
theory of the syllogism, a theory which is applicable to categorical propo-
sitions, to conditional propositions as well.
222 THE PROPOSITIONAL LOGIC OF A VICENNA
232, 5-18 and 233, 1-4. The words 'following' and 'conflict' are intro-
duced here for the first time without being defined. But afterwards con-
flict is divided into complete and incomplete. A proposition expressing
complete conflict is defined as one having two contradictory parts. In
other words, if the first is true, the second is false; and if the first is false,
the other is true. A proposition expressing complete conflict can, there-
fore, be represented by the following table:
cenna's source for the ideas of complete and incomplete conflict, since he
makes no reference to any writer or book here. But his source might well
be Galen. In Galen's Institutio Logica (Ch. IV) conflict 34 I.UIXTJ is given
the same definition as in Avicenna. It is also divided into complete 'tEAElOC;
and incomplete ~ni1t11C;. Both divisions are given the same definition ex-
plained above. In father Stakelum's view, the fact that Aristotelian op-
position appears to correspond so nicely to Galen's explanation of Stoic
idea of conflict suggests that Galen tried to identify the two mutually ex-
clusive systems of logic. 35 Galen's complete conflict, Stakelum con-
tinues, "could very easily have been suggested by Aristotle's contra-
dictory opposition, which for the Stagirite was the only complete or per-
fect opposition. For contradictory or perfect opposition Aristotle gen-
erally reserves the term uvtlK£icrOUl as Galen also does." 36 In opposition
to the above view, J. S. Kieffer says that the concept of conflict "belongs
to the Stoic view of hypothetical propositions as a unity, rather than to
the Peripatetic view that they are combinations of categorical proposi-
tions".37 He concludes saying that the doctrine of conflict "must there-
fore have been worked out by reflection on Chrysippus' indemonstra-
bles".38 Avicenna's text seems to support Kieffer's position. For although
Avicenna uses the word 'contradictory' (naqlq) to explain the idea of
complete conflict, in his explanation of incomplete conflict he simply
says 'not contradictory' and not 'contrary' as he might be expected to if
his source was influenced by Aristotle's theory of opposition. It is also
important to note that the conception of a conditional proposition in
Avicenna's work is that of a single statement-making sentence in which
only one assertion is made.
In the same passage there is also a division of 'connection' and not of
'following', as one would expect, into complete and incomplete. Com-
plete connection, as Avicenna says, is that in which the antecedent and
the consequent imply each other. Later in this work (cf. al-Qiyas, 390,
391 and 396) he says that in a proposition expressing complete connec-
tion 39 we derive the consequent when we assert the antecedent, or the
antecedent when we assert the consequent. Also, in the same proposition
when the negation of the antecedent is asserted, the negation of the con-
sequent will be derived, and when the negation of the consequent is as-
serted, the negation of the antecedent will be derived. The following table
represents the relation of complete connection:
224 THE PROPOSITIONAL LOGIC OF AVICENNA
233,4-9. These lines contain the following information: (a) Some group
of philosophers assert that connection is the same as affirmation and that
separation is identical with negation. (b) Some other group of philoso-
phers maintain that the conditional (connective and separative) propo-
sition has no quality, i.e. can neither be affirmed nor negated. (c) This
same group would include among separative propositions those "Either-
or' statements whose parts (antecedent and consequent) can both be true;
and (d) they treated with conditionals a category of propositions Avi-
cenna calls 'indeterminables'.
As they stand these statements of A vicenna do not tell us much. Some
explanation of (a), (b) and (d) can be found in al-Qiyas, 256-59. There-
fore our commentary will be based on the passage commented on here in
addition to those which appear in al-Qiyas, 256-59. First of all there
COMMENTAR Y BOOK V 225
233, 12-17 and 234. A distinction is made here between tWQ kinds of
'following' - implication (luzum) and chance connection (ittifoq). Avi-
cenna understands implication to be a relation in which the truth of the
consequent depends on the truth of the antecedent (cf. al-Qiyas, 282). In
the case of chance connection the proposition is considered true simply
because the antecedent and the consequent are true. The truth of the con-
sequent in such a case does not depend on the truth of the antecedent.
Thus, Avicenna says, a proposition which expresses chance connection
is true when both is parts are true and false otherwise (cf. al-Qiyas, 238,
10-17).
In this text Avicenna refers to the antecedent and the consequent of a
proposition expressing implication by the words sharf (protasis) andjaza>
(apodosis). Later in this passage he says that if the first part of a connec-
tive proposition is a sharf and the second is jaza>, then this connective
proposition is an implication. The words sharf and jazii> are used in
Arabic grammar as technical terms referring to the parts of a conditional
sentence: the first refers to the condition and the second to the sentence
COMMENTARY BOOK V 227
depending upon it. It seems that, in calling the antecedent and the conse-
quent of an implication sharf and jaziP, A vicenna wanted to point out the
peculiar characteristic of such propositions: that the subject-matter of
the antecedent and that of the consequent are related. (Or, as modern
logicians would put it, that they express formal implication.) Throughout
the text these terms were never used to refer to the antecedent and the
consequent of a chance connection; that is the kind of connective propo-
sitions in which the subject-matter of the antecedent and that of the con-
sequent are not related. Another set of terms used frequently in the text is
muqaddam (antecedent, that which precedes) and tall (consequent, that
which follows or comes after). These Avicenna used without restriction
to refer to the antecedent and the consequent of the 'If - then' and 'Either
- or' propositions of any type.
In Greek sources the antecedent and the consequent of an 'If - then'
proposition is indicated by two sets of terminology: one Peripatetic and
the other Stoic. 48 The Peripatetic and the Stoic word for the antecedent
(the proposition which immediately follows the connective 'If) is TO
fJYOUJlEVOV (interchangeable withapxoJlEvov). The Peripatetics, however,
used TO £rcoll£VOV (interchangeable with UKOAOUOOV) for the consequent
(or the proposition which does not immedately follow the connective 'if),
while the Stoics introduced for it the term A~yOV. Clearly Avicenna's two
sets of terms cannot be compared with those found in the Greek sources.
In this passage a distinction is also made between two kinds of impli-
cation. The first is the implication which is necessary in thought and
existence, and the second is the implication which is necessary in exis-
tence only. The concept 'man', for example, implies the concept 'rational'
in existence and thought. It implies it in existence because there is no man
in the world which is not rational. Also, 'man' implies 'rational' in
thought because rationality is part of the essence of man; for we cannot
think of man without thinking of his being rational. But the concept of
'a creature-that-Iaughs' is implied by 'man' only in existence; because,
though being a creature-that-Iaughs is something which is peculiar to
man, and, therefore, it enables us to distinguish him from other existing
creatures, it is not part of the essence of man. 49 The above distinction
does not, of course, belong to formal logic. But it is important to note that
this distinction is part of his theory of definition and demonstration; and
logic, for Avicenna, is only a step towards the more important aim, name-
228 THE PROPOSITIONAL LOGIC OF AVICENNA
if its antecedent is true and the consequent follows from it. While the
third is true if the consequent follows from the antecedent and not vice
versa. S2 There is no way of comparing Diogenes' distinctions with those
of A vicenna, since the latter does not explain what he means by the
strength of the implication.
235, 12-16 and 236. This passage gives a clear explanation why Avi-
cenna considers the conditional proposition to be a single statement-
making sentence. Considering first the antecedent of the connective-
conditional proposition, he says that it is only a hypothesis which can
neither be affirmed nor denied. In other words it is not a statement-
making sentence which can be true or false. The same is also true of the
consequent of these propositions. A vicenna's argument for this view is
that the sentence 'Ifthe sun rises' can neither be affirmed nor denied and,
therefore, it is neither true nor false. Also, the sentence 'then it is day' is
neither true nor false. According to Diogenes Laertius, Chrysippus in
his Dialectical Definitions considered a hypotheticall!7!oO£TtKoc; as neither
true nor false. S3 Unfortunately, Diogenes does not give an example ofthe
hypothetical. However, as father Stakelum says, it appears that hypo-
thetical expressions are like the cause 'If it is day'. S4
In his De Interpretatione Aristotle says that
A single statement-making sentence is either one that reveals a single thing or that is single
in virtue of a connective. There are more than one if more things than one are revealed or if
connectives are lacking. (17a 15. The translation is Ackrill's.)
On Aristotle's scheme a compound expression of a suitable sort would seem to qualify both
as a single statement ('single in virtue of a connective') and as more than one statement ('If
more things than one are revealed')55
and so also the sentence 'It is day'. But when both predicative proposi-
tions become parts of a conditional sentence, neither of them will remain
a statement-making sentence. (See above pp. 220-21.)
237, 16; 238 and 239, 1-8. This is a very difficult passage. What A vicenna
says here is that a proposition with a false antecedent and consequent is
COMMENTAR Y BOOK V 231
239, 9-17 and 240, 1-16. Until now Avicenna has given an analysis of
two cases in which the connective proposition is considered true. The first
is the case in which the antecedent and the consequent are true; and the
second is the case in which the antecedent and the consequent are false.
In this passage he discusses the only case remained, namely that in which
the antecedent is false and the consequent is true. He must have felt that
unlike the others this case is not readily acceptable, and therefore needs to
be explained. This has been done with the help of the theory of the syllo-
gism with which the reader is supposed to be acquainted. Avicenna says
that in a proposition like 'If five is even, then it is a number' the statement
'Five is a number' follows from 'Five is even' and another statement
which we omit, i.e. 'Every even is a number'. Thus, Avicenna continues,
we can treat 'If five is even, than it is a number' as a syllogism whose
premisses are 'Five is even' and 'Every even is a number', and whose
conclusion is 'Five is a number'. In other words, what Avicenna is
232 THE PROPOSITIONAL LOGIC OF AVICENNA
saying is that the logical principle which allows us to deduce a true con-
clusion from a false premiss applies not only to the syllogism but also to
connective propositions.
To understand his objection to this case of true connection, i.e. the case
in which the antecedent is false and the consequent is true, we must bear
in mind the fact that for A vicenna the last aim in logic is demonstration.
A formal inference in his view is to be judged according to whether it can
help us in constructing what A vicenna thinks to be a demonstrative
argument. And for Avicenna a demonstrative argument is a valid infer-
ence in which the conclusion is established with the help of premisses
which are already proved or evidently true. Therefore, though from a
formal point of view, it is logically valid to deduce a true proposition from
a false proposition, such an inference will not be of any help in demon-
stration.
240, 18 and 241, 1. The only case in which a connective proposition would
be false is the one in which the antecedent is true and the consequent is
false. Avicenna adds nothing more to that, for the case must have looked
obvious to him and therefore needed no explanation. It is interesting to
note here that al-JubbiPi, as reported in al-Ash<arl's Maqalat al-Islam-
iyyin, Vol. I, p. 204, refers to this case in his own way and says that
If what is decreed (maqdur) is connected (wu~ila) with what is impossible (musta~l~, the
speech would be impossible.
CHAPTER TWO
242, 4-8. There are several ways in which one can express a relation of
conflict. One way is to use a non-conditional form of language. This
means that the proposition should be expressed in neither an 'If - then'
nor an 'Either - or' sentence. Avicenna's example for such propositions
is 'p is in conflict with q'. Another way is to express conflict in the form
of a connective-conditional proposition 59, such as 'If p, then not-q'
which is equivalent to 'Either p or q' provided the latter is used in the
exclusive sense (see below). The third way of expressing conflict is to put
it in the 'Either - or' form. In the following passages A vicenna concen-
trates on the third way of expressing conflict, that is on separative prop-
ositions, referring briefly to the second and completely ignoring the first.
COMMENTAR Y BOOK V 233
242,9-14; 243 and 244, 1-15. There are three kinds of separative prop-
ositions: (I) The separative proposition which expresses real conflict. In
these propositions it is necessary that one of the parts should be true and
the other false. Thus, when both parts are true or when both are false the
separative expressing real (or complete) conflict will be false. Avicenna
adds the words Iii yakhlu ('it is exclusively') before the sentence expressing
this kind of conflict to distinguish it from the other two kinds of separative
propositions all of which have the form: 'Either - or'. This proposition
can be expressed in the following matrix:
If the first and the second the separative expressing
part is part is real conflict will be
(2) The separative proposition which does not exclude the possibility
of having both its parts false. Avicenna says that this proposition also
expresses conflict; but conflict in this case is incomplete. This proposition
can be represented in the following matrix:
If the first and the second the proposition expressing
part is part is incomplete conflict will be
In trying to underline the idea that both parts of such separative propo-
sitions can be false, A vicenna remarks that these propositions are equiv-
alent to the negation of a connective proposition. (Cp. Institutio Logica
IV, 4.)
(3) The separative proposition in which both parts can be true. In this
case it is not possible for both parts to be false. This proposition can be
represented in the following table:
The Stoics did not recognize except (1) and they called it bU:;~f:\)Ylltvov
(a~icolla). Galen, however, mentions the three above kinds. In dealing
with (1), he gives the above Stoic name in addition to the Peripatetic name,
namely 8W1PETlKUi rrporum;. He calls (2) rraparrA.~O'w 81E~f:\)Y!ltvol~
and (3)1tapa8tE~f:\)Y!ltvov. Unfortunately, Avicenna does not give specific
names to anyone of the above three kinds. But he agrees with Galen in
taking (1) as a proposition expressing complete conflict rd.eta WIn and
(2) as expressing incomplete conflict i:nl7t~~ Ilan. However, it should
be noted that Avicenna's example of (3) is of a separative proposition
whose parts are negative propositions which is not so in Galen's work.
245, 9-17 and 246, 1-5. It should be remembered here that the order
which the parts of an 'If-then' proposition take, i.e. one being specifically
the antecedent and the other the consequent, does affect the truth-value
of the compound proposition for it is obvious that when the antecedent
is true and the consequent false, the compound proposition is false; while
if the antecedent is false and the consequent true the compound is true.
The same thing is not true of the 'Either - or' proposition, since it is true
in case the antecedent is true and the consequent false or vice versa. 60
Thus, while the order of the parts (antecedent and consequent) of the 'If-
then' proposition is essential for establishing its truth-value, the truth-
value of the 'Either - or' proposition is not affected at all by this order.
Therefore, A vicenna concludes, while the words 'Either - or' do not ne-
COMMENTAR Y BOOK V 235
cessitate that the propositions joined by them have a certain order - one
being the antecedent and the other the consequent - the words 'If - then'
do. In the sense that once we choose a certain proposition to be the
antecedent and another the consequent, the order cannot be changed
unless we intend to form a new proposition. This is what A vicenna means
by saying that the antecedent and the consequent of the 'Either - or'
proposition are equivalent, i.e. interchangeable; while this is not so in
the case of the 'If - then' proposition.
The word Avicenna uses for 'equivalence' is takiifu>. Here as well as
in the other two places in al-Qiyiis in which the word is mentioned, 251,
4-7 and 383, 15-16, the meaning of takiifu> is clear. Two propositions are
said to be 'equivalent' if they are interchangeable. In all its occurrences
in Aristotle's Categories UVTtCHP£<p£lV is translated into takiifu>. It may
well be that A vicenna or his source imported the word from the Catego-
ries. But it should be clear that UVTtCHP£<p£lV, as used in the Categories,
is said of terms which reciprocate. As J. L. Ackrill, Aristotle's Categories
and De Interpretatione (p. 100), explains it
The claim that A and B reciprocate is the claim that 'X is A of (to, than, etc.) Y' entails
'Y is B of X' and 'Y is B of X' entails 'X is A of Y'. (See the commentary in pp. 266-67.)
are false. (See the table in p. 233). In the third kind if the antecedent is true,
the consequent could be either true or false as is clear in the table at p.234.
But is it necessary that the first kind of separative propositions should be
constituted of two parts only? Avicenna's answer, as this passage reveals,
is in the negative. He allows for propositions such as 'It is exclusively
either p or q or r'. What A vicenna does in such cases is to treat the first part
as the antecedent and the rest, taken together as a separative proposition,
as the consequent. It is obvious that if the first part of such propositions
is true, everyone of the others would be false. For suppose we have the
proposition 'It is exclusively either p or q or r' in which p, the antecedent,
is true. In this example 'q or r' should be false. This leaves us with two
possibilities: either both q and r are false or they are both true. The second
possibility is excluded since p is true, as already said, and in the first kind
of separative propositions the proposition would be false if both its ante-
cedent and consequent are true. Therefore, in such compound proposi-
tions, if the first part .is true, everyone of the other propositions will be
false. This means that there is complete conflict between the first part of
the proposition (p) and everyone of the others: be it q or r. But what if the
first part is false? Here, the only way to establish complete conflict is to
treat the first part as the antecedent and the rest, taken together as a
separative proposition, as the consequent. Take the same example: 'It
is exclusively either p or q or r'. If p is false, then 'q or r' is necessarily true.
Of course this would mean that either q is true and r is false or vice versa.
Avicenna refers to this (second) case when he talks of objections raised
against including propositions with more than two parts in the first kind
of separative propositions. For when p is regarded as false, neither q nor
r can be said to be necessarily true. This is the reason why he wants the
consequent to be 'q or'r'. Otherwise we would not be able to talk here of
complete conflict.
247, 6-17; 248; and 249, 1-9. The second and the third kind of separative
propositions are compared and analyzed this time. Avicenna says that
while in the third both the antecedent and the consequent can be true,
this is not so in the second. Thus, as we said above, if the antecedent of the
third is true, the consequent can either be true or false. But if it is false, the
consequent will necessarily be true. (See pp. 233-34.) This is what he
means by saying that when the contradictory ofthe antecedent is affirmed,
COMMENTAR Y BOOK V 237
the consequent will necessarily be true. This of course is not true of the
second kind as Avicenna remarks. For the compound proposition is true
if the falsity of the antecedent is affirmed. Another difference between the
two is that in the third the parts are both expressed in the negative form,
while this is not so in the second or the first. 61 Does this mean that all sep-
arative propositions in which the antecedent and the consequent can be
true are of this type? A few lines before (al-Qiyas 245, 5) Avicenna gives an
example of a separative proposition with both its parts expressed in the
affirmative and in which the antecedent and the consequent are true. But
these, as far as one can see, are another type of separative propositions
which Avicenna, for some reason or another, wanted to distinguish from
the second kind which he is discussing here. Avicenna goes on with his
comparison between the second and the third kind of separative proposi-
tions saying that the two have the following in common: First both do
not take the words 'It is exclusively' which is characteristic of the first
kind. Second both are not pure and simple separative propositions. This
means that, unlike the first kind where the compound proposition is true
only when one of the parts is true and the other false, their parts can both
be false (the second kind) or both true (the third kind). Thus both the sec-
ond and the third are given one common label, 'defective conflict'. Third
both are in essence two propositions expressed in a single separative
proposition. Take the third kind of separative propositions. According to
Avicenna when one says 'Either this thing is not a plant or not inanimate',
what he is in fact saying is 'Either this thing is not a plant or it is; if it is,
then it is not inanimate'. That is to say, the first kind of separative propo-
sitions presents us with a choice between two contradictory alternatives.
But in the third kind of separative propositions the second alternative
(the consequent) is no longer the contradictory of the first (the antecedent).
For only when the negation of the first alternative is affirmed (i.e. when
the first alternative itself is false) can we say that the second is true (since
in this kind of separatives the possibility of both being false is excluded).
In the case of the second kind of separative propositions we can be sure
that the second alternative is false only when the first is true. But if it is
false the other mayor may not be true.
249, 10-15. This passage contradicts the previous one in which it was
clearly stated that the third kind of separative propositions should have
238 THE PROPOSITIONAL LOGIC OF AVICENNA
250, 5-17 and 251, 1-11. The question being raised is whether we can
have a real separative proposition in which the subject-matter of its
antecedent and that of its consequent are not related. In other words, is it
necessary that the antecedent and the consequent of a real separative
proposition should be statements about one and the same subject? The
main idea underlying Avicenna's answer is that in the real separative
(which is the first kind of separatives discussed above) the antecedent and
the consequent must be contradictory statements, that is to say should
express contradictory judgments about one and the same thing. And that
it is necessary for it to be so is clear from what he said before, viz. that this
is what distinguishes if from the other kinds of separative propositions.
Avicenna gives another reason for rejecting a so-called 'chance relation'
between the antecedent and the consequent of a real separative. He says
that in the case of the proposition expressing chance connection one can
argue that the antecedent and the consequent are in fact connected in their
ultimate natures and that it is due to the limitations of our minds that we
are incapable of detecting the connection. 62 (See also al-Qiyas, 234.) This,
he thinks, does not apply to the proposition expressing conflict. For if we
do talk at all about conflicting statements which are in no way related, we
can only have in mind statements which are impossible in themselves, as
for example 'Either two is not even or man is not a rational animal'.
According to him these impossible statements are not related at all not
even by what he caIls 'chance relation'. This is certainly not so if we agree
that as Forms things are ultimately related, except if one says that im-
possible things have no Forms.
COMMENT AR Y BOOK V 239
251,12-17 and 252,1-8. Two things emerge from this passage: (a) What
is essential to conditional propositions is that they join together proposi-
tions and not single concepts (which is the case with predicative proposi-
tions). (b) Though there are several devices for joining propositions into
one unit, all such devices can be reduced to two basic forms - the 'If -
then' or/and the 'Either - or'. In his view a proposition such as 'A is not B
unless C is D' is equivalent to 'If C is D, then A is B' and to 'Either C is
D or A is not B' (if we take the separative here as belonging to the third
kind). The same applies to conjunctive propositions, namely those in
which the connective 'and' occurs. This is a very important remark. It is
no doubt puzzling to the reader that A vicenna completely disregard such
statements. It is clear now that he recognizes such types of propositions
but he thinks that they can be reduced to the main types to which these
chapters are devoted. On this point A vicenna might have simply taken
the view of some Latin-Greek commentators.
CHAPTER THREE
253; 254 and 255, 1-2. Avicenna distinguishes here between simple and
compound conditionals. The simple conditional is the one whose ante-
cedent and consequent are predicative propositions. The compound is
constituted of (a) conditional and predicative propositions, and (b) of
conditional propositions alone, whether they are of the same type as the
original proposition or of a different type or even of a mixture of the two
conditionals - the connective and the separative. It should be noted that
Avicenna does not use brackets or any such notation to enable the reader
to figure out the way in which the author wants him to read these com-
pound propositions. All A vicenna did is to differenciate between, on the
one hand the main propositions, and, on the other, the subsidiary propo-
sitions, which are the antecedent and the consequent of the main prop-
osition. Perhaps the reason for not introducing any kind of notation is
that he did not make any use of compound propositions in this work. The
only ones he deals with are those whose antecedents and consequents are
single predicatives, and these, of course, are manageable by his device
The following is a list of the compound propositions which A vicenna
mentions in this passage. We will use modem notation to make it easier
for the reader to follow his examples. 63
240 THE PROPOSITIONAL LOGIC OF AVICENNA
(1) (p-+q)-+(r-+t)
(2) (p -+ q) V (r -+ t)
(3) (p V q) -+ (r V t)
(4) (p V q) V (r V t)
(5) (p -+ q) V (r V t)
(6) (p V q) V (r-+ t)
(7) (p -+ q) -+ (r V t)
(8) (p V q) -+ (r -+ t)
(9) (p -+ q) V r
(10) pv(q-+r)64
(11 ) p -+ (q -+ r)
(12) (p -+ q) -+ r
(13) (p V q) V r
(14) pv(qvr)65
(15) p-+(qvr)
(16) (p V q) -+ r66
255, 3-20 and 256, 1-5. The distinction he makes in this passage is be-
tween the two truth-operators he has been discussing since, namely 'If -
then' and 'Either - or'. While the first, he says, joins two parts: the
antecedent and the consequent, whether they are predicative or con-
ditional propositions 67, the second can join more than two, in fact an
infinite number of propositions. What he has in mind is propositions
where several possibilities are being given in the form 'Either p or q or ...
etc.'. This cannot be done in the case of the 'If - then' proposition. Avi-
cenna adds promptly that this does not mean that the antecedent or/and
the consequent of the connective propositions cannot be a conjunction
of several propositions, i.e. propositions connected by 'and'. The last
point is important because a conditional proposition, though itself a
combination of more than one proposition, is nevertheless considered in
this work as a single statement-making sentence. But a conjunctive prop-
osition is not. Avicenna examines the case (a) when the antecedent of the
connective proposition is a conjunctive proposition and (b) when the
consequent is a conjunctive proposition. For (a) he gives the following
example: 'If this man has chronic fever, hard cough, laboured breathing,
pro ding pain and saw-pulse, he has pleurasy'. This he says is a single
COMMENT AR Y BOOK V 241
256, 11-17; 257 and 258, 1-12. In these lines the main theme is the reduc-
tion of conditionals to predicative propositions. Not all conditionals,
however. For, though the opening lines assert that conditionals are
reduceable to predicative propositions, later on in this passage a certain
kind of connective and separative propositions is specifically excepted
from this general statement. The conditionals which are not reduceable
to the predicatives are the propositions which Avicenna had been mainly
occupied with, such as 'If the sun rises, then it is day' and 'Either this
number is even or it is odd'. The passage is on the main devoted to
specifying the conditionals which are so reduceable. First, the connective
propositions which are reduceable to the predicatives are those in which
the antecedent and the consequent (which are there taken to be predica-
tive propositions) share the same subject. He further adds that the class of
connective propositions which are more similar to predicative proposi-
tions are those in which the subject is put before the truth-operator e.g.
'The sun, always when it rises, then it is day'. (Notice that these two charac-
teristics are absent from 'If the sun rises, then it is day'.) For, to him, The
sun, always when it rises, then it is day' is similar to 'The sun is some-
thing of which one can say that when it rises it will be day'. The latter is
a predicative proposition with a complex predicate. But never mind this
complexity, for it is possible to give the whole of the predicate a single
name, e.g. Alpha, and therefore end up with a predicative proposition
with a single subject and predicate. Second is the separative proposition.
242 THE PROPOSITIONAL LOGIC OF AVICENNA
All that A vicenna says is that the reduction in this case is possible when
the shared subject is put before the truth-operator. For in this case a
proposition like 'Every number is either even or odd', can be reduced to
'Every number is something which can be described as being either even
or odd'. As in the previous case, the complex predicate in the last propo-
sition can be given a single name like Gama, and the proposition becomes
'Every number is Gama', which is a predicative proposition with a single
subject and predicate.
CHAPTER FOUR
262 and 263. The underlined thesis here, repeated in more than one place
in this work, is that in conditional propositions what is to be considered
as universal, particular, singular or indefinite is the jUdgement that a
proposition follows from or is in conflict with another. The reason behind
A vicenna's emphatic language is that some Greek logicians, whom
A vicenna does not name, allegedly regarded such labels (universal,
particular, affirmative and negative), when applied to conditional propo-
sitions, as being indicative of the quantity and/or quality ofthe antecedent
and consequent. (Or when they are absent, to the absence of quantity
and/or quality in the antecedent and consequent as in the case of the in-
definite proposition.) To support his view, he reminds his reader of what
is said about predicative propositions in which the quantity of the judge-
ment of predication, rather than the quantity of the subject and predicate,
determines the quantity of the proposition. If in a predicative proposition
the judgement is universal, then the proposition is universal; whether the
subject and the predicate are singular or universal terms. Thus according
to Avicenna's opponents, the connective proposition 'If every C is B, then
every H is Z' is a universal connective proposition simply because the
antecedent and the consequent are universal propositions. But, to Avi-
cenna, it is indefinite, because of the absence of any of the quantifiers
which are always put before the conditional proposition. In this passage,
he mentions only the universal quantifier 'always' which he uses for both
the connective and the separative propositions. (The quantifier for partic-
ular conditional propositions is 'sometimes'.) There is a brief explanation
COMMENTAR Y BOOK V 243
264. This passage deals with the view that the universal connective
proposition is, in fact, a universal predicative proposition. In his brief
statement of this view, Avicenna says that its advocate asserts that the
proposition 'Always: when this is a man, then he is an animal' is the
same as the proposition 'Every man is an animal'. Avicenna rejects this
view for the following reasons: (1) The subject of both the antecedent
and the consequent of the universal connective proposition is a singular
term, while the subject of the predicative proposition is a universal term.
(2) The above universal predicative and universal connective propositions
are not logically equivalent because there are instances in which the uni-
versal connective is true and the universal predicative is false. (3) Even
if the two propositions are equivalent, still they are different in form; for
the predicative says that 'animality' belongs to 'man', while the con-
244 THE PROPOSITIONAL LOGIC OF AVICENNA
nective says that the sentence 'this is an animal' is true whenever the
sentence 'This is a man' is true. 68
265, i-s. Avicenna's treatment of the quantifiers begins here with a defi-
nition of the universal connective proposition (when it is in the affirma-
tive). He repeats what he said at the beginning of this chapter that what
is meant by a universal quantifier in this Gontext is that the consequent
follows from the antecedent at any time and under any condition. There
is little more said about what he means by the following of the consequent
from the antecedent under any condition. He says that that is meant to
indicate the following of the consequent from the antecedent no matter
what conditions we may add to the antecedent. Less essential is the other
feature of the universal connective, namely that the consequent follows
from the antecedent at any time. For, Avicenna says, the antecedent
could describe something which cannot be repeated or does not recur in
which case there will be no reference to time.
265,9-19 and 266, l-S. Having defined the universal quantifier as applied
to conditional propositions, A vicenna proceeds with another task, viz. of
applying the universal quantifier to those connective propositions to
which the universal quantifier seems less intuitively applicable. In doing
so he also hopes to explain much more clearly what he means by saying
that in a universal connective proposition the consequent follows from
the antecedent under any condition. The kind of connective propositions
he has in mind is the one in which the relation expressed is that of chance
connection, i.e. the case where the consequent, though not formally
implied by the antecedent, is nevertheless true as well as the antecedent.
Before going into the universal forms of such propositions he talks briefly
about their indefinite forms. The proposition he analyzes is 'If man talks,
then the donkey brays'. Evidently the consequent here is not formally
implied by the antecedent, but both the antecedent and the consequent
are admittedly true. Oddly enough Avicenna says that once the conse-
quant in such propositions is known to be true, the proposition as a whole
must be true. Now what if one says 'Always: when man talks, then the
donkey brays'? What are the conditions for regarding such propositions
as true? To be regarded as true two conditions must be fulfilled. One is
that it should be true of every donkey that it brays. The second is that the
consequent must follow from the antecedent under any condition or
COMMENTAR Y BOOK V 245
266, 9-15 and 267, 1-6. What if we have a universal proposition like
'Always: when every donkey talks, then every man brays' where both the
antecedent and the consequent are false propositions, Avicenna asks.
Some people, he claims, think that such a following is valid, because if
we assume that every donkey talks, then (for no clear reason) we should
assume the truth of the consequent, i.e. that every man brays. Avicenna
rejects this view. His reason for this rejection can be stated as follows: The
above proposition can either be taken as expressing chance connection
or a formal implication. It cannot be the former, since a proposition ex-
pressing chance connection is by definition true only in case both the
antecedent and the consequent are true. It also cannot be a formal im-
plication, simply because the consequent is not formally implied by the
antecedent. Therefore, the above proposition does not express a relation
of following in any sense of the word.
If p, then q
but not q
therefore, not p,
is applicable only in case the first premiss expresses formal implication.
Still A vicenna seems to be ill at ease as regards his original view that
the proposition 'Not every donkey brays' does not formally imply 'Not
every man talks'. For he defends it this time against some feigned ob-
jection which is put in the following way: If it is agreed that in the propo-
sition 'Always when every man talks, then every donkey brays' (which
expresses chance connection), both the antecedent and the consequent
must be true, and that every time the antecedent is found to be true, the
consequent should also be true, (without, of course, the consequent being
formally implied by the antecedent), then the proposition 'Not every don-
key brays' should not be connected with 'Every man talks'. Otherwise a
contradiction would follow thus:
Sometimes when every donkey does not bray,
then every man talks,
and always when every man talks,
then every donkey brays;
therefore, sometimes when not every donkey brays,
then every donkey brays.
It seems that Avicenna thinks that if such a contradiction can be estab-
lished, then 'Not every donkey brays' would be connected with 'Not every
man talks'; and the only kind of connection they can have is formal im-
plication. So Avicenna's job is to challenge this contradiction and to
show that it is not what it is taken to be. He says that the conclusion
reached above is not a contradiction. On the contrary it is a true state-
ment; since its antecedent is nothing but an assumption, and the con-
sequent is a true statement. And if we have a false assumption connected
by chance with a true consequent the proposition, Avicenna declares,
would be true. Avicenna underlines this view, and says that this is what
we do in arguments per impossible. In such arguments we assume the
contradictory of a true proposition, and this assumption is connected
by chance with another true proposition. (See p. 277.)
270,9-13. This passage repeats what is said in the one immediately before
COMMENT AR Y BOOK V 247
270,14-17; 271 and 272,1-12. One should bear in mind, Avicenna says,
that the antecedent of a connective proposition is nothing but an assump-
tion. This is indicated by the words 'if and 'when' which precede the
antecedent. What we should know about an assumption is that its truth
or falsity may have nothing to do with the actual state of affairs it de-
scribes. For we might assume that it is true knowing (or discovering later
on) that it is not. If the assumption turns out to be in fact true, then what
follows validly from it would be true. But if it is actually false, then what
follows validly from it is undecidable, i.e. can be true or false. The con-
sequent, on the other hand, is not an assumption. And in case it fol-
lows from a false antecedent, it should be judged in itself and indepen-
dently of the antecedent, though it might be formally implied by that
antecedent. Then he goes on to say that in a true connective proposition
when the antecedent is in fact true, the consequent must also be true
whether it is connected with the antecedent by chance or it is formally
implied by it. But when the antecedent is actually false, the consequent
which follows 69 would be either true or false. Now suppose we were
faced with the case in which the antecedent is false and the consequent
is true. He says that in such a case the proposition would be true if the
consequent is formally implied by the antecedent. When both the ante-
cedent and the consequent are false, the proposition as a whole would
be true when the relation of following expressed is that offormal implica-
tion.
272, 13-18 and 273, 1-6. After a lengthy digression Avicenna is coming
back to his original topic which he started in 265. He repeats here the
definition of the universal connective proposition with more information
this time on what he means by 'conditions' or 'cases'. To repeat, we say
of a connective proposition that it is universal if (a) every time the ante-
cedent is stated the consequent necessarily follows from it. And (b) when
the consequent follows from the antecedent under any condition. What
he is trying to clarify here is (b). He says that the conditions or cases he is
thinking of are those which we attach to the antecedent, either to specify
248 THE PROPOSITIONAL LOGIC OF AVICENNA
273,7-17; 274 and 275, 1-14. The question raised is what if the con-
ditions which we might add to specify the antecedent are contrary to
known facts? Would the universal connective in this case cease to be
universal? For example, would a universal connective proposition like
'Always: when this is a man, then he is an animal' cease to be universal
when we add to the antecedent conditions like 'Man is neither a creature-
that-senses nor a creature-that-moves'? Avicenna's answer is that with
such conditions the proposition can no longer be described as universal.
This is not, he says, because the antecedent is false or impossible, for the
truth of the antecedent is not in question here. 70 What is in question is
whether the consequent follows from the antecedent or not. 71 And as
the above example shows the consequent does not follow from an ante-
cedent conditioned by contrary-to-fact statements. Avicenna's next
problem is to try to find a way out since his definition of the universal
connective states clearly that the consequent must follow from the ante-
cedent under any condition; and in this form the definition cannot be
fulfilled. His answer to this is that we should add to the antecedent of the
formal implication a statement to the effect that no conditions like those
mentioned above are to be allowed.
275, 15-17; 276 and 277, 1-15. Avicenna turns now to particular con-
nective propositions. He distinguishes here between two kinds of particu-
lar connective propositions (a distinction which turns up to one between
two ways of establishing the truth of such propositions). In the first the
truth of the particular proposition is derivative. What he means by this
is that a connective proposition with a particular quantifier ('sometimes')
will be true if that same proposition is true when stated universally. I.e.
if we established that a certain consequent follows from a certain ante-
cedent under any condition and at any time, then that consequent will
follow from the same antecedent under some condition(s) and at a cer-
tain time. It is derivative in the sense that we do not need to verify the
proposition to establish its truth, all we do is to derive the particular
form of that proposition from its universal form (which is established as
COMMENTAR Y BOOK V 249
277, 16-17 and 278. The problem raised here is whether the particular
quantifier can be applied to propositions with universal antecedents and
consequents. His answer is in the affirmative. He says that there are cases
in which it is not impossible to assume the universality of something
which is ordinarily not so. This possibility can be expressed in particular
connective propositions whose antecedents and consequents are uni-
versal propositions. For example in normal conditions a man moves
his hands for doing one thing or another and it is not normal to think
of men moving their hands for one and only one purpose, for instance
writing, though that is not impossible. Such a possibility, Avicenna says,
is expressed in a proposition like 'Sometimes: when every man moves
his hand, then every man is writing'.
CHAPTER FIVE
279; 280 and 281, 1-2. The negative connective proposition is defined as
that in which we deny the following of the consequent from the antece-
dent. We are reminded here that the relation of following is divided into
chance connection and formal implication. Thus, A vicenna says, we
250 THE PROPOSITIONAL LOGIC OF AVICENNA
can use the negative fonn either (a) to deny chance connection, and this
happens when the proposition in question expresses formal implication;
or (b) to deny formal implication which is the case with propositions
expressing chance connection. Then he talks about universal negation.
If we are universally denying chance connection, then what we are stating
is that under no condition can the antecedent and the consequent be true.
281, 3-16 and 282, 1-8. The question asked is whether in propositions
expressing chance connection the negation of implication can be univer-
sal. E.g. in a proposition like 'If man exists, then void does not exist'
where we have a true chance connection (knowing that in Avicenna's
philosophy void is taken to be non-existant) can we universally deny
implication and say 'Never: if man exists, then void does not exist'? The
reason for asking the question is that under some conditions which we
may add to the antecedent, the consequent might then follow by implica-
tion; and of course in such cases we cannot say that under no condition
the consequent can be formally implied by the antecedent (which is what
universal negation means). Avicenna's answer to this is simple. He says
in such cases and whenever we intend to make a universal negation of such
propositions we add to the antecedent a new proposition in which all
such conditions are negated.
282,9-16 and 283, 1-9. The question now is whether we can universally
negate a false connection, i.e. a proposition whose antecedent is true and
consequent false, such as 'If this is a number, then it is a line'. It should be
remembered here that the universal negation of a connective proposition
is obtained if under no condition will the consequent follow from the an-
tecedent. Avicenna says that one can think of some conditions under
which the consequent in the above example would follow from the
antecedent, namely when we take number to be the extremity of the plane.
The above example will then be understood thus: 'If this is a number and
it is the extrimity of the plane, then it is a line'. Such an example, A vicenna
thinks, would be a counterevidence for the view that false connective
proposition can be universally negated.
283, 10-18; 284 and 285, 1-4. The subject under discussion now is the
universal separative proposition. First Avicenna talks very briefly about
COMMENTAR Y BOOK V 251
285,4-16; 286; 287 and 288,1-2. The topic has changed, and Avicenna's
concern here is with indefinite separative propositions which have uni-
versal antecedents and consequents (whether affirmative or negative).
Avicenna starts voicing doubt as to whether we can make statements of
the type 'Either A is B or Cis D' or 'Either none of A is B or none ofC is
D' at all. He does not state clearly the reason behind this doubt; but goes
on to say that the problem arises mostly in connection with those cases
252 THE PROPOSITIONAL LOGIC OF AVICENNA
where the antecedent and the consequent have one common subject -
such as 'Either every A is B or every A is C'. In this case Avicenna's
doubt as to the possibility of ever having a true statement of this form
seems to be based on the following: If we were at all sure that for every
instance of A the alternatives are necessarily that it is either B or C and
nothing else, then what we do is to put the subject of the antecedent and
consequent ('A') before the word 'either', in which case we say 'Every A
is either B or C'. In case we are not sure of this, what we say is 'Either every
A is B or every A is C or some A is B and some A is C'. In spite of all this
Avicenna still thinks that we can make statements like 'Either every A
is B or every A is C' even though it is not certain that the alternatives
for A is that it is necessarily B or C. His main argument is that the truth
of some statements sometimes depends on the context in which they
occur. E.g. In a context where it is taken for granted that the actor in any
event is one, one can correctly argue that either every action is determined
by God or every action is determined by man. In which case the limitation
of the alternatives into two is correct in so far as the previous belief is true.
He also says that the truth of a proposition sometimes depends on a wide-
ly-accepted opinion and need not be true in itself. Thus one would accept
as true a separative proposition in which the alternatives are limited into
two even if that is based on a widely-accepted opinion. (See also the Com-
mentary on 289 and 290).
288, 3-19 and 289, 1-2. This and the succeeding passage deal with
particular separative propositions. It is clear, he says, that the particular
quantifier can be applied in cases where separative propositions express
incomplete conflict (where both the antecedent and the consequent may
be false). 72 When we say for example 'Sometimes: either A is B or A is C'
what we are saying is that A might neither be B nor C. A vicenna discusses
another case where the particular quantifier can be applied to separative
propositions. E.g. if the possibilities for A is that it either be B or C or D
and that in a certain context or as a result of some assumption we make
one of the propositions can no longer be contemplated, then we can say
that sometimes either A is B or A is C.
289,3-19 and 290. The question now is about the occasions or situations
in which one can construct particular propositions with universal ante-
COMMENTAR Y BOOK V 253
291 and 292. Avicenna does not discuss modal conditional propositions
except very sketchily, and these lines are all that he had to say about the
subject. 75 He first says, without giving reasons for rt, that the appropriate
thing to do is to discuss modality only with regards to connective proposi-
tions. Then he explains that a connective proposition is modal not because
its parts are so. What we describe as necessary, possible ... etc. is the
judgement that a certain consequent follows from a certain antecedent. 76
Saying this he goes on to explain what is meant by the modal notion
'necessity'. A universal connective, according to him, is necessary if the
consequent follows (in any of the senses of following) the antecedent
every time we posit the antecedent and so long as the antecedent remained
posited. The only objection that might be raised is to say that in the case
of the universal connective which expresses chance connections, the
connection between the antecedent and the consequent must be necessary
and cannot be otherwise. His answer is that there is nothing necessary
254 THE PROPOSITIONAL LOGIC OF AVICENNA
1 A. Badawi (ed.), Man.tiq Aris!u, Vol. I, pp. 197 and 216; also pp. 177 and 179-80 (Prior
Analytics, I, 45b16, 50a16, 40b25 and 4Ia22-40). However, in the translation of the Topics,
Abii 'Uthman al-Dimashq"i (ca. 860 - ca. 920) renders of E~ ()JtOetcrEw~ cruAAOYlcrl.lOi as
qiyiisiit al- Wa(i' (Man.tiq Aris!u, Vol. II, p. 500). Cf. the Arabic text of the Posterior Analytics
where ()Jt6eml~ is translated as al-a~1 al-mawgu'. (Ibid., Vol. II, pp. 315,340,366 and 390.)
The first thing to be said is that though the Arabic translation of the Prior Analytics, done
by Tadhar"i (ca. 790 - ca. 850) is an early one, it was selected by Abii Bishr Matta (ca. 870 - ca.
940), the translator of the Posterior Analytics, from among several others as the standard
translation of the Aristotelian text. (See Walzer, Greek into Arabic, p. 78.) The second point
concerns the importance and relevance of the Prior Analytics to our subject vis-a-vis the
other two texts. For it was in their commentaries on this book that Peripatetic philosophers
discussed the subject of conditional propositions and inferences. It is important to note here
that Abu BishT Matta, who commented on the Prior Analytics, is reported by Ibn al-Nadlm
(al-Fihrist, p. 264) to have written a book entitled al-MaqiiYls al-Shar!iyya (Conditional
Syllogisms).
2 See also below for what might seem to be another reason for such rendering. It should be
noticed here that Aristotle's Organon is one of the very few translations of logical works
from Greek that survived in Arabic.
3 Man!iq al-Mashriqiyyin, p. 61. This of course shows that shar!iyya for him means con-
ditional.
4 Ibid. It is of course clear that the same argument is true of separative propositions. For
to say 'Either the sun has risen' is not a complete statement; nor if you say 'Or it is dark'. Cf.
what Avicenna says on this point in al-Qiyiis 236; also 289-90.
5 Man!iq al-Mashriqiyyin, p. 61.
6 Cpo Bergstriisser (ed.), Hunain Ibn Ishaq, Ober die syrischen und arabischen Galen-Ober-
setzungen, p. 48, where the title of a logical work of Galen is translated F/'I-Qiyiisiit al-
Wa(i'iyya (On Hypothetical Syllogisms).
7 Ibid. Another name given to the 'If - then' proposition in Man!iq al-Mashriqiyyin (ibid.)
is al-majiiziyya (the figurative). This, Avicenna claims, is the name given to it by the Orien-
tals. Cpo al-Ya'qiibi's Tiirikh, ed. by M. Th. Houtsma, Leiden 1883, Vol. I, p. 104, where an
'If - then' proposition is given the same name. Al-Ya'qiibl's example of al-wa4' (hypothesis)
is "Let this landed estate be an endowment to the poor" (takunu hiidhihi al-4ay'atu waqfan
'alii al-masiik'in), ibid.
BLoc. cit.
9 Alexander of Aphrodisias, Commentarium in Aristotelis Analyticorum Priorum Librum I
(ed. by M. Wallies), Berlin 1883, pp. 262-63.
COMMENT AR Y BOOK V 255
In the predicative proposition the relation is that of belonging, while in the conditional it is
either that of following or of conflict. For an analysis of the last two relations see below.
24 Aristotle, De Interpretatione, 17aI-6. The translation here is from J. L. Ackrill's Aristo-
tle's Categories and De Interpretatione, Oxford 1962.
25 Other examples are commands and questions.
26 From the opening lines of this chapter it is clear that predicative and conditional prop-
ositions are the only statement-making sentences which Avicenna recognizes.
27 For Aristotle's position see A. J. Ackrill's commentary on the above passage from
Aristotle in Aristotle's Categories and De Interpretatione, pp. 124-25. A modern attack on
such theories of meaning as we find in Avicenna is found in W. V. Quine, Philosophy of
Logic, Englewood Cliffs, New Jersey, 1970, Ch. I.
28 "The primary occupation of a logician as a logician is not with words, except in so far as
conversation and debate are concerned", Avicenna stresses. "And if it were possible to learn
logic by a simple idea, where only meanings are observed, then that would be sufficient. And
if it were possible for the debater to inspect what is in his soul by other means, then that
would dispense completely with the word. But since necessity requires the use of words,
especially since it is difficult for reflection to order meanings without imagining with them
the corresponding words - and reflection is almost an inner conversation between man and
himself through imagined words - it is inevitable that words, which have different states,
will affect the states of those corresponding meanings in the soul, and as a result they
(meanings) will have certain characteristics which would not exist but for the words.
Therefore, it was necessary that parts of the art of logic be a study of the states of words."
Al-Shifii', al-Madkhal, pp. 22-23.
29 AI-Qiyiis,235-36.
30 Al-'Ibiira, British Museum MS. Or. 7500,40'.
31 G. H. Von Wright, Logical Studies, London 1957, p. 131.
32 Ibid.
256 THE PROPOSITIONAL LOGIC OF AVICENNA
33 Ibid., p. 135.
34 Cpo Alexander of Aphrodisias, op. cit., pp. 264-65.
35 1. W. Stakelum, Galen and the Logic of Propositions, Rome 1940, pp. 39-40.
36 Ibid., p. 40.
37 1. S. Kieffer, Galen's Institutio Logica, p. 13.
38 Ibid.
41 Perhaps 'If not p, then q' is also considered by these people as a negation of the connec-
tive proposition 'If p, then q'.
42 Probably the doctrine was held by later Platonists who took Plato's identification of
connection with affirmation and separation with negation (the Sophist) as a starting point
for developing a theory on the nature of conditional propositions to encounter Peripatetic
and Stoic theories on the subject.
43 Galen's Institutio Logica (1. S. Kieffer's translation), Ch. III, I.
44 The reader realizes that 'If p, then q' is equivalent to 'Either not-p or q' only if we take
the second to be of the kind where both the antecedent and the consequent can be true. And
that 'If p, then q' is equivalent to 'Either p or not-q' if in the latter both parts can be false.
45 See below pp. 234~38.
46 Cf. 1nstitutio Logica, Ch. V. Galen did not include the paradisjunctives in his general
division of separative propositions (see Ch. III), but later on he gave a definition of the para-
disjunctives and compared them with the two kinds of separative propositions he first
introduced.
47 Ch. V, 2 and VI, 3.
50 In fact the word i;m;i is a conjecture of Prantl and does not exist in the text. Prantl's
conjecture, however, is based on Diogenes' distinction between Et and EnEi (see below).
Further support for Prantl's conjecture can be found in Sextus Empiricus' Adv. Math., VIII,
109.
51 Institutio Logica, III, 22.
52 Diogenes Laertius, Lives of Eminent Philosophers, (trans. by R. D. Hicks), The Loeb
Classical Library, London and Cambridge, Mass. 1965, VII, 71 ff.
53 Ibid., VII, 66-()7.
54 1. Stakelum, Galen and the Logic of Propositions, p. 19.
55 1. L. Ackrill, Aristotle's Categories and De Interpretatione, p. 126.
56 AI-Fiiriib'i, Shar~ Kitiib al-'Ibiira, p. 54.
51 The Avicennian al-Luzum is the formal implication of modern logic. For him al-Luzum
indicates the dependence of the consequent on the antecedent. We can show that such a de-
pendence exists between the antecedent and the consequent if, for example, the antecedent
is shown to be a cause and the consequent its effect.
58 In al-Ash'ar'i's Maqiiliit al-IsliimiYYln (ed. by H. Ritter), Vol. I, Istanbul 1929, p. 204,
COMMENTAR Y BOOK V 257
al-Jubbii'J (d. 915/916) is said to have claimed that "If an impossible (mu~ii~ is connected
(wu~ila) with an impossible the speech will be true". The example given is "If(law) at a cer-
tain state the body were moving and at rest, then it would be possible that in (this) state it
would be alive and dead". Notice the use of the word wu~ila, since Avicenna calls the 'If ~
then' proposition mutta~ila.
59 See al-Qiyiis. 376~79.
60 This view applies also to the other kinds of separative propositions which Avicenna deals
with: the one which does not exclude the possibility of having both its parts false and that
which could have both its parts true.
61 See next passage.
62 He seems to imply here that this is why chance connection is regarded as a relation.
63 It should be noted that none of these forms can be compared with the first premiss of a
homogeneous non-simple argument mentioned in Sextus' Against the Logicians, II, 229~33:
"If it is day, then if it is day then it is light." Needless to say that Avicenna's simple and com-
pound conditionals do not correspond to the atomic and molecular propositIOns men-
tioned in Sextus, op. cil .. II, 93. See also Diogenes' Lives olEminent Philosophers, VII, 68.
64 This form is not in the text.
70 As a matter of fact the falsity of the antecedent indicates the truth of the connective
common subject. .
74 Avicenna like Aristotle believed that the universe is finite.
75 At one point he promised to discuss it in detail in al-Lawii~iq, a book which he never
wrote.
76 Of course the antecedent and the consequent themselves might be modal, but their
modality has no bearing on the modality of the connective proposition of which they are
parts.
BOOK VI
CHAPTER ONE
when the middle is the antecedent of both premisses, this becomes the
third figure:
If q, thenp
and if q, then r
therefore, if p, then r.
If p, then q
if q, then r
Therefore, if p, then r
are true, and that any chance connection between any two of the three
parts is true. (One such connection would be 'if p, then r'.) Another point
he makes is that in the first figure there can be no syllogism when the
minor premiss is an implication and the major a chance connection and
vice versa.
CHAPTER TWO
This chapter deals exclusively with those syllogisms which have one
260 THE PROPOSITIONAL LOGIC OF AVICENNA
CHAPTER THREE
CHAPTER FOUR
Here the discussion turns to those syllogisms which have one of their
premisses a connective proposition and the other a predicative proposi-
tion. The middle term, through which the conclusion is reached, is to be
established between the predicative premiss and, the antecedent of the
connective proposition or its consequent. This chapter deals with the
second case, viz. the one in which a middle term is established between
the predicative premiss and the consequent of the connective. Now the
predicative premiss can either be the minor or the major premiss, and so
Avicenna treats the different syllogisms which arise in both cases. For
everyone of them there are three figures, and these are the three figures of
the predicative syllogism; since the propositions in which the middle
term occurs are predicative propositions. The first figure is where the
middle term is the predicative of the minor and the subject of the major,
the second where the middle term is the predicate of both propositions
and the third where the middle term is the subject of both. The different
moods are determined by the quality and quantity of the propositions
in which the middle term occurs.
CHAPTER FIVE
CHAPTER SIX
Under what he calls the divided syllogism, four different kinds of infer-
ences are discussed.
(a) The syllogisms which consist of a predicative proposition (the
minor premiss) and a separative proposition (the major premiss). Two
conditions are stipulated. First that the separative premiss must express
complete conflict; and secondly, that the parts of the separative premiss
(which are themselves predicative propositions) must share one of their
parts - the subject or the predicate. For this kind of syllogism only two
figures are productive, the first and the third. The first is:
Cis B
and B is either H or Z
therefore, C is either H or Z.
The other productive figure, which he calls the third for the simple reason
that the middle term is the subject of both premisses has the following
schema:
B is C
and B is either H or Z
therefore, C is either H or Z.
The only mood which he discussed in connection with the first figure is
that in which both premisses are universal affirmative. The other figure
is not discussed.
(b) This is the kind of syllogism which consists of a separative premiss
and more than one predicative premiss. The condition for such a con-
struction is that the parts of the separative premiss, which as before con-
sists of predicative propositions, share one of their parts (the subject or
the predicate). The second requirement is that the separative premiss
must express complete conflict. Now with (b) two cases are taken into
consideration. The first is where the predicative premisses share one
of their parts, the subject or the predicate; and the second where these
propositions have nothing in common. In the first case three figures are
established. The first is:
B is either C or H or Z
and C, Hand Z are A
therefore, B is A.
COMMENTAR Y BOOK VI 263
As usual Avicenna considers also the quality and quantity of the prem-
isses and gets four different moods for this figure. The second figure is:
B is either C or H or Z
and A is C and Hand Z
therefore, B is A.
F or this figure Avicenna establishes only three moods. The third figure is :
Either C or H or Z is B
and C and Hand Z are A
therefore, B is A
There seems to be only four moods for this figure. There are also three
figures in the second case where the predicative premisses do not have
anything in common. The first figure is:
o is either C or B
and C is Hand B is Z
therefore, 0 is either H or Z.
The second figure has eight moods. Here the sharing occurs between the
consequent of the connective premiss (which is itself a separative proposi-
tion) and the separative major premiss. What is common to both these
separative propositions is that the predicate of their antecedents and also
that of their consequents are identical:
If C is B, then H is either Z or D
and A is either Z or D
therefore, if C is B, then H is A.
(d) The last kind consists of two separative premisses. The first figure
is:
Either C is D or H is D
and D is either B or A
therefore, either C is D or H is B or A.
Either C is D or C is H
and either D or H
therefore, Cis A.
There is an interesting remark which he makes at the beginning of the
chapter where he tries to point out briefly the similarities and dissimilar-
ities between this kind of syllogism and what he calls induction or induc-
tive reasoning. Like Aristotle before him (Prior Analytics, II, XXIII)
Avicenna sees induction as being syllogistic in nature. Avicenna's ex-
ample for induction is this:
nor premiss is convertible. From what A vicenna says it is clear that that
is not always the case. For this reason a distinction between complete and
incomplete induction is introduced. In the first case a complete enumer-
ation of the particulars should be given but this is not so in the second. (Al-
Qiyas, 557-67.) This brings us back to the divided syllogism which is said
to consist also of several predicative propositions and a separative ex-
pressing complete conflict. This in simple words means that the separa-
tive premiss enumerates all the possibilities. And that is nothing but what
he calls complete induction. But he still does not want to call it complete
induction because, as he says at the outset, in the divided syllogism the
predication is real while in the case of inducation (complete or incom-
plete) it is not. What is puzzling is that this last point is not made at all
in Avicenna's account of induction. All he says there is that induction is
a generic name which refers to both the complete and the incomplete
kinds, while the label 'divided syllogism' specifies the syllogism as being
that in which the specific cases mentioned in the separative premiss are
all the possibilities we have. (Al-Qiyas, 55?)
BOOK VII
CHAPTER ONE
The whole of Book VII deals with a new subject and that is the so-called
immediate inference. In so doing A vicenna is in fact following the same
method which Aristotle used in treating predicative propositions. First
of all A vicenna makes it clear that he intends to deal only with necessary
conditional propositions. And among them only those whose parts
(antecedent and consequent) are quantified. Then he proceeds with his ac-
count of the kind of inferences that can be established in this way. One
such inference is that of getting the universal affirmative connective from
the universal negative one. (Whatever quantity and/or quality their
antecedents and/or consequents may have.) As Avicenna puts it, to turn
the universal negative into a universal affirmative, (a) we change the
quality from affirmation to negation while keeping the quantity (univer-
sality); and (b) while the antecedent of universal negative is kept as it is,
the consequent should be negated. Avicenna also adds that this is true
in case the connective expresses implication or when it is used in' a generic
sense. The same is true of connective propositions when they are particu-
lar. I.e. we can infer the particular affirmative from the particular negative,
or, to put in his words, we can turn the particular negative into particular
affirmative, by changing the equality of the first (namely turn it from a
negative into an affirmative proposition) and negating its consequent. At
the end he says that it is clear that when the universal is true, the particular
must also be true. This is of course true of those propositions which have
identical quality.
The word taliizum, used here and in the next two chapters, is translated
as 'equipollence' but could also be rendered 'mutual implication'. There
is no ambiguity as to what it means. Two propositions are said to be
'equipollent' if we can infer either one from the other. It is important to
note that 'taliizum' is only used in the context of Avicenna's treatment of
immediate inference. It is never used, as one would expect, to describe
COMMENT AR Y BOOK VII 267
the relation named elsewhere in the text (Book VIII, Ch. 1) 'complete
implication'. It should be further noted that the relation of 'equipollence'
is never stated in an 'If - then' proposition as is the relation of 'complete
implication'. Another word Avicenna uses here is rujiP, translated here
as 'reduction'. The Arabic translator of Aristotle's Prior Analytics used
rujil to translate in some places the word avnatp£<jll:tv. W. D. Ross in
Aristotle's Prior and Posterior Analytics (Oxford 1949, p. 293), gives six
different meanings for avnatp£<jll:tV as occurs in the Prior Analytics. (I)
It is used of the conversion or the convertibility of premisses. (2) It is used
in the closely related sense of the conversion or convertibility of terms.
(3) It is used of the substitution of one term for another without any sug-
gestion of convertibility. (4) It is used of the inference (pronounced to be
valid) from a proposition of the form 'B admits of being A' to one of the
form 'B admits of not being A' or vice versa. (5) It is used of the substitu-
tion of the opposite of a proposition for the proposition without any
suggestion that this is a valid inference. (6) By combining the meaning
'change of direction' (as in (I) and (2)) with the meaning 'passage from a
proposition to its opposite', we find the word used of an argument in
which from one premiss of a syllogism and the opposite of the conclusion
the opposite of the other premiss is proved.
All the references for (I) Ross gives in his index are rendered by the
Arabic translator as <aks, conversion. In all the references given for (2) the
Arabic word used is rujij< except in 57b32-58b12 where both <aks and
rujil are used. (3) and (4) are always rendered ruji/. (5) becomes some-
times (45b6) rujil but mostly <aks, while (6) becomes <aks. (4) is very close
to the usage of rujll in this chapter; and to avoid confusion we translated
it as 'reduction' and kept 'conversion' for <aks. It should be noted that in
Aristotle's Categories 1tp6~ avncrTp£<jlOVTU A£YI:Tat is translated tarj{'u
ba<~uhumii <alii ba<~in fi 'l-qawli bi'l-takiifu>i. See p. 235.
CHAPTER TWO
CHAPTER THREE
This chapter treats only the conversion of the connective premiss. And
the two kinds of conversion treated are the conversion simpliciter and
conversion contrapositionem. In the first the antecedent and the conse-
quent exchange their places without touching the quality or the quantity
of the main proposition or its parts. In the second the conversion is ac-
complished by keeping the quality and quantity of the proposition the
same but this time both the antecedent and the consequent are the contra-
dictories of the antecedent and consequent of the original proposition. 2
NOTES
is called the second figure; or the subject of both, and this is called the
third figure. All the figures in (a) and (b) are divided into moods according
to the quantity and the quality of the premiss.
In the case of the exceptive syllogism, the minor premiss is a con-
ditional proposition, and the major is a predicative proposition. We
start first with the syllogisms in which the conditional premiss is a connec-
tive proposition. As we explained before, the connective proposition
reveals either complete or incomplete connection. In case it reveals com-
plete connection, we will have the following moods.
(1) If A is B, then C is D,
but A is B,
therefore, C is D,
(2) If A is B, then C is D,
but C is D,
therefore, A is B.
(3) If A is B, then C is D,
but A is not B,
therefore, C is not D.
(4) If A is B, then C is D,
but C is not D,
therefore, A is not B.
The moods when the connective proposition expresses incomplete con-
nection are the following:
(5) If A is B, then C is D,
but A is B,
therefore, Cis D.
(6) If A is B, then C is D,
but C is not D,
therefore, A is not B.
What if the conditional premiss is a separative proposition? The reader
remembers that A vicenna has three kinds of such proposions. The first
he calls the real separative. This is true when one of the parts is true and
the other is false and false otherwise. He says that there are two moods
when the real separative is compounded of two parts. These are:
(7) Either A is B, or C is D,
272 THE PROPOSITIONAL LOGIC OF AVICENNA
but A is not B
therefore, C is D.
or
Either A is B or C is 0
but C is not 0,
therefore, A is B.
(8) Either A is B or C is 0,
but A is B,
therefore, C is not D.
or
Either A is B or C is 0,
but C is 0,
therefore, A is not B.
In case the real separative has more than two parts we will have two
moods.
(9) Either A is B or C is 0 or E is F,
but A is B,
therefore, C is not 0 and E is not F.
However, Avicenna adds, one can also conclude Therefore, not: either
C is 0 or E is F.
(lO) Either A is B or C is 0 or E is F,
but A is not B,
therefore, either C is 0 or E is F.
In this case we, for the second time, deny any of the parts, saying for
example 'But C is not 0' and conclude that "E is F.
The second kind of separative premisses are those in which both parts
can be true. In this case we get one mood.
(II) Either A is B or C is 0,
but A is not B,
therefore, Cis D.
or
Either A is B or C is 0,
COMMENT AR Y BOOK VIII 273
but C is not D,
therefore, A is B.
The third kind of separative premisses are those in which both parts
may be false. These propositions, Avicenna claims, are not used in sci-
ence. From such premiss we get one mood.
(12) Either A is B or C is D,
but A is B,
therefore, C is not D.
or
Either A is B or C is D,
but C is D,
therefore, A is not B.
To help the reader compare Avicenna's list with that ofChrysippus we
will give here the five indemonstrable arguments attributed to the latter.
(1) If the first, then the second.
The first.
Therefore, the second.
(2) If the first, then the second.
Not the second.
Therefore, not the first.
(3) Not both the first and the second.
The first.
Therefore, not the second.
(4) Either the first or the second.
The first.
Therefore, not the second.
(5) Either the first or the second.
Not the first.
Therefore, the second.
(See Benson Mates, Stoic Logic, pp. 67-74.) Galen says that Chrysippus'
(1) and (2) are syllogisms "deriving from complete consequence 'tEAf:la
UKoAou8ia" " and that (4) and (5) are syllogisms deriving "from complete
conflict". (Institutio Logica, XIV, 11; Kieffer's translation.) Galen does
not say what is meant by complete consequence, and as it stands the
274 THE PROPOSITIONAL LOGIC OF AVICENNA
phrase does not tell us how Galen wants us to interpret Chrysippus' (1)
and (2). If, however, we understand complete consequence to mean what
Avicenna calls complete implication, then it is easy to see that Chrisippus'
(1) and (2), as Galen sees them, would correspond to Avicenna's (1) and
(4). We have shown earlier that complete conflict means the same thing
for both Galen and Avicenna (see pp. 222-24). Surely, then? Crysippus'
(4) and (5), as Galen understands them, would be similar to Avicenna's
(8) and (7) respectively. Galen condemns (3) as "useless for demonstra-
tion" (ibid., XIV, 8) and adds that it should be understood as a syllogism
"from deficient conflict". (Ibid., XIV, 11.) He says that unlike the case in
complete consequence and conflict, the second premiss in the syllogism
from deficient conflict can only be affirmative (ibid.). This corresponds
with Avicenna's (12). Then in Chapter XV (see the different interpreta-
tions given to it by Kieffer and Mau) Galen adds two more syllogisms to
the above five. In the sixth the first premiss is a paradisjunctive (where all
the parts can be true) consisting of more than two parts. Here we deny
one of the parts producing a separative proposition consisting of all the
others. In the seventh we deny everyone of the parts but one, producing
the one we did not deny. There is nothing in Avicenna's list which corre-
sponds to any of these two syllogisms.
One last word about the terms ~arb (mood), mashhur (which I translate
as indemonstrable and which literally means widely-accepted) and qiyiis
(syllogism).
The use of darb here conforms with what we find in Greek sources.
Galen, e.g. says "And the dialecticians apply the name 'mood' '!p6rro~
to the schemata of arguments." Then he says that in Chrysippus' first
indemonstrable
The only difference between the above mood and Avicenna's ~arb is
that the latter replaces the numerals (first, second) by letters (A is B, C is
D).
It took me a long time to decide on a translation for mashhur. Avicenna
does not even hint at what is meant by it in this context. However, there
COMMENTARY BOOK VIII 275
NOTES
1 I.e. when the conditional proposition is the minor premiss and the predicative is the major.
Avicenna discusses also the case when the conditional is the major premiss and the predica-
tive is the minor. He gives three figures for this case also.
2 Galen, Institutio Logica, Ch. VI, 6 (B. Mates' translation). See al~o Diogenes Laertius'
Lives of Eminent Philosophers, VII, 76, where he says that a mood tp6n:o~ is a sort of outline
of an argument, like the following "If the first, then the second; but the first, therefore the
second". Cf. Sextus Empiricus' Against the Logicians, II, 227.
3 Al Shijii', al-Burhan (ed. by A. Affifi), Cairo 1956, p. 66. AI-Qiyas, pp. 453-54.
4 AI-Shijii', al-Jadal (ed. by A. Ehwani), Cairo 1965, p. 34. See al-Najat, p. 63.
5 AI-Burhan, pp. 64-66.
6 Sextus Empiricus, op. cit., II, 223.
276 THE PROPOSITIONAL LOGIC OF AVICENNA
7 (lvwto8£IKW; occurs also in Aristotle's Prior Analytics, 53b2 and 57b33. The Arabic
translation renders it ghayr mubarhana (not demonstrated). But the word there refers only
to premisses not arguments.
8 For the perfect ttA£\o~ categorical syllogism, as Aristotle calls it, to which imperfect
ones are reduced, the word A vicenna uses is kiimi!. This word occurs also in the context of
his discussion of conjunctive-conditional syllogisms as well as in his discussion of the
exceptive syllogism.
9 The term istithnii7is discussed in note 110 to the Introduction.
10 Cpo Diogenes Laertius, op. cit., VII, 78-79 and Sextus Empiricus, Outlines ofPyrrhonism,
trans. R. G. Bury, The Loeb Classical Library, London and Cambridge, Mass. 1961, II, 149.
BOOK IX
CHAPTER ONE
415-16, 1-3. Avicenna's view here is that we would not reach a conclu-
sion from any given pair of premisses unless we can show, directly or
indirectly, that the given pair are related by a middle part which com-
bines them together; and that this middle part must take the form of the
three figures explained in the section dealing with predicative syllogisms.
In Book VI the idea of the middle part arranged in three figures is directly
applied to a pair of conditional premisses as well as a combination of a
conditional and a predicative premiss. This is the syllogism called
conjunctive-conditional. The passage also claims that this is true of
reductio ad absurdum proofs. In both al-Qiyas, 408-11 and al-Najat, pp.
55-56, the reductio ad absurdum proof is explained in the following way:
Suppose that what we want to prove by reductio ad absurdum is the con-
clusion in the syllogism
Every A is C
and every C is B
therefore, every A is B.
First we construct a conjunctive-conditional syllogism thus:
If it is not the case that every A is B, then every A is not B,
and every A is C (which is the first premiss in the above syllo-
gism)
therefore, if it is not the case that every A is B, then every C is
not B.
The second step will be to detach the above conclusion and put it as the
first premiss in an exeptive syllogism:
If it is not the case that every A is B, then every C is not B,
but every C is B (which is the second premiss in the first syllo-
gism)
therefore, every A is B.
278 THE PROPOSITIONAL LOGIC OF AVICENNA
A vicenna further says that the exceptive syllogism can also be shown by
the conjunctive (which would then show that the reductio ad absurdum
proof is entirely reduced to the conjunctive). This remark seems to echo a
similar one made by Galen and Alexander of Aphrodisias. In the Insti-
tutio Logica, VII, 2-3, Galen talks of the primacy of the categorical syllo-
gism to the hypotheticals, if it is granted, he says, that the propositions of
which the first is composed are prior; "for no one will doubt that the
simple is prior to the composite". Alexander of Aphrodisias, op. cit. (pp.
262 ft), also argues that if the hypotheticals are to yield knowledge, the
second premiss must be true. And since these premisses are categorical
propositions, there truth must be established by categorical syllogisms.
(See J. S. Kieffer, Galen's Institutio Logica, p. 94.)
To prove his point, Avicenna first states that the fundamental form of
exceptive syllogism (which we use to show the others) is
If A is B, then C is D,
but A is B,
therefore C is D.
416,4-11. This passage contains a qoutation from a scholar who held the
above view but whose defence of it is not acceptable to A vicenna. As
quoted, the scholar wants to show that in the syllogism
If A is B, then C is D,
but A is B,
therefore C is D
'A is B', as occurs in the first premiss, must be in question. And the fact
that this is so, is indicated by the word 'if at the beginning of the con-
nective premiss. If 'A is B' were self-evident, the argument continues, and
so were the implication, the conclusion would be self-evident; which
means that there would be no reason to construct a syllogism to produce
COMMENT AR Y BOOK IX 279
it. From what Alexander said, loCo cit., one would add to the above that
since 'A is B' is a categorical proposition, and these are proved by cate-
gorical syllogisms, this will, supposedly, show that the exceptive syllogism
is shown by the predicative.
416,12-17, and 417,1-10. To refute the above view the passage refers us
to an earlier statement made in the book that in an 'If-then' proposition
what concerns us is not whether the antecedent is doubtful or not, but
whether it implies the antecedent or does not imply it. A vicenna also
attacks the other view made in the previous passage, namely that what is
evidently implied by what is self-evident, must also be self-evident. He
says that something may be evidently implied by another thing, which is
itself self-evident, through the mediation of a third party. In which case a
syllogism will be needed to lead us to the conclusion. He makes a further
point on this issue saying it is not one and the same thing to say that some-
thing is self-evident and to say that it is evidently implied by what is itself
self-evident. Otherwise, the first mood of the first figure, to which all the
other predicative syllogisms are reduced, would not give us any new
information. From his point of view this would amount to saying that
it would not be a syllogism.
Another interesting remark made in the passage concerns the view
that the predicative syllogism can be constructed as an 'If - then' prop-
osition where the two premisses of the predicative become the antecedent
and its conclusion the consequent. As this and the succeeding passages
show, any view we may hold as to the nature of the logical process in one
of them, can be readily said of the other.
417, 10--15. The point made here is not directly relevant to the above
discussion. Avicenna simply says that the implication of the consequent
(conclusion) by the antecedent (the premisses) may not be evident but is
shown by some proof. In such a case the implication will also be con-
clusive.
417,15-16; 418 and 419. Here he seems to agree with the view that what
is evidently implied by self-evident premiss(es) is self-evident. He says that
in the proposition 'If A is B, then C is 0', 'A is B' is self-evident and so is
the implication. He adds that when 'A is B' comes to one's mind, it will
280 THE PROPOSITIONAL LOGIC OF AVICENNA
come as a true assertion from which we will evidently reach 'C is D'. To
assert 'A is B' again, he says, will not give us any new information. This
applies also to the syllogism from predicative premisses. When we bring
to our minds the premisses 'Every C is B' and 'Every B is A' they will lead
us directly to the conclusion without asserting them again. The important
question that one would raise here is whether he does not consider the
"exceptive syllogism" as a syllogism. The answer to this will emerge from
what follows.
420-24, 1-5. The question he assumes that one would raise is whether the
second premiss in any syllogism is redundant. There are two kinds of
redundant discourse, the passage explains. One can say that a statement
is redundant (a) if it had been implicitly stated in what one said earlier;
and so to state it again will be a repetition of the earlier statement. Or (b)
when the verbal utterance is not needed though the meaning which the
utterance expresses is. In this case the utterance will be called redundant.
This happens, e.g. when one says 'Every B is C' and then concludes that
'Every B is A'. To be able to follow the argument, the hearer must bring
to his mind the other concealed premiss, which is 'Every C is A', though
he needs not utter it, for the utterance here is redundant. Avicenna then
adds that the second premiss in a predicative syllogism can only be re-
dundant in the sense (b); while the second premiss in the exceptive syllo-
gism is redundant in the sense (a). But in the case of the exceptive syllo-
gism this is so only if the antecedent of the 'If - then' premiss is self-evi-
dent. If not, then the assertion of the antecedent will be necessary to lead
to the conclusion; and the argument formed from the 'If - then' proposi-
tion as a first premiss and the assertion of its antecedent as the second
premiss will be conclusive. To Avicenna, the antecedent not being self-
evident means that it is in need of a proof, and that proof must take the
form of a conjunctive syllogism. Therefore, he concludes, the exceptive
syllogism will be reduceable to the conjunctive!
424, 6-17, and 425. Just before the end of this passage Avicenna states
clearly the point in all he says here and this is that the implication of the
contradictory of the antecedent from the contradictory of the consequent
does not become evident except by the one where we imply the consequent
after asserting the antecedent. (See p. 271.) In the latter case the im-
COMMENTARY BOOK IX 281
plication is self-evident, but not so in the first. Since it has been shown
before that the latter is shown by the conjunctive, this will also be true
of the first. There is no clear reason why the proposition in which we
imply the contradictory of the antecedent from the contradictory of the
consequent is not evident. At the beginning of the passage, however, it is
said that these propositions are used in the reductio ad absurdum proofs.
In such proofs the truth of the first part of the 'If ~ then' proposition (the
contradictory of the consequent) is in question, i.e. not self-evident.
Also, he adds the implication itself will not be evident but shown by
using a conjunctive syllogism. (See p. 277.)
NOTE
1 In the Institutio Logica, Vlll. 2, Galen speaks of the case in which we assume the con-
tradictory of the consequent and assert the contradictory of the antecedent. stating clearly
that it is not primary and needs demonstration.
GLOSSARY
Such as 'If p, then q; but p, therefore q'. Possibly a translation ofKutu .).lEtUAT]\II1V. See
note 110 to the Introduction. (AI-Qiyiis, 389-407.)
ittibii( Following uKoAou9iu ? A general term used to designate the relation between the
antecedent, muqaddam, q.V. and the consequent, tiill, q.v. of an 'If - then' proposition.
It is divided into luziim, q.v. and ittifoq, q.v. See p. 226.
ittifaq. Chance connection. A term used in the text to show that the subject-matter of the an-
tecedent, muqaddam, q.V. and the consequent, tiill, q.v. of an 'If - then' proposition is
not related in any way and that both parts, juz', q.v. should be true propositions. See
p.226.
itti~iil niiqi~, opp. itti,~iil tiimm, q.v. Deficient connection. It designates an 'If - then' proposi-
tion which is false when the antecedent, muqaddam, q.v. is true and the consequent, tiill,
q.v. is false, and true otherwise. May be the same as what in the Inst. Log. Galen calls
i:i.i.I1ti]; ul\OAo9iu. See pp. 224 and 271. Synonymous with itti~iil ghayr tiimm (incom-
plete connection). Interchangeable with luziim niiqi~ (deficient implication) and luziim
ghayr tiimm (incomplete connection).
itti,~iil tiimm, opp. itti~iil niiqi~, q.v. Complete connection. The same as the relation called
by modern logicians 'equivalence' in which the connective proposition is true when both
its parts are true or both are false, and false otherwise. See pp. 224 and 271. May be the
same as what in the Inst. Log. Galen calls T£A£iu ul\oi.olJ9iCh.lnterchangeable with luziim
tiimm (complete implication).
jazii'. Apodosis. The second part, juz', q.v. of an 'If - then' proposition which expresses
what in modern logic is called 'formal implication', luziim, q.v. Correlative with shar!,
q.v. (see tiill). Interchangeable with liizim, q.v. Cf. pp. 226-27 where an account of Greek
terminology is given.
juz'. Part. Meaning the antecedent, muqaddam, q.v. or the consequent, tiill, q.V. of a con-
ditional proposition, shariiyya, q.v. of any type. Also the subject and predicate of a
predicative proposition, ~amll, q.v. See ~add. Cpo note I to Book VI, Chapter One,
al-Qiyiis, 232 and 255 If.
liizim. Implicate. Correlative with malziim, q.v. Interchangeable withjazii', q.V.
luziim. Implication. Refers to the relation in an 'If - then' proposition when the subject-
matter of its parts, juz', q.v. is related. See p. 226.
luziim ghayr tiimm. Incomplete implication. See itti~iil niiqi~.
luziim niiqi~, opp.luziim tiimm, q.v. Deficient implication. See itti~iil niiqir
luziim tiimm, opp.luziim niiqir Complete implication. See itti~iil tiimm.
malziim. Implicant. Correlative with liizim, q.v. Interchangeable with shar.t, q.V.
mashhiir. Indemonstrable UVU1t60£ll\tO~? As in Sextus' Ag. the Log. when it refers to argu-
ments or moods, ~arb, q.v. But when it describes propositions 'mashhiiriit, it means
widely-accepted. See pp. 274-75.
manfa~ila. A separative proposition OtalpEtlKai 1tpotucr\(;. A general term for the 'Either-
or' proposition. Galen's Insf. Log. describes it as a Peripatetic term. See p. 234.
munfa~ila ghayr ~aqlqiyya, opp. munfa~ila ~aqlqiyya, q.v. Unreal separative proposition. A
general term which describes the 'Either - or' proposition (a) when both its parts,juz', q.v.
are false TWPU1t).i]crlu OI£~£V(Iii:VOt; and (b) when both its parts are true 1tapa01E~
WYIi£vov. Avicenna has no special names for (a) and (b) as we find in Galen's Inst. Log.
for example. See p. 234.
munfa~ila ~aqlqiyya, opp. munfa~i1a ghayr ~aqlqiyya, q.v. Real separative proposition
OtatPEtlKUi 1tpotacrt~as, e.g. in Galen's Inst. Log. It refers to the 'Either- or' proposition
which is true when one of its parts,juz', q.v. is true and the other false, and false other-
wise. See p. 234.
GLOSSAR Y 285
muqaddam. Antecedent. The first part, juz', q.V. of a conditional proposition, shar!iyya,
q.v. of either type. Correlative with tiill, q.v. (see sharr) Cf. pp. 226-27 where there is also
an account of Greek terminology.
mushtarak. Shared. Designates the middle term or proposition in a syllogism, qiyiis, q.v.
Very likely a translation of UIl<P01EPO~ which occurs in Galen's Inst. Log. See note I to
Book VI, Chapter One. See also in particular al-Qiyiis, 419, 3. See yashtarik.
mutta~ila. A connective proposition KU'teJ. O'UVEXElUV. A general term for the 'If - then'
proposition. It is described in, e.g. Galen's Inst. Log. as a Peripatetic term. See p. 216.
mutta~ila ~aq'iqiyya. A real connective proposition. See 'ala'l-ta~q'iq.
qa(liiyii mutaradidatu 'l-a~wiil. Indeterminable propositions. I.e. propositions which can be
treated as conditional, sh(lr!iyya, q.v. or predicative, ~amll, q.V. See pp. 226 and 241-42.
qiyiis. Syllogism O'u)),OY10'IlO;. Used in the text to refer to inferences which involve at
least two premisses (apart from the conclusion). It applies not only to arguments in which
the Aristotelian idea of the middle term is used, but also to arguments of the type attri-
buted to Chrysippus, istithnii'1, q.v. In so extending the use of the word 'syllogism' Avi-
cenna is possibly following the footsteps of the Aristotelian commentators. See pp. 275
and 216-17.
qiyiis kiimil. Perfect 'ttAclO~ syllogism. I.e., to which others (imperfect ones) are reduced, and
which is itself not reduceable to any other syllogism. Apart from its use in Avicenna's
treatment of predicative syllogism, ~amll, q.v. one finds it used in the sections dealing
with conjunctive-conditional syllogisms, iqtiriin'i, q.v. and the exceptive syllogism,
istithnii'i, q.v. See p. 275.
qiyiis muqassam. Divided syllogism. In it a middle term, ~add, q.v. joins an 'Either - or'
premiss, whose parts, juz', q.v. share, yashtarik, q.v. their subjects or predicates, with
one or more premisses of any type. It is compared in the text with induction, istiqrii', q.V.
See pp. 262-65.
rujii'. Reduction. It is the process by which we infer, e.g. the proposition 'Always: when
every A is B, then not every C is D' from 'Never: if every A is B, then every C is D'. In the
Arabic translation of Aristotle's Pr. An. the word rujii' translates UV'tl0''tPE<pE1V in,
among other places, 32a30 and 36b38, where the Greek word refers to a process like the
one we mentioned. To avoid confusion we translated it 'reduction' and kept 'conversion'
for 'aks, q.v. See p. 267.
shakl. Figure O'villa. Used with the predicative syllogism, ~amll, q.V. (as in Aristotle's
Pr. An.) as well as the conjunctive-conditional, iqtiriinl, q.V. and the divided, qiyiis muqas-
sam, q.v. syllogisms, to differentiate the syllogisms, within each type, according to the
placement of the middle part (term or proposition), ~add, q.v. It is not used, however, to
refer to the Chrysippian type of arguments, as we find in Galen's Inst. Log. See (larb,
also p. 274.
sharr. Protasis. Describes the first part, juz', q.V. of an 'If - then' proposition when it ex-
presses formal implication, luziim, q.v. Correlative with jazii', q.v. (see muqaddam). Cf.
pp. 226-27 where there is an account of Greek terminology. Interchangeable with
malziim, q.V.
shar!iyya. Conditional. Describes propositions: 'If - then' and 'Either - or', as well as
syllogisms in which at least one premiss is a conditional proposition. See wa(i'iyya; also
pp. 215-16 for the question of its Greek equivalent. Cf. also pp. 219-21.
shar.tiyya bas~ta, opp. shar!iyya murakkaba, q.v. Simple conditional proposition in which
the antecedent, muqaddam, q.v. and the consequent, tiill, q.V. are predicative, ~amll, q.v.
propositions. See pp. 239-40.
shar!iyya mukhtala!a, opp. shar!iyya ~irfa, q.v. Mixed conditional syllogisms. It is not clear
286 THE PROPOSITIONAL LOGIC OF A VICENN A
whether it means syllogisms in which the premisses are a mixture of 'If - then' and 'Either
- or' propositions or of a conditional, shar.tiyya, q.v. and a predicative, ~amll, q.v. prop-
osition. See p. 217, also pp. 218-19 where it is compared with what a Greek scholium
calls mixed 1l1KtO<; hypothetical.
shartiyya murakkaba, opp. shartiyya basi'ta, q.v. Compound conditional proposition in
which one or both parts, juz', q.v. are conditional propositions, shartiyya, q.V. of either
type. See pp. 239-40.
shar.tiyya ~irfa, opp. shar!iyya mukhtala!a, q.v. Pure conditional syllogisms. The text is not
clear whether it means syllogisms made up of the same type of conditional propositions,
shartiyya, q.v. or those which contain only conditional premisses to the exclusion of the
predicatives, ~amli', q.v. See pp. 218-19 where it is compared with ll1tAW<; which occurs
in a Greek scholium.
takiifu'. Equivalence. The antecedent, muqaddam, q.v. and the consequent, tiili', of a real
separative proposition, munfa~ila ~aqi'qiyya, q.v. are said to be equivalent in the sense that
they can interchange their positions without the truth-value (truth or falsity) of the whole
proposition being changed. The word takiifu' is imported by Avicenna or his source
from Aristotle's Categories where it is used to translate uvncr'tptqJl:[ v. It should be
noted that uvncrtp£(jJ€1 v in the Categories is used of terms which reciprocate. See p. 235.
taliizum. Equipollence or mutual implication. It is used only in the treatment of immediate
inference. Two conditional, shartiyya, q.v. propositions are said to be equipollent if we
can immediately infer the one from the other. See pp. 266-67.
tiili'. Consequent. The second part, juz', q.V. of a conditional, shartiyya, q.v. proposition of
either type. Correlative with muqaddam, q.v. (see jazii'). Cf. pp. 226-27 where the Greek
terminology is given.
wa4'iyya. Hypothetical. Used in Mantiq al-Mashriqiyyi'n, p. 61 and in al-Qiyiis, 423, 8 only
to refer to the 'If - then' proposition. Some translators used it to refer to syllogisms as
well. See pp. 215-16 where the question of its Greek equivalent is discussed.
yashtarik. Share K01VWV£W. As in Galen's Inst. Log., it is said of coterminous propositions
which share one of their parts,juz', q.V. See note 3 to Book V, Chapter Three. Cpo mush-
tarak.
BIBLIOGRAPHY
Avicenna, Avicenna's Treatise on Logic: Part One of Danesh-Name Alai (ed. and trans!. into
English by Farhang Zabech), The Hague 1971.
Avicenna's Biography (trans!. into English by A. J. Arberry), in Avicenna on Theology,
London 1951.
Avicenna, see A. Badawi.
A. Badawi (ed.), Man!iq Arisfu, 3 Vols., Cairo 1948-52 [The Medieval Arabic translation of
Aristotle's Organon].
A. Badawi (ed.), ArisJu <Inda'l-<Arab, Cairo 1948. [Contains Avicenna's Notes on the De
Anima and his letter to Abu Ja<far al-Kiya].
Boethius, Commentarii in Aristotelis Aristotelis Librum 'nepi 'Epl.Hlvtia~' (ed. by C.
Meiser), Leipzig, 1877-80.
Diogenes Laertius, Lives of Eminent Philosophers (ed. with an English translation by R. D.
Hicks), 2 Vols., London and Cambridge, Mass. 1925.
Euclid, The Thirteen Books of Euclid's Elements, translated with introduction and commen-
tary, by T. L. Heath, New York 1956 (2nd ed.), Vo!' 2.
AI-Farabi' Shar~ Kitab al-<Ibara (ed. by W. Kutsch and S. Marrow), Beyrouth 1960.
AI-Farabi', <Farabi'nin Bazi Mantik Eserleri' (ed. and trans!. into Turkish by M. Turker),
Revue de la Faculte des langues, d'histoire et de geographie de l'Universite d'Ankara XVI
(1958) 165-286.
AI-Farabi, AI-Farab'i's Short Commentary on Aristotle's Prior Analytics, English translation
by N. Rescher, Pittsburg 1963.
AI-Farabi', AI-Alfo? al-Musta<malafi'I-Manfiq (ed. by M. Mahdi), Beyrouth 1968.
AI-Farabi, AI-Jam< bayna Ra'yayy al-Ijak'imayn (ed. by A. N. Nader), Beyrouth 1960.
AI-Farabi, Farab'i, Deux ouvrages inedits sur la rethorique (ed. by 1. Langhade and M. Grig-
naschi), Beyrouth 1971.
AI-Farab!, see G. Vajda.
Galen, Galeni Institutio Logica (ed. by C. Kalbfleisch), Leipzig 1896.
Galen, Galen's Institutio Logica, English translation, Introduction and Commentary by
J. S. Kieffer, Baltimore 1964.
Galen, Ein{iihrung in die Logik [German translation with commentary on Institutio Logical,
by J. Mau, Berlin 1960.
Khalil Georr, Les categories d'Aristote dans leurs versions syro-arabes, edition des textes pre-
cedee d'une etude historique et critique et suivie d'un vocabulaire technique, Beyrouth 1948.
I;Iunayn ibn IsJ:!aq, Ijunain ibn Is~aq, Uber die syrischen und arabischen Galen-Ubersetzun-
gen [Arabic text and German translation], by G. Bergstriisser, Leipzig 1925.
IsJ:!aq ibn 1:Iunayn, F'i'I-Nafs, ed. by A. Badawi, Cairo 1954 [medieval Arabic translation of
Aristotle's De Anima].
IsJ:!aq ibn I;Iunayn, Die Hermeneutik des Aristoteles in der arabischen Ubersetzung des Ishak
Ibn Honain, ed. by I. Pollak, Leipzig 1913.
Ibn al-Nadim, al-Fihrist (ed. by G. Flugel), Leipzig 1871.
Philoponus, In Aristotelis Analytica Priora Commentaria (ed. by M. Wallies), Commentaria
in Aristotelem Graeca, XIII (II), Berlin 1905.
Ibn al-Qifti, Ta'r'ikh al-l:fukama', 1. Lippert, Leipzig 1903.
Sextus Empiricus, Sextus Empiricus (ed. and trans!. into English by R. G. Bury), The Loeb
Classical Library, 4 Vols., London and Cambridge, Mass. 1933.
AI-Shahrastani, al-Milal wa'/-Ni~al(ed. by W. Cureton), Leipzig 1923.
Ibn Sina, see Avicenna.
Themistius, In Aristotelis Analyticorum Priorum Librum I Paraphrasis (ed. by M. Wallies),
Commentaria in Aristotelem Graeca, XXIII (III), Berlin 1884.
BIBLIOGRAPHY 289
AI-TUS!, Shar~ al-Isharat, published by S. Dunya in his edition of al-Isharat wa)l- Tanb'ihat,
3 Vols., Cairo 1957-60.
Ibn Abi U~aybi'a, 'Uyun al-Anba) fi Tabaqat al-Afibba) (ed. by A. Muller), 2 Vols., Cairo-
Konigsberg 1882-84.
G. Vajda, 'Autour de la theorie de la connaissance chez Saadia', Revue des Etudes Juives
126 (1967) 375-97. [Contains a partial translation of an incomplete middle commentary
by al-Farabi on the Topics.]
AI-Ya'qiibi, Tar'ikh (ed. by M. Th. Houtsma), Vol. I, Leiden 1883.
STUDIES
Concomitance (ma<iyya), 40
Conflict: al-Farabi"'s account of complete and defective, 10, II; Avicenna's definition and
distinction between complete and defective (incomplete), 12-13, IS, 36, 44ff., 61, 62, 80,
81,83, 118ff., 174,222,232,236,242,255 n.23, 273, 274
Conjunctive syllogism: favoured by Avicenna, 6,16; description of, IS, 22, 27 n.98, 27 n.107,
28 n.1I0, 49,52 n.9, 119, IS3, 190,203,209,270; 275 n.S; proposition, 239, 240
Connection, complete and incomplete (defective), 12, 19, 36, 40, 41, 46, 50, 56, 57, 61, S6,
93,94,95,175,189,190,216,223-25,250,251,271,274
Conversion, 95, 96, 98,108-10,127,129,130-37,142,157,174,175,179, IS6, 187, 191,267,
268,269 n.2
Conversion per contrapositionem, 107, ISO, 269
Conversion simpliciter, ISO, 269
Coupling (irtibiir), 36
Cureton, W., 8
AI-Farabi": his criticism of Galen, 6; epitomized all of Aristotle's logical works, 9; the
logical works of, 9-10; his exposition of conditional arguments, 10, 13, 23; his references
to books by Aristotle on conditional syllogisms, 24 n.ll, 25 n.12, 26 n.59, 28 n.114, 229,
256 n.56
Figurative proposition. See Majiiziyya
Fliigel, C, 25 n.36
Following, definition and distinction between two kinds of, 11-12, 15,36-38,41,64,65,69,
70, 72,73,76-79, 85, 86, 222,226,242, 243, 247, 249, 255 n.23
Galen: 'excellent in medicine but weak in logic', 5, 6; criticism of his views on syllogisms
from possible premisses, 6; Avicenna influenced by, 6; what the Arabs knew of his logical
works, 9; his views on complete conflict when a proposition consists of more than two
parts, 13; his reports regarding the differences between the Peripatetics and the Stoics,
14,21-22,25 nn.l9, 21, 26 nn.49-50, 27 nn.84, 87, 59 n.3, 191; the different terminology
used for the 'If - then' and 'Either - or' propositions by the Peripatetics and the Stoics as
reported by, 216; his report on conflict and its possible source, 223, 224; his report on
connection and separation, 225; his account of the paradisjunctive, 226; his use of duna-
mai which could be a source for fi quwwati, 43 n.15; what he says on the particles used
with conditional propositions, 228; th.e three kinds of separatives as reported by, 234;
INDEX 293
a book on Hypothetical Syllogisms by, 254 n.6, 255 nn.IO, 11,256 nn.43, 44, 51; the con-
version and inversion of the 'If-then' proposition as given by, 269 n.2; his report on the
indemonstrables, 273, 274, 275 n.2; the primacy of categorical syllogisms, 278, 281 n.1
Greek philosophy and logic: Arabic translations, commentaries ... etc. of, 2, 3; Avicenna's
attitude towards, 2; Avicenna's plan to discuss all that is important in, 6, 7, 22, 25 n.30;
Greek philosophers, 215; Greek terminology for 'If - then' and 'Either - or' propositions
and the syllogisms compounded of them, 216ff.; terminology for the antecedent and
consequent, 227; the reduction of conjunctive propositions to the conditionals might
have originated with Latin-Greek commentators, 239
Al-Lawii~iq (a book Avicenna intended to write but most probably did not), 164, 179, 195,
257 n.75
Lejewski, c., 257 n.68
Liddell, H. G., 28 n.IlO
294 INDEX
Al-Madkhal of al-Shifo> by Avicenna, 8, 24, 25 n. 17, 27 n.88, 28 n.I 13, 170 n.I, 255 n.28,
256 n.49
Madkour, I., 7, 24 n.4, 25 n.28
Mahdi, M., 9
majiiziyya proposition ('If-then'), 254 n.7
Man(iq al-Mashriqiyy'in of Avicenna: gives a brief account of conditionals, 24 n.2, 170 n.I;
its account for the reason why a conditional is so called, 215, 216; it gives the name
majiiziyya for the 'If-then' proposition, 254 n.7
Al-Maquliit of al-Shifo> by Avicenna, 25 n.I 7
Marrow, S., 24 n. I I, 26 n.60
Mates, B., 255 n.!3, 256 n.48, 273
Abu Bishr Matta: commented on the Prior Analyties, De Interpretatione, and Topics, 9;
wrote a book On Conditional Syllogisms, 9, 254 n.!; the translator of the Posterior
Analytic, 254 n.I
Mau, J., 274
Modality, 74, 75 n.lI, 99, 163,253,254
Al-Mubii~athiit of Avicenna, 25 n.34
Muller, A., 25 n.44
Ibn al-Muqaffa', epitomized the De Interpretatione, 9
Nader, A. N., 24 n. I I
Ibn al-Nadi'm, 4, 8,9,25 n.36, 254 n.I
Al-Najiit of Avicenna: belongs to the same period as al-Shifo>, I; gives a short account of
conditionals, I, 23-4 n.2; refers to Alexander by name, 7; refers to Aristotle's com-
mentaries, 8; gives an account of reductio ad absurdum proofs, 277
Nallino, C., 26 n.48
Abu 'Abd Allah al-Natili', 26 n.53
Nichomachus, 43 n.4
Notes to Aristotle's De Anima by Avicenna, 24 n.2
Pollak, 1., 28 n. I 10
Porphyry: several references to him in al-Madkhal, 8; the translation into Arabic of his
isagoge, 8; a commentary on the De interpretatione by, 8
Prantl, C., 256 n.50
Predicative syllogisms,S, 22, 23, 35, 66, 91, 95, 97, 99, 124, 133, 185,203,210,21 1,216,
275 n.8, 277, 280; propositions (premisses), 14, 16, 18,35,37,39,42,46,47,52-58,61-63,
70,72,73,95, 124, 125ff., 133, 134, 149, 150, 152, 154,229,239,240,242,243,258,261
Proximate conclusion, 196
Tadharl: the use of shar,tiyya as a translation of Aristotle's ex hypothese6s by, 28 n.1 10; an
early translation of the Prior Analytics by, 254 n. I
Takiifu', 46, 47, 51,178,235,267
Abu aI-Fa raj ibn al-Tayyib: his criticism of the fourth figure in a commentary on Avicenna's
al-Qiyiis, 25 n.19
Thabit ibn Qurra: commented on the Prior Analytics and the De interpretatione, 10
296 INDEX
Themistius: Avicenna's reliance on, 8; the influence of his commentaries on the Prior
Analylics and Topics, 9
Theon of Smyrna, 43 nA
Theophrastus: his treatment of hypotheticals, 5, 218; referred to by Avicenna, 8; his com-
mentary on the De Inlerprelalione, 257 n.68
Tredennick, H., 24 n.lO
Tiirker, M., 26 n.59
Wallies, M., 218, 254 n.9, 255 n.l6, 256 n.48, 257 n.68
Walzer, R., 25 n.30, 254 n.l
Widely-accepted opinion, 57, 81, 82, 189,257
Wright, G. H. von, 221, 255 n.31
Editors:
Editors:
ROLAND FRAisSE, Course of Mathematical Logic. Vol. 1. 1973, XVI + 186 pp.
I. NIINILUOTO and R. TUOMELA, Theoretical Concepts and Hypothetico-Inductive Inference.
1973, X+254 pp.
RADU J. BOGDAN and ILLKA NIINILUOTO (eds.), Logic, Language, and Proba"ility. 1973,
X+323 pp.
GLENN PEARCE and PATRICK MAYNARD (eds.), Conceptual Change. XII +282 pp.
M. BUNGE, Exact Philosophy ~ Problems, Tools, and Goals. 1973, X + 214 pp.
ROBERT S. COHEN and MARX W. WARTOFSKY (eds.), Boston Studies in the Philosophy of
Science. Volume IX: A. A. Zinov'ev: Foundations of the Logical Theory of Scientific
Knowledge (Complex Logic). Revised and Enlarged English Edition with an Appendix
by G. A. Smirnov, E. A. Sidorenka, A. M. Fedina, and L. A. Bobrova. 1973, XXII +
301 pp. (Also in paperback.)
K. J. J. HINTIKKA, J. M. E. MORAVCSIK, and P. SUPPES (eds.), Approaches to Natural Lan-
guage. Proceedings of the 1970 Stanford Workshop on Grammar and Semantics. 1973,
VIII + 526 pp. (Also in paperback.)
WILLARD C. HUMPHREYS, JR. (ed.), Norwood Russell Hanson: Constellations and Conjec-
tures. 1973, X + 282 pp.
MARIO BUNGE, Method, Model and Matter. 1973, VII+ 196 pp.
MARIO BUNGE, Philosophy of Physics. 1973, IX + 248 pp.
LADISLAV TONDL, Boston Studies in the Philosophy of Science. Volume x: Scientific Proce-
dures, 1973, XIII +268 pp. (Also in paperback.)
SOREN STENLUND, Combinators, A-Terms and Proof Theory. 1972, 184 pp.
DONALD DAVIDSON and GILBERT HARMAN (eds.), Semantics of Natural Language. 1972,
X + 769 pp. (Also in paperback.)
MARTIN STRAUSS, Modern Physics and Its Philosophy. Selected Papers in the Logic, History,
and Philosophy of Science. 1972, X + 297 pp.
"STEPHEN TOULMIN and HARRY WOOLF (eds.), Norwood Russell Hanson: What I Do Not
Believe, and Other Essays. 1971, XII+390 pp.
f ROBERT S. COHEN and MARX W. WARTOFSKY (eds.), Boston Studies in the Philosophy oj
Science. Volume VIII: PSA 1970. In Memory of RudolfCarnap (ed. by Roger C. Buck
and Robert S. Cohen). 1971, LXVI+615 pp. (Also in paperback.)
f YEHOSUA BAR-HILLEL (ed.), Pragmatics of Natural Languages. 1971, VII + 231 pp.
'ROBERT S. COHEN and MARX W. WARTOFSKY (eds.), Boston Studies in the Philosophy ol
Science. Volume VII: Milii' Capek: Bergson and Modern Physics. 1971, XV+414 pp.
'CARL R. KORDIG, The Justification of Scientific Change. 1971, XIV + 119 pp.
TJOSEPH D. SNEED, The Logical Structure ol Mathematical PhysiCS. 1971, XV + 311 pp.
TJEAN-LoUIS KRIVINE, Introduction to Axiomatic Set Theory. 1971, VJI+98 pp.
'RISTO HILPINEN (ed.), Deontic Logic: Introductory and Systematic Readings. 1971, VII+
182 pp.
f EVERT W. BETH, Aspects of Modern Logic. 1970, XI + 176 pp.
'PAUL WEINGARTNER and GERHARD ZECHA (eds.), Induction, Physics, and Ethics. Proceed-
ings and Discussions of the 1968 Salzburg Colloquium in the Philosophy of Science. 1970,
X+382 pp.
'ROLF A. EBERLE, Nominalistic Systems. 1970, IX + 217 pp.
'JAAKKO HINTIKKA and PATRICK SUPPES, Inlormation and Inference. 1970, X + 336 pp.
'KAREL LAMBERT, Philosophical Problems in Logic. Some Recent Developments. 1970,
VII + 176 pp.
fP. V. TAVANEC (ed.), Problems of the Logic of Scientific Knowledge. 1969, XII +429 pp.
f ROBERT S. COHEN and RAYMOND J. SEEGER (eds.), Boston Studies in the Philosophy ol
Science. Volume VI: Ernst Mach: Physicist and Philosopher. 1970, VIII +295 pp.
f MARSHALL SWAIN (ed.), Induction, Acceptance, and Rational Belief 1970, VII + 232 pp.
'NICHOLAS RESCHER et al. (eds.), Essays in Honor of Carl G. Hempel. A Trihute on the Oc-
casion of his Sixty-Fifth Birthday. 1969, VII + 272 pp.
'PATRICK SUPPES, Studies in the Methodology and Foundations ol Science. Selected Papers
ji-om J9Il to 1969.1969, XII +473 pp.
'JAAKKO HINTIKKA, Modelsfor Modalities. Selected Essays. 1969, IX + 220 pp.
'D. DAVIDSON and J. HINTIKKA (eds.), Words and Objections: Essays on the Work ol
w. V. Quine. 1969, VIII + 366 pp.
'J. W. DAVIS, D. J. HOCKNEY and W. K. WILSON (eds.), Philosophical Logic. 1969, VIJI +
277 pp.
'ROBERT S. COHEN and MARX W. WARTOFSKY (eds.), Boston Studies in the Philosophy of
Science. Volume V: Proceedings of the Boston Colloquium for the Philosophy ol Science
1966/1968. VlII+482 pp.
'ROBERT S. COHEN and MARX W. W ARTOFSKY (eds.), Boston Studies in the Philosophy of
Science. Volume IV: Proceedings of the Boston Colloquium for the Philosophy of Science
1966/1968. 1969, VIII + 537 pp.
'NICHOLAS RESCHER, Topics in Philosophical Logic. 1968, XIV + 347 pp.
'GUNTHER PATZIG, Aristotle's Theory of the Syllogism. A Logical-Philological Study of
Book A olthe Prior Analytics. 1968, XVII+215 pp.
'c. D. BROAD, Induction, Probability, and Causation. Selected Papers. 1968, XI+296 pp.
'ROBERT S. COHEN and MARX W. WARTOFSKY (eds.), Boston Studies in the Philosophy of
Science. Volume III: Proceedings of the Boston Colloquium for the Philosophy of'Science
1964//966.1967, XLIX +489 pp.
'GUIDO KUNG, Ontology and the Logistic Analysis of Language. An Enquiry into the Con-
temporary Views on Universals. 1967, XI+210 pp.
*EVERT W. BETH and JEAN PIAGET, Mathematical Epistemology and Psychology. 1966,
XXII + 326 pp.
*EVERT W. BETH, Mathematical Thought. An Introduction to the Philosophy olMathematics.
1965, XII + 208 pp.
'PAUL LORENZEN, Formal Logic. 1965, VIII + 123 pp.
'GEORGES GURVITCH, The Spectrum of Social Time. 1964, XXVI + 152 pp.
fA. A. ZINOV'EV, Philosophical Problems of Many- Valued Logic. 1963, XIV + 155 pp.
fMARX W. WARTOFSKY (ed.), Boston Studies in the Philosophy of Science. Volume I: Pro-
ceedings of the Boston Colloquium for the Philosophy of Science 1961/1962. 1963, VIII +
212 pp.
f B. H. KAZEMIER and D. VUYSJE (eds.), Logic and Language. Studies dedicated to Professor
Rudolf Carnap on the Occasion of his Seventieth Birthday. 1962, VI + 256 pp.
*EVERT W. BETH, Formal Methods. An Introduction to Symbolic Logic and to the Study of
Effective Operations in Arithmetic and Logic. 1962, XIV + 170 pp.
*HANS FREUDENTHAL (ed.), The Concept and the Role of the Model in Mathematics and
Natural and Social Sciences. Proceedings of a Colloquium held at Utrecht, The Nether-
lands, January 1960. 1961, VI + 194 pp.
fp. L. GUIRAUD, Prob/emes et methodes de la statistique linguistique. 1960, VI + 146 pp.
*J. M. BOCHENSKI, A Precis of Mathematical Logic. 1959, X + 100 pp.