Professional Documents
Culture Documents
’ SUMMULAE LOGICALES
cited by Peter of Spain as governing the truth or falsity of a
conditional proposition, apply only to fonnal implication. If the
antecedent cannot be true without the consequent being true,
then a necessary relationship must exist between the
antecedent and the consequent. The statement “Man exists”
necessarily implies the statement “Animal exists”. If “Man
exists” is true, then “Animal exists” is true and the conditional
“If man exists, then animal exists” is true. However, the
necessary relationship which must exist between an antecedent
and its consequent is unilateral, for the truth of the consequent
does not imply the truth of the antecedent. The statement
“Animal exists” does not imply the statement “Man exists”.
Even if “Animal exists” is true, it does not follow that “Man
exists” is true. Hence, the conditional “If animal exists, then
man exists” is not necessary.
{
If every true conditional is necessary, then every false
conditional must be impossible. A true conditional implies a
necessary relationship which actually exists between an
antecedent and its consequent. A false conditional likewise
implies a necessary relationship between an antecedent and its
consequent, but the relationship does not actually exist.
Therefore, a false conditional implies the existence of
something which does not exist. But this is an impossible
condition, for it violates the law of contradiction. Consequently,
all false conditionals are impossible.@}
Since the Summulae was probably intended as a compendium
of practical rules for students of elementary logic and as an aid
for scholars participating in the disputationes in the schools, the
interest of Peter of Spain was in establishing a practical rule
relative to the falsity of the conditional proposition. To all
practical intents and purposes, the necessity of the conditional
proposition is destroyed if the antecedent can be true, the
consequent being false. If the mere possibility of the
antecedent’s being true with the con-
conditionalis vera eat neceaaaria et omnia falsa eat imposribilia. Ad
falsitatem eiaa suffldt quod antecedena poasit ease veram,
consequent* e falao “ Summulat Logical*; Trmctatos I.
INTRODUCTIONxxix
sequent being false is sufficient to render the conditional
statement false, it is obvious that the antecedent’s actually being
true with the consequent being false renders the conditional
false.
The treatment which Peter of Spain accords the connectives
“and”, “or”, “if... then”, can thus be said to parallel to some
extent the truth functional analysis embodied in the modern
theory of statement composition, for both regard the truth value
of the hypothetical or compound statement as depending upon
the truth value of its components.
The focal point of the Summuiae is the Topics of Aristotle. And
inasmuch as the topical analysis of dialectical argumentation is
probably the ultimate aim of the Summu* toe, {
Peter of Spain avails himself of the traditional Por-phyrian
analysis of the predicables in terms of which he believed the
categories are to be undestood. This procedure tends to restore
dialectic to the primary position in the field of logic. In the
Organon, the Aristotelian Categoriae classifies the various
modes of signification according to which significant incomplex
terms can be allocated.@} It establishes a basis for scientific
analysis antecedent to the complex significations embodied in
the proposition, for in the traditional arrangement of the
Organon the categories receive treatment prior to the
proposition in the De Interpretatione and prior to scientific
analysis as such in the Posterior Analytics.
The traditional Porphyrian view which is found in the Isagoge of
Porphyry and in the Commentary of Boethius on the Isagoge,
assumes that a knowledge of the predicables is antecedent to and
useful for an understanding of the categories.* Consistent with
this view of the primary importance of the predicables, Peter of
Spain first considers the predicables and then the categories. In so
doing, he follows the medieval Corpus of Aristotelian logic,
which includes Porphyry.
The treatment of the predicables in Peter of Spain is bat a more
concise statement of the Isagoge of Porphyry. One
Boathhm, C»—iiiKiifa Mana, eoL T7-T8 D (J. P. ]
* SUMMULAE LOGICALES
might say that it is almost a verbatim repetition of the classical
definitions assigned to the predicates with an epitomized
exposition of their essential elements and their interrelations.
However, a notable feature of the De Prae-dicabilibus of the
Summuiae is his definition of a “predi-cable” and his definition
of a “universal” which gives us an inkling of his conception of
the universal.*
The term “predicable” in its generic application is such as to
include within its comprehension every significant term’which
can function as predicate in relation to any subject whatsoever.
So construed, “predicable” comprehends transcendental as well
as generic terms, analogical as well as univocal and equivocal
terms. “Predicable”, in its proper application, comprehends
significant terms which are predicated uni-vocally of many, that
is, terms which function as genus, species, differentia, property
and accident. {
Predicable and universal are essentially the same from the point
of view of the thing concerned; the universal is the objective
reality and the predicable is the linguistic expression which is
designative of that reality.@}
Although the De Praedicabilibus of the Summuiae closely
adheres to the Isagoge of Porphyry, Peter of Spain in no wise
takes cognizance of the posing of the problem of the universal
by Porphyry” despite the fact that this fundamental problem
was of paramount importance not only among his predecessors
but also among his contemporaries.”
“”Genus est quod praedicatur de pturibus differentibus specie in
eo quod quid”... “Species est quod praedicatur de pluribus
differentibus numero in eo quod quid”... “Differentia est quod
praedicatur de pluribus differentibus specie in eo quod quale”...
“PToprium est quod eonvenit omni et soli et semper et conversim
praedicatur de re et non indicat quod est ease rei”... “Accidens est
quod adest vel abest subiecto praeter subiecti eorruptionem”.
Summuiae Logical**, Trae-tus II.
“Est autem praedicabile quod aptum natum est dici de pluribus.
Universale autem quod aptum natum est esse in pluribus”.
Summuiae Logical**, Tractatus II.
“ Cf. Boethius, Commentaha in Porphyrxum a «e Tranalatum,
col. 82 (J. P. Migne, P. L., LXIV).
“”It has often been said by historians, and not without good
INTRODUCTION ««i
The probability that the Swnmulae was intended as a
compendium for beginners offers a possible explanation for this
omission. Peter’s own conception of the universal is deduced
from an examination of the context of the Summuku. “The
doctrine of the universal which Abaelard finally states in his
commentary on Porphyry may be said to be the solution with
which the twelfth century closed its acute and isolated discussion
of the problem ... Universals are words, not voces... but nemina.
There are, strictly, no universal things, for only individual things
exist”.* {
Despite the fact that Abaelard compelled William of Champeaux
to modify, to a great extent, his theory of exaggerated realism*
which held that universals existed prior to and independent of
their particulars with the individuals in a single species or genus
being determined by accidental forms, Peter of Spain reverted to
a position of realism. For him the universal existed as a thing
outside the mind.* The human nature
which is found alike in Peter, James, and John has an existence
of its own apart from the individuals in which it exists and apart
from the human mind. But, as has been said, nowhere in the
Summulae is there any substantiation of this position or any
mention of contrary theories.@}
Since to every predicable there exists a corresponding universal
in the real order, or a one to one relation, each to each, it
follows that in developing a logic, one is, at the same time,
developing a metaphysics. Logic is thereby raised to the status
of a dialectical metaphysics, what might be called a metalogic.
Insofar as it is significant, language relates to things, and insofar
as it relates to things as they are in themselves, language is a
metaphysics. This realism of Peter of Spain explains why he is
not interested in metaphysical questions as such and why he
needs no clear-cut distinction between the ontological and the
logical domains.
{
In the Categariae, significant words are divided into uni-vocal,
equivocal, and derivative prior to their being divided according
to the ten modes of signification, the categories.”@} This
trichotomy is antecedent to their functioning as terms in the
proposition. In common with Boethius,” Peter of Spain avails
himself of this tripartite distinction but relates it to the
predicates in propositions and asserts that a knowledge of it is
necessary for an understanding of the categories.** Again,
attribution becomes prior to signification thereby restoring
dialectic to primacy in the field of logic The consequence of such
a position, whether or not Peter
re nniversali gignificata per ipsum tenninum...” Ibid., p. 4, L 58.
“Appellatio e«t acceptio termini pro re existent*... Item,
appellatknram termini commnniB, alia est termini comnnmis pro
re in communi “ Troctatua d* AppellationibuM, p. 44, 1. 1 and 1. 15.
*’ Aristotle, CaUgoriae, eh. L
“ BoethioB, In Categories Aristotslu, Liber PrimoB, eoL 16S et teq. (J. P.
Migne, P.L., LXIV).
>• “Ad cognoacendam praedieamenta qoaedam sunt neeewrio prae-
mittenda sine quorum oognitione nequaqoam potest haberi cognitio
praedicamentorum. Eornm ergo quae praedicantor qoaedam rent
onivoca, qoaedam aequiwca, et qoaedam denominatJY*”. Summufat
Logical**, Traetatos IIL
INTRODUCTION “Mii
of Spain was conscious of it, is an infinite regression of
propositions, for each proposition in turn requires another
proposition to determine the signification of its terms.
Because of his position with relation to the nature of the
universal, Peter of Spain next discusses the various forms of
“being in” which Aristotle treated in the Physics.* Thereafter, the
treatment of the categories in the Sumrmdae is a formalized
paraphrase of the key-points of the Aristotelian Categoriae, with
the exception of actio and passio which are defined and
categorized in terms of each other in practically verbatim
agreement with the analysis of Gilbert de la Por-ree in the Liber
de sex principiis.
The Tract on the Prior Analytics of Aristotle which constitutes
the fourth Tract of the Sumrmdae is a formalized exposition of
the nature and the content of the categorical syllogism. The
analysis is in terms of the Aristotelian three figures as they are
found in Boethiua. It includes, in the first figure, the five modes of
Theophrastus, as did Boethiua, but it omits the seventh mode of
the third figure which is found in Boethiua. The point which is
worthy of note is the incorporation of the mnemonical scheme
for the reduction of the syllogism which is first found in William of
Shyreswood.** The subsequent popularity of this mnemonical
scheme is probably due, in great measure, to the widespread
influence and authority of the SummulaeV
The number and types of examination which were specified by
the University of Paris at different periods of the
«• Aristotle, Phytic*, IV, 3.
“Boethiua, Dt SyOoffitmc CaUgorioo, Liber II, d. 821 «t ««o. (J.
P. Mi«M, P. L, LXIV). “ “Modi antem et coram redaction*,
retaaeatw biia ▼eraibiu: Barbara celareat darii ferio baralipton
Celantet dabitii fapeamo frieaeumuiimi Ceaare campeatrei
feetiao banco Darapti felapton diaatnis datial bocardo feriaon”.
William of Shyraiwood. Intro******* fa hpitmm, ed. by Martin
Grabmann in the SiUtmotberMtU <Ur Rm^rttehtn Akatiewm,
rfar TOeamaafce/taa, Haft 10 (1M7), p. 66.
»Cf. George Hayward Joyce, Frftwfafat of Le*w (New York.
1919), p. 181, n. 1.
«xiv SUMMULAE LOGICALES
thirteenth century for candidates aspiring to the baccalaureate
varied, but {
the Topics of Boethius was frequently included among the
works which had to be known.” Consequently, among the
books which the masters explained in the “ordinariae lectiones”
were the first three books of the De differentiis topicis of
Boethius.” The fifth tract of the Summulae, which is entitled
“Super libro topicorum Aristo-telis”,@} is very probably drawn
directly from Book I and Book II, especially the latter, of the De
differentiis topicis. {
From Book I, Peter of Spain abstracts almost verbatim the
definitions of “argumentum”, “conclusio”, “quaestio”, and
“maxima”.” He eliminates the Boethian analysis of the types of
propositions and of the relationships which exist between the
predicables because he discussed them previously in the first
two tracts of the Summulae. The rest of the fifth tract of the
Summulae is a scholastic paraphrase of Book II of the De
differentiis topicis.@} An “argumentatio” is defined as discourse
explaining an argument. Whereupon {
the four species of “argumentatio” are distinguished, namely,
sophism, induction, enthymeme, and example. The
definition of a topic (locus), a topic as a principle (locus
maxima), and a topic as differentia of a principle (locus
differentia maximae) then follow in the same order as in
Boethius.@} However, it is the distinction of the various types
of topical arguments which furnishes strong evidence that the
Summulae borrows directly from Boethius.
The fundamental division of dialectical principles or
»« Cf. H. Denifle-E. Chatelain, Chortularium Universitatia
Porieien-aie (Paris, 1889), no. 201, pp. 227ff. (1252) and no. 246,
pp. 2771T. (1255). Also cf. Charles Thurot, De I’Orgonieation de
VEneeignement dans rUnivernU de Pane au Moyen Age (Paris,
1850), pp. 42-45.
« Cf. Charles Thurot, op. ciL, pp. 71-72.
“”Argumentum est ratio rei dubiae faciens fidem... Est autem
conclusio argumento et arguments probata propositio...
Quaestio est dutntabilis propositio.. .Maxima est propositio qua
non est altera prior neque notior”. Summulae Logiealee,
Traetatua V. Cf. Boethius, De different™ topicie, Liber Primus,
eol. 1180C. col. 1180C, coL 1177C, and col. 1176D (J. P. Migne,
P. L., LXIV). Boethius’ definition of “argumentum” agrees
verbatim with that of Cicero. (Topiea II, 8).
INTRODUCTION nn
topics is into intrinsic, extrinsic, and medial topics.
An intrinsic topic (locus intrinsecus) is involved when the
argument is taken from that which belongs to the substance of a
thing. It may be based either on the substance of a thing (locus
substantia) or on the concomitants of the substance (locus a
concomitantibus substantiam). The former is involved when the
argument is taken from that which belongs to the substance of
the terms which are posited in the question, as in the case of a
topic based on a definition; the latter is involved when the
argument is taken from those things which follow from the terms
which are posited in the question, as a topic based on efficient
causality. On the other hand, an extrinsic topic (locus
extrinsecus) is comprehended when the argument is taken from
that which is altogether distinct from the substance of a thing, as
in the case of a topic based on authority. Finally,
a medial topic (locus medium) is involved when the argument is
taken from that which partly agrees with and partly differs from
the terms which are posited in the question, as in the case of the
topic of co-ordinates and inflections.” Each of these major
divisions is subdivided exhaustively and the analysis closely
“ “Locos intrinsecus est quando sumitur argumentum ab his
quae sunt de substantia m ... Locus extrinsecus eat quando
sumitur argumentum ab his quae omnino separate sunt a
substantia rei... Locus medius est quando sumitur argumentum ab
his quae partim conveniunt cum terminis in quaestione positas et
partim diiTerunt ab eis ... Item hwus intrinsecus dividitur per
locum a substantia et per locum a con-osmitantibus substantiam.
Locus a substantia est quando sumitur argumentum ab his quae
sunt de substantia terminorum in quaestione positorum...
Sequitur de tods a concomitantibus substantiam quae sunt
quando sumitur argumentum ab his quae consequuntur terminos
in quaestione positos”. SIHMMUM Logiadn, Tractatus V. Cf.
“Omnes igttur tod, id est maximarum differentiae
propositionum, aut ab his ducantur neeesse est terminis qui in
quaeataone sunt positi, praedkato scilicet atque subjecto, aut
extrinsecus aaramantur, aut horum medii qui inter utrosque
versantur. Barum vero locorum qui ab his ducun-tur termini* de
quibus in quaestione dubitatur, duplex est modus: onus quidem
ab eorum substantia, alter TWO ab his quae substantiam eorum
consequuntur”. Boethru, Dt Mfimtiu topiem. Liber IL eoL 1186D
(J. P. Wgne, p. U Lxm.
«*▼* SUMMULAE LOGICALES
parallels that of Bothius.” The treatment which is accorded each
subdivision is generally the same: a statement of the nature of
the topic; an assertion of the constructive, destructive, or dual
nature of the topic; an appropriate example; and a statement of
the dialectical principle which is involved in each case.” Even
this formalized procedure is exemplified in Boethius. Hence, all
the evidence points to the De differentia topieis of Boethius as
the direct source of the treatment of the Topics in the
Summulae.”’
{
One of the most important and influential products of the
middle ages, which has thus far received little attention from
historians of philosophy, was the development of a
philosophical grammar by the so-called Modistae. The oldest
known example of it is the Summa Grammatica of Roger Bacon;
the most widely known is the Grammatica Specie lativa (also
known as the Tractatus de Modis Signifieandi) of Thomas of
Erfurt, which was formerly attributed to Duns Scotus.”@} The
speculative grammar, which was fabricated in tracts of this
nature, is important because scholastic theologians made
copious use of its fixed precise terminology and because it was
the subject of attack by the Ockhamists who wrote tracts
“Destructiones modorum signifieandi.””
been created. That may be left as it was. But this remains.
Whether or not they were once evoked by epeeeh in the
beginning, in the end and alwayt they are evoked by nothing
else.” (Nature and Mind, pp. 204-205). Professor Woodbridge
believes that by this dualism of ideas and things “one can make
sense out of the claim of Spinoza that the “substance” of
knowledge and the “substance” of nature are the same
substance. Ordo et eonneetio ideantm idem eet ae ordo et
eonnectio rerum. And ideo vera cum suo ideato convenire
debet, not in the sense that ideas in our heads agree with
objects outside them, but in the sense that ideas and their
objects go along together and make the purging of this jointure
from confusion and absurdity imperative.” (An Eteay on
Nature, p. 252.)
11 Ernest A. Moody, op. eit., p. 188, n. 1.
“ R. Steele dates the Summa Grammatica of Roger Bacon about
the year 1250. (Cf. Opera haetenu* inedita Rogeri Baevm, ed. by
Robert Steele (Oxford, 1940), Introduction, p. XIV.) The
Grammatica Sptulativa is attributed by its editor to have been
written in 1293. However, inasmuch as the researches of Msgr.
Grabmann have revealed that Thomas of Erfurt is the author of
the Grammatiea Specu~ lativa and not Duns Scotus, the work
was probably written during the flnt half of the fourteenth
century, for its author, Master Thomas of Erfurt, was an active
master of art* at Erfurt during this period. Cf Martin Grabmann,
“Die Entwicklung der mittelalterlichen Sprach-los-ik” in
MitUhUtertiehe* Geit-leben, VoL I, pp. 120-121, 124.
>» A review of the historical import of speculative grammar is to
be
INTRODUCTION lmriii
Abaelard and of course John of Salisbury, who actually
considers grammar as the cradle of all philosophy, are
particularly rich in hints as to the possibility of the development
of a speculative grammar. Petrus Heliae outlines an entire
technique of meaning and its modes in his Commentary on
Priscian,* Peter of Spain represents still another, later,
transitional stage in its evolution. An analysis of the Summuiae
reveals how close a relationship exists between the theory of
signification as it is found in the Summuiae and speculative
grammar as it is synthesized in the Grammatical Specuiativa,
which may be taken as representative of the movement* Much
that is explicit in the latter may be only implicitly contained in the
Summuiae, but it is none the less there. The indication of the
elements of speculative grammar which are to be found in the
Summuiae and the relating of the theory of signification to
speculative grammar which follows, will supplement, it is hoped,
the research of Grabmann” on the development of speculative
grammar and at the same time will present a picture of the
status of speculative grammar in the first half of the thirteenth
century.
The Grammatiea Specuiativa readily admits of a tripartite
division. An introductory section discusses the
found on pp. 141-146 in the monograph by Grabmann cited abort.
The monograph also contains a brief historical resume of the
background of speculative grammar, pp. 108-116.
>* Of. Charles Thurot, “Notices et Extrahs de Divers Manoscrits
Latins poor serrir a l*Histoire des doctrines Grammaticales an
Moyen Age” in Nonas* «t Estreat* <f* Mamutwif <U la
iKMfetasou* /«*• penoie, Vol 22» (Paris, 1868). pp. 117-118.
According to G. WaDerand, Petrus Heliae timidly initiated
speculative grammar. CI G. Waller-and, “Let Oeuvres de Siger de
Courtrai”, in Let PkOmpke* Safes*. V (Lourain, 1913). p. 60.
»G. WaDerand list. Robert Kilwardby, Jean Le Dace, Jean Le Rns,
Michael de Marhaia. Siger de Courtrai and Duns Scotns as the
principal representatives of the movement. Cf. G. WaDerand,
“Las Oeurres de Siger de Courtrai”, op. etc, p. 60. In mentioning
Duns Scotua, he was undoubtedly referring to the author of the
Cmmtmatium Iptrntu Cfoa who is in reality Thomas of Erfurt and
not Duns Scotua.
“ Cf. p. boDdi, n. 12.
Irmv SUMMULAE LOGICALES
forms of signification (modi significandi) in general. The major
section of the work is then devoted to a determination of what
the precise function of the various parts of speech are in terms
of the forms of signification involved in each case. The
concluding section first analyzes the possible combinations of
constructions (constructiones) of the various parts of speech,
then the congruency (congmitas) of constructions ,and finally
the perfection (perfectio) of constructions. In the process of
disclosing the seeds of a speculative grammar as they are found
in the Summulae, the close relationship of the theory of
signification to each of these sections will become apparent.
The expression “modus significandi” which is utilized in relation
to the functioning of a part of speech in discourse is found in
Boethius” and probably originally stems from him. In developing
a theory of signification which includes the use of the term
“modus significandi” to designate what the ancient
grammarians called the accidents of the parts of speech,
Abaelard affirms that it is the property of a word to signify or to
indicate and the property of a thing to be signified.* Peter of
Spain injects a grammatical note and uses the term “modus” in
making the same distinction when he says “To signify something
substantively or adjectivally are modes (modi) of words, while
adjectivity and sub-stantivity are modes (modi) and differences
of the things which are signified and which do not signify.”” The
word (vox) has the property of signification (significatio), that
“ “Aliud eat enim signiflcare tempos, aliud consigniflcare.
Verbum enim com aliquo proprio modo tempus quoque
signifieat, ut cum agen-tis vel patientis modum demonstrat.”
Boethius, In bibrum de Inter-pretatione, Editio Secunda, Liber
Primus, col. 422 (J. P. Migne, P. L., LXIV.). “Fit autem voeis divisio
tribus modis...Alio autem modo secundum modum, haec enim
plura non significant, sed muhis modis, ut cum dirimus infinitum,
unam rem quidem signifieat...” Boethius, Liber de Divimone, eol.
888 (J. P. Migne, P. L, LXIV.).
»• “Significaxe autem vel monstrare vocum est, significari vero
rerum.” Peter Abaelard, Login Ingredientiinu, op. eiU, Gloua
ntptr Porphyrium, p. 10.
»• Cf. Treatise on Suppositions, p. 3.
INTRODUCTION Ira*
is, the property of representing something, by virtue of the fact
that the intellect confers this property upon it. Since the word
signifies a thing, it is active. On the other hand, the thing does
not signify; it is that which is indicated by the word. The word is
passive with respect to its receiving significance from the intellect
but once having received it, it is active. The thing which is signified
by the word is always passive with respect to its signification. It is
a subject of discourse and nothing else. These considerations
furnish the basis for the fundamental division of the modes or
forms of signification into the “modus signxfioandi activus” and
the “modus signifioandi passivus” of the Grammatica
Speculative.*
However, the intellect imposes a word, not only for signifying,
but also for consignifying. The word “infinite” is used by the
intellect to signify a quantity. Hence, it functions as a
conventional sign inasmuch as the property of signifying “a
quantity” is imposed upon it by the intellect. But the same word
may be used categorematically, that is, significatively, as a general
term signifying the quantity of a thing, or it may be used
syncategorematically as a distributive sign which imparts
indeterminate supposition to the general term accompanying it
When it is used categorematically, it functions as a noun,
whereas when it is used syncategorematically, it functions as a
quantitative adjective. The word (vox) “infinite” remains the
same. The principal signification (signifieatio) which is primarily
imposed upon “infinite” by the intellect remains the same. But in
accordance with its functioning as a categorematic or a
syncategorematic word, “infinite” has a secondary property
imposed upon it by the intellect, that of consignifying
substantively or adjectivally. Thus, the consignification of
“Modus tiffnificandi activus” est modes, «ve proprictas vods, ab
lntaUwta ribi concern, medianto qua, vox proprictetem ret
signtflcat. Modai rtgniftcandi passivus, art modus, rive propriety
rei, proot art par vocam rijitiflcata.” Thomas of Erfurt,
Grammutit* SpemJatwa, in UM Optra Omnia of Duns 8eotus. I
(Vivas edition, 1891), ch. 1, 3.
“ Cf. Treatise on Exponibles, pp. 119 and 121.
SUMMULAE LOGICALES
something substantively or adjectivally is a secondary property
which is conferred upon a word already significant and hence
may rightly be termed a mode of signifying (modus
significandi).” This position of Peter of Spain is reflected in the
Grammatica Speculative, which clearly distinguishes between
signification (siffniftcatio) and the mode or manner of signifying
(modus significandi).” Indeed, the Grammatica Speculativa is
devoted, for the most part, to a precise formulation of the
mode of signifying which is proper to the individual parts of
speech.
The answer to the question as to what is the fundamental basis
upon which the modes of signifying rest, is the same for both
Peter of Spain and Thomas of Erfurt, though they express it
differently. Peter of Spain, like John of Salisbury, regards
grammar as imitating nature. The substantive noun corresponds
to the substantive thing and the adjective, which modifies the
substantive noun, corresponds to the accident which qualifies
or modifies the substantive thing. Thomas of Erfurt is saying
what is equivalents the same thing when he states that the
“active modes of signifying... are basically rooted in the
property of some thing”,” except that he is generalizing what is
only particular in Peter of Spain.
*» The position of Peter may be gleaned from a study of the
Treatise of Suppositions, p. 2. The use of the term “modus
tigniftcand?’ to designate the consigniflcative properties of
words is only implicitly in the text.
”... cum intellectus vocem ad significandum, et
consigniflcandum imponit, duplicem ei rationem tribuit; scilicet
rationem significandi, quae vocatur ngrdficatio, per quam
efflcitur signum, vel significans, et sic formaliter est Dictio; et
rationem conrignificandi, quae vocatur Modus tiffnifiauuH
aetivua, per quam vox significans, fit consignum, vel
consigniflcans; et sic formaliter est pars orationis.” Thomas of
Erfurt, Grammatica Speculativa, op. eit., ch. 1, 4.
“Nam quaelibet pars orationis aggregat in se tria, scilicet vocem,
significationem et modum significandi.” Ibid., ch. 34, 5.
*« Cf. Treatise on Suppositions, p. 2.
»»”... cum... modi significandi activi non suit flgmenta, oportet
omnem modum significandi activum, ab aliqua rei proprietate
radieal-iter oriri...” Thomas of Erfurt, Grammatica Speculativa,
op. at., ch.2,6.
INTRODUCTIONIrani
The trinal distinction of “modus signifieandi”, “modi in-
telUgendC’, and “modi essendi” of Thomas of Erfurt is
unnecessary for Peter of Spain. {
As an extreme realist who maintains that the universal really
exists as a thing, Peter has no need of a universal concept. Only
two modes are necessary for him, the modes of things and the
modes of words.@} With this in mind, one could say, in a sense,
that the modes of things (modi rerum) of Peter correspond to
the mode of being (modi essendi) and the mode of understanding
(modi intelligent*) of Thomas and that the modes of words
(modi vocum) of Peter correspond to the modes of signifying
(modi signifieandi) of Thomas.
From the point of view of the determination of the modes of
signification which specify the individual parts of speech, the
relationship of the Summulae to the Grammatiea Speculative is
not too obvious and care must be taken not to overstate it
However, many suggestive analogies can be pointed out with
reference to the natures and subdivisions of the individual parts
of speech.
{
Since the term “nomen” applied both to the “substan-tivum” and
the “adjectivum”, it had to signify something which they had in
common. The problem of what it was they had in common was
implicitly posed by Peter when he differentiated the types of
signification.@} The dichotomic analysis which was pursued in the
“ordinariae tectiones”,-could not help but have made it explicit. A
solution of this problem provided Thomas of Erfurt with the
introduction to his analysis of the nature of the “nomen”, the first
part of speech which he discussed.
The distinctive property or the “modus signifieandi” of the
“nomen” is that of signifying “per modum entis, vd
determinatae apprehensionis” * The note of signifying “per
modum entis” being proper to the “nomen” and the
M For a diacaaafcm of the natore of the
“on&nori— Uctkmn”, et
Cfcarlea Than*, DM TOroammticm etc, op. rft, p. 28.
“ “Noam «rgo e*t pan oratiot datarurinatM apprthanafooia.”
Thonaa of 1 Mlatfeo, op. oft, ch. 8.
Ixxxviii SUMMULAE LOGICALES
pronoun, the note “determinatae apprehensionisr is added to
differentiate the former. The essential characteristic which
differentiates the pronoun is its indeterminate nature (tn-
detertninata apprehensio). This distinctive feature of the
pronoun is pointed out by Peter of Spain in his solution of the
sophism “Homo videt asinum, qui est rationalis”, wherein he
observes that the relative signifies some indefinite substance
which is equally related to both of the things which are signified
substantively (per modum substantia*) ,namely, “homo” and
“asinus”.**
The Grammatica Specuiativa distinguishes between the
substantive and the adjective by having the substantive signify
“per modum per se stantis” and the adjective “per modum
adjacentis”. The only thing which is capable of standing by itself
(per se stantis) is the substance. Therefore, the noun signifies a
substance. However, in this case, one must not understand by
substance any thing which truly exists in the category of
substance but any thing which exists in its determined essence
in any of the ten categories.’As Thomas of Erfurt expresses it:
“The form of signifying after the manner of a thing standing by
itself is taken from a property of the determined essence
itself.”” This conception of the nature of the substantive is
latent in the Sum-mulae. In it, {
a relative of identity of substance always denotes the thing
which its antecedent denotes. But its antecedent must always
be a noun, for if it were an adjective, the relative would refer to
it in a denominative manner.
The relative would then be a relative of accident and not a relative
of substance. Thus, the antecedent of a relative of substance
must necessarily be a noun and always stands for a substance.
But by substance one must not understand a thing in the
category of substance, for Peter gives “whiteness” as an
example of a substantial antecedent. Therefore, by substance is
meant any thing in any genus whatsoever, taken according to the
mode of its essential being.@}” It is from this very understanding
of substance that Thomas of Erfurt derived the mode of signifying
“per se stantia” which is characteristic of the substantive.
The relationship between the Summulae and the Gram-matiea
Speadativa is much clearer in the case of the adjective and the
adverb. In the Grammatica SpeeuUUiva, the mode of signifying
which is common to the adjective and to the adverb is that of
signifying “per modum adiacentis alteri” which is taken from the
property a thing has of inhering in some other thing for its being.
The same idea is expressed by Peter of Spain when he says that
“a mode is an added determination of a thing which has to be
expressed by an adjective (adiectivum) .”** After designating the
generic “modus adiacentis otter?’ which applies to all adjectives,
the Grammatiea Speculativa proceeds to set up a specific
nomenclature which is applicable to the various possible types of
adjectives. The types which are listed include virtually all of the
quantitative and qualitative adjectives which were mentioned by
Peter of Spain in the Treatises on Relatives and Distributions. The
language which is used in discussing the comparison of adjectives
resembles that used by Peter of Spain in treating of comparatives
and superlatives in the Treatise on Exponibles. The listing of types
is a reflection of the tendency toward the multiplication of
distinctions which is found among the terminists.
‘* Cf. TrMtto OB ExponlblM, pp. 122, 124.
« SUMHULAE LOGICALES
According to Thomas of Erfurt, the adverb can determine the
verb either by affecting that which the verb signifies (ratione rex
significatae) or by affecting the manner in which it signifies
(ratione modi signiflcandi). In the latter fashion, the adverb can
determine the verb by specifying the mode of inherence of the
verb (ratione compositionis), as in the case of the modal
adverbs. It can also determine the verb with respect to time
(ratione temporis). Finally, it can determine the verb by
specifying the mental state of the speaker (ratione qualitatis
give modi), as in the case of the hortative and optative adverbs.
This schematic arrangement is the framework for the
differentiation of the classes of adverbs in the Grammatiea
Speculativa.** Yet, except for the fact that the Summulae does
not group the latter three subdivisions of adverbs under the
more general classification of “ratione modi aignificandi”, it
includes this entire outline, both in its terminology and
conceptual content. Furthermore, it is interesting to note that
Thomas of Erfurt alludes to the fact that exclusive adverbs such
as “only” (tantummodo) may modify the noun and other parts
of speech as well as those usually modified by an adverb.* The
treatment is reminiscent of Peter of Spain’s analysis of the
nature of exclusive syncategorematic words in the Treatise on
Exponibles.”
Two factors indicate a relationship between the treatment of
the verb in the Swnmulae and in the Grammatiea Specttr lativa.
They are the division of verbs into substantival and adjectival,
and the assertion of the composite nature of the verb.”
The division of verbs into substantival and adjectival is clearly
indicated when Peter of Spain says “... ‘running* is not, in the
strict sense, substantival or adjectival sig-
•» Cf. Thomas of Erfurt, Grammatiea Sp«eulativa, op. cit.. ch. 36.
M Ibid., eh. 38, 2-3.
However, {
the term “animal” is said to be immovably indeterminate because
a valid inference cannot be made to its particulars, as “Every man
is an animal; therefore, every man is this animal”.@} Here, an
inference is made from simple supposition to personal, just as in
the case of: “Man is the noblest of creatures; therefore, this
man or some man (is the noblest of creatures)”; or in the case of:
“The rose is the most beautiful of flowers; therefore, some rose
(is the most beautiful of flowers)”.
But the latter cases differ from the former because in the latter
there is simple supposition on the part of the subject while in the
former the simple supposition is on the part of the predicate.
This may seem to contradict what we said previously, namely,
that in the proposition: “Every man is an animal”, the term
“animal”, functioning as predicate, has simple supposition,
whereas we just now asserted that it has indeterminate
supposition. To this it must be replied, according to
TREATISE ON SUPPOSITIONS H
some people, that because a genus is predicable of many differing
in species, the term “animal”, whenever it is taken for the
common nature itself insofar as it is a genus, has simple
supposition; but insofar as the common nature of that genus is
multiplied by reason of the things denoted by the term “man”, it
is said to have indeterminate supposition, not movably but
immovably.
Also, {
that type of comparison by which the more particular is reduced
to the more general is opposed to the type of comparison by
which the more general is reduced to the more particular. In the
first type, general is taken in the sense of that which is common.
In the second type, general is taken as distributed or
indeterminate.@} Therefore, since a general term as such has
the character of a genua, it is
not possible for it qua genus to be distributed.
These four arguments must be granted. The difficulty which
prompted them, which is just one difficulty, is easy to solve.
For, given the statement: “Every man is an animal”, it was
asserted that since each man has his own ani-mality or his own
essence—because he cannot be a man without being an animal,
therefore the term “animal” should be understood for as many
animals as the term “man” is understood for men.
The argument against this position asserts that this noun “who”,
insofar as it is a relative, signifies a single thing related equally to
whatever is signified in the manner of substance, as in the
expressions: “color which is in a body”, “place which contains
the located thing”, and so on; consequently, a deception caused
by a diverse relation does not constitute an equivocation.
Furthermore, this noun “who”, insofar as it is a noun, signifies
an indefinite substance. But this indefinite substance is such that
it can be determined by one antecedent quite as well as by the
other.
zzz
For example, when one says: “Every white man runs”, that
disposition “white” should be repeated with the middle term in
the minor premiss because it is an absolute disposition of that
which is the subject; but that disposition “every” should not be
repeated because it is a sign of a relation of the subject to the
predicate and so is a disposition of the subject insofar as it is the
subject. Consequently, we should say: “Every white man runs;
Sortes is a white man; therefore, Sortes runs”; and not: “Sortes is
every white man”.
Having discussed how this sign “every” signifies things and their
dispositions, {
the question naturally follows as to whether “every” requires
three things named. This would seem to be so, because every
perfection occurs in threes, as is held in the first book of the De
Caelo et Mundi*; and thus all that is perfect occurs in threes. But
the all and the perfect are the same, as is held in the same
passage. Therefore, all occurs in threes. Hence “every” requires
three things@}
» Ariatatle, D» C—U * Mundi, I, 1, 268*, 12 mtq.
TREATISE ON DISTRIBUTIONS «9
Aristotle, speaking on the same point in the same passage, says
that we do not predicate “all” of two men but we do predicate it
of three men; wherefore, “every” requires three things named.
To the contrary: There are universal propositions in any
demonstration; but demonstrations can be formed involving the
sun and the moon; therefore we must say “every sun”, “every
moon”; but “sun” has only one denotation and so also “moon”;
therefore “every” does not require three things named.
On this same point: “Every [object] deprived of light by the
interposition of the earth is eclipsed”. This proposition is
conceded since it is held by the authorities. But “Every [object]
deprived of light by the interposition of the earth” has only one
denotation, namely, the individual moon. Therefore “every” does
not demand three things named.
Again, the sign “every” signifies quantity universally. But
“quantity universally” is a proper universal mode. However, a
property is diversified according to the diversity of its subject, so
that if “man” is of less extension, “capable of laughter” is of less
extension; and if a man is dead, what is capable of laughter is
dead. But the universal is sometimes preserved in many things,
such as “man” and “horse”; sometimes in one thing alone, as
“sun” and “moon”. Hence “every” sometimes requires three
things named and sometimes not; indeed, at times, only one.
On the same point, form can be taken in a twofold manner,
because one form is the form of matter, as the soul is the form
of the body, and this form is a part of but is not predicated of
that of which it is a part; the other is predicable form, and thus
all the higher [predicates]—as genera, species, and differentia—
are said to be the forms of the particulars included under them,
for example, “man”, “horse”, and so forth, and the individuals
included under the predicable form are its matter. Therefore,
since form, in neither of the aforementioned modes, exceeds its
matter nor is exceeded by H, no universal exceeds the individuals
included under H nor are the individuals exceeded by it
TREATISE ON DISTRIBUTIONS 71
Therefore, since “every” bespeaks adequation of the universal
with their particulars, as “every man”, it follows that “sun” has
only one denotation so that one can truly say “every sun”. We
grant this in affirming that the aforementioned statements are
true and that “every” does not always require three things
named. Nay rather, when it is joined to a general term denoting
many things, it requires many things named; but when it is joined
to a term denoting one thing only, it requires only one thing
named.
{
To the first objection, that all perfections occur in threes, we
still say that the statement is true; and these three are the
substance of the thing, its potency, and its operation. Aristotle
briefly touches upon these three when he says: “Nature, being
so constituted, acts this way.”’ When Aristotle says “nature”, he
touches upon the substance of a thing; when he says “being so
constituted”, he touches upon its potency; and when he says
“acts this way”, he touches upon the operation proper to it In
like manner@}, this sign “every” has the substance of a universal
sign, the potency to distribute, and its operation or act when it
distributes. Its perfection lies in these three things.
With regard to the second objection, it must be said that “man”
and “men” differ because “man” asserts that species as such
which is predicable of many; but “men”, in the plural, does not
assert species as such but species multiplied in act according to
the matter diversified in the number of individuals. Whence
“every”, in the plural, by reason of the multitude represented,
effects distribution by reason of the diversified matters and
requires three things named. But “every”, in the singular,
embraces the species as such but not the matter of the
individuals; and it requires an essence naturally predicable of
many, whether it actually belongs to one or to many. Hence
“every” requires three things named, or only one, depending on
the nature of the universal to which it is conjoined.
TREATISE ON DISTRIBUTIONS i*
However, some say that “every” requires at least three things
named and they assign the following reason. Whenever a
universal sign is added to a general term lacking suflRcient things
named, it refers to a non-being, as when one says: “Every Phoenix
is”, the term “Phoenix” refers to non-existent Phoenices because
it denotes only one thing. Consequently, when one says: “ Every
Phoenix is”, the meaning is “The one Phoenix, which is, is” and
“The two Phoenices, which are not, are”. Hence, they say these
two propositions are false: “Some Phoenix is not” and “Every
Phoenix is”, but they are not contradictories because the
Phoenix, which is, is taken for granted in the negative proposition
and the two Phoenices, which are not, are taken for granted in the
affirmative proposition; from this point of view the propositions
do not have the same subject. However, their argument can be
disproved in many ways since the difficulty arises from their
begging the question in assuming that “every” always requires
three things named, an assumption previously shown false.
Besides, Aristotle things that a proposition which has a
distributed universal as the subject of any predicate, contradicts
that negative proposition in which the universal, undistributed,
is subject of the same predicate. But the aforementioned
propositions are such: “Every Phoenix is”, “Some Phoenix is not”;
therefore they are contradictories. But this is what these people
deny. Therefore, their rule is
On the same point, another rule is as follows: a general term
which occurs as subject or predicate with a verb in the present
tense which is taken simply and which does not have the power
of amplification, either intrinsically or ex-trinsically, is restricted
to the denotation of those things of the nature signified by the
denoting general term, which are existing. Therefore, when one
says: “Every Phoenix is”, the term “Phoenix” is restricted to the
denotation of that Phoenix alone which is, since it denotes only
one thing. Therefore, utilising the rule just given, if a universal
sign
« Aristotle, Dt InUrprwUtieut. 7, 17b, 16-19.
TREATISE ON DISTRIBUTIONS 7fi
is added to it, it only distributes it in relation to the one* thing
denoted [by the term]. Consequently, the rule of those other
people is false and rests on a fallacy. This we grant.
With reference to the foregoing, the sophisjn arises: “Every man
is and whatever differs from him is not-man”. Proof: This is a
copulative [proposition] each of whose parts is true; therefore
the copulative is true.
{
Disproof: “Every man is and whatever differs from him is not-
man; Sortes is a man; therefore, whatever differs from Sortes is
not-man”, which is false, because this is a copulative
proposition one of whose parts is false; consequently, the
whole is false.
Solution: The initial statement is absolutely true and the disproof
is guiHy of the fallacy of the consequent because the phrase
“different from every man” is less in extent than “different from
Sortes” because “different from every man” only denotes things
other than man but “different from Sortes” denotes these and all
men other than Sortes as well. Therefore the following is a valid
inference: “Different from every man; therefore different from
Sortes”; and this is a topical argument from the subjective part
to its whole. But if a [universal] sign is added to the statement:
“Different from every man”, there will be, simultaneously with
distribution, an inference from the particular to the general.
Thus the [disproof] is guilty of the fallacy of the consequent
according to one process of reasoning,@} for there is a twofold
process of reasoning in the disproof because the following is a
valid inference: “Every man is; therefore, Sortes is”, and it is a
topical argument from a quantitative whole to its part; but this is
not a valid inference: “This is different from every man;
therefore it is different from Sortes”, but a fallacy of the
consequent just as “Every man is; therefore every animal is”.
Let us now examine the sophism: “Every man and another man
are”. Proof: Sortes and another man are; Plato and another man
are, and so on; therefore, every man and another man are.
TREATISE ON DISTRIBUTIONS 77
Disproof: “Another” is a relative of diversity of substance;
therefore it denotes a thing different from man. But there is not
another man distinct from every man. Therefore, the initial
statement is false.
Solution: The initial statement is absolutely false and the proof
is guilty of the fallacy of figure of speech in arguing from several
determinate suppositions to one determinate supposition,
because that term “other” has determinate supposition in the
premisses and in the conclusion.
Again, the proof is guilty of the fallacy of accident, because
although “Sortes and Plato and so on” makes an inference to
every man as such, nevertheless every man cannot be inferred
from the conjunction “Every and another man”, as when one
says: “Every man and another man are”; just as I know Coriscus,
as such, nevertheless I do not know him under this accident of
coming.
Wherefore, the following rule is offered: {
whenever something follows another, convertibly or not, if
somettiing belongs to one which does not belong to the other,
and if through that to which it belongs, an inference is made
concerning that to which it does not belong, there is always a
fallacy of accident. For example: “Man is; therefore substance
is”. But species belongs to man and not to substance. Therefore,
if through man species is inferred of substance, there is a fallacy
of accident, as “Man is a species; therefore substance is a
species”. Likewise in the case of “Risible is a property; therefore
man is a property”.@} However, of things which are logically
related, some are related convertibly, as “man” and “risible”; but
others are not, as “man” and “substance”.
{
Having dealt with this sophism, we now discuss another: “Every
man is every man”. Proof: Sortes is Sortes; Plato is Plato and so
on; therefore, every man is every man.
And, as Boethius thinks, no proposition is more true than the one
in which the same thing is predicated of itself.* But the
proposition in question is such, because “every man” is
predicated of “every man”. Therefore, no proposition is more
true than that; and consequently it is true.
Disproof: The contradictory of this proposition is true, viz., “Some
man is not every man”. Therefore, the proposition is false.
On the same point: Every man is every man; but Sortes is man;
therefore, Sortes is every man. This is a syllogism of the type
Darii. The conclusion is false; therefore, one of the premisses.
Not the minor; therefore the major. But the major is the
sophism; therefore, this sophism is false.
Solution: The initial statement is absolutely false and the proof is
guilty of the fallacy of the consequent due to an insufficient
enumeration of the particulars@}, because along with those
which it includes, it should include in the subject : “Sortes is
every man; Plato is every man and so on”, and it certainly
should include in the predicate: “Even-man is Sortes; every man
is Plato and so on”; which things it fails to do. Thus it is guilty of
the fallacy of the consequent from an insufficient enumeration
of the particulars. With regard to the other point, it is said that in
this case the same thing is not predicated of itself but “every man”
is predicated of “every man” taken in extension.
We now treat of the sign “no” (nullw) which signifies a
universally negative quantity. Hence it signifies the same thing
as the sign “every” with the negative placed after it; therefore
“every not” and “no” (or “none”) are equipollent.
We submit the following rule concerning “none”: whenever the
sign “no” is immediately added to a general term, it distributes the
term movably and distributively, and it does the same for the
general term which is mediately added to it, as “No man is an
ass”. Hence an inference can be made to the particulars included
under the subject in the following way: “Therefore, Sortes is not
an ass, nor Plato and so on”; and also under the predicate.
In this connection, we have the sophism: “No man » every man”.
It is proved thus: Sortes is not every man: Plato is not every man
and so on; therefore, the aopinna,
TREATISE ON DISTRIBUTIONS HI
is true. Or in the following fashion: Its contradictory is false, viz.,
“Some man is every man”; therefore, the sophism is true.
To the contrary: In the sophism, a thing is predicated of its
opposite; therefore, the statement is false.
Solution: The initial statement is true. As to the disproof, it is
overruled because in the proposition, a thing is not predicated of
its opposite, but rather “every man” is denied of “every man”
taken as distributed; and this is true.
{
We now discuss the term “nothing” which signifies the same
thing as “no” but which includes in itself the term it distributes,
for “nothing” is a universal sign with a negation and “thing” is
the term it distributes.
From what has been said, the problem of the sophism arises:
“Seeing nothing is seeing something”. It is proved thus: Not
seeing this thing is seeing something, because not seeing Sortes
is seeing Plato: not seeing that thing is seeing something and so
on; therefore, seeing nothing is seeing something. Therefore,
the sophism is true.
To the contrary: In this case a thing is predicated of its opposite;
therefore the statement is false.
Some observe that in the proposition: “Nihil videns est aiiquid
videns”, the word “nothing” (nihil) can be in the accusative case
and the meaning is: “Seeing nothing is seeing something”, or it
can be in the nominative case and the meaning is: “Nothing
seeing is something seeing”; and in this manner they posit
amphibology by reason of case. But this does not solve the
problem, for in each sense the sophism is false.@}
Again, others observe in the proposition: “Seeing nothing is
seeing something”, that the negation included in the term
“nothing” can deny the first participle and the meaning is: “Seeing
no thing is seeing something”—and in this way the proposition
is taken in the divided sense; or it can deny the verb “is” and the
meaning is: “Seeing anything whatever is not seeing
something”—and in this way the proposi-
TREATISE ON DISTRIBUTIONS «M
lion is taken in the composite sense. But this does not solve the
problem because the proposition is false in each sense in that
opposites are predicated of the same thing.
Solution: One must say that the sophism is absolutely false and
the proof is guilty of the fallacy of figure of speech in reasoning
from a determinate many to a determinate one with regard to
this term “seeing”, because in the premisses, and likewise in the
conclusion, it has determinate supposition. Or it is guilty of the
fallacy of accident, because although “seeing” is predicable of all,
as among themselves, nevertheless it is not predicable of all
insofar as they are united in the whole “seeing nothing”; as a
result, the whole belongs to the part and the being of “seeing
something” is assigned to be in each.
It should be understood that the premisses of the proof are
ambiguous because the negation can determine the verb or the
participle, as was stated above. On this account, the ancients
reckoned the premisses ambiguous in the light of the following
rule which they offered: whenever negation and distribution are
included in one term, to whatever one is referred, the other is
also. From this it follows that since distribution, posited in the
accusative case, cannot affect the verb in the previous statement,
neither can the negation. The same opinion holds concerning the
following sophisms: “Having no head is having some head”,
“Different from no man is different from some man”, etc.
We now discuss signs distributive of two things, as “neither” and
“both” [taken separately]”. They differ
The traditional distinction between tnmu dtvuiu and unnu
oom-p<mtu$ usually relate* to the two senses of modal term*
in modal propositions. Any modal proposition which is
understood as if the modal term functioned as predicate,
whether it actually functions as predicate or it functions as an
adverb modifying the copula (the only two ways in which modal
terms enter into propositions), is taken in the composite sense.
Otherwise, it is taken in the divided sense. Here, Peter of Spain
appHes this distinction to the two ways in which the negation in
the sophism can be understood, either as internal to the
participial phrase wMI vtdiuT in the divided sense or as negating
the predicate “aHqvid viaVns” in the composite sense.
TREATISE ON DISTRIBUTIONS Rf>
from the terms discussed previously, because “every”, “no”, and
the like, distribute all individuals included under the general term,
while “both” and “neither” distribute only two such as may be
pointed to, as “both of them”, “neither of them”.
With reference to this,
we have the sophism: “What is stated by both of them is true”.
Posit that Se*tes says “God is”; Plato says “Man is an animal”;
and both simultaneously say “Bfan is an ass”; and suppose that
those two are indicated by the pronoun “of them”. Proof: What
is stated by Sortes is true; what is stated by Plato is true;
therefore, what is stated by both of them is true.
To the contrary: What is stated by both of them is true; but
nothing is stated by both of them except “Man is an ass”;
therefore “Man is an ass” is true. But this is false.
Solution: The initial statement is true but the proof is guilty of
the fallacy of accident As it is held by Aristotle, the following
proposition is posited as true: “There is the same science of all
opposites”. Nevertheless there is no particular science of all
opposites, for in this case “science” is taken distributively.
Consequently, the fallacy of accident occurs in the following:
There is the same science of all opposites; but there is no science
apart from this science cr that science and so on; therefore, this
or that science is the same for all opposites. But this is false. In
like manner: Man is a species; but no one is man apart from
Sortes or Plato and so on; therefore, Sortes is a species or Plato
and so on. Hence there is the fallacy of accident in the sophism,
because the expression “what is stated” and the word “true” are
each taken for what they signify genetically, and in this way “What
is stated by both of them is true”. It follows from this that “what is
stated” does not stand for a particular statement by both.
Consequently, “what is stated by both of them” in the particular
sense is accidentally related to “what is stated” in the generic
sense, just as a particular included under a general term is
accidentally related to that genera) term; and “true” is said to
belong to
‘ Aristotle, Metophvafao, IV. 2. 1004*. ft-10.
TREATISE ON DISTRIBUTIONS H7
both. Here, general refers to all that is greater, whether
essential or accidental.
However, some say that the sophism is absolutely false. They
say that “what is stated” is taken for a particular statement by
both and similarly “true” for a particular truth; and that the
proof is guilty of the fallacy.of figure of speech in arguing from a
determined many to a determined one with respect to both the
term “what is stated” and the term “true”. But the first solution
is the better and the more subtle.
We now treat of the sign “neither” which means the same as
“both” with a negation placed before it Just as “no” intrinsically
distributes and negates, so also does “neither”. But “neither” is
only distributive of two.
{
Now the questions of this sophism arises: “Having neither eye,
you can see”. Proof: Not having the right eye, you can see; not
having the left eye, you can see; therefore, the sophism is true.
To the contrary: Having neither eye, you can see; therefore,
having neither eye or while you have neither eye, you can see.
But this is false. The consequence is obvious, for gerunds ending
in do have to be resolved by “while”, “if, or “because”. But in
each case it is false. Therefore the sophism is false.
Solution: The sophism is false and the proof is guilty of the
fallacy of accident because the ability to see is proper to the
parts as such, that is to say, separately, but it is not proper to
the parts taken together as a whole. Hence it is evident from a
former rule that since the whole follows after the parts, the
power of seeing is proper to the parts and not to the whole.
Therefore, there is a fallacy of accident if the parts are inferred
from the whole.@}
Having treated signs distributive of subjective parts, the
question next arises as to whether negation has the power ol
distributing or of rendering indeterminate. It seems that it does,
because Aristotle, in the first book of the De inter-
TRKATIKK ON DISTRIBUTIONS *9
pretatione, says that these are contradictory: “Man is just”, “Not
man is just”/ Hence, one of them is universal, since it has a
general term as subject; but it can only be this one: “Not man is
just”; therefore the term “man” is distributed. But there is
nothing by which it is distributed except the negation.
Therefore, it is distributed by the negation.
To the contrary: If negation has the capacity to render
indeterminate, then just as “Every Sortes runs” is incongruous,
so “Not Sortes runs” is incongruous. But this is false, because
although a distributive sign cannot be added to a singular term,
nevertheless negation can.
Secondly, wherever distribution takes place, a general term is
taken universally. Wherefore, it is necessary that there be a
word signifying quantity universally. But only a universal sign
signifies quantity universally, for negation does not. Therefore,
negation does not have the power to distribute. This we grant,
maintaining that negation does not render indeterminate but
denies that which follows it From which it follows that when
negation is added to a general term, it denies the general term.
But in the case of the negation of the more general, the
negation of any inferior included under it follows from the fact
that when the more general is nullified, any particular whatever
included under it is nullified. Consequently, negation does not
render indeterminate but denies what follows after it, be it
universal or particular.
The solution to the objection is obvious, because the fact that the
proposition: “Not man is just” is a universal, is not due to the
nature of distribution existing in the negation but rather
because man in general is denied; and this being denied, any of
its particulars whatsoever is denied.
Again, it is customary to posit a certain “distribution of
aptitude”, as “Every man fears the sea”, that is, man is born apt
to fear the sea. Or again, it is customary to posit “befitting
distribution”, as “Heaven touches all things apart from itself and
“God created all things apart from Him-
Amtotk, D* ImtrrprHnHon*. 10. 19b. 26 c«o.
TREATI8E ON DISTRIBUTIONS »1
self*. But these two kinds of distribution are not as proper as
the other.
{
We now discuss the sign “whole” which is distributive of integral
parte, as in the proposition: “Sortes as a whole is white”. The
sense is: “Sortes according to any one whatsoever of his parts, is
white”. From this it folloro: “Any part whatever of Sortes is
white”. Proof: In the proposition, “Sortes as a whole is white”,
Sortes as such is the subject of whiteness, and his parts are not
white by reason of themselves but according as they are in the
whole of Sortes or under the form of the whole. Therefore they
are not the subject of whiteness except through the whole.
Hence, this proposition follows first in order, “Sortes, according to
any one whatsoever of his parts, is white”; and then there
follows this proposition: “Any part whatever of Sortes is
white”.@}
Further, in the proposition: “Sortes as a whole is white”, the
whole is the subject of whiteness directly; but the parts indirectly,
because the parts are understood indirectly in that which is the
whole and the whole is understood indirectly in that which is
the part This is evident from a division of the whole, as a house is
constructed of wall, roof, and foundation and Sortes is
constituted by his parts. Therefore the whole causes us to
understand the parts indirectly. Consequently, from the
proposition: “Sortes as a whole is white”, there follows
immediately the proposition: “Sortes, according to any one
whatsoever of his parts, is white”; and mediately the
proposition: “Any part whatever of Sortes is white”.
Again, on the same point, {
that which is the part, has being only from that which is the
whole because it derives its perfection only from the whole.
Therefore it is the subject of something only through the
whole.@} Consequently, the whole is the primary subject.
Therefore, from the proposition: “Sortes as a whole is white”
immediately follows: “Sortes, according to any one whatsoever
of his parts, is white”; and mediately “Any part whatever of
Sortes is white”.
TREATISE ON DISTfMl IT!’ »NS VA
In reference to what has been said, {
we have the sophism : “Sortes as a whole is leas than Sortes”.
Proof: Any part whatever of Sortes is less than Sortes, and
Sortes, according to any one whatsoever of his parts, is less than
Sortes; therefore, Sortes as a whole is less than Sortes.@}
It is argued to the contrary: Sortes as a whole is less than Sortes;
therefore, Sortes is less than Sortes.
Solution: The initial statement is true, viz., “Sortes as a whole is
less than Sortes”, but the proof is guilty of the fallacy of accident
because {
in the proposition: “Sortes as a whole is less than Sortes”, the
predicate is attributed to the parts to which it truly belongs; but
it does not belong to Sortes; therefore, the proposition: “Sortes
is less than Sortes”, is absolutely false.@} On that account, if
one infers that the parts are less than Sortes as a whole or as
Sortes, there will be ? fallacy of accident by virtue of the
previously mentioned rule. Hence Sortes as a whole is the
subject thing, Sortes belongs accidentally to it, and “to be less
than Sortes” is ascribed to both.
In like manner, the disproof is guilty of the fallacy of confusion
of absolute and qualified statement (secundum quid ad
simpliciter), because the proposition: “Sortes as a whole is less
than Sortes”, does not posit Sortes as such but according to his
parts. Therefore, it asserts that Sortes in a qualified sense is less
than Sortes without qualification. So when one makes the
unqualified inference: Therefore, Sortes is less than Sortes”,
there is the fallacy of confusion of absolute and qualified
statement, as in the case: “Sortes qua foot is less than Sortes;
therefore, Sortes is less than Sortes”.
Furthermore, in some cases it follows: “Sortes as a whole;
therefore Sortes”, as “Sortes as a whole is white; therefore
Sortes is white”; in other cases it does not follow. We may ask in
which cases it follows and in which cases it does not follow. It
must be said that there are some accident* which belong to the
part and to the whole indifferently, as white, black, hot, cold,
growth and shrinkage, and in such cases, “Sortes as a whole;
therefore Sortes” logically
TREATISE ON DISTRIBUTIONS w»
follows; there are other accidents which belong to the part and
not to the whole and conversely to the whole and not to a part
or parts, as totality, minority, smallness and, in such cases,
“Sortes as a whole; therefore Sortes” does not follow.
We now discuss signs distributive of accidents among which we
first treat those distributive of quality. A sign distributive of
quality is said to be one which distributes things related through
a qualitative mode, as “such a sort as you please” whose
particular is “some one sort as you please”.
But it is objected that if an accident is multiplied when the
subject is multiplied, it necessarily follows that since signs
distributive of substance distribute or multiply the subject, they
necessarily multiply or distribute the accident itself. Consequently,
signs distributive of accidents are superfluous.
To this it must be said that the multiplication of accidents is
twofold, because one is the multiplication of accident according
to number and is effected through a sign distributive of
substance, as “Every white man runs”; the other is mulplication
according to species and is effected through a sign distributive of
accident, as “Such a sort as you please runs”, which is equivalent
to the proposition: “A thing, having any quality whatever, runs”.
In connection with the foregoing, this sophism is discussed :
“Everything of whichever kind you please, knows, concerning that
kind, that it is what it is”. Let it be supposed that Sortes knows
grammar, logic and rhetoric and Plato and Cicero likewise, and
that they know themselves to possess these; and suppose that
there are three other men of whom oneknows logic, another
grammar, and the third rhetoric and that these do not know
themselves to possess these sciences, and that they know nothing
of the other men, whereas the others know about themselves and
also of these three; and suppose that there exist no other men
and no other qualities. Proof: This “whichever kind you please”
knows, concerning that kind, that it is what it
TREATISE ON DISTRIBUTIONS 97
is. Similarly with the second and the third; and there are not any
more “whichever kind you please”. Therefore, “every thing of
whichever kind you please, knows, concerning that kind, that it is
what it is”.
To the contrary: Everything of whichever kind you please,
[knows, concerning that kind, that it is what it is]; therefore, every
grammatical thing knows, concetning that kind of thing, that it is
what it is.*
The first solution is true, and the disproof is guilty of the fallacy
of the consequent in reasoning from the inferior to the superior
with the distribution of the superior. For “of whichever kind you
please” stands only for three [men], namely, for the first three;
but “grammarian” stands for these and also for someone who
possesses grammar only, and thus “grammatical thing” stands
for more things than does “of whichever kind you please”.
Hence, if the universal distributive sign is placed before it, as in
saying “Everything of whichever kind you please”, et cetera,
therefore “everything grammatical”, there arises a consequence
like this one: “Every man; therefore every animal”. And the same
occurs in the later expression, when it is said “concerning that
kind”, as if [we argued] “Concerning everything of whichever
kind; therefore concerning everything grammatical”.
We turn our attention to signs distributive of quantity and they
are signs which distribute things related through a mode of
quantity, as, for instance, “as often as”, “as much as”.
In this relation we have the sophism: “As often as you were at
Paris, so often you have been a man”. Proof: At one time you
were at Paris and at that time you were a man; at another time
you were at Paris and at that time you were a man, and so on;
therefore, as often as yon were at Paris, so often you were a
man.
Interpolate [But this is false. Therefor*, the sophism ta false.]
Thia consequence la offered as provingthe falsity of the
sophism, sine* it appears to eandude a false consequent^for, on
the hypothesis, it u false that the grammarian amongthe three
“other men” knows hmv setf and the tat three men to be
mmmarians.
TREATISE ON DISTRIBUTIONS 99
Disproof: As often as you have been at Paris, so often you have
been a man; but twice you have been at Paris; therefore, twice
you have been a man. This is false, because the word “twice”
introduces the interruption of the act to which it is joined but
the act of being man was not interrupted in you.
Solution: The initial statement is false. The proof is to be
answered by destroying it, because the second part of the
copulative is false, viz., “at that time you were a man”, for as yet
you have not been a man even once, because of the fact that
life has not yet been terminated in such manner that you might
once again begin to live and afterwards have your life terminated,
which is required in order that you be a man twice; the same as a
race must be begun and terminated twice in order that anyone
run twice. Note that “twice” does not involve interruption of time
but only the termination of that act to which it is joined; but
interruption follows a termination. If, however, the paralogism
were formed in the following fashion: “Whenever you have been
at Paris, you have been a man; but twice you have been at Paris;
therefore, twice you have been a man”, the initial statement
would be true and the disproof would be guilty of the fallacy of
figure of speech due to a change in category, because “whenever”
is in the category of time and “twice” is in the category of
quantity, for it is a member of the genus of discrete quantity.
We now discuss the sign “infinite which is spoken of in five ways.
In the first way, “infinite” is said to be that which is incapable of
being gone through, as the voice is said to be invisible because of
the fact that it is not its nature to be seen. In a second way,
“infinite” is said to be that which has incomplete transition by
reason of the fact that it has not yet been terminated, although it
is its nature to be terminated, as while someone is crossing a
space and has not yet arrived at its end. In a third way, we speak
of the “infinite” in the sense of addition, as augmentable number is
infinite by the addition of unity or another number. In a fourth
way, “infinite” is spoken of in relation to division, as
TREATISE ON DISTRIBUTIONS 101
in the case of a continuum. But every continuum is infinitely
divisible. Hence Aristotle defines it thus in the fourth book of the
Physics: “The continuum is divisble ad infinitum”.” In the fifth
way, “infinite” is spoken of in both ways, viz., according to
addition and division, as in the case of time; for since time is a
continuum, it is divisible ad mfinitum and since one time follows
another, it is infinite through the addition of one time to
another. With regard to the last three significations, {
“infinite” is defined thus: “Infinite is that whose quantity is such
that we can always take a part outside what has been already
taken” ; as if another part were taken after the last part of the
line, and after this, a third, and [since] the end of the line could
never be attained, the line is said to be infinite.@}
It is customary to assert that “infinite” is sometimes taken for a
universal term, in which case the proposition: “Infinites are
finite” is equivalent to the proposition: “Some infinites are
finite”; and at other times it is taken as a distributive sign, in
which case the proposition, as far as distribution is concerned, is
equivalent to the proposition: “More than whatever number
you please, is finite”. And it is proved thus: More than one is
finite; more than two is finite; more than three is finite and so
on; therefore, more than whatever number you please, is finite.
In this fashion there is said to be an interrupted or discontinuous
distribution within the numerical scale, because this word
“more” in the first proposition stands for two, in the second for
three, and in like manner, step by step, in the ascending
numerical scale. So the expression “More than whatever number
you please” effects distribution within the numerical scale,
because the expression “than whatever number you please”
stands for some [numbers] and “more” stands for other
[numbers] according to increasing number, as was said above.
>• Perhaps this refer* to Pkviea. IV, 12, 220A, 30. However,
language and context suggest rather Phytic*, til, 7, 207b. 15. “
Aristotle. Pkmn. III. S. 207a. 8.
TREATISE ON DISTRIBUTIONS 10:1
In reference to what has been said, this sophism arises:
“Infinites are finite”. Proof: Two is finite; three is finite and so
on ad infinitum; therefore, infinites are finite.
Disproof: Here an opposite is predicated of its opposite:
therefore, the statement is impossible.
It also can be proved thus: More than whatever number you
please, is finite; therefore, infinites are finite.
Solution: Some distinguish by reason of the fact that “infinite” is
equivocal as regards what is infinite with respect to us and what
is infinite in the absolute sense. Wherefore, if we take what is
infinite with respect to us, the initial statement can be true and
an opposite is not predicated of an opposite, for the stars and
the sands of the sea, which are not absolutely infinite, are
infinite with respect to us. But if we take what is infinite in the
absolute sense, the initial statement is absolutely false and an
opposite is predicated of an opposite. But others make a
distinction by reason of the fact that “infinite” can be a
universal term and thus the initial statement is false; or it can be
a syn-categorematic word, implying in itself distribution, as has
been said, and in this way they consider the statement to be
true.
But neither of these solutions has value, because if the
distinction in each is denied and “infinite” is taken absolutely
and as a universal term, the proof and the disproof of the
sophism still remain. Wherefore, it must be said that the initial
statement is absolutely false, and the proof is guilty of the
fallacy of confusion of absolute and qualified statement because
“infinite” in succession is infinite in a qualified sense and not
absolutely. Wherefore, when the parts of number are taken in
succession, as two and three, we do not grasp the infinite
absolutely but in a certain fashion or a qualified sense; hence
infinite in the absolute sense cannot be inferred from these.
TREATISE ON EXPONIBLES
{
An exponible proposition is one whose meaning is obscure and
requires an exposition because of some syncategorema-tic
[word] implicitly or explicitly contained in it,@} or contained in
some word, as in the following: “Man only is animal”, “Sortes
begins to be white”, “The line is infinite”, and so on. In cases of
this kind it must be noted that those things responsible for a
proposition being exponible differ in many ways. For {
some are exclusive signs, as “only”, “alone”; others are exceptive,
as “with the exception or’, “but” (nisi); some ar reduplicative, as
“insofar as”, “according as”; others introduce beginning or
ending, as “begins”, “ends”;@} others introduce privation of end,
as “infinite”; others introduce excess, as adjectives in the
comparative and the superlative degree; others introduce a
distinction, as “differs”, “other than”, and so on; others introduce
a special mode of distribution, as “whole”, “any one you please”,
and so on. On account of these [syncate-gorematic words] the
proposition becomes obscure and re quires exposition, and so
they are said to make a proposition exponible. Consequently we
must investigate them in turn and we will first investigate
exclusive [signs].
We now discuss exclusive signs. {
Exclusive signs are those which, in virtue of their
consignification, introduce exclusion and so render a proposition
exclusive, as do such
words as “alone”, “single”, “only”, “merely”, “precisely”, and so
on.@} These signs sometimes exclude on account of otherness,
sometimes on account of plurality; sometimes they are placed in
a proposition without negation, sometimes with a negation
preceding or following. We now offer certain rules respecting
them.
The first rule is that an exclusive proposition without negation is
expounded through an affirmative copulative proposition whose
first part is that to which the exclusive sign was prefixed, and
whose second part is a negative proposition denying the predicate
of all others apart from the subject; thus “Only man is rational” is
equivalent to “Man is rational and nothing other than man is
rational”; or “Only twelve are the apostles of God” is equivalent to
“The apostles of God are twelve and not more than twelve are
apostles of God”.
The second rule is that an exclusive proposition of this kind
implies a copulative compounded of two exponents or
components, and it implies either one of these singly but not
conversely; as in the case of: “Only man runs”, therefore “Man
runs and nothing other than man runs”.
The third rule is that a valid consequence is had in reasoning from
an exclusive affirmative proposition to a universal proposition
with transposed terms, if the exclusion is the result of
otherness, but not conversely; as “Only animal is man therefore
every man is an animal”.
The fourth rule is that an exclusive proposition contradictory of
a previous [statement] is expounded through an affirmative
disjunctive proposition whose parts contradict the previous
copulative proposition; as “Not only man runs”
TREATISE ON EXPONIBLES NW
is equivalent to “No man runs or another than man runs”. This
is clear from the force of the contradiction, because the
opposition of contradiction is preserved in both. From this also it
is clear how the consequence is valid in such propositions.
The fifth rule is that an exclusive proposition in which the
negation is placed after the exclusive sign, is expounded through
an affirmative copulative whose first part is the preceding negative
proposition and whose second part is an affirmative in which the
predicate is asserted affirmatively of any other subject you
please; as “Only an accident is not a substance” is equivalent to
“An accident is not a substance and everything other than an
accident is a substance”. From this it is clear how its contradictory
should be expounded and how the consequence is valid in the
case of exclusive propositions.
We now discuss exceptive words. Exceptive words are those
which signify the exception of something which is contained
under anything distributed, as “with the exception of, “except”,
and so on. Certain rules concerning them follow.
The first is that every exception occurs in relation to a
quantitative whole or in relation to a term with a universal sign
attached. But a general term with a universal sign attached is a
quantitative whole, as in the case of: “Every man except Sortes
is running”.
The second rule is that an exceptive word, unless prevented,
causes the general term to which it is immediately attached to
have simple supposition, as in the case of: “Every animal except
man is irrational”. Here, “man” has simple supposition.
The third rule is that an affirmative exceptive universal
proposition is expounded copulatively by three categorical
TREATI8E ON EXPON1BLB8111
exponents, of which the first affirms the predicate of the subject
taken with “other than”; in the second, the term from which the
exception is made is asserted affirmatively of the term which is
excepted; the third is a negative proposition in which the
predicate is denied of the excepted term. If for example we say
“Every animal except man is irrational”, this proposition is
expounded thus: “Every animal other than man is irrational, and
man is an animal, and man is not irrational”.
The fourth rule is that a negative exceptive universal
proposition is expounded copulatively by three exponents, in
the first of which the predicate is denied of the subject taken
with “other than”; the second is an affirmative proposition in
which the term from which an exception is made is asserted of
the term which is excepted; in the third, the predicate is
affirmed universally of the excepted term. For example: “No
animal except man is rational” is expounded thus: “No animal
other than man is rational, and man is an animal, and every man
is rational”. From this it is dear how their contradictories should
be expounded and how the consequence is valid in them.
We now discuss reduplicative signs. Reduplicative signs are those
which imply the reason according to which something is
attributed to another, as “insofar as”, “according
TREATISE ON EXPONIBLE8 W
as”, “by reason of the fact that”, and so on. Concerning these
the following rules are offered.