Professional Documents
Culture Documents
Avicenna, Asad Q. Ahmed - Avicenna's Deliverance - Logic-Oxford University Press (2011)
Avicenna, Asad Q. Ahmed - Avicenna's Deliverance - Logic-Oxford University Press (2011)
Deliverance: Logic
Studies in Islamic Philosophy
General Editor
es
DDR
NL
NS
ye{ie
WAS
=>
tas
|
Avicenna’s
Deliverance: Logic
Introduction by
Tony Street
OXFORD
UNIVERSITY PRESS
Theolow, Library
CLAF&:1ONT
SCHOO. ~~ “HEOLOGY
Ord @)RIOA
UNIVERSITY PRESS
You must not circulate this work in any other form and you
must impose this same condition on any acquirer.
ISBN 978-0-19-547950-8
Rémi Brague
Dimitri Gutas
Everett Rowson
. “
oat
8 RY
Be
Sty
PEE
H Panel +a
S datewnen ent
alaltbey S t ng tes rbAeee
sti
=iani
adore —
es Peete has
Contents
FE
Re
SP
Pe
PPP
#6
OS
fk . On Individual Essences
Naan (a‘yan), Objects of the
Estimative Faculty (awham), Utterances,
and Writing 13
18. On Noun (ism) 13
29; On Verb (kalima) 14
20. On Particle (adat) 14
vill CONTENTS
Notes 149
Glossary and Index of First Occurrence of Terms 167
General Index 177
ue6 NaPuree
:Na ret%<
rT <
General Editor’s Foreword
come down to us. And this in turn means that Asad Ahmed’s
translation of the entire Logic (Mantiq) section of Avicenna’s
relatively concise Kitab al-Najat (The Deliverance) marks an
important event in the history of modern scholarship. What
had been placed on one side by the translators of the Medieval
Latin West has after centuries been picked up from the back
burner and now rendered into English. What is more, there is
a happy potential hidden in this book of Asad Ahmed: it will
facilitate, and in all likelihood inspire, investigations into the
post-Avicennan developments in logic in the Islamic milieu.
This is one vista in the modern studies in the history of this
rational discipline that has remained largely closed, with far-
reaching consequences beyond the world of philosophy, not
least the ideological consequence that continues to manifest
itself in the talk of the descent of intellectual darkness in the
Islamic world after and due to Ghazali.
Some experts have already spoken highly of this translation;
certainly, its author deserves commendation for undertaking
a task for which he had no help from any Latin model.
Constructed without this help and carrying the pioneer’s
burden, the Arabic-English glossary at the end of the book
should be received as a valuable bonus both by scholars and
beginners. Also, readers are likely to find the highly packed
Arabic narrative running rather smoothly in Asad Ahmed’s
English, and the text’s technical language often translated not
by another technical language but in terms of primitive
elements that serve to resolve Avicenna’s terminology into its
first principles. All of this is much enhanced in its worth by
Tony Street’s brief but highly informed historical disquisition
with which the book opens.
To Tony Street, then, I am most grateful. My colleagues
who sit on the editorial committee of the Studies in Islamic
Philosophy series have consistently been a source of great
GENERAL EDITOR’S FOREWORD Xvii
« > >
Introduction
The Deliverance
From the earliest days of the translation movement which
first brought Avicenna’s philosophy to prominence in the
Latin west, scholars have shied away from translating his
logical treatises. The movement that secured his reputation
as a metaphysician and physician left most of his works on
formal logic to one side, with two consequences for the
modern study of Arabic philosophy. The first is that Avicenna’s
logic has been unfairly neglected by historians-of logic, given
the scale of its impact on post-Avicennan logicians. The
second is that modern translators have no Latin exemplar to
guide them in their work in the way that translators of his
metaphysics and physics do.’
Ignoring the works on logic was due in part to the fact that
it can be difficult to make Avicenna the logician speak to
Aristotle’s Organon in the same way that Avicenna the
metaphysician can be made to speak to Aristotle’s Metaphysics.
This in turn derives from various factors. Especially in his last
works, virtually no reference is made to Aristotle’s logical
doctrines. Major new assumptions about the truth-conditions
of the propositions to be used in the syllogistic are made,
often without fanfare, especially in the early works. These
new assumptions are set out with technical terms and phrases
Avicenna institutes for the new distinctions he wants to insist
on. Finally, any attempt to make Avicenna’s works elucidate
each other has to confront the fact that after the late 1020s,
his whole exposition of logic undergoes a seismic shift. To
xX INTRODUCTION
what extent can we use works from one period to shine a light
on those from another?
In what follows, I offer a few reflections on these points. I
begin by considering the lessening concern in Avicenna’s
logical work for Aristotle’s Organon, and where in that
trajectory the logic of The Deliverance falls. I go on to point out
a few of Avicenna’s logical innovations which, if unnoticed by
the reader, make his work seem strange or even technically
incompetent. I end by sketching what Avicenna’s impact
means for the study of the subsequent tradition of Arabic
logic. Unavoidably, what I have to say in the second section
of this introduction is somewhat technical, but I am confident
that turning to Asad Ahmed’s fine translation of Avicenna’s
Deliverance will clarify my obscurities.
Tony Street
Cambridge University
INTRODUCTION xxix
NOTES
. See e.g. the scant reference to Avicenna in W. Kneale & M. Kneale, The
Development of Logic, Clarendon Press, Oxford 1962, pp. 230, 266 (having
to do only with his teaching on secondary intelligibles and universals
as they influenced Western logic). Note that C. Burnett in ‘The
translation of Arabic works on logic into Latin in the Middle Ages and
the Renaissance’ in D. Gabbay & J. Woods eds. Handbook of the History of
Logic, volume 1: Greek, Indian and Arabic Logic, Elsevier, Amsterdam 2004,
pp. 597-606, at p. 598, seems to claim that all of Avicenna’s logic in The
Cure was translated, and not just part of the Madkhal, though he cites
no evidence for this claim. It is however true that, as stated by Burnett,
Ghazali’s translation of Avicenna’s Philosophy for ‘Ala’addawla was
translated into Latin, though it is too elementary to touch on the
significant issues treated in The Deliverance.
. A. Bertolacci, The Reception of Aristotle’s Metaphysics in Avicenna’s Kitab
al-Shifa’, Brill, Leiden 2006, p. viii.
. D. Gutas, Avicenna and the Aristotelian Tradition. Introduction to Reading
Avicenna’s Philosophical Works, Brill, Leiden 1988; a summary of Gutas’s
conclusions is given at p. 145.
. From Avicenna, Kitab al-Shifa’: al-Qiyds, eds. S. Zayed & I. Madkour,
al-Hay’a al-‘amma li-shu’tn al-matabi‘ al-amiriyya, Cairo 1964, p. 204.
. We find this attitude to Aristotle in al-Masa’il al-ghariba al-‘ishriniyya, in
Collected Texts and Papers on Logic and Language, eds. M. Mohaghegh & T.
Izutsu, Tehran University Press, Tehran 1974, pp. 81-103, especially pp.
95ff. Iwould argue that this text was composed immediately before The
Easterners, because it lays out answers to problems that arise from pre-
Easterners expositions; I acknowledge that my dating is only
speculative.
. Arapid summary of the argument developed in Gutas, Avicenna op. cit.
pp. 115-130. As luck would have it, what remains of The Easterners goes
on far enough to show us what Avicenna was doing with the absolute
proposition, one of his most characteristic changes to Aristotelian
logic. |
. Essentially, a change from following Aristotle’s order of treatment,
especially in the modal logic, to an order treating all first-figure
syllogisms, be they with absolute, necessity or possibility premises,
then second figure, then third figure.
. See the notes by the great early twelfth-century logician, ‘Umar ibn
Sahlan al-Sawi, al-Basd’ir al-Nasiriyya fi |-Mantiq, ed. M. ‘Abduh, Cairo
XXX INTRODUCTION
1898; e.g. pp. 68.14f, 76.3f, 91.10f, where he compares doctrine in The
Cure with that in Pointers. This is a common twelfth-century concern.
Identified in Y. Mahdavi, Fihrist-i Nuskhah-ha-i Musannafat-i Ibn Sina,
Intisharat-i Danishgah-i Tihran, Tehran 1954 as The Middle Summary of
Logic (pp. 217-219, work 108). This identification is however wrong: The
Middle Summary is nearly twice the length of the logic section in The
Deliverance, and devotes much more space to Aristotle’s early
commentators. I am grateful to David Reisman for sending me a copy
of Nuruosmaniye 4894 which contains a copy of the Middle Summary.
10. Avicenna, Mantiq al-Mashrigiyyin, ed. S. Najjar, Dar al-Hadatha, Beirut
1982, p. 133.
A. We have translations of all or much of each of these works, waiting for
revision in light of the present translation and recent research. Logic
from Philosophy for ‘Ala’addawla: F. Zabeeh, Avicenna’s Treatise on Logic.
Part One of Danesh-Nameh Alai, Nijhoff, The Hague 1971; the treatment
of non-categorical syllogistic from The Syllogism of The Cure: N. Shehaby,
The Propositional Logic of Avicenna. A Translation from al-Shifa’: al-Qiyas
with Introduction, Commentary and Glossary, Reidel, Dordrecht-Boston
1973; Logic from Pointers and Reminders: S. Inati, Remarks and Admonitions.
Part One: Logic, Pontifical Institute of Mediaeval Studies, Toronto
1984.
Translator’s Preface
(22 folios); (3) Fakhr al-Din al-Razi’s Kitab al-nafs wa-’r-rih (38
folios); (4) Ibn Sab‘in’s Kitab al-ajwiba...ft ahwal al-nafs (Sicilian
Questions, 50 folios); and Ahmad b. Muhammad b. Ash‘ath’s
Kitab al-hayawan (155 folios).
The Deliverance itself, dated 466 an/1073 ce, contains, in the
following order, the parts on logic (folios 112r-159r), physics
(folios 159r-209r), and metaphysics (folios 209r-256v). The
colophon indicates that it was completed by a certain Nasr b.
Mansir and that ‘the original was presented and was
corrected, to the best of his capability, in Dht al-Hijja, 466
[aH],’ the same month in which the scribe finished his work.
In the colophon, there is some additional information,
apparently a fuller identification of the scribe, but I am not
able to decipher it.
The Deliverance is a highly legible manuscript, with eighteen
to twenty lines per page and ten to fourteen words per line
in the logic section; other parts of the manuscript, especially
the metaphysics, is more tightly packed. For the logic, it
appears to me that the matn has the contribution of four
hands, all in the same script. This claim needs to be verified
by a palaeographer, who should also be able to say something
about the provenance of the script and so also the manuscript.
The four different hands appear at 112r-161v, 162r-189v,
190r-199v, 200r-256v. Within each segment, the vast majority
of marginalia is in the same hand as the matn, though at least
two other distinct ones are also identifiable. When in the same
hand as the matn, most of the marginalia fills a clear lacuna,
introduced due to scribal negligence—skipped words or lines,
incorrect words that share a similar rasm, etc. In the rare
cases of alternative hands, the marginalia supply very brief
clarifications of points. It also appears that the various
marginal notes have distinct manners of emending or
supplementing the text. For example, one hand, which
appears to be the same as that of the matn, uses a curved line
TRANSLATOR’S PREFACE XXXV
Asad Q. Ahmed
Washing University in St. Louis
Institute for Advanced Study, Princeton
Translation of
al-Najat: al-Mantiq
The Deliverance: Logic
| TP ae To aa LN ee aL }- giis8 FF
: KAGEACVSR
LIAC
PE ee
, GO
ae pe2 =
COA ei
ae soe raat
| eae. ye ~ eee) Lal kg in adteremaar
| Ketsray
SMP 3 c -
P| re
RAO Tega
i ws Vm
MEPs ro ‘8
INNO es
HNR RT INNO 3 ihe € 2 (te » ‘i ,
radeon ’
=
Feet | METIS ANU
4
By
i ih te 2 eae j ere oe We
MENGE STURT ARPES LEZ IMEPema
Karim
Alcea
SAGs
EUR
XE
WEea eeGigaes
|ee
eames NeE
THr (Mar
TR TAMER CLEA CH erfereie Lo (AT IR
| ° eg Taig Mer eAae TG eee Pr MATATAGSCT
Re if 2EEY
4| ¥ Rema ra rer RA vi egace
PEEING pe:
ee
é verec 2 s
| Way
uetea nee
MT : SOR, o ae ed
eery rataTNC
igre
| neg
TES s GC * Se) 4
nok 2 Ae
tern?
eae Te | Qe er)
a IG BAAR
HE OME
GREET EN (Wns Tide
epee as ETS
come WAN a
heriee OTs
EDi es
(eA)RG=
A
eh
3)
SI
pat
Ivf
c
eee
e
aa
1. On Conceptualization (tasawwur) and
Assenting (tasdiq) and the Method of Each
i. All primary cognition (ma‘rifa) and scientific knowledge’
(‘ilm) is either conceptualization or assenting. Conceptualization
is knowledge that comes first'' and is acquired by means of
definition (hadd) and whatever is like it. [An example is] our
conceptualization of the quiddity (mahiyya) of man. Assenting
comes about only by means of syllogism (giyds) and whatever
is like it. [An example is] our assenting [to the fact] that the
universe (al-kull) has a single source (mabda’). Definition and
syllogism are two tools by means of which one acquires
objects of knowledge (ma‘limat) that are [at first] unknown
and then become known by means of deliberation (rawiya).
Each of these two [is divided into] the [1] real (hagqiqi), [2] the
unreal—but beneficial to some extent in its own way—and [3]
the false that resembles the real. In most cases, human nature
(fitra insaniyya) [by itself] is insufficient for distinguishing
among these [three] types. If this were not so, there would
occur neither any disagreement among the wise nor any
contradiction in the judgment of any single one [of them].
ii. Both the syllogism and the definition are constructed and
composed of intelligible (ma‘gila) concepts (ma‘ani) in keeping
with a determined [mode of] composition. Each one has a
matter (madda) from which it is composed and a form (sira)
whereby its composition [is completed]®. And just as it is not
proper to build a house or a chair from any arbitrary matter
whatever nor to complete their [construction] from their
respective matters in any arbitrary form—rather everything
has its specific matter and a specific and exact form—likewise
every object of knowledge, known by means of deliberation,
has its specific matter and form whereby one comes to its
verification. And just as corruption in the building of a house
4 AVICENNA’S DELIVERANCE: LOGIC
4. On Complex Utterances
i. As for the complex (murakkab) or compound (muallaf)
utterance, well it signifies a meaning. It has parts from which
its sound is composed; and [from the] meanings [of these
parts] the meaning of the whole is composed. [An example is]
our statement, ‘Man walks’ or ‘[The man] throws the stone’.
6 AVICENNA’S DELIVERANCE: LOGIC
ii. Rather, the essential is such that, if the meaning [of the
subject] is understood and occurs to the mind and if the
meaning of what is essential to it is understood and occurs to
the mind at the same time, it would be impossible for the
essence of the subject to be understood unless first the
meaning [of that which is essential to it] is already understood
to belong to it.
8. On the Accidental
i. As for the accidental, well it is everything we enumerated
that is not essential. One may make an error about it and
believe incorrectly” that it is that accident which is the
counterpart of substance. (We will mention these two [i.e.
substance and accident] later.) This is not so. For the
accidental may be a substance, such as the white [object],
whereas an accident, such as whiteness, is not a substance.
12. On Genus
i. Genus is what is said of many things that differ with respect
to [their] species in response to [the question] ‘What is it?’
Our statement ‘that differ with respect to [their] species’
means ‘[that differ with] respect to their essential forms and
realities’, although [the concept of] species, which is [here]
brought into relation with the [concept of] genus, has not yet
been defined. Our statement ‘in response to [the question]
‘what is it?” means ‘a statement about a shared, [but] not a
distinguishing condition’, such as ‘animal’ [which is said] of
man and horse [but] not as ‘sentient’ [which may be said] of
them. For ‘sentient’ does not indicate the [complete’]®? shared
essence of man and horse, even if it does indicate some
essential meaning, i.e. [their] possessing sense. [But] it leaves
out ‘[capable of] moving voluntarily, sleeping, taking
nourishment, and so on’, except by way of implication, not by
inclusion [in the meaning of ‘sentient’]. There is a difference
between implication and inclusion, for a roof implies a wall
but does not include it; and a house implies a wall and
includes it.
13. On Species
i. As for species, well it is the essential universal which is said
of many things in response to [the question] ‘what is it?’ It is
also said in response to [the question] ‘what is it in a shared
[sense]?’% [[An example is] ‘animal’; for it is a species of body
and is said of man and horse in response to [the question]
‘what is it in a shared [sense]?’]’ Body is said of [animal] and
of others also in a shared [sense] in response to [the question]
‘what is it?’
15. On Property
i. Property, is the universal that indicates a single species in
response to [the question] ‘which thing is it, not with respect
to its essence but with respect to its accident?’ [It indicates]
either a species that is [itself] a genus, such as [the property
that] the angles of a triangle are equal to two right angles. For
it is a property of a triangle.*” Or [it indicates] a species that
is not a genus, [an example being] man’s capacity for laughter;
[for] it is a concomitant property [of man and is applicable to
all] equally. [Another example is] ‘writing’ which is neither a
concomitant property nor one equal [to all men] but specific”
[to some].
16. On Accident
i. As for common accident, well it is every simple accidental
(i.e., non-essential) universal in whose meaning many species
participate. [An example is] whiteness as it applies to snow
and swan. Do not concern yourself with whether it is a
AVICENNA’S DELIVERANCE: LOGIC 13
%
Jags AVICENNA’S DELIVERANCE: LOGIC
iii. ‘As for what is said of the difference between these two
in addition to this, do not pay attention to it. For the
affirmation of ‘non-seeing’ is correct for every existent that
is deprived of vision, whether it is in its nature or not in its
nature to have it (better, whether it is in the nature of its
species or genus [to have it or not]) or not at all in its nature
to have it.
AVICENNA’S DELIVERANCE: LOGIC a
vi. From this it can be gathered that the necessary falls within
the [scope of] the common-possible, but not within that of
the special-possible. [And it is also understood] that the
special-non-possible does not mean impossible, but rather
Necessary either with respect to existence or non-existence.
[It can be concluded] that the judgment with respect to the
possible has a non-Necessary status and when this judgment
is assumed to exist, either as an affirmation or a negation, no
absurdity thereby occurs.
28 AVICENNA’S DELIVERANCE: LOGIC
iv. [3.] As for the third [type], it [has the following condition:]
‘as long as the substance of the subject is described by a
description that is posited along with [this substance]’ and not
‘for as long as the substance of the subject exists’. [An
example] is your statement, ‘By Necessity, every white [thing]
has a color that dilates sight’. In other words, [this predication
holds] neither eternally nor for as long as the substance of
that white thing exists. If this substance persists and does not
pass away, but the whiteness passes away from it, it may not
be described as having a color that dilates sight. Rather, this
Necessity persists not for as long as the substance exists, but
[for as long as it is] described by whiteness.
30 AVICENNA’S DELIVERANCE: LOGIC
vi. [5.] As for the fifth [type], well the Necessity obtains for a
certain specific inevitable [span of] time. [An example is] our
statement, ‘By Necessity, the moon eclipses.’ However, [this
is not a Necessity that persists] perpetually, but for some
exact and specified [span of] time.
vii. [6.] The sixth type is [that in which the predication is] by
Necessity for some unspecified [span of] time. [An example
is] your statement, ‘By Necessity, every man breathes,’ i.e. for
some period, neither perpetually nor for a specific and exact
[span of] time. Z
v. ‘It is possible that it exist’ and ‘It is possible that it not exist’
and those [things] that fall in their grade are the [non-mutual]
entailments of ‘It is contingent that it exist’. [It is hoped] that
one can [deduce] what remains from the foregoing.
ii. You will discover the two particulars from the [examples]
of the two universals except as far as one thing is concerned.
And it is that the persistence of negation and affirmation does
not confer Necessity to the particularized [subject]; rather
[this Necessity is conferred to it by] a persistence that is not
proper to its nature. For it is possible for writing to be negated
or affirmed of some men, for as long as their substance exists,
but only by chance, not as something proper [to their
36 AVICENNA’S DELIVERANCE: LOGIC
iii. In this case, the truth is that this conversion is true not
with respect to everything that is considered an absolute, but
only with respect to those absolutes in which the condition
of the sound attachment of Necessity [to the proposition] is
not a time [span] that differs with reference to [various]
individuals, but is something non-temporal. An example of a
condition according to which the attachment of the mode of
Necessity is sound [in this case] is ‘As long as the subject is
described by that which is posited along with it [as its subject
term]’. [An example is] our statement, ‘Every mover changes.’
For if you attach the mode of Necessity to it, you must say
either by your tongue or in your soul, ‘As long as it is
described as a mover.’ It may not be true [and sufficient] to
say, ‘As long its substance exists.’ This conversion follows in
such absolutes. In these [cases,] when ‘No thing’ is true,
‘Some’ is false, and when ‘Some’ is true, ‘No thing’ is false.
[And this is so] not with the stipulation of a specific time as a
condition, but absolutely. Examples of these are used in the
sciences, even though they are more specific than the
necessary due to the same word. If it is not [as we have
described], then the universal negative absolute need not
convert, as [in the] examples of those [propositions] in which
the negation obtains for a certain period, (as cited by the First
Teacher). [Examples are] our statements, ‘No animal is moving
voluntarily’, i.e., at the time of rest, and ‘No animal is
sleeping’. For he takes these and similar [propositions] as
absolute negations. And these do not convert at all.
vi. As for the real account that works for every matter [of a
proposition], it is by means of ekthésis (iftirad). It [states:] if
every B is A, then let us suppose a certain thing that is exactly
both B and A. Let this thing be J. So J is both B and A. Thus,
there is a certain A that is both B andJ.
ii. The one that repeats is called the middle term (awsat) and
the other two are called the extremes." The extreme that one
wishes to make the predicate of the conclusion is called the
major (al-akbar) extreme; and that which one wishes to make
the subject of the deduction is called the minor (al-asghar)
extreme. The premise containing the major extreme is called
the Major (al-kubra) and that in which the minor extreme
occurs is called the Minor (al-sughra). The composition of a
Minor and Major is called a connection (garina) and the form
of the connection is called a figure. The connection from
which and through which follows another statement is called
a syllogism.’ As long as the deduction is not deduced, but is
something towards which the syllogism is directed, it is called
a problem (matliib). When it is deduced, it is called a conclusion
(natija).
iv. This is the end of the first part, which is followed, in the
second part, by a discussion of the types of first figure
[syllogisms composed] of absolute [premises]. Praise be to
God, the Lord of the worlds, and blessings upon the Prophet
Muhammad and his entire family.
ii. The first mood comprises two universals, with the Major
being negative. [An example is] your statement, ‘EveryJ is B’
and ‘No A is B’. We say that this yields, ‘NoJ is A’. [This is so]
because we took the universal absolute negative as something
that converts. So it becomes, ‘No B is A’; ‘EveryJ is B’ was
already given. So [we get] ‘NoJ is A’, in the manner of the first
figure. It [may also be explained’’]®> by means of an ad
impossibile [proof], which is [as follows:] if our statement ‘No
J is A’ is not true then ‘SomeJ is A’ [is true]. [This is so]
according to our determination that the particular affirmative
is false [when] the universal negative [is the case], due to the
aforementioned condition. So if ‘SomeJ is A’ and ‘No A is B’,
then ‘Not everyJ is B’. But [it was stated that] everyJ is B.
This is an absurdity.
vi. These are the moods that conclude. The rest of them are
non-conclusive due to the reason that was mentioned
regarding analogous [types] of the first figure.
viii. These are the moods that conclude and the rest are non-
concluding. It is already clear to you that this figure does not
yield a universal conclusion [and only] a particular even if no
premise [in it’]®° is particular.
iii. However, if we set aside this path [of inquiry] and return
to the things themselves, we will realize that, even though we
have not yet pointed out [the nature of] the mixture of an
existential Minor and a Necessity Major in the first figure,
[such a mixture] is not an imperfect syllogism, such as to
52 AVICENNA’S DELIVERANCE: LOGIC
ii. [Within the scope of] this same explanation, we must say
that this mixture in this figure concludes, even if it is
[composed] of two negatives or two affirmatives. The
conclusion is a negative Necessity. This is so because the
negation and affirmation of an absolute in its purely true
[sense] is the same thing. Then, when the relation of the
14. Reading with Q: al-natijatu tabi‘atun li-jihatiha for al-natijatu fi hukmiha.
54 AVICENNA’S DELIVERANCE: LOGIC
ii. The truth is that the conclusion follows the Major. Of two
universals, if the Major is negative, it is the factor to
consider. If it is [composed] of a particular and a universal
[premise], then it is commonly held that the universal is the
determining factor because it becomes the Major of the first
[figure]. However, if the negative [premise] is a particular,
then it is commonly believed that the conclusion of this and
the second figure is not a Necessity in any case.“ The truth
requires the Major to be the determining factor, even if it is
a particular. The proof is by means of ekthésis. Let us prove
this, taking the Major to be a particular negative Necessity.
We say that the conclusion is a Necessity [proposition] and
suppose that part of <A which is> B which is not A to be D. So
‘No D is A by Necessity’; but ‘Every B is J’; and ‘Some B is D’.
So “SomeJ is D by Necessity’ and ‘No D is A’. So ‘By Necessity,
AVICENNA’S DELIVERANCE: LOGIC 55
ii. As for when one of the two [premises] is negative and the
absolute is affirmative, well their status is the same as that of
two affirmatives. [This is so] because the negative contingency
is potentially affirmative, so that it does not change anything
in the derivation of the contingency [proposition]. If the
negative [premise] is an absolute, it [may] only be a Major in
the first [figure]. So it yields a possibility, which is sometimes
a contingency and sometimes a Necessity [premise].“"
iii. As for the truth, well it is that all the conclusions are
contingency [propositions]. If the absolute is of a pure
[type],*” [the conclusion is] a contingency. If the absolute is
62 AVICENNA’S DELIVERANCE: LOGIC
ii. As for the conditions that [yield] the conclusion, well [they
are as follow: 1] it is necessary for the Minor, which is like the
first disjunctive, to be affirmative; whether it is a particular
or a universal [is not a condition to consider]. [2] It is also
necessary for the part that is shared to be affirmed. [3] And
the disjunction in the Major should be a universal. It is up to
you to enumerate its [various] connections. One may mention
them with reference to other figures as well, except that it is
better to mention them in more elaborate works. For [these
figures] are farther from [our] innate natures.*"
xiv. As for the third figure, well it does not depart in its
condition from what was said regarding the third [figure] of
attribute [propositions]. [This is the case] provided the
conjunctive is affirmative.
AVICENNA’S DELIVERANCE: LOGIC 69
it is not even.’ [Or one can say,] ‘It is not even; so it is odd.’
[Or,] ‘It is not odd; so it is even.’
vi. As for when the parts are infinite, well its use does not
benefit any, as when you make the predicates of the parts
infinite colors or something resembling this.
ii. Sometimes the word in the conclusion is other than the one
in the premise; so concern yourself with the meaning and aim
at it. [Likewise,] there may be a noun in the one and another
noun or a statement in the other. You must take all this into
consideration, along with the difference between ambiguity
and negation. Do not take an affirmative ambiguous
[proposition] to be a negative.
21. Reading with Ha and Q1 and Q2: fi istiqrari ‘n-nata’iji ’t-tabi‘ati (li-1-
matlabi ’l-awwal).
22. Reading with Ha and Q1 and Q2: fi’n-nata’iji ’s-sadiqati min mugaddimatin
kadhibatin.
AVICENNA’S DELIVERANCE: LOGIC ed,
25. Omitting anna, though no manuscript reading supports this and reading
with Q: ithnayni bi-'-fili wa-annahu zawjun.
AVICENNA’S DELIVERANCE: LOGIC 83
hidden. [An example is] the statement of the orator, ‘This man
is addressing the enemy; so he is a traitor,’ which is accepted
due to the ellipsis. If he said, ‘And anyone who addresses the
enemy is a traitor,’ one would have realized how his statement
would be contradicted and it would, [therefore,] not be
accepted.
ii. Its terms are four, like the terms of analogy. [Thus, an
example with four terms follows: 1] Zayd and [2] lion and [3]
the greatness of the upper limbs that both of them have. That
[they have this greatness of the upper limbs] is a given fact;
the existence of [4] courage in the lion is also granted. [But]
that Zayd [is courageous is granted] by argument (hujja), after
a variety of animals have been observed that share their
dispositions with the lion and [after it has been observed] that
what shares courage with it shares its [bodily] form as well.
AVICENNA’S DELIVERANCE: LOGIC 87
iii. A syllogism has parts that one assents to and others that
are conceptualized; a definition has parts that are [only]
conceptualized. [But] this does not proceed ad infinitum, in
ii. These estimations are very strong in the mind (dhihn) and
the false ones among them are falsified only by the intellect.
Yet, despite their falsification, they do not cease to exist in
one’s estimation. For this reason, at first, they are not
distinguished from the primary [objects] of intelligence and
similar things, because, if we revert to the testimony of our
primary intelligence (fitra),‘"" it would testify [the same
thing] about [these estimations] by means of [the] objects of
intelligence (‘agliyyat).
ii. When the simple concepts come about in man either with
the help of the senses or the formative imaginative faculty
(khayal)**“ or [in] some other way“ and then the cogitative
faculty“! compounds them, the mind must assent to them —
from the very beginning, without [recourse to] another cause
and without feeling that this is something only recently
acquired. Rather, man believes that he always knew it. The
natural intelligence of the estimative [faculty] does not
propose it,‘“* as we explained. An example of this is, ‘The
whole is greater than the part.’ This [proposition] is not
acquired from a sense or induction or anything else. True, the
sense[s] may supply [one] with [an example of] an image of
‘the whole’ and ‘the greater’ and ‘the part’. As for assent to
this proposition, well it is due to [primary] nature. As we
explained, whatever is true among the estimations is included
in this totality.
112. On Demonstration
i. A demonstration is a syllogism composed of [premises of]
certitude that yield conclusion[s] of certitude. [Premises of]
certitude are [1] primary [propositions] and whatever is
34, Reading with HJ and Q: fi l-awwaliyyat.
96 AVICENNA’S DELIVERANCE: LOGIC
119. [A Section]®
i. The things that constitute demonstrations are three: [1] the
subject matter under investigation (mawdi‘at), [2] problems
[related to the subject matter] (masa’il), and [3] premises that
are the principles [and starting points].“” One demonstrates
about subject matters, demonstrates [the solution to]
problems [related to the subject matter], and demonstrates
by means of premises. Let us therefore speak first about
premises.
AVICENNA’S DELIVERANCE: LOGIC 99
ii. [2] The second [reason is] that[, in primary premises,] the
affirmation or negation does not apply universally to what is
more general than the subject. As for the affirmation, well it
is like your statement, ‘The angles of every triangle equal two
right angles.’ For this is not predicated of what is more
general than the triangle (like figure) in a universal fashion.
As for what is more specific than a triangle, such as an
isosceles triangle,“ well it may cease to be, though what is
more general than it, i.e. a triangle, remain. [But] the angles’
being like two right angles is not [thereby] falsified.
[Furthermore,] when the triangle ceases to exist, this concept
no longer remains [true of any subject] [due to*?]®° what is
more general than it (such as figure). Then, as long as triangle
is predicated of a thing, this concept exists, no matter whether
that which is more specific than it remains or fails to do so.
And when triangle is removed as a predicate of a thing, this
concept is likewise removed from it, though what is more
general than the triangle may [still] remain for it. [This is so]
since that which is more general than a triangle was not
predicated in its totality. [So] it is more suitable for [the
predicate] to be something more general, like the genus, or
something equal, but not something more specific.
39. Reading with all manuscripts, except B, Ha: lima for ma.
AVICENNA’S DELIVERANCE: LOGIC 101
iii. Here the necessary is [also] other than what it was in the
Prior Analytics. For here, by the necessary one means ‘that
which is always the predicate for that which is posited as a
subject’, even if [the qualification is] not ‘as long as it exists’,
but ‘as long as it [i.e. the subject] is described by that which
is posited for it’. [An example is] our statement, ‘By necessity,
every white [thing] has a colour that dilates sight.’ [This is
necessary] not for as long as its substance exists, but for as
long as it is white.
ii. The first of them is that the subject is already imagined and
is only known by way of things external to it or only by name.
Its essence has not yet been investigated. [An example] is our
seeking to find out whether the soul is a substance or not,
because until then we had only known the soul by its name
and some act, without knowing its essence. So in reality, the
subject, [as it is known to us until this point,] is an essential
accidental for the soul, [namely,] being the agent of actls],
such as [being] a mover and perceiver. [It is the same as]
white is for snow.**“' [In all this,] what one seeks to find out
is the accident-substrate’s genus, which is not constitutive of
the quiddity of the accidental in the manner in which essential
predicates are.
ii. As for postulates, they are premises that are not obvious in |
themselves, but the student is tempted to concede them and
their explanation. [This happens] either in some other
discipline or, after some time, in the same discipline.
[Examples are] found among the primary [premises] of
geometry: that we can travel between two points by means of
a straight line; that we can make a circle around every point
and with every measure of distance; and that if a straight line
is posited over two [intersecting] lines, then the two angles
that are on the same side are less than two right angles. For
the two [original] lines intersect on that [same] side.
Whichever of the postulates a student concedes, without there
being any resistance to it in his soul, is called a postulated
principle (asl mawdi‘’‘) in an absolute fashion. And that which
[requires some degree of] concession and against which the
soul of the student has some resistance is called a pre-
position.°™
A06 AVICENNA’S DELIVERANCE: LOGIC
ii. The subject matters of those that are distinct do not overlap
either with respect to their essences or their genus. [An
example of two such distinct sciences is] arithmetic and
physics.
iv. As for those that are equal in rank, well [an example pair
is] arithmetic and geometry. For their subject matters are the
AVICENNA’S DELIVERANCE: LOGIC 107
v. As for those [sciences] that are not of the same rank, with
some of them being contained in others, [well an example pair
is] conics (makhratat), insofar as it falls within geometry,
because conics investigates a species of the subject matter of
geometry.
vi. As for those [sciences] that are not of the same rank, with
some being inferior to others, it is necessary for [one of two
cases to obtain]. [1] Either the subject matter of the higher
[science] is not in reality a genus of the subject matter of the
lower [science], being rather like a genus due to its
generality,” but not [existing] in the manner of the
generality of the genus. If it were in the manner of the
generality of genus, the lower [science] would not be
precluded from being one of its species, as conics is for
geometry. [But the case here] is like the particular sciences
108 AVICENNA’S DELIVERANCE: LOGIC
iv. Or the two sciences share the genus [of the subject matter].
[However,] one of them investigates a simpler species, such as
arithmetic, and the other a more composite species, such as
geometry. The investigator of that which is simpler supplies
his counterpart principles, just as arithmetic does for geometry.
[Examples are found] in Euclid’s Tenth [Book of the Elements].
ii. The second way [in which the two demonstrations differ]
is when one of the two syllogisms has a cause, but the other
one does not. This is like the syllogism of one who says, ‘The
fixed™“ stars are very far because they twinkle; and everything
luminous that twinkles is very far.’ Then we say, ‘The planets
are close; and everything that is very close does not twinkle;
so the planets do not twinkle.’
139. On Definition
i. It is not possible to acquire a definition by means of
demonstration. For then this would require a middle term
that is equal to the two extremes. [This is so] because the
definition and the thing defined*” are equal and the middle
[term] must either be another definition [of the thing defined]
or [its] description and property. As for [its being} another
definition, well the question of acquiring [a definition by
means of a demonstration still] endures. For if it is acquired
by a third definition, the matter proceeds ad infinitum. And if
it is acquired by means of the first definition, then this is
circular. If it is acquired by some means other than
demonstration, why is it that the [initial] definition was not
acquired in this [same way], given that it is not permissible
for two perfect definitions to belong to one thing, as we will
explain later? If the means [whereby one acquires the
definition] is something other than a definition, how does that
which is not a definition come to be known to exist for that
which is defined better than something essential and
constitutive of it—i.e. the definition—until this latter is [itself]
acquired? Likewise, is the definition in the major premise
predicated of the middle [term] only as a predicate simpliciter
or as its definition? For if it is predicated of the middle [term]
as a predicate simpliciter, then this only yields the conclusion
that it is predicated of the minor [term], without our finding
out that it is its definition. Thus, there is no need for this
syllogism. For we have already explained that the predication
of a definition and its parts of something defined has no need
of a demonstration. If it is predicated as the definition of the
middle [term], it[s predication of the minor term as its
definition may still be] false. For the definition of the species
is not the definition of its property in an exact manner: the
definition of man|, for example,] is not exactly the definition
AVICENNA’S DELIVERANCE: LOGIC 115
ii. As for one of the two ways, well the equivalence is with
respect to the predication. [By this] I mean that everything of
which this predication holds is that [of which the defined
thing is true] and that [of which the defined thing is true] has
, this predication.
iii. [As for] the second [of the two ways,] the equivalence is
with respect to the intention.’ In other words, [the predicate
should] indicate the perfection of the reality of the essence
[of the thing defined], with nothing of [this essence] being
excluded from [this predicate]. For many things that
distinguish an essence fall short of some genera or of some
properties, so as to be equivalent with respect to the
extension,“’ but not so with respect to the intention. [An
example is] your statement, in defining man, that he is a
mortal, rational body. For this is not a true definition; rather,
it is deficient because the proximate genus is not posited in
it. [Likewise is the case] in your statement, in defining animal,
that it is a body having a sentient soul, without saying that [it
also] moves by will. For [the predicate] is equivalent with
respect to the extension, but deficient as far as the intention
is concerned.
ii. An example of this is: Why does the moon eclipse? [To this]
we say, ‘Because the earth has come to be between it and the
sun, so that its light disappears.’ [This is like] our saying,
‘What is the eclipse of the moon?’ [to which] we say, ‘It is the
disappearance of the light of the moon due to the earth
coming between [it and the sun].’ However, when one is
investigating [the matter], this perfect definition of the
eclipse [does not occur as] a single term in a demonstration.
In other words, it is not one part of a premise in the
demonstration, but two parts. So of these two, in the
demonstration, that which is predicated of the subject first,
i.e. the middle term, is predicated second in the definition.
And that which is predicated second in the demonstration [,
i.e. the major term,] is predicated first in the definition. For
in a demonstration you say, ‘The earth has come to be
between the moon and the sun; the light of everything that is
illuminated by the sun disappears [when] the earth comes to
iii. If you made each one, [i.e.] the earth’s being placed in the
middle and the disappearance of the light, as definition[s
contributing to] the definition [of an eclipse] and it turned
out that [this larger definition] is capable of distinguishing
[an eclipse from other phenomena,] then [you have supplied]
some definition. If it is not a perfect [definition,] that [part]
which is the middle term in the syllogism is called ‘a definition
that is the principle of a demonstration.’ Other [examples are
found] in our statements, such as, ‘Thunder is the sound of
the surfacing of fire in the clouds’ or ‘Anger is the desire for
revenge’. And of these two, that which is the major term is
called ‘a definition which is the conclusion of a demonstration’.
[Examples are] our statements, ‘An eclipse is the disappearance
of the light of the moon’ and ‘Anger is the boiling of the
heart’s blood’. [These two separate definitions] correspond
only when one part of the perfect definition is a cause for the
other part. [However,] if it is limited to the cause, such as the
earth’s being in the middle, the definition is called ‘the
principle of a demonstration’. And if it is limited to the effect,
such as the disappearance [of the light], the definition is
called ‘the conclusion of a demonstration’. The perfect
definition [includes] both of them, along with the genus.
126 AVICENNA’S DELIVERANCE: LOGIC
ii, Among them is [1] the definition that explains the meaning
of a noun. [In this case,] the existence of a thing is not taken
into account. If the existence of the thing is not obvious, the
definition is taken primarily as an explanation of the noun.
[An example is] the definition of an equilateral triangle‘ at
the beginning of Euclid’s book. If a thing in fact exists, then
it is known that the definition is not merely with reference to
a noun.
61. Reading with Ha: yajibu an yijada li-'-k@’ini illa wa-yajadu 1-ka’in.
AVICENNA’S DELIVERANCE: LOGIC 129
teeth that grind wide?’ We say, ‘Because the matter was fully
prepared for [receiving] that agent whose potentiality had
been perfected when the two had came together.’ We also say,
‘Molars are meant for grinding and everything which is
intended for grinding is wide.’
grapevine. The cause for the falling out of their leaves is the
freezing of their moisture or its ebb. But [the leaves] do
[not®]®° primarily [fall out] because of these particular
intermediaries, i.e. fig, Palma Christi, and grapevine; rather,
[they do so] due to their having [wide’’]®° leaves. The fig,
Palma Christi, and grapevine are wide-leaved without any
intermediary [cause]. As for the freezing or ebb in their
moisture, this does not [happen] because they are fig, Palma
Christi, or grapevine, without any intermediary [cause], but
because they are wide-leaved. And their leaves fall out neither
because they are these [particular types of plants] nor because
of the wideness of their leaves, but because of the ebb or
freezing of their moisture.
ii. The mind is a capacity of the soul that prepares [it] for
acquiring knowledge.
ii. Among errors related to the genus, [one type occurs] when
the specific difference [is posited]® in its place. [An example
is] one’s statement that passion is the act of exceeding the
bounds of love, whereas it is only excessive love.
iii. Among [such errors, one type occurs] when one posits
matter in place of the genus, as when they say that the chair
is wood on which one sits or that the sword is iron with which
one cuts. In these two, the matter has been taken up in place
of the genus.
iv. Among [such errors, another type occurs] when the matter
is taken up in place of the genus, as in their statement that
ashes are burnt wood.
oppression may [in fact] be just and may not oppress, though
his nature is not such.
vii. [Likewise, the error may occur] when you take up a noun
metaphorically or ambiguously, as when one says that
understanding is [being] in harmony and that the soul is a
number.
ix. As for [the errors that occur] with respect to the specific
difference, well this [entails] your taking the concomitants in
place of those things that are essential and the genus in place
of the specific difference. [They can also occur when] you
consider affects to be specific differences, since when the
former become intense, a thing is <not> destroyed, and when
the latter become intense a thing becomes firm and strong.
[Errors also occur when] you take accidents as the specific
differences of substances; the specific differences of quality
as having nothing to do with quality; and the specific
differences of things related as having nothing to do with that
related thing, [i.e.] not as something that has a relation.
x. As for the shared rules [of error that one must guard
against, well one example] is your gaining knowledge of a
thing by means of something more obscure [than it]. It is like
one’s definition of fire as a body that resembles the soul, while
the soul is [itself] more obscure than fire. [Another example]
AVICENNA’S DELIVERANCE: LOGIC 139
xi. In this category also falls [the error] of taking the contrary
in the definition of its contrary. [An example is] their
statement that even is a number that is more than the odd by
one. And then they say that odd is a number that falls short
of even by one.
ii. These things that produce error occur either with respect
to the utterance or the meaning; [and they may also occur]
either in the form of the syllogism or its matter. [In addition,]
they are either errors or sophisms (mughalata).
the premises, and [when] the mood of the figure is one that
concludes, and the premises are true and other than the
conclusion [itself], and [when they are] better known than
[the conclusion,] then whatever follows from it follows
truly.
iv. Thus that statement from which truth does not follow, i.e.
the sophistical syllogism, is [1] either not arranged according
to one of the forms; or it is not in accordance with one of the
concluding moods; [2] or there are no distinct primary and
secondary parts; [3] or the premises are not true; [4] or they
are nothing other than the problem; [5] or they are not better
known than it.
vi. [The third case occurs] in two ways: [1.c.i] either the
overlap fails to exist both in reality and overtly or [1.c.ii] it
[fails] to exist in reality, while existing overtly. If the overlap
exists overtly [but not in reality], then there exists an
utterance that is understood with reference to more than one
meaning. And this [multiplicity of meaning] occurs either
insofar as [the utterance] is [1.c.ii.A] simple or [1.c.ii.B]
complex.
xiv. [2] As for the second reason, i.e. the lack of distinction in
the parts of a syllogistic statement, well it does not present
itself [in those syllogisms] in which the primary parts [i.e.
terms] are simple, but those in which they are complex
utterances. Then [of this phenomenon] there are two types:
[2.a] either the parts of the predicate and the subject are
distinguished from each insofar as [they are] posited [as such
parts]; but they are not distinguished from each other as far
as the syntax [is concerned]. [2.b] Or [these parts] are not
distinguished from each other insofar as [they are so] posited,
such that there is something that is [part] of the subject, [but]
is taken to be [part] of the predicate [and vice versa]®™. An
example of that which is distinguished insofar as it is posited
[as a subject or a predicate], without any distinction as far as
the syntax [is concerned], is one’s saying, ‘The philosopher is
like whatever he knows/Whatever the philosopher knows is
73. Reading with HJ: fa-yantagilu ’‘l-wahm and with Q: ila anna.
AVICENNA’S DELIVERANCE; LOGIC 145
xvii. [3.b] As for [the reason for conceding a lie] that has to
do with the meaning, well the false [statement] must [3.b.i]
either be a lie in toto, i.e. neither in any state nor at any time
is any predication involving it, applied to any of its subjects,
true. [3.b.ii] Or [the statement] is a lie with respect to a part,
i.e. the predication involving it is true for some of its subject
or at some time or in some state. If it is a lie in toto, it must
share something with the true [statement] as far as their
meaning is concerned. This meaning may be a genus, a
specific difference, or an overlap with respect to an accident
or with respect to the equivalence of relation. You know that
[the truth and the falsehood] may generally intersect with
reference to that which is equivalent to the genus and the
specific difference. For that which is shared [by them] may be
an accidental that is universall|ly applied] to both the subjects;
[or] it may be universal for one of them and [applied to] some
of the other; [or] it may be [applied to] some of both of them.
That which is not true with respect to the whole is [true] for
some of the subject only; or [it is true] for each one of the
subject, but only at some time and not at some others; or [it
is true] at all times, but conditionally, not absolutely; [or [it
is true] absolutely]™, except in a [certain] condition. This
condition is either compounded with the statement or not. If
it is not so compounded, it is either singled out or not. And if
it is also an accidental for part of the subject, it is either
natural or coincidental. All this takes place to generate belief
in the converse [of the truth]. For if it so happened that one
saw a yellow liquid that was bitter, i.e. [like] bile, and then
happened to see some other yellow liquid, he would think that
it was bitter, though it might [in fact] be sweet, like honey.
The reason for this is that when [this person] found bile, he
thought that all yellow liquids are bile, since bile is a yellow
liquid.
AVICENNA’S DELIVERANCE: LOGIC 147
xviii. [4] As for [the reason for conceding a lie] that has to do
with the fact that the premises are nothing other than the
conclusion, well it concerns a proof that pre-posits the first
problem in a straightforward [syllogism] and pre-posits the
contradiction of the conclusion in the [syllogisms that
conclude by way of an] absurdity. But this has already been
pointed out in what has preceded.
xix. [5] As for [the reason for conceding a lie] that has to do
with the fact that the premises are not better known than the
conclusion, well the [sophist employs] things [5.a] that are as
known or as unknown as the conclusion; [5.b] [or he employs]
things that are known after [the conclusion]. [The method in
use] is that of the circular syllogism. This has already been
pointed out in what has preceded.
xx. From all this, it is gathered that all the reasons for
sophisms in syllogisms [reduce] either to those that have to
do with the utterance or those that have to do with the
meaning. Those that have to do with the utterance [comprise]
homonymy as regards the substance of the simple utterance;
or as regards its external form and figure; or homonymy that
occurs with respect to a complex, not a simple utterance.
[Such sophism may also occur] due to an [utterance] that is
true as a compound, but has been split [into parts], so that
[these parts are] considered true; or [it occurs] due to [an
utterance] that is true insofar as it is split, but has been
compounded, so that it is considered true [as a whole]. As for
[sophisms] that have to do with the meaning, well they are
either due to that which is accidental or because one does not
properly consider the conditions of [truth”]®> when
predicating; or [due to] the [absence of]*“ a connection
xxi. We have been brief with you about the science of logic to
this extent. We have informed you of the method that will
incline [you] towards what is correct, i.e. the demonstrative
syllogism, the true definition, and the method of guarding
against error. [The last] comprises the points (about which we
have informed you) at which one may be led to error as
regards syllogisms and definitions. We will not elaborate [on
logic further] by mentioning things beyond these two
concerns, though there is definitely benefit [in this]. [For one
can speak, for example,] about points related to dialectics, its
instruments and usage, about rhetorical syllogisms, their
matters and objectives. If you are interested in finding out
about these [things], then seek them in our book called The
Cure. The logic [section] of the Book of Deliverance is
concluded.
Notes
equaling 180 degrees. This accident specifies the triangle not just
as a specific type of figure, but, insofar as all triangles have this
same property, it also singles it out as a genus.
XV. li-kulli wahidin mina ’n-naw‘.
Xvi. gasim al-jawhar. It seems that the point is that an entity may be
recognized in itself as a substance, regardless of whether its
existence is necessary or accidental. In both cases, accidents may
come to inhere in it, but will do so in different ways. The three
concepts under consideration are: accident (that which inheres),
accidental (that whose occurrence is non-essential), and
substance (that in which the accident inheres).
. mina 1-azminati ’th-thalatha.
Xviii. In other words, the relationship is established between two
propositions, which can be separated with its dissolution.
xix. fassalta
. an-nisba al-wujidiyya. In other words, it states that A exists for
B.
XXxi. jami‘un li-I-basar.
xxii. i.e. affirmation and negation.
xxiii. irtafa‘a.
XXiv. In other words, it is said that possibility statements relate only
to the future and that the judgment regarding their truth or
falsity applies only then.
XXV. The point, as Avicenna immediately explains, is that one cannot
predicate affirmatively of a non-existent subject. When
ambiguous statements try to convey the same information
affirmatively as their negative counterparts, one may end up
dealing with a significans as a subject term that has no significatus.
More specifically, this poses a problem in an affirmation when
the predicate term is ambiguous and the subject term is non-
existent.
XXVi. zaydun huwa 1d basirun.
XXVii. zaydun laysa huwa basiran.
XXViii. i.e. ‘not-impossible’ can be taken to mean ‘possible’. Thus, ‘It is
not impossible for it to be’ means ‘It is possible for it to be’.
Xxix. Here is the problem Avicenna is describing (P1 = common-
possible; P2 = special-possible/contingent; N = Necessarily (p or
not-p); I = impossible; n = necessary): not-P1p = Ip; not-P1p > not-
np; np > P2p (though in fact n is subsumed under P1); but P2p >
not-Ip & not-np (or not-Np); so np > not-P1p (though it is in fact
not-P2p). This has led to the contradiction P1p > not-Pip. Or np
NOTES 151
xlix. E.g. ‘It is not contingent that A is not-B’ and ‘It is not contingent
that A is B’.
gad yuridu.
li. ‘iddatun mina ’l-muhassilina mina ’l-muta’akhkhirin.
lii. al-hukm bi-’l-mahmial.
liii. i.e., not by Necessity of the first two types, but conditioned
Necessity.
liv. In other words, though one may say that some men are
necessarily writing because they are always writing, this
perpetual affirmation of writing does not produce necessity.
Rather, it is the accidental fact of their writing that obliges one
to say that they are necessarily writing. In other words, the
necessity is due to an accidental, but perpetual, fact, not due to
the nature of the subject. And this is how particular necessities
must always be understood.
lv. The sense is somewhat vague. ‘Necessarily not-p’ implies
‘Impossible p’. The specialist reading would allow the implication
of ‘not-Contingent p’, but the common reading would allow
‘Possible not-p’. Under a common reading then, if one confuses
‘Necessarily not-p’ with ‘not-Necessary p’, then the latter
certainly follows from ‘Possible not-p’. The mistake is twofold:
(1) reading ‘not-Necessary p’ for ‘Necessarily not-p’ and (2)
understanding mumkin as the common-possible. But this is a very
roundabout elaboration of what Avicenna seems to be saying.
The following simpler interpretation would force us to
acknowledge that, in this paragraph, Avicenna is using the
expression dariri in a loose sense, i.e. as wajib. We can then say
that ‘It is not necessary’ implies ‘It is possible that not-’, which
is compatible with ‘It is impossible that’, which, in turn, is
equivalent to, ‘It is necessary that not-’.
lvi. In other words, ‘It is not contingent’ yields the disjunction, ‘It is
necessary that or it is necessary that not-’. But, ‘It is not possible’
only yields, ‘It is impossible’, which, in turn, means, ‘It is
necessary that not’.
lvii. The proof above required an e-conversion, which works with a
limiting set of conditions.
lviii.wa-huwa dakhilun fi-’l-asli ’l-awwal.
lix. In other words, if the converse of a universal affirmative
Necessity proposition is a particular affirmative absolute, then
the converse of the latter, as already explained, must be a
particular affirmative. Thus, we would end up with a proposition
154 NOTES
. This would be the case if one converted the Major instead of the
Minor. In such a scenario, when a conclusion comes about, one
would have to convert again to retain the form of the figure. The
problem with such a final conversion, however, is that it will
yield a possibility, not a contingency. Here is an example of a
single conversion proof: 1. Contingently, AaB (Major). 2.
Contingently, JaB (minor). 3. Conversion of (2) to Possibly, Bij. 4.
Contingently, AiJ (Conclusion).
ci As an example, the proof of contingency Bocardo would look like
this: 1. Contingently, AoB (Major). 2. Contingently, JaB (minor).
3. Contingently, AoJ (desired conclusion). ekthésis: 4. Contingently,
BaD. 5. Contingently, AeD. 6. Contingently, JaD (by 4 and 2). 7.
Conversion of (6) to Possibly, DiJ. 8. (3) (by 5 and 7).
cil Avicenna may be referring here to the proof involving double
conversions, which are required if one proceeds with an initial
conversion of the Major.
ciii. This would occur under the Theophrastian/Themistian
reading.
Civ. i.e. of the Alexandrian type.
s CV: Presumably, Avicenna is referring to what was said by those with
whom he disagrees, namely, that the conclusion is always
contingency proposition. Otherwise, it appears that Avicenna’s
position in both cases is the same, i.e. that the mode of the
conclusion follows that of the Major.
cvi. harf
cvii. fijuz’in tammin.
cviii. Thus, one would take the subject or the predicate of the
consequent or the antecedent as a middle term and conclude
something on its basis. In the example that follows, Avicenna
takes the predicate of the antecedent, even, as the middle term
and derives a conclusion, while maintaining the consequent ‘it
is odd’ as it was in the disjunctive conclusion.
CL zawj al-zawj.
ex; zawj al-fard.
cxi. zawj al-zawj wa-'l-fard.
cxii. tiba’.
cxili. la’ih ‘ani 'l-garib.
CXiv. Thus, ‘IfA is B, then no J is H’.
CXV. ma‘did.
CXVi. The other option, i.e. a syllogism in the second form, is
mentioned below in division xviii of this section.
NOTES 159
cxvii. In other words, in these cases, one does not take just the subject
or the predicate of the antecedent or the consequent as a middle
term. One takes the whole of either the subject or the predicate
as middle terms.
cxviii. Thus, in the example that follows, the shared predicate of the
consequent is ‘numerical’ and it occurs as the subject of the
disjunctive proposition. The remainder of the consequent is ‘this
thing’ and it occurs in the conclusion.
cxix. i.e. of two conditional premises, where one is ‘If p then q’, the
other must share either p or q with it as a middle term.
CXX. takthir al-qiyds. In other words, compound syllogisms do not
comprise a series of syllogisms, each of which yields the same
conclusion. When they are set up in this way, the phenomenon
is called takthir al-qiyas.
CXXi. Thus, ‘A is B, B is C; A is C, C is D...’
CXXii. al-muhdathin.
CXxiil. khass.
CXXiv. fasul.
CR: al-fusul al-khassiyya.
CXXVi. jumla. One would wish to read tada‘u jumlata hadhihi...i.e. And you
posit all of this...jumla, in the sense of totality, does occur in the
sentence to follow, but in this sentence, no variant allows this
reading and the proposed emendation is too far from the
established text.
CXXVii. lawahiq.
CXXViii. malhugqat.
Cxxix: A conversion by contradiction requires one to take the
contradictory of the predicate and place it as the subject of the
original subject, which remains as it was; the quality of the
proposition is also the opposite of the original proposition. So
‘Every man is an animal’ has a conversion by contradiction as
‘No non-animal is a man’.
CXXX. ‘All animals are bodies’; ‘No body is a substance’ (Major that is
false with reference to the whole); so ‘No animal is a substance’.
If ‘No animal is a substance’ is true, and then the true premise,
‘All bodies are substances’ is posited, then it will yield ‘All
animals are substances’, the contrary of ‘No animal is a
substance’. But the former conclusion must be true because both
the form and matter of the syllogism are true in this case. So its
contrary must be false.
160 NOTES
cl. The reference is again to the upper limbs, which include the
shoulder, chest, etc.
cli. Assent is not to be understood only in the sense of affirming the
truth of something. Rather, the point is that one holds some
truth-value to apply to the judgment. The conceptualization of
the statement of another person or of a concept either need not
or cannot have such attached truth-values.
clii. Memory is a translation for dhikr, which is the faculty that
preserves non-sensible ideas that are extracted from sensibles.
In other words, two things repeatedly occur together as observed
by our senses and the repeated observation, in turn, repeatedly
produces the non-sensible idea that these two things are related
in a consistent fashion. This is an experience.
cliii. The sensory perception of the drinking of scammony and the
concomitant loosening of the bowels generates the non-sensory
idea that the drinking of scammony has as a concomitant the
loosening of the bowels. When the sensory perception is
repeated, the memory is as well. Then one produces the
following repetitive syllogism: ‘If this thing, such as the
loosening of the bowels due to scammony, were something
arbitrary and accidental and not due to some requirement of
nature, then it would not occur consistently in most cases’; “But
it does occur in most cases’ (repeated memory, i.e. experience);
so ‘The loosening of the bowels due to scammony is not
something arbitrary, (i.e. it is the nature of scammony that, if it
is drunk, it causes loosening of the bowels in the drinker—the
conclusion to which one grants assent).
cliv. li-gharadin mina 'l-aghrad.
clv. The definition of mutawatir reports, as given here, is obviously
circular and seems to have no real epistemological base. Such
reports are true simply because they are such reports. It is
interesting that all manuscript readings, except Q, seem to say
that agreement either to the truth or the falsity of these types
of reports is incorrect. But this does not fit with the preceding
statement.
clvi. yutasawwaru.
clvii. fitriyya. >
clviii. fitra: a natural (and sound) disposition for understanding, i.e.
intelligence. This is not to be confused with the intellect and its
objects, the intelligibles. As it will become clear from what is to
162 NOTES
clxxxvi. That is both the subject and predicate are specific to the
discipline. In the example to follow, the subject matter is a
measurable quantity and the predicates both pertain specifically
to notions of quantified measurements (as opposed to, e.g.,
‘equality’, which is not specific to this discipline). .
clxxxvii. ‘umamihi.
clxxxviii. In other words, the subject matters of the sciences that
investigate moving globes (astronomy) and lines connected to
the pupil (optics) are particular types that fall within the subject
matter of geometry (i.e. globes and lines).
clxxxix. It is my understanding that the problems of demonstration are
statements requiring proof. As such, one would like this sentence
to say either that the subject of the problem is an essential
accidental or that its predicate is so, not that the problem itself
is an essential accidental. The example provided suggests that it
is the predicate that is meant.
CXC. i.e. under the rubric of the qualified ‘hal’, where the existence of
something in a certain state is investigated.
cxci. ath-thabit.
cxcii. The first syllogism leads one to assent that the fixed stars are
far; it is a demonstration of ‘if’. The second syllogism not only
leads one to assent that the planets do not twinkle, but also tells
us why this is the case—because they are near.
cxciii. zannan muktasaban ghaliban.
CXciv. yaqin.
CXCV. mahdid.
CXCvi. The definition of properties includes ‘species’. This latter cannot
be applied in the definition of ‘mourner’, ‘timid’, etc. An example
of this point is: ‘mourner’ is a property; a property is a generic
or non-generic species. But ‘mourner’ is not a species.
cxcvii. aqsam.
cxcviii. istithna’.
CXcix. That is you will already have found the definition, which was the
first problem, i.e. the first sought conclusion.
cc. bi-'t-tarkib.
cci. ashkhas, i.e. this animal that is, say, Zayd and not animal
generally.
ccii. al-hiss.
164 NOTES
adat: particle, 20
‘adamiyya: privative proposition, 44
ahad: units, 149, x
al-akbar: the major term, 61, ii
‘aks: conversion, 55
‘aks al-naqid: contradictory conversion, 87
akthariyya: things that are true for the most part, 120, i
‘alama: sign, 100
alfaz khamsa: five predicables, 11
alfaz mu’allafa: compound utterances, complex utterances, 3, i
alfaz mufrada: simple utterances, 3
alfaz murakkaba: complex utterances, compound utterances, 4
‘amma: the common people (i.e. non-specialists), 47, i
an: now, 142, v
‘aq: intellect, intellection, 17, i
‘agliyyat: primary intelligence, 107, ii
‘arad: accident (as opposed to substance): 8, i
‘aradi: accidental, 7, i
‘arid: accidental, 12, i
al-asghar: the minor term, 61, ii
aslan mawdi‘an: postulated principle, 128, i
awda‘: postulates, 128, i
awham: objects of estimative faculty, 17
al-awsat: the middle term, 61, ii
awwaliyyat: primary statements, 108, iii
a‘yan: individual essences, 17
ayn: place, 142, ix
168 GLOSSARY AND INDEX
muqaddima: premise, 50
mugaddima awwaliyya: primary premise, 122
murakkab: compound, 14, i
musdadara: pre-positing (a conclusion), 93
musiqi: science of music, 130, viii
mustathnat: the repeated [premise], 83, i
mutadadd: contrary, 40, i
mutalazimat: equipollent, 49
mutagabil: opposite (propositions), 39
mu ‘taqgad: A proposition believed (to be true), 109, i
mutashabih fthi: secundum comparatus, 97, i
mutawatirat: universally circulated (report), 105
mutlaqa: absolute proposition or premise, i.e. one in which no
condition is posited, 43, i
naq| al-burhan: transfer of demonstration, 132
natija: the deduced conclusion of a syllogism, 61, ii
naw‘: species, 11, i
naw‘ al-anwa‘: species of species, lowest species, 13, ii
nazari: theoretical, 2, i
qadim: eternal, 62, ii
gadiyya: proposition, 22
garina: the connection between the Major and Minor, 61, ii
qawl: statement, 3, i
gawl jazim: proposition, 150, v
gisma: the process of division for acquiring definitions, 139, ii
giyas: syllogism, 1,i
giyas al-damir: enthymeme, 97
giyas firdsi: physiognomical syllogism, 101
giyas kamil: perfect syllogism, 59
giyas ghayr kamil: imperfect syllogism, 59
giyds al-khalf: a syllogism that concludes by way of a reductio ad
absurdum, 91
giyas murakkab: compound syllogism, 84
giyas murakkab mawsil: explicit compound syllogism, 84, ii
giyas murakkab munfasal: implicit compound syllogism, 84, iii
quwwa, faculty: potentiality, 39, i
quwwa ‘agqliyya: intellective faculty, 111, i
174 GLOSSARY AND INDEX
Division (gisma), 46, 115, 119, 120, Estimation (wahmiyyat), 89, 90-1,
158n.cxvi 95
Dual conclusion, 60, 62 Estimative [statements], 93, 95
Estimative faculty (quwwat al-wahm),
E 13, 89, 90, 95, 162n.clviii
Euclid, 109, 126
East (Khurasan), xxi Even (zawj), 15, 66, 70-2, 82, 102,
Eastern philosophy, xxi, xxii 139, 144
Easterners, The (Avicenna), xxi, xxii, Existence, 6-8, 13, 16, 27-8, 31-2,
xxiii, xxiv 34-7, 39, 51, 54, 62-3, 83, 85, 88-
Effect, 30, 82, 91, 97, 128, 132, 138 9, 91, 96=9, 101, 103, 111-3, 118,
Efficient cause (‘ill fi‘liyya), 107 121, 126, 128, 131-2, 141, 150n.
Ekthésis (iftirad), 39, 43, 48-9, 50-4, xvi, 151n.xxxv, 156n.xc, 163n.
59, 61-2, 155n.Ixxvii, 155n.lxxviii, cxc
156n.Ixxxvii, 158n.ci Existence, perpetuity of, 24
Elements (zawa’id), 30, 77, 95, 152n. Existent, 36, 102, 138, 165n.
xlii CCXXXViii
Ellipsis, 85 Existential (wujiidi), 51
Enthymeme (al-damir), 84-5 Existential Minor, 51
Epistemologically, 149n.ii, 161n.clv Experience (tajribiyyat) [proposition],
Equality, 120, 163n.clxxxvi 59, 96, 135-6, 161n.clii, 161n.cliii
Equilateral triangle, 126 Experience, objects of (al-mujarrabat),
Equipollent (muta‘akisa), 31, 152n. 88
xliii, 152n.xlvi, 152n.xlvii, 160n. Explicit (mawsilan), 73, 85-6
CXxxi Extensive induction, 92
Equivalent [proposition], 31, 117, Extremes term, 44, 46, 54, 65, 67, 74,
131-2, 146, 152n.xlvi, 153n.lv 81, 85, 96-7, 103, 114
Equivocally (bi-’t-tashkik), 126
Essence, 12-3, 95, 98, 104, 106, 117- F
S201 2354 26-7.
Essential (dhati) [utterances], 6-9, Fakhry, Majid, xxxi
99, 127, 135, 138, 155n.)xxxiii, False estimation, 90
157n.xcv False estimative [proposition], 93
Essential accidents, 102-4, 108, 111, False, 14, 19, 20, 36-7, 41, 47, 53, 56,
128, 163n.clxxxix 76-9, 82, 90-4, 114-5, 145-6,
Essential attributes, 9, 10, 98, 104 157n.xcvi, 159n.cxxx
Essential cause, 119, 124, 129 Falsification, 90
Essential predication, 104 Falsity, 76-7, 84, 89, 91-2, 145, 150n.
Essential universal [utterances], xxiv, 161n.clv
11-2 Fasig [deviant/sinner], 142
182 GENERAL INDEX
Intellect (‘agl), 13, 90-1, 100, 134-6, Logic (Avicenna’s), xix, xx, xxi, xxii,
161n.clviii, 162n.clxvii XXiii, XXivV, XXVi, XXXVi
Intellective faculty (quwwa ‘agliyya), Logic, 4-5, 148, 152n.xlii
95, 162n.clviii ’
Intellective thinking (fikr ‘agli), 135 M
Intelligence, objects of (‘aqliyyat),
90, 95, 161n.clviii Major (al-akbar) extreme, 44
Intelligible (ma‘gula), 3, 118, 161n. Major (al-kubra), 44-5, 47, 52-7, 60-
clviii 2, 66, 70, 75-8, 81, 83-5, 96-7,
Intermediary [cause], 132-4 104-5, 114, 124-5, 132-4, 148,
Investigation (mawdia’at), 8, 57-8, 62, 158n.c, 158n.ci, 158n.cii, 158n.cv,
75, 80, 98, 104, 107-9, 112, 116, 159n.cxxx
124, 136, 162n.clxxiii, 163n. Major attributive [premise], 69
clxxxviii, 163n.cxc Major attributive [proposition], 67
Igtirani, xxvi, xxvii Major premise, 114
Irrational, 106, 111 Major universal premise, 82
Isosceles triangle, 96, 100 Mansur, Nasr b., xxxiv
Matakhayyilat, 94n.32
J Material cause (‘illa maddiyya), 129
Material element (‘unsur), 118
Judged (mahkum bihi), 16 Material form (siira maddiyya), 129
Judgment, 3, 14, 16-8, 20, 27, 32-4, Mathematics (ta‘alim), 84
37, 83-4, 87, 89, 91, 133, 136, 145, Matters (mdadda), 3-4, 20, 24, 36-7,
149n.i, 150n.xxiv, 161n.cli 39, 46, 53, 57-8, 86, 89, 98, 127-9,
Juzjani, xxii 130, 132, 137, 140, 148, 159n.
CXXXx, 160n.cxxxi, 165n.ccxxxvi
K Measurable [dimensions] (migqdar),
102-3, 106-7
Knowledge, 15, 33, 82-3, 88, 113, Medicine, 102, 109
133-4, 138-9, 149n.i Metaphor (lafz musta‘ar), 142
Knowledge, objects of (ma‘lamat), 3 Metaphorically, 138
Metaphysics (Aristotle), xix
L Metaphysics (Avicenna), xx
Metaphysics, xix
Late Period philosophy (Avicenna), Middle Arabic, xxxv, xxxvi
xxii Middle term (awsat), 44, 59, 66-7, 75,
Latin logic, xxviii 83, 85-6, 96-7, 103, 110, 113-5,
Latin west, xix, xxvii 119, 124-5, 128-9, 131-4, 156n.
Limit (hadd), 126 Ixxxvii, 157n.xcv, 157n.xcvi,
Localized (mutahayyiz), 89 158n.cviii, 159n.cxvii, 159n.cxix,
Location (makan), 8, 19, 90, 121, 123
184 GENERAL INDEX
162n.clxxi, 162n.clxxii, 165n. Nature(s), 22, 43, 59, 66, 88, 91, 95,
ccxxl 113; 12739334 0137-8) 145; 153n.
Mimesis (muhakat), 94 liv, 157n.xcv, 161n.cliii
Mind (dhihn), 4, 7, 21, 90, 93-7, 134 Necessary (dariiriyya), 32-4, 36, 38-9,
Minor (al-sughra) extreme, 44-6, 40, 54, 66, 70, 74, 91, 94, 96-7, 99,
48-9, 50, 54-6, 61, 66, 69, 70, 75- 101, 107, 127-8, 135, 139, 143,
6, 78, 82-5, 96-7, 105, 110, 114, 150n.xvi, 151n.xxxi, 151n.xxxiv,
148, 156n.lxxxv, 156n.lxxxvii, 151n.xxxix, 152n.xlviii, 153n.lv,
156n.Ixxxix, 158n.c, 158n.ci, 153n.lvi, 155n.Ixxvii, 155n. xxviii,
160n.cxlviii 156n.lxxxvii
Minor disjunctive [premise], 69 Necessary (wajib), 20, 24-9, 31, 151n.
Minor extreme (al-asghar), 44 Xxxiv, 152n.xlviii, 153n.lv
Minor premise, 111 Necessity [conclusion], 54
Misleading (mughaliti), 4 Necessity [premise], 30, 50-2, 54, 57,
Mixed syllogism, 155n.Ixxvii, 155n. 59, 60, 151n.xli, 152n.xlii, 155n.
xxviii Ixxvii
Mixture [of contingency], 59, 60-2, Necessity [proposition], 20, 29, 30,
73, 86, 155n.Ixxvii 32-3, 35-9, 40-2, 51, 53, 55, 57-9,
Mixture, 52, 57, 59, 60, 122, 156n. 60-2, 89, 101, 113, 128, 151n.
Ixxxv, 156n.Ixxxvii, 157n.xcvi Xxxiii, 151n.xxxv, 153n.liii, 153n.
Modal logic, xxii, xxiii, xxiv, xxviii, liv, 154n.lix, 154n.)xii, 154n.1xiii,
37, 151n.xli 154n.lxxvi, 155n.Ixxvii, 155n.
Modal syllogistic, xxiii Ixxxiii, 155n.Ixxxiv, 155n.lxxxv,
Modalized [proposition], 37 156n.lxxxvii, 156n.xc, 156n.xciii,
Modes (jihat), 24, 30-2, 38, 51, 62, 99, 157n.xcvi
145, 152n.xlii, 158n.cv, 165n. Necessity [simpliciter], 58
CCXXxiii Necessity affirmative, 56, 151n.
Movement, 59, 129, 142, 157n.xcvi XXXili
Multiplicity, 91, 139, 141 Necessity Major, 51-2
Munafiq [hypocrite/hypocrite], 142 Necessity negative [proposition], 51,
Music (misiqi), 108-9 60
Mutawatir, 161n.clv, 161n.clv Necessity predication, 29
Mutually converting [equipollent], Necessity, concept of, 28
31 Necessity, mode of, 38
Negation (salb), 16-9, 20, 22-4, 27,
N 29, 32-3, 35-7, 41, 45, 52-5, 62-4,
78, 95, 97, 100, 105-6, 112, 136,
Natural [type], 69, 70, 128 139, 150n.xxii, 151n.xxxiii, 152n.
Natural faculty (quwwa tabi‘iyya), xlvi, 154n.)xiii, 155n.Ixxvii, 157n.
122 Xcv, 165n.ccxxxviii
Negative [premises], 45, 61, 77
GENERAL INDEX 185
109, 111, 124, 141, 145, 147, 154n. Prohibition [or impossible]
Ixvi, 154n.Ixx, 156n.Ixxxix, 157n. (mumtani’‘), 20
Xcvii, 159n.cxxx, 160n.cxxxi, Proof (ihtijdj), 49, 50, 52-4, 57, 60-1,
160n.cxxxiii, 160n.cxxxiv, 160n. 136, 147, 153n.lvi, 155n.lxxxiv,
cxlix ; 156n.lxxxvii, 158n.cii, 163n.
Preparedness (isti‘dad), 20 clxxxix
Pre-positing (musddara), 81, 116, Property (khdssa), 10, 12, 96, 98,
147 114-5, 117, 163n.cxcvi
Pre-position, 105, 111, 148 Proposition (qadiyya), 14, 38-9,
Present impossibility, 28 103,105, 109, 128, 150n.xviii,
Present necessity, 28 152n.xlii, 152n.xlvii, 159n.cxxix
Presumed [proposition], 93-4, 96 Proximate cause, 127
Primary (al-awwaliyyat) [statements], Proximate receptacle (mahall), 120
93, 95, 101, 116, 135, 140-1, 144, Pure [type], 61, 93
149n.i, 149n.ii
Primary [proposition], 95 Q
Primary cognition (ma‘rifa), 3, 149n.
i Quadrupleness, 121
Primary estimations, 89 Quality (kayf), 45-6, 55, 107, 121-2,
Primary intelligence (fitra), 90-2 135, 138, 164n.ccxxii
Primary premises, 99, 100, 105 Quantifier (sir), 18, 152n.xlii
Primary syllogism, 75 Quantity, 45-6, 55, 80, 107, 121, 123,
Primary truth, 93 129, 135, 140, 163n.clxxxvi, 164n.
Prime matter (hayali), 91, 110, 143, ccxxii
165n.ccxli Quiddity (mahiyya), 3, 6-7, 10, 104,
Primum comparandum (mahkim 111, 117-8, 134, 149n.i
‘alayhi), 84
Principles (usil), 28, 105, 109, 110-1, R
125-7, 134
Prior Analytics, doctrine of (Aristotle), Rational, 9, 10, 12, 106, 111, 115, 117,
xxi, xxii, xxv, xxviii, 101 142; is a Compound specific
Privative proposition, 23 difference, 12; it is also Logical
Probative, 33 specific difference, 12
Problem (matlab), 44, 79, 80-1, 84, Rationality, 12, 116; is an abstracted
98, 115-6, 140-1, 147, 150n.xxv, (mujarrad) specific difference, 12,
158n.c, 163n.cxcix 135:
Problematics, 110, 152n.xlvi Real (hagiqi), 3, 39, 79, 98, 115
Problems [related to the subject Reality, 42, 60, 79, 104, 121-2, 124,
matter] (masa’il), 98, 104, 109, 131, 139, 141-3
110, 134, 148, 163n.clxxxix Receives (qabilatun) influences, 143
Reductio proof, 156n.xciii
188 GENERAL INDEX
Totality, 43, 74, 79, 89; 90, 95, 99, Universal negative [proposition], 18,
100, 123 33, 35-9, 42, 47, 74, 154n.Ixxvi
Transferred utterance (lafz manqil), Universal negative absolute
142 [proposition], 38
Transformed (muharraf) conditionals, Universal negative contingency
65, 96 [proposition], 41
Triangle, 7-8, 12, 96, 99, 100, 103, Universal negative Major, 45-9, 50,
105, 150n.xiv 54
Tripartite [proposition], 23 Universal negative Necessity
Tripartite [utterance], 21, 23 [proposition], 39, 41-2
True/Truth, 14, 19, 20, 36-8, 42, Universal premise, 76, 85, 156n.
53-5, 58-9, 60-2, 76-7, 79, 89, Ixxxix
90-27°95=6,) 111, 117; 1335-136, Universal simple [utterance], 6, 17
140-1, 144-8, 150n.xxiv, 157n. Universal utterances (alfaz khamsa),
xcvi, 159n.cxxx, 161n.cli, 161n. 10, 19, 149n.vii see also Genus
clv (jins); Specific difference (fasl);
Truth-conditions, xxiii, xxiv, xxvi, Species (naw’‘); Property (khdssa);
XXvii, 20, 147 Accident (“arad), 10
Universality, 19, 47, 55, 101
U Universally circulated (mutawatirat),
89
Uniform [non-equivocal] manner, Universals, 33, 35-6, 42, 45, 47, 49,
26 54, 60, 63, 65-6, 69, 70, 82-4, 101,
Unique essence (dhat), 6 135, 146; affirmative, 33, 46;
Unique, 9 negative, 33
Units (ahad), 139 Universe (al-kull), 3, 83, 89, 93, 109
Unity, concept of, 149n.i Utterance, 140-3, 145, 147
Universal absolute negative, 47, 59
Universal affirmative [proposition], Vv
33, 35, 38-9, 45, 49, 54, 70, 74,
157n.xcix, 160n.cxxxi Vacuum (khala’), 83, 87, 89, 93, 98,
Universal affirmative contingency 160n.cxli
[proposition], 41-2 Verb (kalima), 14, 21
Universal affirmative Major, 48-9,
50 Ww
Universal affirmative Minor, 45, 48
Universal affirmative Necessity What (matlab ma), 97, 124
[proposition], 40, 153n.lix When (mata), 123, 164n.ccxxii
Universal conclusion, 50 Whether (matlab hal), 97-8, 100, 111,
Universal knowledge, 116 124, 150n.xvi
iy Ft os
mh he “ve
eee Which (matlab ayy), 98
GENERAL INDEX 191
THEOLOGY LIGRARY
CLAREMONT, CA
”*