Académique Documents
Professionnel Documents
Culture Documents
Editors:
G. NUCHELMANS, UniversityofLeyden
L. M. DE RIJK, University of Leyden
Editorial Board:
VOLUME 27
JEAN BURIDAN'S LOGIC
PETER KING
University of Pittsburgh
Preface Xl
Section 7. Consequences 59
7.1. Conditionals, Inferences, and Consequences 59
7.2. The Definition and Division of Consequences 61
7.3. Assertoric Consequences 63
7.4. Divided Modal Consequences 65
7.5. Composite Modal Consequences 66
Section 8. The Syllogism 69
8.1. Definition of the Syllogism 69
8.2. Syllogistic Semantic Principles 70
8.3. Reduction and Proof-Procedure 73
8.4. Assertoric Syllogistic 75
8.5. Composite Modal Syllogistic 79
8.6. Divided Modal Syllogistic 80
NOTES
Bibliography 367
Indexes 369
Index of Names 369
Index of Subjects 371
Index of Rules and Theorems 377
PREFACE
Buridan's treatises, Jim van Aken and Bob Brandom discussed condi-
tionals at great length with me, lowe a special debt of gratitude to
Calvin Normore, Paul Spade, and Anna Greco, each of whom read this
work in manuscript and made many valuable suggestions, I also want to
thank the students in my graduate seminar on Mediaeval Logic, given in
Fall 1983 at the University of Pittsburgh, who stimulated my thinking
about many of the philosophical issues explored in the succeeding
pages,
INTRODUCTION:
immense, both during his life and for centuries afterwards. He was
known for his contributions to ethics, physics, and, perhaps most
important, for his philosophy of logic. It is the latter to which this
introduction and the translations are devoted. Buridan's mediaeval
voice speaks directly to modern concerns: the attempt to create
a genuinely nominalist semantics; paradoxes of self-reference; the
nature of inferential connections; canonical language; meaning and
reference; the theory of valid argument. It is to be hoped that Buridan
can reclaim his lost reputation among contemporary philosophers for
his penetrating and incisive views on these and other matters.
2. THE TREATISES
eighth and ninth treatises listed. In the latter case Buridan simply jettisons
the text written by Peter of Spain and substitutes his own text, comment-
ing upon it. Such a case is the fourth treatise, the treatise on supposition.
The Summulae de dialectica is one of two or three major logical
works we have of Buridan's: the ninth treatise seems to have been
considered an independent work, called the Sophismata. 4 The other
work is the Treatise on Consequences [TC], translated here, an advanced
independent investigation in logic. If TS was the textbook for Buridan's
introductory course on logic, TC is a handbook to the logic graduate
seminar. The rest of Buridan's works on logic are quaestiones on the
standard logical corpus: Porphyry's Isagoge, and Aristotle's Categories,
De interpretatione, Prior Analytics, Posterior Analytics, Topics, and
Rhetoric. 5
For TS I have used the edition of the text given by Maria Elena
Reina in "Giovanni Buridano: Tractatus de suppositionibus," Rivista
critica di storia della filosofia (1959), pp. 175-208 and pp. 323-352.
For TC I have used the edition of the text given by Hubert Hubien,
Iohannis Buridani tractatus de consequentiis: Edition critique, in the
series Philosophes medievaux Vol. XVI, Universite de Louvain 1976.
Divergences from these texts are noted in the translation where they
occur.
Abbreviations
TS = Treatise on Supposition
TC = Treatise on Consequences
QM = Questions on the Metaphysics
QCM = Questions on the De caelo et mundo
QSP = Questions on the Physics
QNE = Questions on the Nicomachean Ethics
3. MEANING AND MENTAL LANGUAGE
level terms which signify it. The relation among the various levels, then,
is rather like encoding.? Immediate signification is conventional, but the
signification of concepts is natural, and indeed universal; concepts are
"the same for all."
dilemma. Quine, for example, endorses sets, but argues that as abstract
entities go they are pretty well-behaved (so well-behaved that he insists
on calling himself a 'nominalist'). Mediaeval nominalism might take the
same route, although then it must account for the ontological status of
such abstract entities. Others have tried to give reductivist accounts of
'set' or 'class' or 'type,' suggesting that they are no more than reducible
equivalence classes based on resemblance or similarity. This is Buridan's
approach.
But according to the latter, is not 'resemblance' equally an abstract
entity, a universal of the sort proscribed? Buridan avoids reifying
'resemblance' by interpreting it pragmatically. Each inscription-token is
unique. Logical laws are stated for inscriptions which are similar
(similis), that is, sufficiently resemble one another in the relevant
respects. But there is no saying what respects are the relevant ones, or
which degrees of resemblance are sufficient; these factors depend on the
context, on our interests and aims. Inscriptions which are treated as the
same in a given context are called "equiform," but there is no such thing
as equiformity tout court, and so Buridan's nominalism is not compro-
mised. Logical principles are therefore restricted to equiformity-classes
of inscriptions. In some cases we may be forced to be very restrictive in
our choice of equiformity-class:
The sentence printed below this one is false.
The sentence printed below this one is false.
2+2=17
The first two inscriptions cannot be equiform with respect to truth-
value, for the first is false and the second true (QM V q. 1 fol. 26vb).
Equally, when discussing the Liar, for example, we have to carefully
distinguish individual inscription-tokens (Sophismata VIII, Hughes
[1982]8.4.3,13.5-6,15.8.2).
Buridan seems to have kept an open mind on how arbitrary an
equiformity-c1ass may be. There may be an eventual limit, imposed by
the causal theory of concept-formation and the requirement that
concepts be natural likenesses of the things of which they are concepts,
but Buridan does not say so explicitly. For most cases a handy practical
criterion will serve to demarcate equiformity-classes; Buridan frequently
uses the rule that terms supposit and appellate in equiform sentences
just as in the original sentence (or part of a sentence: this will be
important for the theory of consequences): see TC 3.7.41.
10 BURIDAN'S PHILOSOPHY OF LOGIC
does not explore it in any detail. The copula produces sentences from
terms or expressions, according to very complicated rules about what
can act as subject or predicate; a partial list of such rules is given in TS
2.6.1.
A negative particle (such as non) may act in two ways (TS 2.2.7). It
may be a sentential-functor taking sentences to sentences; Buridan calls
such a negation "negating," anu it acts upon the copula. Or it may be a
term-functor taking terms to terms; Buridan calls such a negation "infin-
itizing," and it acts upon the individual term, producing what is called an
"infinite" term (TS 3.7.35). Buridan's logic will therefore distinguish
sentences not only by their quantity but also by the character of the
negation occurring within them, their quality.
Signs of quantity, that is, quantifiers, are more complex. Buridan
argues that such signs of quantity, no matter where they occur in the
sentence, not only affect the term immediately following them but also
act as "conditions of the whole sentence" (TS 2.2.15), a conclusion
requiring careful argument (TS 2.2.8-14). Buridan characterizes such
signs of quantity as either affirmative or negative, depending on whether
they involve a negation, and as either distributive (that is, "universal") or
as particular (that is, "existential"). There are several kinds of quantifi-
ers, too; there is at least one for each category (TS 3.7.4), and each has a
corresponding identificatory relative-term (TS 4.2.3, TC 3.7.19-27).
For example, a universal affirmative sign in the category of Quality is
"however," and its corresponding identificatory relative-term is "such,"
as in the sentence "However Socrates is, such is Plato," i.e. every quality
which Socrates has Plato also has (Rule RT-6 in TS 4.8.1, or TS 3.7.27).
Moreover some signs distribute parts of an integal whole; others a uni-
versal whole.
Conjunction and disjunction are equally term-forming functors ap-
plied to terms and sentence-forming functors applied to sentences (TS
2.3.13), obeying the usual logical rules, except for certain uses such as
forming 'conjunctive terms; e.g. the term 'Peter and Paul' in "Peter and
Paul lifted a table" (TS 3.2.3). Conjunctive terms are discussed in TS
2.6.64-67 and 2.6.77. Note that the conjunction of terms, their 'collec-
tive' sense, is distinct from term-combination as in e.g. adjective-noun
expressions.
Terms such as 'if and illative particles such as 'therefore' and 'hence'
are sentential functors, producing consequences, just as the copula pro-
duces categorical sentences (TS 2.3.13, TC 1.3.2).
4. THE PROPERTIES OF TERMS 17
sion stating how the relelvant concepts are combined. This is why
Buridan suggests that (i) indefinable substantial terms correspond to
simple concepts (OM IV q.14 fo1.23va and OSP I q.4 fo1.5vb); (ii) pure-
ly syncategorematic terms correspond to simple complexive concepts
(TS 2.4.3). Thus we may view all non-absolute terms as mere abbrevi-
ations for their nominal definitions. Mental, for obvious reasons, need
only contain absolute terms and purely syncategorematic terms; com-
plex concepts may be logically constructed, by complexive syncategore-
mata, from simple concepts.
The thesis complementary to (1)-(2) would be that a term corre-
sponds to a simple concept if and only if the term has a real definition.
But here we must introduce another distinction among categorematic
terms: some terms are appellative, and others are not. 22 Appellative
terms are more complicated than absolute terms. We shall investigate
their nature carefully.
Buridan characterizes some appellative terms by the Remainder
Principle: 23
By 'stand for' Buridan means what a term refers to or supposits for (dis-
cussed in Section 6). Appellative terms falling under the Remainder
Principle have no real definition (OM VII q.5 fo1.44va); presumably
they have a nominal definition and so by (1) correspond to complex
concepts. Buridan lists several examples of appellative terms: (i) every
term in an oblique case;2.J (ii) nondenoting terms, which may be impos-
sibilia such as 'round square' or Jigmenta such as 'centaur' (TS 1.4.7);
(iii) concrete terms in categories other than Substance;25 (iv) transcen-
dental terms convertible with 'being; such as 'thing; 'one; and the like
(OM IV q.5 fo1.15vb); (v) the term 'potency' (OM IX q.6 fo1.59ra); (vi)
most combinations of terms, so that complex subjects and predicates are
connotative. What is more, terms in oblique cases combined with a sub-
stantive connote the relation between the subject and what the term
would stand for in the nominative case. In this case, or when an attribu-
tive adjective is combined with a substantive, the term appellates the
adjacence of the associated property with the subject.
What, exactly, is appellation? Buridan explains it thus (TS 1.4.1,
5.1.1,5.2.5; Sophismata IV Remark 2):
20 BURIDAN'S PHILOSOPHY OF LOGIC
verb 32 we have an opaque context: Coriscus may not know the one
approaching is his father and he knows his father; the syllogism is
prevented by the appellation of a ratio, and we can only conclude that
Coriscus does not know his father as the concept 'the-one-approaching'
applies to him, which is perfectly acceptable. Buridan describes this
appellation as similar to material supposition (TS 3.8.30, TC 3.7.6), for
substitutivity is prevented. On the other hand, when the term precedes
the verb, it is said to appellate all its rationes indifferently (Rule App-5
in TS 5.3.1 and the discussion; TC 3.7.7): in this case substitutivity is
preserved and we have a transparent reading: 33 the sentence "The one
approaching is someone Coriscus does not know" is false, for the ratio
'the-father-of-Coriscus' equally applies to the one approaching.
Buridan's analysis permits the inference a parte priori to a parte post
for some ratio, which we shall call the Entailment Principle. The
converse entailment a parte post to a parte priori, generally fails, as the
nature of opacity suggests. But in certain cases the latter inference does
hold, and in particular for the verb 'know' (scire); we shall call this the
Converse-Entailment Principle (Sophismata IV Remark 8, TS 3.8.27).
The objectual version allows us to infer from "Socrates knows A" the
sentence "[There is an] A [which] Socrates knows," and the sentential
version (sophism 13) allows us to infer from "Socrates knows A to be F"
the sentence "[There is an] A [which] Socrates knows to be F." Buridan's
key argument for the Converse-Entailment Principle is that we should
otherwise have to deny that we have knowleldge of items in the world. 34
The Converse-Entailment Principle runs into two difficulties: coun-
terintuitive substitution-instances, and the lack of existential import (i.e.
when no A exists the sentence should be false).
Buridan takes up the first difficulty in Sophismata IV sophism 14:
Socrates, who has been studying astronomy, has been imprisoned and
cannot see the sky. We are permitted in this case to pass from "Socrates
knows that some stars are above the horizon" (by his astronomical
studies) to "[There are some] stars [which] Socrates knows to be above
the horizon." Which stars? Those which are in fact above the horizon,
which in the posited case is the constellation Aries. But surely this
seems false, for Socrates cannot see the sky.
Buridan's reply is to insist on the different reading a parte priori and
a parte post. The constellation Aries is indeed what Socrates knows, but
only under the complex ratio 'some-stars-above-the-horizon,' by the
Entailment Principle. This ratio will of course latch onto some actual
24 BURIDAN'S PHILOSOPHY OF LOGIC
Sup-2); (ii) oblique terms not combined with a substantive (Rule Sup-3);
(iii) finite verbs (Rules Sup-4 and Sup-7); (iv) sentences (Rule Sup-6).
Categorical sentences may be distinguished with respect to quantity,
quality, or mode. Regarding quantity, first, signs of quantity are properly
not parts of the subject or predicate, but are "conditions of the whole
sentence" (TS 2.2.15), the same way a negating negation (though not an
infinitizing negation) is a condition of the copula. Second, the quantity
of a sentence is determined by the syncategorematic terms present in
the sentence. Distributive and particular signs of quantity are the usual
syncategorematic terms which specify the quantity of a sentence, but
other syncategoremata may also affect the quantity - negations, excep-
tives, and the like (see Section 4.1). Finally, the quantity of a sentence is,
in general, given by the semantic generality of the subject of the
sentence, and not by the items actually denoted; "All unicorns have
horns" is distributive, and so has more quantity than "Some men are
sexists," despite the fact that 'unicorn' is an empty term and 'man' is not.
Modern logicians recognize differences of quantity and of mode:
sentences are universal or particular, assertoric or modal. Differences of
quality - whether a sentence is affirmative or negative - are not usually
taken into account. Yet Buridan takes two forms of the copula, 'is'
and 'is not; as primitive; hence there are two fundamental types of
sentences, affirmative and negative. Is this defensible? The answer turns
on the significance attached to the distinction between predicate nega-
tion and sentence negation, which cannot be clearly drawn in modern
logic: there is no difference between belonging to the extension of the
complement of a predicate and not belonging to the extension of the
predicate. Buridan, however, insists on the difference: the truth of
"Socrates is non-blue" suggests that Socrates has a property, being non-
blue, or at least presupposes that he exists, whereas the denial "It is not
the case that Socrates is blue" is not to claim that he has any property,
or even to presuppose that he exists:.\! Thus for Buridan the truth-
conditions for sentences differing in quality may be quite different.
For example, since negatives are denials which do not presuppose
the existence of their subjects, negatives with empty subject-terms are
automatically true: of course unicorns fail to have a given property;
they fail to have every property, since they do not exist. Conversely,
affirmative sentences with empty subject-terms must be false, even if the
predicate is infinite.
Categorical sentences may also be distinguished with respect to
28 BURlDAN'S PHILOSOPHY OF LOGIC
mode: they are either assertoric or modal (TC 2.1.3). Buridan distin-
guishes them in the following way: although every sentence is either
possible, necessary, or contingent, only those sentences which explicitly
include a "mode" are counted as modal; the terms 'possible; 'necessary;
'contingent; 'true,' 'false,' 'known,' and so forth are modes. Buridan thus
treats 'modal logic' as much wider than the logic of possibility and
necessity. Such sentences also include a dictum, which Buridan defines
as "that whole found in the sentence aside from the mode and the
copula and the negations and the quantifiers, or other determinations of
the mode or the copula" (TC 2.3.3).42 Examples are "That a man runs is
possible" or "A man can possibly run." The former modal sentence is
composite, the latter divided: a modal sentence is composite when the
mode is put as the subject and the dictum is predicated, or conversely
(TC 2.2.2); a modal sentence is divided when part of the dictum is put
as the subject and the other part as the predicate, and the mode is taken
as a determination of the copula (TC 2.2.5).
Divided modal sentences ampliate their subjects and can be treated
easily as a case of sentences with a special ampliative copula (see
Section 6.8). Composite modal sentences, on the other hand, are a
peculiar type of assertoric categorical: we may understand
It is possible that p
as equivalent to
A possible <sentence> is that-p
where the analyzed sentence has an ordinary copula and the predicate is
'that-p' (TC 2.7.1-5). Such sentences are indefinite and may thus be
quantified:
Some possible <sentence> is that-p
Every possible <sentence> is that-p
To understand this we need to know what it means to call something a
'possible' or a 'possible <sentence>.' Buridan implicitly endorses the
following analysis:
"Some possible <sentence> is that-p" is true if and only if
for a sentence p* equiform to p, how p* (if formed) signifies
to be can be the case.
There are two points to note. First, the clause 'a sentence p* equiform to
5. SENTENCES 29
The core of sentential logic has several elements: (i) opposition in all its
forms, such as contradiction, contrareity, and subcontrareity; (ii) rules of
5. SENTENCES 31
. - / SUPPOSITION ~
Proper Improper
/ ~
Material / ' Personal ~
/ Absolute"" Relative
/ Accidental~ Natural
Determinate / Confused ~
Distributive Non-Distributive
and so on. But it does specify the semantic function a term may have
in different sentential contexts. This point is important: supposition
theory will explain the semantic role of terms in a sentential context -
evaluating the truth of the sentence is another matter. Hence it is a
mistake to suppose that supposition theory will say exactly which
things a term in fact sup posits for. Rather, supposition theory will
specify what things a term semantically supposits for, and then it is
a separate question whether the supposition is successful. Failing to
appreciate this point can only lead to confusion.
distinguish the use of a term from its mention, but the differences
should not be overlooked; material supposition is much wider than
our use-mention distinction, The similarities are obvious: in sentences
such as "Man has three letters" or "Man is a monosyllable" the term
'man' has material supposition; we should render these by using the
quote-functor, giving '''Man' has three letters" or '''Man' is a monosyll-
able," However, there are differences even in such cases, First, applica-
tion of a quote-functor produces a new term, one which names the
term inside the quotes, but for Buridan a term is the same whether in
personal or material supposition, Indeed, Buridan was familiar with
the device of naming expressions, but he never proposes it as an
account of material supposition,56 Equally quotation does not seem to
require a sentential context the way material supposition does, Second,
the quote-functor may be iterated, 57 but material supposition cannot;
there is no mediaeval analogue of the sentence ""Socrates" names
'Socrates' names Socrates, who was Greek.",5~ Material supposition
could be no more than a first-order fragment of quotation theory,
Third, the substitution classes differ; a term can materially supposit for
what is only similar to it, so that accusative-infinitive phrases supposit
for sentences, and changes in case and gender are permitted, In the
composite modal sentence "It is possible for Socrates to be a bishop"
the expression 'for Socrates to be a bishop' materially supposits for the
sentence "Socrates is a bishop" (or a similar sentence),
Material supposition, then, is more inclusive than the distinction of
use and mention, even when we restrict ourselves to the material
supposition of utterances or inscriptions, Allowing material supposi-
tion of concepts merely points up the relevant differences,
When is a term in personal supposition or in material supposition?
Unlike Ockham, Buridan does not try to give precise rules, but rather
trusts to good sense and good logic (TS 3,2,15-22), usually taking
context to decide, Since there is no material supposition in Mental,
Buridan is not at fault for not providing precise rules; the vagaries of
Spoken or Written are met individually,
tion, each taken referentially though not necessarily for the same
item(s). But 'some' in certain sentential contexts can, in combination
with other logical terms, have non-distributive confused supposition,
that is, be used attributively. Such uses will be discussed in the next
section. The rules of supposition are primary; it is a mistake to think
that a term always has the same reference, no matter what the senten-
tial context. That is one of the central points of supposition theory,
noted in Section 6.1.
Hence 'some man' in the false sentence "Some man is F" refers to
some man, i.e. to some particular man. The sentence is false because
that particular man is not F. Even if other men are F, the sentence will
be false, for they are not being referred to. Modern logicians are
accustomed to read 'some' attributively, and so to take the F-ness of
other men to suffice for the truth of the sentence. Yet nothing forces
us to accept the attributive reading; the referential reading is certainly
a possible interpretation, and in fact seems to accord with ordinary
language and linguistic intuitions far better than the attributive reading.
It might be objected that on the referential reading there is no dif-
ference between discrete and determinate supposition. But this is an
artifact of our examples; we have taken 'some' to stand for a single
individual. In such a case there is no difference. But 'some' may also
stand for a determinate number of individuals: I may assert "Some
men are bald," referring to six friends of mine whom I know or
believe to be bald. Taken referentially, if any is bald, the sentence is
true; if not, not. The semantic understanding of determinate supposi-
tion should now be evident. A term has determinate supposition if it is
taken referentially for at least one determinate individual it signifies.
Thus what Geach took to be the great sin of mediaeval logic turns out
to be its great virtue. There is nothing incoherent in the notion that a
term may only stand for some of its significates on a particular occa-
sion of its use in a sentence: Geach's worries stem from not taking
seriously the pragmatic dimesnion of semantics, and the contribution
of the logical grammar of a given sentence to determining the refer-
ence of a term.
A final point. The same term may appear in different sentences,
and in each case have determinate supposition. The theory of supposi-
tion has nothing to say about when such occurrences are coreferential.
Nor should it; supposition theory specifies the reference of a term in a
given sentential context. Coreferentiality involves more than a single
48 BURIDAN'S PHILOSOPHY OF LOGIC
such sentences are those in which terms which do not have discrete
supposition are replaced by terms which do have discrete supposition;
depending on the inferential direction, the relations are relations of
ascent or descent.72 For example, the I-form sentence "Some dog is
healthy" entails "Some dog is this healthy thing or that healthy thing or
..." where 'some dog' can be replaced by the reference-class in ques-
tion, since it has a referential use.
Modern mediaeval scholarship finds a fatal flaw in the theory of
supposition at this point, known as the "problem of the O-form." The
difficulty is as follows. Suppose that only Socrates and Plato exist,
each of whom is Greek, and consider the (false) O-form sentence
"Some man is not Greek." If we descend under the subject-term, then
(assuming that the reference is to Socrates and Plato) we get "Socrates
is not Greek or Plato is not Greek." Each of the disjuncts is false, and
so the sentence is false. However, if we descend under the predicate-
term, we get "Some man is not this Greek and some man is not that
Greek." If 'this Greek' and 'that Greek' refer to Socrates and Plato
respectively, then the first conjunction is true, taking 'some man' to
be Plato, and the second conjunct is true, taking 'some man' to be
Socrates; both conjuncts are true, and so the conjunction is true,
though the original sentence is false.
The interpretation of supposition-theory offered above suggests a
solution. In the latter case in which we descend first under the predic-
ate-term, a crucial step in the argument was that 'some man' in each
conjunct be taken not referentially, but attributively. Thus each occur-
rence of 'some man' in "Some man is not this Greek and some man is
not that Greek" should be read as 'some man or other (indifferently).'
Yet this is to assign non-distributive confused supposition to the sub-
ject-term; in the example, the subject-term was said to have determin-
ate supposition. To put the point a different way: if the subject-term
has determinate supposition then an equivalent descent can only be
made taking the subject-term first. The assignment of determinate sup-
position to the subject-term thus corresponds to a 'priority of analysis'
rule, and the so-called 'problem' of the O-form is resolved.
young man," and this sentence may be true of a bouncing baby boy,
who will eventually be an old man, will (first) be a young man (Sophis-
mata IV sophism 4). On the other hand, Buridan's analysis avoids
nasty ontological puzzles; there is no way to move from the sentences
"There was a statue" and "That statue no longer exists" to the conclu-
sion "There is a statue which does not exist." However, a version of the
"what is ..." locution can temporally fix the extension of the subject-
term: the subject-term of "What was S was/is/will-be P" refers only to
past existents, of "What is S was/is/will-be P" refers only to present
existents, of "What will-be S was/is/will-be P" refers only to future
existents.
The predicate-term of sentences in which the copula is tensed is
carried along to supposit for items at the time of the verb, provided
that the term itself does not imply a different time (TC 1.6.1 and
1.6.20). Thus in a sentence of the form "S will be P" the subject-term
is ampliated to supposit for what is or will be S, while the predicate-
term sup posits for what will be P.
In the second case individual terms produce temporal ampliation;
the most obvious instance is of tensed participles, such as 'going-to-
dispute' (disputurus, TS 5.2.10-12); when such a term appears in pre-
dicate position it takes us to a time relative to the time of the verb: in
"Aristotle was going-to-dispute" the predicate-term 'going-to-dispute'
supposits for the future relative to the time of the verb, which is some
point in Aristotle's life (TS 5.2.11, 6.2.7; TC 1.6.20). This is quite like
the systematization of tense-logic given by Reichenbach [1947]; there is
no reason these relations cannot be iterated.
Other terms also produce temporal ampliation; we can divide them
into two categories (RuJe NDC-3 in TS 3.8.19): (i) terms which imply
in themselves a difference of time, such as 'dead'; (ii) terms which
determine, relatively or absolutely, a different time, such as 'tomorrow'
or 'afterwards' (relative) or a dating of the sentence as '12 July 1358'
or 'eternally' (absolute).
Buridan is a temporal divisibilist: all intervals are divisible into
intervals, and intervals only, infinitely; in particular, Buridan rejects
an ontology which includes instants or moments of time. Two argu-
ments for temporal divisibilism are offered in Sophismata VII: first,
there is no single instant at which a spoken sentence exists, since the
subject-term is uttered before the rest of the sentence; but it is part
and parcel of Buridan's nominalism that a sentence, whether utterance
54 BURIDAN'S PHILOSOPHY OF LOGIC
6.9. TRUTH-CONDITIONS
Now (1) and (2) are rather similar to giving truth-conditions in terms
of set inclusion among the extensions of the terms. But note that they
are stated as necessary conditions for truth, not as sufficient conditions.
That is because of problems with Liar-sentences (TC 1.5.5-1.5.7;
Sophismata II Theorem 12 and VIII sophisms 7 and 11 especially).
Recall that Buridan takes sentences to be assertions, and hence the
sentential form requires certain contextual prerequisites be met for the
sentence to count as a sentence. An affirmative assertion (sentence)
indicates that its terms supposit for the same, according to the require-
ments of the given sentence; a negative sentence indicates the opposite
58 BURIDAN'S PHILOSOPHY OF LOGIC
(TC 1.5.1-2). But this is not all, for Buridan also holds what Hughes
has felicitously named the Principle of Truth-Entailment ([1982]) p.
110): A sentence 'p' and a sentence of the form 'A exists: where 'A'
names p, together entail a sentence of the form 'A is true: (Naturally
'p' as it occurs in the latter sentences is in material supposition and
only equiform to the original sentence.) This principle is quite intuitive
if we remember that sentences are assertions: an utterance which actu-
ally counts as an assertion contextually presupposes that the assertion
is true. Buridan sometimes expresses this loosely, by saying that the
truth of a sentence is nothing other than that very sentence itself (OM
II q.l fo1.8vb). He is thinking of Mental sentences, of course, but the
point is that 'truth' is eliminable: we do not need a truth-predicate.
What are the causes of the truth or falsity of a sentence? Buridan
discusses this question in TC Chapter 1-2 and OM VI q.8. We have
seen (in Section 5.5) how Buridan rejects various suggestions about
what a sentence signifies, especially the complexe significabile. But
what then is the cause of the truth or falsity of a sentence? Some fact
or event? But then it seems as though we have to admit negative facts,
or perhaps future facts, and the like. Modem logicians sidestep some
of these difficulties by taking negation as a sentential operator, so that
negated sentences are molecular; their truth-value is then derived from
the truth-values of atomic sentences. Buridan, however, admits as basic
two forms of the copula ('is' and 'is not,), and so cannot treat the
truth-value of negative sentences as derivative. Rather, he takes a more
radical line: there is no cause of the truth of a negative, just as there is
no cause of the falsity of an affirmative. The causes of the truth of an
affirmative are equally causes of the falsity of the corresponding nega-
tive: the way things are. And that is the end of the story. Further sup-
port for this view can be found in the fact that Buridan only states
correspondence truth-conditions for A-form and I-form sentences,
since there is no cause of the truth of the E-form and O-form sen-
tences.
Buridan also has several remarks about the "number" of causes of
truth, which are as one would expect: the sentence "All men are sex-
ists" has more causes of its truth than "Some men are sexists." These
causes of the truth of the sentences are related by set-inclusion, it
should be noted. Such principles are crucial for proving equipollence
and conversions, as we shall see in Section 7.3.
7. CONSEQUENCES
/
Simple consequences Ut nunc consequences
may take the tense of the verb in 'it is not the case' seriously, and so
discuss consequences which hold as a matter of fact at other times - as
Buridan says, ut nunc, ut tunc, or ut nunc pro tunc. Thus Buridan's
theory of tense-logic will be confined to part of the theory of ut nunc
consequences. Note that the ut nunc consequence may behave just like
the material conditional; all that is required for it to be acceptable is the
factual lack of the antecedent obtaining with the consequent failing to
obtain.
Consequences are further examined in the first seven theorems in
TC 1. Theorem 1-1, Theorem 1-5, and Theorem 1-7 state the key
characteristics of consequences: they can never lead from truth to
falsity, nor from possibility to impossibility, nor from the necessary to
the non-necessary; equally, the necessary follows from anything, and
from the impossible (such as the conjunction of contradictories)
anything follows. In Theorem 1-3 the law of contraposition is stated for
consequences, and in Theorem 1-4 the law of transitivity. Together, all
of these characteristics define the nature of an acceptable consequence.
Two points must be noted: first, the 'not collectively' clause in Rule 1
excludes cases in which two terms are collectively or conjunctively
called the same as a third term, as when "matter and form are said to
be the same as one and the same composite, and the matter is not the
same as the form (TC 3.4.3)."90 Second, the careful use of the phrases
'called the same' and 'called not the same' indicate that Buridan is here
talking in what we should call the formal mode: they characterize
sentences which, if formed, are respectively affirmative or negative in
qualityYl This is the key to Buridan's semantic characterization of the
dictum de omni et nullo: his talk of supposition is entirely in the
formal mode. Syllogistic is a branch of the theory of formal con-
sequence, and so the test for the acceptability of a syllogism is whether
it satisfies the Uniform Substitution Principle, but the principle applies
only if certain relations among the supposition of the terms obtain. In
a particular sentence the relations are made explicit by the nature of
the syncategorematic terms present, and Rule 1 and Rule 2 state how
72 BURIDAN'S PHILOSOPHY OF LOGIC
Buridan follows tradition in taking the first four moods of the first
figure to be evident or 'perfect': Barbara, Celarent, Darii, Ferio. Their
acceptability is shown directly by the preceding principles; what I
have called Buridan's "proof-procedure" for syllogisms is his way of
reducing all other syllogisms to these. 93 In each of the various forms of
assertoric and modal syllogistic Buridan takes up, he first points to the
evidentness and perfection of those moods corresponding to the first-
figure moods listed; no further justification is givenY4 Hence it is
incorrect to think that Buridan (or any other mediaeval logician) has a
formal metatheory of deductive systems. Buridan offers two methods
for showing the acceptability of a syllogism: the Reductio-Method
and the Method of Reduction. Both are founded on Aristotle, and
supplement the principles listed in the preceding section.
The Reductio-Method, traditionally only required to show the
acceptability of Baroco and Bocardo, is stated as a general principle
governing consequences with a conjunctive antecedent (Theorem IlI-3
in TC 3.4.17-18):
74 BURIDAN'S PHILOSOPHY OF LOGIC
is not distributed (TC 3.4.49); there are eight remaining useful moods.
They are as follows (note that the moods which conclude both directly
and indirectly are not given different traditional names): (5) concludes
directly and indirectly, so we have 2-EAE (Cesare); (3) concludes
directly and indirectly, so we have 2-AEE (Camestres); (6) concludes
only directly as 2-EIO (Festino); (4) concludes only directly as 2-AOO
(Baroco). These are all of the acceptable syllogisms recognized by
traditional syllogistic, but Buridan finds another four acceptable
syllogisms. There is (11), which only concludes indirectly as 2-IEO;
this is the same as Festino with the premisses transposed (making the
conclusion indirect), and so Buridan names this mood "Tifesno." There
is also (13), which only concludes indirectly as 2-0AO; this is the same
as Baroco with the premisses transposed (making the conclusion
indirect), and so Buridan names this "Robaco." Buridan also finds (12)
acceptable, as 2-10 with the conclusion not in the common idiom for
negatives, and therefore having the form "Some P is M, and some S is
not M; therefore, some S P not is [i.e. some S is not some P]." Finally,
(14) is acceptable, as 2-01 with the conclusion not in the common
idiom for negatives, and therefore having the form "Some P is not
M, and some S is M; therefore, some S P not is [i.e. some S is not
someP]."
The third figure requires us to reject (12) and (14), since the
middle is not distributed (TC 3.4.51); the remaining nine moods are
acceptable, and they are all in the common idiom for negatives. The
traditionally accepted moods are as follows: (13) concludes indirectly
as 3-0AO (Bocardo); (1) concludes both directly and indirectly as
3-AAI (Darapti, no separate names); (9) concludes both directly and
indirectly as 3-IAI (Disamis, no separate names); (2) concludes both
directly and indirectly as 3-AII (Datisi, no separate names); (5)
concludes directly as3-EAO (Felapton); and (6) concludes directly
as 3-EIO (Ferison). Buridan adds three acceptable syllogisms, each
of which has the premisses of a traditional mood transposed: (4)
concludes indirectly as 3-AOO, which Buridan names "Carbodo,"
since the premisses are transposed from Bocardo; (3) concludes indi-
rectly as 3-AEO, which Buridan names "Lapfeton," since the pre-
misses are transposed from Felapton; and (11) concludes indirectly as
3-IEO, which Buridan names "Rifeson," since the premisses are trans-
posed from Ferison.
78 BURIDAN'S PHILOSOPHY OF LOGIC
sentence, then if we treat it as the subject and the rest of the sentence
as the predicate all of the standard moods apply. We shall not con-
sider the oblique syllogism in any detail here.
The last form of assertoric syllogism Buridan considers is the
variation syllogism, that is, a syllogism in which the middle term is
finite in one premiss and infinite in the other97 (i.e. the term is "varied"
from one to the other), in Theorem III-18 and Theorem III-19 (TC
3.7.31-45). We may summarize his claims: in every figure, there is an
acceptable pair of variation syllogisms for the conjugations (1 )-(2),
(7)-(10), and (15)-(16); in the first figure, there is also an acceptable
pair of variation syllogisms for the conjugations (3)-(4), respectively
l-AE and l-AO, and for the conjugations (11)-(12), respectively
I-IE and 1-10; there are no additional variation syllogisms in the
second figure; in the third figure, there is an acceptable pair
of variation syllogisms for the conjugations (3)-(6), respectively
3-AE, 3-AO, 3-EA, 3-EI, and the conjugations (11)-(14), respec-
tively 3-IE, 3-10, 3-0A, 3-01. These are the only acceptable variation
syllogisms.98
8.5. COMPOSITE MODAL SYLLOGISTIC
SUMMULAE DE DIALECTICA
TRACTATUS IV
TREATISE ON SUPPOSITION
INTRODUCTION
[0.0.1]
Treatise IV will be about supposition and related matters.
And first, let us state the difference between supposition and
signification. I do not intend to speak here of the natural
signification of utterances (voces), I since we do not form sen-
tences from such utterances; I mean only to deal with utter-
ances which signify by convention (ad placitum).2 Nor do I
intend in this chapter to speak of material supposition, for
any inscribed utterance can supposit in this way, even if it is
not imposed to signify something. For now, I intend to speak
only of supposition in that an utterance mayor may not sup-
posit according to the signification imposed on it.
[0.0.2] Since there is no supposition of a sentence but rather of a term
which is either subject or predicate, Treatise IV, which is about supposi-
tion and related matters, should come right after the treatise on predic-
able terms. 3
85
CHAPTER 1
This first chapter has four sections: Section 1.1 sets forth the aim <of the
chapter>, Section l.2 gives the difference between signification and sup-
position, Section 1.3 the difference between supposition and verifica-
tion, Section 1.4 the difference between supposition and appellation.
[1.l.11 The first part of [0.0.11 is clear enough: it puts forward in brief
the aim of Treatise IV: "suppoosition and related matters," that is, about
signification, verification, appellation, and ampliation or restriction. It
also immediately says what questions ought to be settled in Chapter 1
about the difference between signification and supposition, and about
which <kind> of signification is meant in Chapter 1, and similarly what
supposition is and what it is not. These matters are plain in the text of
[0.0.1].
[1.1.2] But it also be added that we do not deal with supposition as 'sup-
position' is understood by the grammarians," for then the term 'chimae-
ra' could supposit just as well as the terms 'man' and 'horse,' since the
expression (oralio) that a chimaera runs is as grammatical (congrua) as
"A man is reading," and so is not supposition as the logician takes it.
[1.2.1]
Therefore, taking signification and supposition as spelled
out in [0.0.1], signification and supposition differ because any
given word (dictio) which, not taken materially,S is a part of
speech,6 signifies and gives rise to some concept to the one
hearing it, according to the institution conventionally given
to it. But not every such word has supposition. All and only
those terms supposit which, when something is pointed out
86
1. SIGNIFICATION, SUPPOSITION, VERIFICATION 87
[1.2.2] This passage makes two points, the first about signification, the
other about supposition.
[1.2.3] With respect to the first point of [1.2.2], it should be noted that
the word (sermo), or the power of speech, was ultimately given to us in
order that we be able to signify a concept to others, and hearing was
ultimately given to us in order that concepts of a speaker could be
signified to us. Aristotle says this in De anima [Ill.xiii 453b24-26]: "the
animal has hearing in order that something be signified to it; it moreover
has a tongue in order that it signify something to another." By 'the
tongue' Aristotle means here the power of speech, whatever that may
be.
not a sentence, since the utterance 'bu' has no signification, nor a man-
ner of signifying (modus significandi) which could provide a subject for
the verb. However, if it were taken materially, then the sentence holding
that the term 'bu' is running would be acceptable. K
[1.2.8] Some respond <to this doubt> that although God cannot be
pointed out to sense He nevertheless can be pointed out to the intellect.
[1.3.1]
Verification is different from supposition, for verification
is properly of a sentence and not of a term, but supposition is
of a term and not a sentence. 12 Again, it is possible that there
be supposition of the terms in a sentence without the verifi-
cation of the sentence, in negatives as well as in affirmatives,
as for example "A man is an ass" or "Man is not an animal."
Too, in negatives there can be verification without supposi-
tion, as in "A chimaera is not a goat-stag." But in true affirm-
atives there must be verification of the sentence by some
thing or things for which the term suppa sits. And if the term
is distributed, there must be verification by all those things
1. SIGNIFICATION, SUPPOSITION, VERIFICATION 89
[1.3.5] Indeed, any mental sentence is true or false, and anytiung simply
true or false is a mental sentence, as the logician speaks of true and
false.
[1.3.7) But note as it seems to me that the spoken sentences which are
called true or false are significative only in that they represent true or
false mental <sentences>, and every mental sentence is true or false -
and so, therefore, any spoken sentence represents the true or the false.
Thus any spoken <sentence>, taken significatively or representatively, is
true or false.
[1.3.10] Therefore, then, when it is said in the first point of [1.3.1] that
there is verification of a sentence and not of a term, this should be
understood as <verification of> a mental sentence, and we should under-
stand the foregoing for spoken sentences.
[1.4.1]
Appellation differs from supposition because there are
terms which supposit and do not appellate, for example
nominative terms in the category of Substance such as
'animal,' 'plant; 'gold'; there are terms which appellate but
do not supposit, for example 'chimaera; 'vacuum; and the
l. SIGNIFICATION, SUPPOSITION, VERIFICATION 91
[1.4.3] The first point deals with terms which supposit and do not
appellate, which in the passage are nominative terms in the category of
Substance, and this is because they do not connote some disposition in
the substance which they signify and for which they supposit. This is
also so for many abstract terms in the category of Quality, for example
'whiteness,' 'hotness,' 'humanity.'
[1.4.4] But doubts may arise whether oblique terms in the category of
Substance supposit or appellate. I assert that, strictly speaking, they
never supposit, for (as I have assumed) strictly speaking no term sup-
posits unless it is the subject or predicate of a sentence. Whence it is
clear that it is not true to say of anything pointed out "This is of-a-stone"
or 'at-a-stone' except in this sense or a similar one, that this is of a stone
(i.e. this is part of a stone).16 But then 'of-a-stone' does not supposit, but
rather the whole 'part of a stone' supposits. Therefore an oblique <term>
cannot of itself be the subject or predicate of a sentence, whence it is
obvious that it cannot supposit.
[1.4.6] If you were to ask whether in saying "A rational animal is run-
ning" there is some appellation on the part of the subject here, I say that
there is not, assuming that 'animal' is truly a term in the category of
92 TREATISE ON SUPPOSITION
[1.4.7] The second point in [1.4.1] is about <terms> appellating and not
suppositing, as for example 'chimaera,' 'vacuum,' 'man able-to-whinny:
This is clear, because no matter what is pointed out it is not true to say
"This is a chimaera," "This is a vacuum," "This is a man able-to-whinny."
But in the sentence "A man able-to-whinny is running" the phrase 'able-
to-whinny' appellates the power or capacity of whinnying, not as in that
for which the whole subject supposits, but as in that for which some part
(namely 'man') would supposit if it were taken per se. Since what is
appellated cannot be adjacent to man, the term 'able-to-whinny' not
only contracts the supposition of 'man,' but completely removes it. As
for the term 'vacuum,' the answer is obvious if we take the nominal
definition for the term taken per se in the sentence, namely 'a place not
filled with body: The term 'place; if taken per se in the sentence, may
well supposit, but its supposition is removed by the appellation of the
tern,s added to it, <namely 'not filled with body'>. And the same seems to
be true of 'chimaera' if the nominal definition is given.
[1.4.8] The third point in [1.4.1] deals with terms which <both> supposit
and appellate. It seems that 'white' supposits for substance and appel-
lates whiteness insofar as it inheres in that substance.
[1.4.9] The fourth point in [1.4.1] is a rule which is clear enough in the
passage. But it should be added that when the subject of a sentence does
not supposit for anything, as with the words given in the second point,
there can still be appellation in the way discussed in [1.4.7].
CHAPTER 2
[2.1.1)
Now we should examine which words and expressions can
supposit and which cannot. And to see this we should put
forward some divisions of words significative by convention,
since we don't care about the rest. And the first division is
that some are complex and some are incomplex; the latter
are called words, the former expressions.
[2.1.2) This first passage makes two points, the first of which sets out
the aim of the chapter and is perfectly clear.
[2.2.1)
The second division is that some incomplex utterances
taken per se l8 may be the predicate or the subject, for exam-
ple 'man,' 'stone,' 'plant,' 'gold,' 'white (album)'; others are
neither able to be the predicate nor the subject, such as
'whichever,' 'any,' 'nobody,' 'nothing,' 'none,' 'white (a/bus),'
'black (niger).' But none are able to be the subject unless they
can be the predicate.
93
94 TREATISE ON SUPPOSITION
[2.2.2] This division has three parts and the rejection of a fourth, and
the first and second parts <of the divisiofll are sufficiently clear.
[2.2.3] But the third part <of the divisiofll and the fourth clause are
doubtful - namely, why anything able to be the subject can be the pre-
dicate, but not conversely.
[2.2.6] The terms 'whatever,' 'any,' 'nobody,' 'nothing,' and the like are
more difficult.c:
[2.2.9] It can be said that a distributive sign taken with the predicate
does not act on the copula or the subject; hence it pertains wholly to the
predicate. But taken with the subject it acts on the copula and the pre-
dicate by confusing <them> (confundendo), though not distributively.23
Hence it is not taken with the subject or with the predicate, but is taken
as a certain condition of the whole sentence.
[2.2.10] But then there seems to be a greater difficulty with the particu-
lar sign: it does not act on the predicate or on the copula if it is taken
with the subject, according to which it seems as though it should be tak-
en as a part of the subject (if it is taken with the subject), just as it would
be a part of the predicate if it were taken with the predicate.
[2.2.13] I answer 24 by showing that the particular sign taken with the
predicate is not a part of the predicate, since these are formally equipol-
lent: "B is A" and "B is some A." Hence whatever contradicts one
contradicts the other; it happens that "No B is A" contradicts the first,
and so similarly contradicts the second. But it would not contradict <the
second> if 'some' were part of the predicate, for they would not have the
same subject and the same predicate, which is what is required for a true
formal contradiction. Hence it seems to me that such a word, whether
taken with the subject or the predicate, should not be called a part of the
subject or a part of the predicate, or if it is taken as part of the subject it
should thus be taken as part of the predicate, but only a part added to it
96 TREATISE ON SUPPOSITION
which has no effect, since, with it taken away, nothing is changed in the
above.
[2.2.15] In this way the universal and the particular sign do not fall
under the subject, but indicate the quantity of a true sentence, when
taken with the subject. 25
[2.3.1]
Some incomplex utterances are called 'categorematic,'
others 'syncategorematic,' others 'mediate' or 'mixed: Those
which signify nothing besides the concepts which they imme-
diately signify, except perhaps what the terms to which they
are adjoined signify are called 'purely syncategorematic,' as
for example the words 'not,' 'or,' 'therefore,' 'also,' 'because,'
'according-to-which,' and the like. Those which not only
signify the concepts they immediately signify but also the
things conceived by those concepts, and they may be subject
or predicate per se, and do not include any syncategoremata
are called 'purely categorematic,' as for example 'man,'
'stone,' 'whiteness,' 'white,' 'ass,' 'blackness,' and the like. But
those which either (i) signify, aside from the concepts they
immediately signify, the things conceived by the concepts,
but not able to be the subject or predicate per se, or (ii) imply
categorematic and syncategorematic terms, are called
'mediate' or 'mixed,' as for instance 'perhaps,' 'today,' 'some-
where,' 'nobody,' 'nothing,' 'with-itself,' and many others.
2. KINDS OF SIGNIFICATIVE WORDS 97
[2.3.3] The first claim is a division with three parts, which is clarified by
the other points, and other three points declare the parts of the said
division.
[2.3.9] There are other significative utterances which, aside from those
concepts, do not signify per se the things which those concepts conceive,
but which are copulas and negations and distributive signs. 2x
[2.3.10] Hence these sentences "God is God" and "God is not God"
signify nothing more or nothing less external than is signified by the
term 'God: provided that this word <'is'> is taken precisely as the copula
(as will be discussed in [2.4.3]). Nor does "Every man is an animal"
signify anything more or less, aside from a concept of the soul, than "No
man is an animal."24
[2.3.11] Thus such a sign signifies only how the mental terms, and the
spoken terms corresponding to them, supposit, and nothing else by
their signification. 30
[2.3.12] The different 3l copulas 'is' and 'is not' <signify> different ways of
combining (complectendl) mental terms in forming mental sentences,
and those <ways> of combining are complexive concepts relevant to the
second operation of the intellect as it is added to the first operation. 32
[2.3.13] And so these words 'and,' 'or: 'if: 'therefore: and the like in-
dicate complexive concepts of many sentences together, or of terms
taken singly in the mind and not external <to it>, and such expressions
are called purely syncategorematic, since they are not significative of
anything external, unless <they are taken in combination> with other
<terms>, in the sense that the whole aggregate made of categorematic and
syncategorematic terms signifies things beyond the concepts. But <they
do so> by reason of the categorematic terms.
[2.4.1]
Again some incomplex utterances correspond to complex
concepts and some correspond to incomplex concepts, and
those which correspond to complex concepts can and should
be analyzed with respect to the nominal definition by expres-
sions equivalent to them in signification. However, those
which correspond to incomplex concepts do not have precise
definitions explaining the nominal definition per se. 33
2. KINDS OF SIGNIFICATIVE WORDS 99
[2.4.2] Note that some words and expressions to which there corres-
pond incomplex concepts are categorematic, and others syncategore-
matic.
[2.4.3] I believe that the concepts which the words 'and,' 'or,' and 'if fall
under, although they are concepts complexive of many sentences or
words or terms, nevertheless are not complex or of several things but
are simple. So too is the concept of the verb 'is,' taken precisely as the
copula, and so it too is a purely syncategorematic word; nevertheless,
perhaps insofar as it connotes a certain time its simplicity is compro-
mised and is not purely syncategorematic, as other people say.
[2.5.1]
A complex utterance is called an 'expression'; some are
perfect and others are imperfect. Some perfect <expressions>
are sentences, as "A man is running"; others are not sen-
tences, as for example "Peter, read!" or "Slave, make a fire!"
100 TREATISE ON SUPPOSITION
[2.5.2) All of the claims made in this passage are obvious in themselves
and give all the divisions of significative words needed for discussing
which of them can sup posit and which not.
[2.5.3) Since no utterance, strictly, can sup posit unless it can be subject
or predicate per se, we must therefore see which of the expressions in
[2.5.1) can be the subject or predicate and which cannot.
[2.6.1)
We should now distinguish which utterances can be sub-
ject and predicate and which cannot, and also which can
supposit and which cannot. To do so, we give some rules. 36
[2.6.2] This long passage obviously makes fifteen points. The first
merely gives the aim of Section 2.6, and the other fourteen are four-
teen rules, some of which are obvious and others of which are rather
dubious.
[2.6.5] Rule Sup-3 is very questionable,37 for most people hold that an
oblique term can be the subject of a sentence, namely when it is found
at the beginning of the sentence, either before the copula or before
some nominative term. For example, in the sentence "Of-a-man an ass
is running," they say that this word 'of-a-man' is the whole subject and
they take the rest as part of the predicate, or as the predicate and the
copula. Similarly, in "Of-a-man there is an ass" they take 'of-a-man' to
be the subject and the rest to be the predicate.
[2.6.6] But they all rightly concede that if a nominative term precedes
an oblique term, then the the oblique term is not the subject, but
rather the preceding nominative term is the subject of the sentence.
[2.6.7] Those who say this have many arguments, which I shall briefly
recapitulate now.
every-man the ass is running"; therefore, 'man' is the subject here and
not 'ass,' nor even the whole 'ass of a man.' The consequence is clear,
because the subject of a universal sentence must be distributed, and
only 'man' is distributed here. But it follows firstly because its contra-
dictory is particular, namely "Of-some-man the ass is not running,"
and a particular only contradicts a universal. Secondly, because univer-
sal affirmatives and universal negatives are contraries, and so "Of-
every-man the ass is running" and "Of-no-man the ass is running are
contraries, for they satisfy the Law of Contraries - they can both false
together but they cannot both be true together.
[2.6.10) From the assumptions given in [2.6.9) it now follows that "Of-
every-man the ass is running" is universal, as said in [2.6.8), because, if
the major were particular or indefinite, the syllogism in the first figure
would not be valid.
[2.6.13) I now show that <the subject of the major> is neither 'man' nor
the aggregate of <'man' and 'horse'>.
[2.6.14) I claim that 'man' is not the subject because, as was said, the
104 TREATISE ON SUPPOSITION
major would not then be universal but rather indefinite, and the minor
would also be indefinite. And there is no valid syllogism with two in-
definite <premisses>.
[2.6.15] Again, if 'man' were the subject here then the term 'horse'
must be the predicate, which seems impossible, because neither the
predicate nor some part of the predicate ought to precede the copula.
Rather, the subject precedes the whole predicate.
[2.6.16] Again, if 'man' were the subject, then "The horse of-a-man
every man is seeing" and 'The horse of-a-man no man is seeing"
would be universals, and so would be contraries, which is not true,
since in a possible case they can both be true.
[2.6.17] Next I show that the whole 'horse a man' <in "Every horse a
man is seeing"> should not be called the subject, for those two terms
<'horse' and 'man'> have no connection in the conclusion, in which they
should be one term or one extreme of the sentence. And this is con-
firmed: in any syllogism there should be only three terms, namely the
middle and the two extremes. Nevertheless, in the aforesaid syllogism
there are exceedingly many terms, for there would be two terms in the
major, namely 'horse a man' and 'seeing'; in the minor there would be
two other terms, one 'the horse of-the-king' and the other 'horse'; and
there would be five terms added in the conclusion, namely the whole
'horse of-the-king a man; and these claims are ridiculous.
[2.6.25] Hence we argue against a resolution of this sort firstly that the
sentence "Of-Socrates the ass is" seems to use 'is' existentially (secunda
adiacens), but the resolutions use 'is' predicatively (tertia adiacens).
[2.6.26] Again, "Of-Aristotle the horse is dead" is true and its resolution
is false.
[2.6.29] Again, it is necessary to resolve the rest <of the sentence>, since,
by whatever argument "Of-a-man the ass runs" must be resolved so too
by the same argument "There is a man whose ass runs" must be resolved
with respect to the part 'whose ass runs; and so on to infinity.
Socrates does not see" is true,41 and positing that Brunellus and
Socrates are both dead, the resolution is nevertheless false, namely
"Brunellus is that which Socrates does not see." Similarly, "A chimaera
Socrates does not see" is true, but the resolution is false, i.e. "A
chimaera is what Socrates does not see."
[2.6.32] Against this reply: I put forth the sentence "Brunellus a man
does not see," positing that Socrates does not see him and Plato does
not see him, and then the given sentence is true and its analysis is false,
namely "Brunellus is not what a man sees." The contradictory is true,
and hence this seems to me to be a good and difficult argument.
[2.6.35] And it is easy to reply to the arguments for the opposed view.
[2.6.36] To the first argument in [2.6.8]: I say that the sentence "Of-
every-man the ass is running" is neither universal nor indefinite, but it
is indefinite for the nominative and universal for the oblique, just as was
said <in Summulae de dialectica Tractatus v> of modals that sometimes
they are universal de dicto as well as de modo and sometimes they are
universal de dicto and particular de modo and sometimes the converse.42
108 TREATISE ON SUPPOSITION
The quantity of the sentence should be denominated more from the sub-
stantive nominative <term> than from the determination: thus I may say
that "Of-every-man the ass is running" ought to be called indefinite,
though with a distributed oblique term; this sentence, though, is simply
universal: "Every ass of-a-man is running."
[2.6.371 But if you were to argue that the other <sentence> is universal
because its contradictory is particular, I deny this, for the contradictory
was not taken correctly. Rather, both can in some case be true, namely if
any man has two asses and one of them is running and the other is not.
The contrary is rather "Of-some-man no ass is running," and this sen-
tence should be called universal, although with an indefinite oblique
term.
[2.6.381 But when it is further said that "Of-every-man the ass is run-
ning" and "Of-some-man the ass is not running" are contradictories, I
deny this, for <these are the correct contradictories: "Of-every-man the
ass is running" and> "Of-some-man no ass is running."
[2.6.41J Such syllogisms need not be strictly in any of the three figures
<of the syllogism> which Aristotle distinguishes in the Prior Analytics,
for there he only distinguished the figures and moods of syllogisms in
which the middle is the whole subject or predicate in each premiss. 43
2. KINDS OF SIGNIFICATIVE WORDS 109
[2.6.42] Hence 1 deny that the given syllogism is strictly in one of the
three figures. We say that it is in the first, since it has a greater similarity
to the <first figure> than to the other <figures>. Hence it may be correctly
concluded that the major is universal. Nor is it incorrect to syllogize in
this way from indefinites, that is, by taking something falling under a
distributed term, as for example: "Seeing every horse is a man, a beast
of-the-king is a horse; therefore, seeing a beast of-the-king is a man."
[2.6.46J To the counterexample in [2.6.45J I reply that they are not con-
traries, since contraries require that anything pertaining to the subject is
distributed in the negative, so that it is incompatible with the affirmative.
The reason for this is that whatever pertains to the subject is distributed
in each, and whatever pertains to the subject and also the predicate is
distributed in the negative, and it is not so in the proposed sentence.
[2.6.48J Thus, these things are probable for Rule Sup-3, even if they do
not appear to be demonstrated to everyone.
[2.6.49] Rule Sup-4 is not open to doubt; all grammarians say that "He
loves is a man" is ill-formed unless 'he loves' is taken materially, as for
example when we say "He loves is a verb," "He loves (amat) is a two-
syllable word," "He loves is a significative utterance," and the like. But
Aristotle forms sentences with infinitives, as given in the example <for
Rule Sup-4>.
[2.6.50J Rule Sup-5 has no counterexample for the first part. But for the
second part, the non-substantive adjective cannot be the subject of a
sentence per se (namely without a substantive), since it would be ill-
formed unless understood with a substantive - it is doubtful whether it
can be put as a predicate unless a substantive is understood, since
conversion should make the predicate a subject and the subject the
predicate, and an adjective cannot become a subject per se unless it is
substantive. On this matter we go back to the grammarians, if the truth
cannot be determined in another way.
[2.6.51 J Rule Sup-6 is also conceded, since the phrase would be ill-
formed to any grammarian.
2. KINDS OF SIGNIFICATIVE WORDS 111
[2.6.52] Rule Sup-7 is true in the same way as Rule Sup-4 and Rule
Sup-6.
[2.6.54] There is a problem with Rule SUp-9,44 just as with Rule Sup-3;
many people hold that in such conjunctive or disjunctive categorical
sentences that the whole conjunction or disjunction should not be the
subject, but only the first part. For example, if I say "A man and an ass
are running," <they hold that> 'man' should be taken as the subject and
the rest taken as the predicate. Thus the analysis of "A man and an ass
are running" is "A man exists who, with an ass, is running" and similarly
<the analysis of> "Every man or ass is risible" is "Every man exists who,
or an ass, is risible."
[2.6.551 They hold that view because it seems to them that otherwise a
quantity cannot correctly be given to the sentences "Every man or ass is
risible," "Every man or ass run," "Socrates and an ass run," "Brunellus
and Socrates run." The first of these cannot be called singular, for the
subject is predicable of many (namely of Socrates and also of Plato).
Similarly, the quantity of "Every man or ass runs" cannot be given, since
it appears to be universal, but it cannot be universal since one cannot
give a singular which follows from it. (Although "<Every man or ass
runs>; therefore, Socrates or Brunellus runs" follows the latter is argu-
ably not singular.)
[2.6.571 Again, the syllogism in the first figure "Every man or ass is
running, and Socrates is a man; therefore, Socrates or an ass is running"
should like any syllogism of the first figure have the middle be the
subject in the major and be the predicate in the minor, and this is the
term 'man.'
[2.6.59) But for now I argue that if I say "A chimaera or an ass is an
animal" the sentence is well-formed and the whole disjunction 'a
chimaera or an ass' is the subject of the verb 'is' so that the verb with the
following predicate is true for one of the disjuncts by the natural con-
dition of disjunction. The reason is that the sentence is true and the
<proposed> resolution would be false, namely "A chimaera is what, or an
ass, is an animal."
[2.6.61) Again, it is obvious that "The matter and the form are the
composite" is simpler and more clear than "There is matter which, with
the form, is the composite," and so the latter should be resolved into the
former <and not the other was around>.
[2.6.65) Thus if you ask what the quantity of "The matter and the form
2. KINDS OF SIGNIFICATIVE WORDS 113
are the composite" is, I say that it is indefinite, and its contradictory is
"No matter and form are the composite." If you ask what the singular
<sentences corresponding to such a sentence> are, I say that the affirma-
tive singulars are "This matter and this form are the composite," and so
on for the rest, <in each case> pointing out a single matter and single
form.
[2.6.66J But if you ask what the quantity of "Brunellus and Favellus
weigh ten pounds" is, I say that it is singular, and its contrary is "Brunel-
luIs and Favellus do not weigh ten pounds."
[2.6.70J But then something should also be said about the disjunctive
subject, as if I say for example "Socrates or Plato run" or "Brunellus or
Favellus weigh ten pounds."
[2.6.71J First, note that the collective sense does not have a place here,
since the names 'collective' and 'disjunctive' are in a certain way incom-
patible.
114 TREATISE ON SUPPOSITION
[2.6.72] Further, note that when a distributive sign is put at the be-
ginning a sentence may be distinguished with respect to composition
and division.
[2.6.73] For example, if I say "Every man or ass is running" then the
subject can be understood to distribute only the first term, and then the
sentence is not wholly universal but partially universal and partially
indefinite and is the same as "Every man is running or an ass is runn-
ing." It is contradicted by "Neither every man nor an ass is running," or
by a negation preceding the whole sentence and falling under the copula
or the whole sentence, since it is a general rule, or by a conjunctive
sentence contradicting the equivalent disjunctive sentence.
[2.6.74] In the other way, the sign can be understood to distribute the
whole subject, and then the sentence is purely and simply universal, and
is the same as "Everything which is a man or an ass is running." It is then
contradicted in that a man or an ass is not running, and the singulars
which lead up to such a universal are "Socrates is running," "Brunellus is
running," and so on for all the other men and asses. This is not difficult
to see, for even old women speak in this fashion.
[2.6.76] Similarly, I say that "Every man or ass is running" is not strictly
or simply universal, since a universal should have a conjunctive charac-
ter; "Every man or ass is running" is the same as "Socrates is running,
Plato is running," and so on for all the men; hence the universal of the
indefinite "A man or an ass is running" is simply "Every man or every
ass is running" or "Every man or every ass are running."
[2.6.78] And these are the principal points which some people never-
theless manage to doubt, due to their poor instruction in grammar or in
logic.
[2.6.79] It should also be noted that someone might ask whether the
composite or the divided sense is more in line with the properties of the
terms <involved> in "Every man or ass is running," namely whether only
the term 'man' is distributed or that the whole subject is distributed. I
say that the answer should be different for the different manners of
speaking and writing: if immediately after 'man' there appears a sign of
division, namely a pause or a period, then the sentence will be divided
and only 'man' will be distributed, and if not, then it will be called
composite, and the whole subject will be distributed.
[2.6.81] What is added <to Rule Sup-9>, namely 'not every such sent-
ence; was added for conjunction or disjunction from or with oblique
terms, as in "Socrates's and Plato's" or "Socrates's or Plato's," since such
a complex cannot be subject or predicate, as neither can an oblique
nameperse.
[2.6.82] Rule Sup-lOis obvious, since if you say "Every man is running"
or "No man is running," or "Not: a man runs (Non homo currit)" (so that
the negation is negating), we say that only the term 'man' is the subject.
[2.6.83] If however I say "Non-man runs (Non homo currit)" (so that
the negation is infinitizing), then we say that the whole 'non-man' is the
subject 46 •
man" we say that the whole 'no man' or 'every man' is the predicate, as
was said before.
[2.6.85) Rule Sup-II is clear enough, since if I say "A man able-to-
whinny is running" the word 'able-to-whinny' prevents the supposition
of men and the word 'man' prevents the supposition of things that can
whinny, and so the whole does not supposit for anything. The same
would be the case if we were to say "A non-risible man is running" or
"A man who is a horse is running" or "A man who is not an animal is
running."
[2.6.86) Rule Sup-12 is known per se, since the word 'vacuum' does not
sup positfor anything, just as neither does the expression 'place not filled
with body.' Nor does any word which is imposed to be equivalent to
such a sentence supposit, or is subject or predicate.
[2.6.87) Rule Sup-13 is also clear, since there is no cause in the subject
preventing the supposition, nor is any implied in some determination in-
consistent with its determinable.
[2.6.88) Rule Sup-14, the last rule, seems true to me, because among
infinite terms it seems that the term 'non-being' can not supposit most of
all, which is false since, although it does not sup posit for anything,
nevertheless supposits for many things collectively or conjunctively. For
we say truly that an army is not a being <since an army is composed of
many beings> and Socrates and Plato are not a being, for they are, and
they are not a being47. Therefore, if there were a counterexample to
Rule Sup-14 with such a term 'non-being which is not beings,' for indeed
Socrates and Plato are called a non-being, and nevertheless they are a
non-being for they are beings.
CHAPTER 3
[3.1.1]
We should now speak of the common modes and divi-
sions of supposition. The first division of supposition is
that some <supposition> is proper and some is improper or
tranferred. <Supposition> is called proper when an utterance
supposits according to its nature or according to the signifi-
cation commonly instituted for it. It is improper when an
utterance supposits according to the signification of another
wllJrd from transferrence according to likeness or some other
cause of the sort, as if we were to say that a meadow IS
cheerful, or to a naughty boy "You are a good boy."
[3.1.3] Section 3.1 is about the division of supposition into proper and
improper supposition; Section 3.2 is about the division into personal
and into impersonal and material; Section 3.3 is about the division of
personal <supposition> into common and discrete, and into absolute and
relative; Section 3.4 is the division of common supposition into natural
and accidental; Section 3.5 is the division into confused and into
determinate <supposition>; Section 3.6 is the division of confused
<supposition> into distributive and non-distributive; Section 3.7 is about
the causes 49 and kinds of distributive confusion; Section 3.8 is about the
causes and kinds of non-distributive confusion.
[3.1.4] The first part of [3.1.1] is clear: sometimes we call some man an
ass, if he is rude, and the ass seems to be a rude animal. Thus the term
'ass' in not taken in the sentence to supposit properly, since <it does not
117
118 TREATISE ON SUPPOSITION
supposit> for itself or for an ass (which it was imposed to signify), but for
those things which the term 'rude' supposits for as if it were to be taken
in the place of the term 'ass' in the sentence.
[3.1.5] Thus we call a cruel man a lion, or God a pious lamb or the lion
of Judea, and so we say that a meadow is cheerful, and that someone is
plowing the beach (if someone is doing something useless). Similarly,
but ironically, a father says to his son "You are a very good boy,"
intending that the predicate 'good boy' sup posit not for a good boy but
for a bad one.
[3.2.1]
Supposition is divided in one way into personal and in
another way into material <suppposition>. Supposition is
called 'personal' when the subject or the predicate of
the sentence supposits for its ultimate significates or its
ultimate significate, as the term 'man' supposits for men in
the sentence "Man is running." But supposition is called
'material' when an utterance supposits for itself or something
similar to itself or for its immediate significate, which is the
concept according to which it is imposed to signify, as the
term 'man' in the sentence "Man is a species, animal is a
genus."
[3.2.3] The first point is the division of supposition50 , and the other two
state the parts of the division.
supposition into material and personal>, that some people posit a third
part of the division, which they call simple supposition. They believed
natures to be universals distinct from singulars outside of the soul.
Hence they said a common term supposits personally when it supposits
for those singulars, and <it supposits> simply when <it supposits> for the
universal nature, and <it supposits> materially when <it supposits> for it-
self.
[3.2.8] For the other points recall what was said in Section 2.3, namely
that categorematic words apt to supposit signify some things through
mediating concepts, according to which concepts (or similar ones) they
are imposed to signify. Thus we call those things conceived by those
concepts the 'ultimate significates' of a sentence, and we call those
concepts the 'immediate significates.' The second point is clear from this
<terminology>.
[3.2.9] But note for the third point that since universals, in the predica-
tion principally given do not exist outside of the soul sl - they are only
concepts of the soul by which the soul indifferently conceives many
things. For example, since <the soul> conceives all men indifferently by
some concept, the name 'man' is imposed. The same for the concept of
animal with respect to animals. Hence since species and genera are
universals according to predication, it is apparent that species and
genera are such concepts of the soul; it is true that spoken terms are
120 TREATISE ON SUPPOSITION
[3.2.101 Therefore the spoken term 'man,' when it supposits for that
concept according to which it is imposed to signify men, as by saying
"Man is a universal" or that man is a species, i.e. that mental term to
which the term 'man' is subordinated, then this is called material sup-
position. Similarly, when an utterance were to supposit for itself or
something similar to it, or for an inscription corresponding to it, as for
example by saying that 'man' is a monosyllable or a name with three
letters and is written in my book with beautiful handwriting: any such
supposition is called material supposition.
[3.2.12] Hence if "That man is a stone is false" is true, then 'that man is
a stone' must sup posit for some sentence, and therefore not for itself,
since it is not a sentence." It supposits for some sentence in the indica-
tive, such as the sentence "Man is a stone" or something similar.
[3.2.14] But there are several doubts which can be raised about the
aforesaid sentences. 54
3. THE KINDS OF SUPPOSITION 121
[3.2.15] The first doubt is: if a term or a spoken expression can supposit
materially and personally in some sentence, which supposition is there-
fore most appropriate de virtute sermonisr s That is, are sentences such
as "Man is a species," "Animal is a genus," "To love is a verb," and so
on, true or false de virtute sermonis, or should we draw some distinc-
tions?
[3.2.17] Some people say that "Man is a species" is false de virtute ser-
monis, since the principal supposition is personal. Utterances are im-
posed to supposit for their (ultimate) significates, since we cannot carry
the ultimate significates to disputations, and they were not imposed to
signify themselves, since utterances not imposed to signify could sup-
posit in this fashion - as, for example, "Bu has two letters" or "Buba has
two syllables." They then say that truth and falsity should de virtute ser-
monis be given with respect to the principal given supposition, and
hence <in this case> to personal supposition. Thus "Man is a species" is
false, and hence it is simply false de virtute sermon is.
[3.2.18] Another view is the contrary <of the view expressed in [3.2.17]>,
namely that by the meaning of the words "Man is a species" is true,
because a word (sermo) signifying and suppositing significatively has
only the powers given to it by imposition and usage, and we can only
know what was imposed by the use of an authority; authorities and phi-
losophers use "Man is a species" as true, and this is only true by material
supposition; thus we account this sentence to have material supposition
by the meaning of its words.
[3.2.24] <For example>, how does 'runs' supposit in the sentence "Runs
cannot be the subject of a sentence"? If you say that it sup posits materi-
ally for itself, then the sentence would be false, for as a matter of fact it
is put as the subject of the given sentence.
[3.2.25] I reply that it supposits materially for any such term, but the
sentence needs analysis, namely as "A term such as 'runs' can <not> be
the subject of a sentence taken significatively, but nevertheless it can
taken materially."
[3.2.27] I say that it supposits personally, since it does not supposit for
itself by the ratio by which the term 'name' is such an utterance, but by
the ratio by which the term 'name' and many other terms are the ultimate
significates of the word 'name: 57 Thus in the spoken sentence "Every
utterance is a sound" the terms supposit personally, although they sup-
posit for themselves, since they supposit for themselves only by the ratio
that they are, with other utterances and sounds, the ultimate significates
of the terms 'utterance' and 'sound:
[3.2.29] I say that this sentence can well be true, taking the whole
significatively and personally, and even taking the terms 'genus' and
'universal' materially. It is true personally since the terms 'animal;
'plant; 'substance; 'color; and the like are about their ultimate signifi-
cates, the genus of which terms I call 'universal.'5H The sentence is true
significatively, since the term 'animal; which is a genus, is a species of
the term 'substance; which is a universal. <The sentence> is true materi-
ally, since the term 'genus' is a species of the term 'universal:
[3.2.31] I say that the terms 'Socrates' and 'man' supposit materially,
insofar as such terms are found in the category of Substance; as for the
term 'substance; it should be said that it is used in logic and in philoso-
phy to supposit for terms of the category of Substance, which we call a
category of Substance. And it is apparent to me that this is material sup-
position, and this is <the sort of supposition> in the given sentences, since
they are true and they are laid down by authorities. But when the name
'substance' supposits for subsisting things signified per se by substantial
terms, then there is personal supposition. And the same should be said
for the term 'quality' and the term 'accident; and so on for many others;
they supposit for terms in the category of Quality and for the category
of Accident, and so <they supposit> materially. Sometimes they too <sup-
posit> for things signified by those terms, and then <they supposit>
personally. Thus if we say "White is an accident" the terms supposit
materially, and if we say "A man is white" or "A substance is white" then
124 TREATISE ON SUPPOSITION
the terms suppa sit personally - I say this insofar as such sentences are
true.
[3.2.32] There is also a doubt about this sort of sentence: "Color is the
primary object of vision," "Sound is the primary object of hearing," "It
happens to a man to be white," "It is appropriate per se and primarily
for a triangle to have three angles equal to two right angles," and so on.
[3.2.34] But Aristotle, holding the eternity of the world, thus denied
"Color is the primary object of vision," since no color is an object of
vision where nothing else is a prior object of vision, if we posit that every
color is generable and corruptible. And the same can be said (with the
relevant changes made) for sound and hearing.
[3.2.35] But perhaps authorities put such sentences forward in the sense
of material supposition, since a sentence such as "Color or the colored
is visible" is per se and primarily true, and one must take 'color' widely
as it is extended to light. So too with "Sound is called the primary object
of hearing," i.e. the sentence "Sound or what is sounded is audible" is
true per se and primarily.
[3.2.36] (Here indeed I say 'per se and primarily' as they are said of the
sentence "Man is risible.")60
angles equal to two right angles>" is true per se, but not primarily, since
it does not convert.
[3.2.38] Simiarly, if I say "It is false that God does not exist" or "It is
true that man is an animal," the subjects supposit materially for sen-
tences such as "God does not exist" and "Man is an animal." But if I say
truly "That man is an ass is nothing" then all the terms are taken signifi-
catively and the subject does not supposit. However, if I say "God's be-
ing is God" I say something true and both terms supposit personally.
[3.3.1]
Personal supposition is divided into common and discrete:
a common term supposits with common supposition, as for
example 'man,' and a discrete term <supposits with> discrete
supposition, as for example 'Socrates' or 'this man.' Again,
personal supposition is divided into absolute, which comes
about through an absolute term,!') and relative, which comes
about through a relative term.
[3.3.2] This passage presents two divisions, which are clear in them-
selves.62
[3.4.1]
[3.4.2) Many modern writers deny <that there is> natural supposition in
the sense given in [3.4.1), but but without going through their views I
show that we often do use it. 63
[3.4.3) First of all, the verbs 'to understand,' 'to know,' 'to comprehend,'
'to opine,' 'to signify,' and many others make the terms construed with
them supposit or be held for the past and the future as much as for the
present. Hence "A man who was is understood to be Aristotle; there-
fore, a man is understood" follows, as does similarly "A man who will be
is understood to be the Antichrist; therefore, a man is understood," as I
have explained in my Sophismata cap.v.
[3.4.7] Nevertheless, it can rightly be said in this case that such a locu-
tion with this meaning is not de virtute sermonis, but an abbreviation (ad
breviloquium). When we want to speak demonstratively, we say that all
thunder is a sound in the clouds, and that every eclipse of the Moon is
due to the Earth occupying a position between the Sun and the Moon;
these sentences are not true de virtute sermonis, since the verb 'is' is li-
terally only imposed to signify the present time, and it may be that there
is no thunder or eclipse of the Moon at present. Such sentences are ab-
breviations put in place of "Any thunder, whenever it is, or was, or will
be, is or was or will be a sound in the clouds" and "Every eclipse of the
Moon, whenever it is, was, or will be, is or was or will be because of the
position of the Earth <between the Sun and the Moon>." Nor should
such sentences be denied, since they are true as put forth, though they
would be false if put forward or received in their strict sense. And since
sophists want to receive sentences in only their strict sense, it is hence
not customary to use them.
[3.4.8] Again, just as the intellect can conceive man and animal without
any difference of time by those concepts by which the terms 'man' and
'animal' are imposed, it can thus similarly form a complexive concept of
them without a difference of time,64 and then there will be a mental
sentence indifferent to any past or present or future time. Hence the
terms supposit indiferently for all those times. But we do not have an
expression strictly imposed to signify such a mental <timeless> copula,
and so we can conventionally use the verb 'is' to signify such a copula
through which we signify the present time no more than the past or the
128 TREATISE ON SUPPOSITION
future, but rather no <time at all>. This will be the natural supposition of
the terms.
[3.4.9] Perhaps we may even show that we form such mental sentences,
because God can conserve all things in rest without motion, that is,
wholly without motion. 65 Let us posit that He does so. In that case there
will be no time, if all time is motion, as Aristotle showed in Physics
[IV.xi 218b- 219a]. Nevertheless, the souls of the blessed would know
and understand that God is good and that they stand with Him; by
means of the mental sentences and other mental sentences conjoined
with them, they would know how they understand time and that they
know no time to exist, and so they would know themselves and God not
to exist at the present time, nor existing at the present time.
[3.4.11] One can argue for natural supposition in this way: just as I can
conceive all animals (e.g. men, horse, etc.) indifferently by a concept
from which the name 'animal' is derived, completely free from the fact
that I can conceive men or horses or asses by specific conepts from
which the terms 'man' and 'ass' are derived,!'!> so too I can conceive a
common concept indifferent to all times, from which the name 'time' is
derived, completely free from the fact that I can conceive the present or
the past or the future by specific concepts.
[3.4.13] These matters are put forth about the supposition which some,
using names conventionally, call 'natural supposition:
3. THE KINDS OF SUPPOSITION 129
[3.5.1]
Common personal supposition is divided into confused sup-
position and determinate supposition. The supposition of
some term is called 'determinate' when it is necessary for the
truth of the sentence (or an equiform sentence) that it is true
for some determinate supposit. For example, if "A man is
white" is true, then it is true for this man and this white, or
for that man and that white, and so forth. But the supposition
of some term is called 'confused' when the sentence in which
it is found, or an equiform sentence, can be true without
being true for some <one> determinate thing falling under the
term. For example, the sentence "Every man is an animal" is
true, and nevertheless it is not sufficient for its truth that it is
true for Socrates, nor <that it is true> for Plato, and so on.
[3.5.2] This passage makes three points, namely a twofold division and
an explanation of each part of the division, and the analysis of each part
is sufficiently clear in the passage. n7
[3.5.4J Note immediately, then, that there are two conditions for the de-
terminate supposition of some common term.
For example, in "A man is running" the term 'man' supposits determi-
nately, and so "Socrates is running; therefore, a man is running" follows,
or "Plato is running; therefore, a man is running" follows, and so on for
any singular contained under <the term> 'man:
130 TREATISE ON SUPPOSITION
[3.5.8] If you ask how I know the supposition is determinate, I say that
you can know this if you see that these two conditions are met, or if you
see that there is no reason for confusion. These reasons are discussed in
Section 3.7 and Section 3.8.
[3.6.11
[3.6.5] Hence these kinds of supposition are related to each other such
that from distributive supposition there follows determinate 69 or merely
confused supposition, but from neither of the latter does distributive
supposition follow as a formal consequence.
[3.7.1]
There are many reasons for the distributive confusion of a
common term.
132 TREATISE ON SUPPOSITION
[3.7.21 Section 3.7 deals with the reasons for distributive confusion, and
we give below five rules. 71l <The other parts of the passage will be given
in the course of this section.>
[3.7.41 There are many and varied universal affirmative signs;some are
substantial and others pertain to an accidental category
[3.7.71 There is a doubt whether in "Not every man is running" the term
'man' is distributed. It is said that it is not, since the rule is that for a ne-
gating negation, if there is found after it some terms which would be dis-
tributed with the negation removed, then the distribution is removed,
and if there is some common term which would not be distributed with
the negation removed, then it is distributed <Rule NDC-2 in [3.8.131
below>.
such that the whole is distributed together and not partially, whether the
substantive 72 precedes the adjective or vice-versa.
[3.7.9] But then it is asked of "Every man is white" whether the whole
'white man' is distributed. I say that it is not, but only 'man' <is dis-
tributed>, since there is no complex made up of a determinable and a
determinate, but rather <we have here> a subject and predicate mediated
by the copula.
[3.7.11] I say of the first pair,73 and all such in which the distributive
sign precedes the nominative and oblique terms, that the sign goes with
the nominative term and never with the oblique term; I say that the
whole complex of nominative and oblique term is distributed together
and neither <is distributed> individually, as said about a substantive and
an adjective in [3.7.8]. The oblique term is related to the nominative
term as a determination to a determinable, as with the adjective and the
substantive, unless a syncategorematic term intervenes or precedes it to
make a difference, which is discussed in [3.7.121.
and are usually taken as equivalent to the signs 'every' or 'any,' and so
no more need be said about them.
[3.7.16] I say that they should be resolved <in such cases> into a substan-
tive adjective, so that 'whatever runs' <becomes> 'whatever thing runs,'
or "Whatever thing runs that thing is moved." Then it is clear that the
word 'thing' is distributed, but only as restricted by 'runs,' so that it is
equivalent to say "Whatever [or 'whichever'] thing runs that thing is
moved" and to say "Every thing which runs is moved," and here the
whole 'thing which runs' is distributed. I say that these are equivalent
with respect to distribution; in either, the term 'thing' is only distributed
for the supposits to which the predicate 'runs' is appropriate. But they
differ with respect to ampliation, according to which it was said in
Sophismata <cap.v sophism 8> that "Every thing which will be is" should
be allowed, since 'thing' is construed as restricted with 'is: But "What-
ever thing will be, that thing is" should be denied, since 'thing' here is
ampliated and construed with 'will be:
[3.7.19] It is said that it distributes the term following with each of the
things pointed out, as in 'each of these' of 'each of those men,' or by a
demonstrative relation, as in "A horse and an ass are white and each of
them exists."
[3.7.23] There are many other ways of taking the term 'whole,' concern-
ing which there will be more in the Sophismata.
[3.7.34)
[Rule DC-2) A negating negation distributes every common
term following it which, with that negation removed, would
not be distributed; and it does not distribute anything pre-
ceding it.
[3.7.38) But then a doubt arises about the sentence "Socrates is not
where a man is": what is distributed?
138 TREATISE ON SUPPOSITION
[3.7.42]
[Rule DC-3] A common term is distributed by an infinitizing
negation, as for example if I say "Animal is non-man," since
it follows therefore that "Animal is non-Socrates," "Animal is
non-Plato," and so on for the rest. Similarly, "Non-man is
animal; therefore, non-Socrates is an animal" follows, even
though the negation is infinitizing.
[3.7.43] There is a doubt about Rule DC-3, namely how 'man' is treated
in "No <non>-man runs" and "Every non-man runs."
[3.7.45]
[Rule DC-4] A common term is distributed by comparison
following a comparative term, such that the term of the com-
parative grade distibutes the ablative term following it and
ends the comparison. For example, in saying 'greater-than
man' the term 'man' is distributed. Similarly, tre same term
with a mediating 'than' can distribute the nominative follow-
ing it, ending the comparison, as in 'greater than man' the
term 'man' is distributed. Similarly, in a comparison with a
term of a positive grade, with the word 'as' mediating and
taken comparatively, the comparative following it is distri-
buted, ending the comparison. For example, in "Socrates is
as great as some horse" the term 'horse' or 'some horse' is
distributed. Again, a superlative grade has a special way of
distributing: it distributes the complex made up of its sub-
stantive and the differentiating relative-term added to it,
which is clear by its analysis. Something is called the First
Being either because it is prior to any other being or because
no other being is prior to it, and a man is the strongest either
because he is stonger than any other man or because no
other man is stronger than him.
[3.7.46] Note briefly about this passage that if the ablative term pre-
cedes the comparative it is not distributed, as when I say "Socrates a
man is stronger than," 'man' is not distributed. 76
140 TREATISE ON SUPPOSITION
[3.7.48) I say that 'man' is not distributed, according to the rule men-
tioned in [3.7.44). Here there is a double distributive on 'man,' namely
'stronger than' and 'any: Hence one takes away what the other pro-
duces, and so it is equivalent to "The horse is stronger than man."
Similarly, these are equivalent: "The horse is stronger than any man"
and "The horse is stronger than man."
[3.7.49) If any other things should be said about this passage, they will
be said in the Sophismata.
[3.7.50)
[Rule DC-5) Distribution comes about by many words im-
plying negations in themselves or in their analysis, as for
example in privative words or differentiating relative-terms,
as the verbs 'to differ; 'to begin; 'to cease' and the words
'without; 'beyond,' 'only,' and many others which will be
treated in particular in the Sophismata.
[3.7.51) I only note about this passage that if some sentence in which a
distributive is found requires analysis, due to its obscurities, into
another sentence or sentences, a term can be said to have the supposi-
tion <or terms> to have the supposition which is found in the resulting
sentences.
[3.8.1)
Similarly, there are many reasons for non-distributive
confusion.
[Rule NDC-Ij A universal affirmative sign non-distributively
confuses a common term not following it immediately.
For example, in the sentence "Every man is animal" the term
'animal' supposits confusedly and non-distributively, which is
clear since "Every man is animal; therefore, every man is
3. THE KINDS OF SUPPOSITION 141
[3.8.2) Section 3.8 deals with the reasons for non-distributive confusion,
and like Section 3.7 has several short passages given below with several
rules. 77
[3.8.3) There is a doubt about Rule NDC-1 given here in [3.8.1), namely
how 'animal' supposits in the sentence "Seeing any ass is an animal":7x it
seems that it has merely confused supposition according to the given
rule.
[3.8.5) But when we say "Seeing every ass is an animal," the term
'animal' is not construed with some prior confused term, since it is not
construed with 'ass' which is the term primarily confused; thus if I say
"The ass of-every-man is running" neither the verb 'is' nor the predicate
'running' is confused, since neither has a connection in the general
construction with the term 'man' which is primarily confused.
[3.8.6) But if you were to ask whether I say therefore that 'ass' is con-
fused in "Every man an ass is seeing," I say that 'seeing' is construed
with 'man,' which is primarily confused, and for the rest 'ass' and the
verb 'is' are construed with 'seeing' and so are distributed, according to
the universal rule that if a universal sign precedes the entire remainder
142 TREATISE ON SUPPOSITION
[3.8.91 There is also a doubt about "All matter and form are a com-
posite."
[3.8.111 But it was said in [2.6.69] that "Every man and ass is running"
can be understood in one way so that the distribution only falls under
'man,' and then the rest should be resolved in the hypothetical "Every
man is running or an ass is running," where 'ass' supposits determinately.
Hence it supposits in that way in the first <sentence before the resolu-
tion>.
or an ass, and every ass is a man or an ass, it is thus distributed for every
man and for every ass; hence the whole is taken distributively.
[3.8.13]
[Rule NDC-2] A common term is non-distributively con-
fused by a double distributive antecedent to it, where either
<distributive> would distribute the rest without the other.
For example, if I say "Every non-man is running" or "No
non-man is running," then the term 'man' is non-distribu-
tively confused. Thus if I say "No man is no man" or "Every
man is every man," the term 'man' found in the predicate is
merely confused.
[3.8.14] From Rule NDC-2 the issue is clear for differentiating relative-
terms and for the verb 'to differ,' which is taken to distribute the ablative
terms following it. For example, in "B differs from a man" or "B is other
than, or diverse from, man" the term 'man' is distributed. If a negating
negation were put in front, then 'man' would be merely confused, as in
saying "B does not differ from a man" or "B is not other than, or diverse
from, man." Thus if we were to say "B differs from every man" the term
'man' is merely confused there.
[3.8.15] Again, in "No man sees every ass" the term 'ass' is merely
confused, but in "Every man sees every ass" then 'ass' is distributed
since, although two distributive signs precede it, Rule NDC-2 does not
apply here in that the first sign would not distribute 'ass' without the
second sign.
[3.8.17] Therefore, if you ask why the change - why Rule NDC-2 holds
more in other cases than in this - I say that surpassing by some amount,
or even by one, must surpass their minimum, and if it surpasses all it
must surpass the minimum. But if every man is an animal, there need
not be any minimum of them and maximum of them, but this is one and
that the other.
[3.8.19]
[Rule NDC-3] Certain special terms confuse without distrib-
ution the common terms following them, namely terms which
are given in answer to the question "When?" such as '3:00' or
'4:00: etc. as in "I ate bread yesterday at 3:00." Again, terms
from the categories of Time and Place have the ability to
confuse in this way, as for example "Yesterday and today 1
drank wine" or "Bread is sold in Paris and in Rome."
except Socrates runs" the term 'man' is thought to have merely confused
supposition, since we cannot descend to some supposit. We cannot,
after all, say "therefore, Plato except Socrates runs," since that would be
ungrammatical and ill-formed.
[3.8.23] But I say that 'man' is distributed in that sentence, although not
simply, but by the exception restricted to other men than Socrates, so
that the whole 'other than Socrates' is distributed, which is clear, since
the sentence is resolved into the hypothetical "Socrates does not run and
every man other than Socrates runs," and then we can obviously
descend.
[3.8.24]
[Rule NDC-4] The verbs 'to know,' 'to comprehend,' 'to
understand,' and many others (discussed more fully in the
Sophismata),79 and their participles, confuse without distrib-
ution the terms following them which terminate their action.
For example, if I say "I know a triangle" it does not follow
that therefore I know an isoceles triangle or I know an equil-
ateral triangle, and so on. So too "lowe you a horse" does
not entail that therefore I owe you Brunellus, or lowe you
Favellus, and so on.
[3.8.28] There is still another important difference between this and the
other kinds of non-distributive confusion, namely in this mode of confu-
sion the distributed term follows from the confused term, changing the
order from before to after <the verb>, which is not so in the other modes.
"I know a triangle; therefore, any triangle 1 know" follows, since if 1
3. THE KINDS OF SUPPOSITION 147
know a triangle, I then have the concept by which the name 'triangle'
was imposed. By means of that concept I conceive a triangle indif-
ferently, since 1 conceive anyone triangle no more than any other
triangle, and so every triangle 1 know. However the converse <conse-
quence> from the distributed term to the non-distributed term does not
follow; "Every triangle 1 know; therefore, I know a triangle" does not
follow, since it is possible that 1 have knowledge of every triangle under
the common ratio of figure or quality or being, not having the proper
ratio of triangle; hence 1 do not know a triangle.
[3.8.30] These matters, then, are laid down about the special condition
or construction of those verbs, and in particular about the mode of
confusion in their following accusative-objects. From the discussion we
can see how these accusative objects seem to partake of material suppo-
sition, since they appellate their concepts, although they do not supposit
for them; hence we cannot descend to the names of other concepts.
They appellate their concepts this way because we understand a thing
according to those concepts, but fire does not heat water by a concept,
nor a stone touch the ground <by a concept>.XI
[3.8.31] We should say the same for nominative terms following passive
verbs as we have said for accusative objects following these passive
verbs. For example, if 1 say "Any triangle is understood by Socrates" it
does not therefore follow that he understands an isoceles triangle, etc.
CHAPTER 4
[4.1.11
Now that we have generally considered supposition and how
terms are taken in sentences, there remains a great difficulty
with the supposition and how relative terms are taken. Thus
we shall treat them in particular now.
[4.1.21 Chapter 4 deals with the supposition of relative terms and how
they should be taken in particular <cases>.X2
[4.1.31 Note well that here we do not mean by 'relative term' those
terms which we say fall under the category of Relation, such as 'father;
'son; 'master; 'slave; but rather what the grammarians call a 'relative
term; namely relative to a thing said before or recalled, such as the
pronouns 'other,' 'same,' 'such,' 'so much:
[4.1.41 Chapter 4 has nine sections: Section 4.1 gives the aim of the
chapter; Section 4.2 distinguishes and enumerates the kinds of relative
terms; Section 4.3 gives a general rule by which a relative refers to its
antecedent; Section 4.4 gives another rule, that a relative sup posits as its
antecedent does; Section 4.5 deals with the relatives 'this' and 'that';
Section 4.6 deals with the relative 'himself'; Section 4.7 deals with the
reflexive 'his own'; Section 4.8 deals with the relatives 'such,' 'so much,'
and the like; Section 4.9 is about the relatives 'other' and 'different:
[4.1.51 The first part <of [4.1.11> is sufficiently clear, unless it is necessary
to note what is said here about supposition and the way a term is taken:
here we mean more by the 'taking of a term' for something in a sentence
than the supposition of a term for something. It was said in Section 1.4
that strictly only a subject and a pr~dicate are said to supposit, accord-
ing to which an oblique term does not supposit, as 'man' in "Socrates
sees a man," since nothing is 'man' (hominem), although 'man' in this
148
4. THE SUPPOSITION OF RELATIVE TERMS 149
sentence is rightly taken for a man (homo) whom Socrates sees, and can
in this way be confused without distribution, or taken determinately, or
even taken personally and materially. It is true that we sometimes use
the name 'supposition' widely as synonymous with how a term is taken,
and we spoke widely rather than strictly in Chapter 3, as we shall do in
Chapter 4.
[4.2.1]
Relative terms are exceedingly diverse. Some are called 'sub-
stantial relatives; and others are called the relatives of
another category, as for example 'such' and 'so much' and so
on. Some substantial relatives are called 'identificatory rela-
tive-terms,' others 'differentiating <relative-terms>,' as for
instance 'other' and 'different: Some identificatory relative-
terms are said reciprocally, as 'itself or 'its own' and the like;
others are not reciprocal, as 'that thing' or 'the very thing'
and so on.
[4.2.3] With respect to the first, note that it is not necessary for a
substantial relative-term to have its antecedent be a term in the category
of Substance; rather, its antecedent can be of any category. For example,
"The wall is white and it is seen," "Whiteness is in the wall and it is a
color," "Something six-feet-tall sees itself," "My Master rides his horse."
We do not call something a substantial relative-term when it signifies
that for which it is taken or for what it refers to to be somehow or some-
where or some amount, and so on with other accidents, but rather only
that it is something. Accidental relative-terms signify <something> to be
somehow or some amount, etc.
[4.2.6) Other divisions <of relative terms> can be given; for example,
sometimes they are given in the nominative and sometimes as oblique
terms, and they differ in these cases, as will be clear in Rule RT-S.
[4.3.1)
[Rule RT-l] An identificatory relative-term need not sup-
posit or stand in a sentence for everything for which its
antecedent suppa sits or stands; rather, the relative term only
refers to its antecedent for those of its supposits for which
the categorical in which the antecedent is given is verified.
Hence this is false: "Animal is man and it is an ass."
[4.4.1)
[Rule RT-2) An identificatory relative-term supposits or is
4. THE SUPPOSITION OF RELATIVE TERMS 151
[4.4.61 I say that 'he' supposits indeterminately and not discretely, since
it is not found in the given sentence as a discrete term but as a common
term, and so apt to supposit for many, if many men were to run.
[4.4.71 Again, I posit that only two men run, namely Socrates and Plato,
and that Socrates is white and Plato is black, and we say "A man is
running and everyone such is white": then it is unclear how 'one'
supposits or whether the sentence is true.
152 TREATISE ON SUPPOSITION
[4.4.9] If anyone wanted to hold that a locution of this sort were gram-
matical and helpful, then they should say that 'one' is distributed and
that Rule RT-2 should be understood where a relative is taken
accidentally without the addition of a new sign.
[4.5.1]
Now let us consider different relative terms more closely. It
seems that the words 'this' and 'that' are not always taken
relatively, but are sometimes taken demonstratively, as when
in pointing at a man I say "That man is running." This is not
relevant to Section 4.5. Sometimes, though, it is taken an-
tecedently to the relative term 'who' or 'what,' as when I say
"That man is running who was sitting down before," and then
we have the following rule:
[Rule RT-3] 'That' <taken antecedently> is taken only as a
particular sign and 'who' is taken in the place of the
relative 'that' by marking out a conjunction.
Thus the sentence is resolved into the whole conjunctive
sentence "Some man is running and that <man> was sitting
down before."
[4.5.2] Note that the terms 'who' and 'he' or 'this,' and 'what' and 'him'
or 'that,' are typically used in the same sentence, providing subjects for
4. THE SUPPOSITION OF RELATIVE TERMS 153
the two verbs, one to one and the other to the other, and this cus-
tomarily happens in two ways: (i) each of those terms precedes the first
and the second verb, as in saying "He who sleeps dreams"; (ii) some-
times one of the terms precedes the first verb and the other precedes the
second verb, as in "He sleeps who dreams."
[4.5.3) There is this difference between the two sentences, that in (i) the
sentence is categorical, the subject of which is made up of the two terms
and the first verb, so that when I say "He who sleeps dreams" the whole
'he who sleeps' is the subject composed of a determinable and a deter-
mination, for the word 'he' is put in as a determinable, or at least as an
understood subject and expressly as when I say "That man who sleeps
dreams," and the residual 'who sleeps' is found as the determination.
The verb 'dreams' is put as the copula and predicate, and in such a
sentence the term 'he' is not taken relatively, but rather antecedently,
and means no more than the term 'someone.'
[4.5.5) It should be noted that these terms 'this' and 'that,' when they are
taken relatively, are equivalent to 'he.' It is rare that the term 'he' is taken
only relatively. In this way we often use 'same' as synonymous with 'it' so
that it is equivalent to say "An animal runs and it is a man" as to say "An
animal runs and the same is a man."
[4.6.1)
[Rule RT-4) We should remark that the relative term 'him-
self (a) is always found in the same categorical sentence as
its antecedent, for example, "Socrates amuses himself'; (b) if
154 TREATISE ON SUPPOSITION
[4.6.3] I reply that 'himself does not refer immediately to 'Socrates' but
only by the mediation of another relative 'he; which is immediately
antecedent to 'himself and found along with it in the same categorical.
[4.7.11
[Rule RT-5] The relative-term 'his own' does not refer to
its antecedent by a resolution <of the antecedent> into the
nominative, but rather into the genitive case. For example, if
I say "Socrates drinks and his own horse eats" then it does
not therefore follow that Socrates eats, hut that the horse of
Socrates eats. Hence the relative 'his own' is the same as the
relative 'his; and it is the same to say "Socrates rides his own
horse" and "Socrates rides his horse."
[4.7.21 We can note that 'his own' is taken in many ways: (i) it marks our
possession, and then it refers to its antecedent as the possessor; (ii)
sometimes it notes an effect, as in 'Aristotle and his book,' and then it
refers to its antecedent as an efficient cause; (iii) when it is added to a
4. THE SUPPOSITION OF RELATIVE TERMS 155
[4.8.1]
[Rule RT-6] The relative terms 'such' and 'so much' require
antecedent terms in the category of Quality and Quantity, as
in "Socrates is somehow [or some amount] and Plato is such
[or so much]." Or, in particular, "Socrates is white [or a six-
foot-tall] and Plato is such [or so much]." And it is clear that
they do not need to supposit for the same things their antece-
dents supposit for, but it is sufficient that they supposit for
similar or equal things.
[4.8.2] Note about the relation of these terms to each other, 'such' and
'as' and 'so much' and 'as much,' that they are related just as 'this' and
'that' <were said to be related> in Section 4.2. Each is put antecedently to
the rest and the rest is relative to it, as in saying "As is Socrates, such is
Plato" or in saying "Socrates is such as is Plato," and each sentence is
the same as the conjunctive sentence "Socrates is somehow and Plato is
such." But sometimes 'as' and 'such' are found in the same categorical,
as in saying "Such as Plato is runs," and then the whole 'such as Plato is'
is the subject.
[4.8.3] Similar things should be said for 'so much' and 'as much,' 'when'
and 'then,' and 'where' and 'there,' and the like.
[4.9.1]
'Other,' 'another,' 'different,' and 'diverse' are usually taken
to be differentiating relative-terms. But it is clear to me that
these are not relative terms as we understand 'relative-terms'
in this chapter, but they are relatives, i.e. terms of the cate-
156 TREATISE ON SUPPOSITION
[Rule RT-7] (a) The foundation of the term 'same' and the
terminus which it is said ought to supposit or be taken for
the same. For example, if Socrates is the same as a man,
then the terms 'Socrates' and 'man' ought to suppa sit for
the same. But the foundation of the terms 'other' or
'different' or 'diverse' or 'another' should not stand for and
be verified of the same, but different things. (b) A sent-
ence in which a relative-term of this sort is found must be
analyzed by a conjunction of three categoricals, namely
two affirmative existentials with the foundation and the
terminus of the relative-term, and the third a negative in
which the terminus is denied of the foundation, or con-
versely. For example, if I say "B is other than A" this is
analyzed as "A exists, and B exists, and B is not A."
[4.9.3] The claim is how the names 'other: 'another,' etc. should be
called relatives, and this is clear. Thus if I say "A man is running and
another is white" then it is not necessary that the term 'another' have
'man' as its antecedent or even as its foundation or its terminus, but
rather this term 'another' is a substantive adjective of neuter gender;
hence the sentence is equivalent to "A man is running and another thing
is white" and so the term 'thing' is the foundation of the term 'another.'
It is not necessary that here 'another' is said with respect to 'man,' unless
'and other from him' or 'other than man' is added, just as we might add
'other than ass' or '<other> than a hat.'
[4.9.41 Note that the terms 'other' and 'another' and 'different' and
'diverse' dialecticians and sophists often use as synonyms, and so indeed
4. THE SUPPOSITION OF RELATIVE TERMS 157
[4.9.5] About Rule RT-7(a) it should be known that, since the aforesaid
terms are adjectives, they require substantives governing them; indeed, if
the term 'another' is taken as a substantive, it is till resolved into a
substantive and an adjective, as 'another' is 'another thing: I call the sub-
stantive the foundation in the sentence; I call the oblique term, whether
ablative or dative, which it rules such a relative term and the terminus.
For example, in "Man is the same as animal" or "the same with animal"
the term 'man' is put as the foundation and 'animal' as the terminus. If I
say "Man is other than stone," then 'man' is the foundation and 'stone' is
the terminus. Once these things are pointed out, Rule RT-7(a) is suffi-
ciently clear.
[4.9.7] But there is a doubt here about whether 'animal' in "Other than
man is animal" is distributed.
[4.9.8] I say that it is not, since the negation implicit in 'other' does not
negate in itself, but only in an infinitizing way, and so does not fall under
the copula of the whole sentence, nor under the predicate of the whole
sentence; hence the sentence is affirmative, although it implies a negative.
And so "A non-white man is an animal" is affirmative, which neverthe-
less implies a negation or a negative, namely that a man is not white.
158 TREATISE ON SUPPOSITION
[4.9.9] If you ask how the sentence in [4.9.7] should be analyzed, I say
that the first adjective should be resolved into a substantive, so that
"Other than man is animal" is "A thing other than a man is an animal,"
and then it is analyzed that there is a thing and that there is a man and
that a thing which is not a man is an animal. It is clear that 'animal' here
stands determinately. Even if I say "Another animal than man is run-
ning" the term 'animal' is not then confused, since such a relative does not
naturally confuse, unless it is the terminus and not its foundation. Hence
it is equivalent to say 'another animal than man' and 'an animal other
than man: These are similar to privative terms: if I say "A man is
deprived of vision" then 'vision,' but not 'man,' is distributed, since it is
analyzed as follows: i.e. "There is a man not having vision," and thus this
word is not taken negatively but indefinitely.
CHAPTER 5
APPELLA TION
[5.1.1]
Now we turn to appellation. Some terms are appelative and
others are not. Substantial nominative terms or terms
connoting nothing beyond that for which they supposit are
not strictly appellative, but every term connoting something
other than that for which it supposits we call 'appellative,'
and it appellates that which it connotes as adjacent to that for
which it supposits. For example, 'white' appellates whiteness
as adjacent to a thing for which the term 'white' is naturally
apt to supposit. These and other points were mentioned in
Chapter l.
[5.1.2] Chapter 5 deals with appeliation,H4 and has four sections. Section
5.1 gives the intention of Chapter 5 and repeats some things said in
Section 1.4; Section 5.2 is about the differences in appellation on the
part of the subject and on the part of the predicate; Section 5.3 is about
the difference between appellation and the thing signified or consigni-
fied and the ratio according to which there is signification; Section 5.4 is
about the appellation of certain terms in particular.
[5.1.3] This first passage in [5.1.1] is clear if you carefully consider what
was said in Section 1.4 and the discussion there.
[5.2.1]
[Rule App-l] An appellative term always appellates its form,
whether it 1:-' found on the side of the subject or put before
the verb, or on the side of the predicate or put after the verb;
159
160 TREATISE ON SUPPOSITION
[5.2.2] There are three rules in [5.2.1], and to understand any of them
we need to know what we should understand by 'the form of the
appellative term' in a sentence.
strued with it would supposit for if it were the subject or predicate of the
sentence.
[5.2.6] Hence "A just devil is running" is false, since the subject of the
sentence does not supposit for anything. Nevertheless the term 'just'
appellates justice as adjacent to the devil for which the term 'devil'
would supposit if it were the subject or the predicate of a sentence, and
so the sentence is false since the subject does not supposit for anything,
due to the nonxistence of the appellated adjacent thing.
[5.2.7] Rule App-2 is clear, since if we posit that in the present Socrates
is white and he will never be white again in the future, then the sentence
saying that Socrates will be white is false. The reason for this is that
'white' in the given sentence does not appellate whiteness at the present
time but only in the future, and we posited that whiteness will never be
adjacent to Socrates in the future, although it is adjacent to him at
present. It would be otherwise if we were to say "A white thing will be
Socrates," since the sentence would be true if whiteness were to be adja-
cent now to that thing which will be Socrates, even though <whiteness>
would never be adjacent to it in the future.
[5.2.9] This is also so if the predicate were of past or future time even if
the verb is present-time, as for example when I say "A white man is
going-to-dispute": this is true, whether whiteness now is adjacent to a
man who is going to dispute and never afterwards will be adjacent to
him, or it will be so adjacent and is not now.
verb of another time, but when it thus appellates that future time, it
ought to be future with respect to the time connoted by the verb. It need
not be future with respect to the time at which we form the sentence,
which we treat in our locution as the present time, unless the verb is of
the present time. If the verb is present-time, then the appellated future
<time> must be future with respect to the present time.
[5.2.13] Again, note that Rule App-2 and Rule App-3(b) should be
understood for verbs and copulas which are not ampliative, since if the
verb or the copula of the sentence were to be ampliative, as for example
the verb 'can' ur the copula in "The Antichrist is possibly white," then it
silould not h'~ said that 'white' appellates its form precisely at the present
time, but raLher that it appellates it indifferently at the time to which it is
ampliated.
[5.3.1]
There is a great difference with respect to appellation
between verbs signifying an act of the intellective soul, as the
verbs 'to comprehend,' 'to understand,' 'to signify,' 'to sup-
pose,' 'to permit,' and this sort, and other verbs such as 'to
cut,' 'to move,' and the like.
[Rule App-4] With respect to such verbs not signifying this
5. APPELLATION 163
[5.3.3J Hence this alone is required here, that 1 now briefly state that it
is very different to say "I know the one approaching" and "The one
approaching 1 know," since whenever you know your father under many
rationes, as those according to which he is called a man and an animal
and a father and great, etc. and you do not know him under the ratio
from which the term 'approaching' is taken, then (positing that he is in
fact approaching) "You know the one approaching" is false, since the
sense according to many appellations of the ratio is that you know him
under the ratio of the one approaching. Nevertheless, "The one
approaching you know" is true, since it is not necessary for its truth that
you know him under that ratio, but it is sufficient that you know him
under some <ratio>, whatever it may be.
[5.3.4J Hence we conclude that 1 do not infer one term from another
found after such verbs, no matter how much they may supposit for the
same, unless the terms are synonymous or the ratio of the following
terms is included in the ratio of the antecedent term in such a way that it
is impossible that the ratio of the antecedent term be in the soul without
the ratio of the following term. Thus "I know a triangle; therefore, 1 know
a;. isoceles triangle" does not follow, but "<1 know a triangle>; therefore,
I know a triangle" or "<I know a triangle>; therefore, 1 know every
triangle" do correctly follow, since the ratio corresponding to the
expression 'every triangle' cannot be <in the soul> without the ratio
corresponding to 'triangle:
[5.3.5J But one term can be inferred from another as found before such
164 TREATISE ON SUPPOSITION
verbs, assuming that they supposit for the same, as in "Your father you
know, and he is the one approaching; therefore, the one approaching
you know."
[5.3.6] In sentences with other verbs one term can be inferred from
another whether they are found before or after <the verb>, assuming
that they supposit for the same. This follows: "A stone falls on the one
approaching, and he is white or is your father; therefore, a stone falls on
something white or on your father."
[5.3.7] Yet a major doubt is raised against these claims, namely that if
the foregoing were true, then it would follow that it would be impossible
for you to see a man or a horse, which seems ridiculous. The consequ-
ence is clear, since the ratio or the concept according to which the term
'man' or 'horse' is imposed is a common or universal ratio, and hence
that you see a horse signifies that you see it according to a universal
concept, which is impossible, since the senses only sense what is
singular.
[5.3.10] We say that Averroes did not believe the First Principle to be
three and one, and nevertheless he believed the First Principle to be
God; but as taken before the verb, we must concede "The three and one
Averroes believed to be God." This is clear by an expository syllogism,
since the First Principle he believed to be God and that First Principle is
three and one; therefore, the three and one he believed to be God.
[5.3.11] And it is also clear that such an argument with the term as
found after the verb would not be valid, that is, "The First Principle he
believed to be God, and God is three and one." It is clear that this does
not follow, since the premisses are true and the conclusion is false, and
nobody can explain why it should be valid when the term is before the
verb but not when it is after the verb except by the appellatiun of the
rationes in the succeeding and not the preceding.
5. APPELLATION 165
[5.3.14J Furthermore, note that aside from this doubt some people say
that the predicate appellates its form such that no sentence of the past
time or of the future is true unless it had or will have something of the
present which is true, if it is formed, keeping the whole predicate the
same or the whole thing being similarly disposed, which is not thus
necessary for the subject. Hence they do not call a de possibili sentence
true unless it has a corresponding true assertoric sentence which pre-
serves the entire predicate; thus they call these false and impossible:
"I shall lecture tomorrow," "I lectured yestereday," since "I am now
lecturing tomorrow" and "1 am now lecturing yesterday" are impossible.
job for which these were put forward: in the place of "I saw Peter and
Robert" I put the sentence "Peter and Robert were in this house." I take
this sentence to be true if one were in it at one time and the other at
another, even though they were never both there together. Similarly, in
the place of the sentence "I see every star" or "I can see every star," I put
the sentence 'The Sun will be or can be in any of the twelve signs of the
Zodiac," which 1 think should be conceded.
[5.3.17] 1 do not think the discussion in that part <of the Sophismata>
needs to be altered, since I did not seek to verify the examples, as is said
in Prior Analytics [Il.xxiv 69aI4-17]. But now that I have corrected the
text, if you want to seek to verify the examples, do so as was done in the
Sophismata.
[5.4.1]
We take up next the appellation of certain names in par-
ticular.
[Rule App-6] I say that an oblique substantive term ap-
pellates that which its nominative term would supposit as
adjacent to that which the nominative term governing it
supposits.
[Rule App-7J The terms 'mine' and 'yours' appellate me and
you as adjacent to those things for which their subjects
supposit.
[Rule App-8] Similarly, 'ours' and 'your' appelate us and you,
and the term 'his own' appellates that for which its antece-
dent supposits as adjacent to that for which the substantive
of the term 'his own' supposits.
[Rule App-9] The adjacence is changed in all the corre-
sponding ways as said for 'his own' in Section 4.7.
[5.4.3] The first three are about different terms in particular, and the
fourth is a general rule for all these terms.
5. APPELLATION 167
[5AAI Rule App-6 deals with oblique terms. Since they are neither
subjects nor predicates of sentences, they cannot strictly supposit.
Hence they appellate the things which they signify, as well as those
things which their nominative term would appellate, if the nominatives
were to appellate, as those things for which they sup posit.
[5A.51 For example, if I say 'the ass of-Socrates,' the term 'of-Socrates'
appellates Socrates as adjacent to his ass as a possessor. If I say "That is
the book of-Aristotle," the term 'of-Aristotle' appellates Aristotle as
adjacent to the book as a maker, namely as he who made it or he who
made the first copy from which all others have been made. If I say
"Socrates is the father of-Plato," then the term 'of-Plato' appellates Plato
as adjacent to his father Socrates as a son. And so forth for the rest.
[5A.6J In the same way, if I say "Socrates sees Plato," then the term
'Plato' appellates Plato as adjacent to Socrates's sight as seeing, and so
on for the rest.
[5 A. 7J I speak of Rule App- 7 in [5 A.l J in the same way: if I say 'my ass,'
the term 'my' appellates me as adjacent to my ass as a possessor; and if I
say 'my father,' the term 'my' appellates me as his son. And so in the
same way for 'your,' and 'our,' and this can be seen in Rule App-8,
insofar as it can be seen to support Rule App-9.
CHAPTER 6
[6.1.1]
Finally, something should be said about the ampliation and
restriction of supposition and appellation. Thus it is neces-
sary to examine first the status according to which a term is
called neither ampliated nor restricted, in respect of which
status it can sometimes be ampliated and sometimes re-
stricted. That status can be given when the term precisely
supposits for and appellates all its significates of the present
time. For example, when I say "A man is running" or "Every
man is running," 'man' sup posits indifferently for all the men
who exist at the present time, and for nothing else.
[6.1.2] Chapter 6 deals with ampliation and restriction and has six
sections. K7 Section 6.1 gives the status with respect to which ampliation
and restriction are said; Section 6.2 deals with the restriction of that
status; Section 6.4 deals with the alienation of the status; Section 6.S
with the alienation of supposition or appellation; and Section 6.6 with
the cancellation of the supposition.
[6.1.3] The passage in [6.1.1] makes two points, the first of which gives
the aim of Chapter 6 and begins it, which is clear.
[6.1.4] The second gives the status <according to which a term is called
neither ampliated nor restricted>; this is clear enough, and I do not care
if others wish to specify a different status.
[6.2.2) This passage contains six rules, and they are all sufficiently clear.
[6.2.3) It follows from [6.2.1) that such sentences are analyzed by hypo-
theticals with a disjunctive subject. For example, "B will run" as "What is
B or will be B will run"; similarly, "B is dead" as "What is or was B is
dead"; similarly, "A can run" as "What is or can be A can run"; similarly,
"The one creating is of necessity God" as "What is or can be creating is
170 TREATISE ON SUPPOSITION
[6.3.1]
A term is further restricted in that status in many ways.
[Rule Res-I] By a determination appropriate for it but not
for all its supposits, as for example in "A white man is runn-
ing" 'man' is not taken for all present men but only the white
ones; or even in "The ass of-Socrates is running" 'ass' is not
taken for all asses but only for those which are Socrates's.
[Rule Res-2] An adjective is restricted by its substantive if it is
6. AMPLIATION AND RESTRICTION 171
[6.3.2] This passage gives two obvious rules, about which it should be
noted that if the supposition of a term were to be ampliated to the future
or the past or the possible, nevertheless both rules hold for restricting
the ampliation with respect to the supposits. For example, if I say
"Every white man will be good," then the term 'man' is held for present
as well as future things, but still not for all of them, but only for those
which are or will be white. Nor does the term 'white' supposit for all
white things, <but only for those which are or will be men>.
[6.4.1]
Sometimes a term does not keep the aforementioned status,
and it is neither ampliated nor restricted, but alienated, such
that the term can no longer sup posit or be held for the
present things for which it supposits or holds for in its given
status, but only for future or past things, unless it happens
that those future or past things are also present; this is how
terms following past-time or future-time verbs supposit or
appellate.
[6.4.2] The passage will be clear if we give an example. Now if I say "A
horse was white," 'white' supposits for only what was white in the past.
Let us posit that all horses are white at the present time, and that no
horses were ever white in the past. Then the term 'white' does not
supposit for any horse, or rather, it does not supposit for anything,
unless there was something <else> white in the past, even if all things are
white in the present. Nevertheless, it is surely true that if a horse HH which
is present existed in the past and was white, then the predicate 'white'
would supposit for it, but not by the reason or for the reason that it is
white, but by and for the reason that it was white in the past. And so in a
similar manner for the future.
[6.4.3] Similarly, in the given sentence the term 'white' appellates white-
172 TREATISE ON SUPPOSITION
ness only as adjacent to that which was <white>; if it is still adjacent now
to what it was adjacent to then, it will be adjacent with respect to the
verification of the sentence. Thus if Socrates was white yesterday and is
still white today, the sentence "Socrates was white" is true, but not
because whiteness is now adjacent to him but rather only because it was
adjacent to him. This would not be so for the subject, if we were to say
"A white thing will be Socrates," positing that Socrates will be; the
sentence is true if whiteness is now adjacent to Socrates, even'if it will
never again be adjacent to him.
[6.5.1]
Supposition or appellation is sometimes alienated, so that an
ampliated term is not held for its significates but for others.
This comes about by an infinitizing negation, as when I say
"Man is a non-ass": the term 'ass' is prevented from standing
for asses and is forced by the negation to stand for every-
thing else indifferently. Thus if I say "A non-white man is
running" the term 'white' does not appellate whiteness as
adjacent to men, but rather as it is not adjacent to them.
TRACTATUS DE CONSEQUENTIIS
TREATISE ON CONSEQUENCES
BOOKI
[1.1.3] Some people claim that a true sentence is true because howso-
ever it signifies is the case (qualitercumque ipsa significat ita est), that
is, in the thing or things signified.
[1.1.5] Still, (1) is properly true, for it was the case as the sentence
signifies it to have been. Thus
(2) Antichrist will preach
is true, not because it is the case as (2) signifies, but because it will be
the case as (2) signifies will be. Similarly,
(3) Something which never will be can be
177
178 TREATISE ON CONSEQUENCES
is true not because it is the case as (3) signifies but rather because it
can be the case as (3) signifies to be able to be.
[1.1.7] Careful readers can now set forth from the preceding <discus-
sion> how the <causes of the truth> of affirmative sentences should be
assigned. The causes of their falsity can be known similarly. Since,
indeed, the same sentence cannot be both true and false,2 and never-
theless if it is formed it must be either true or false, 3 one must assign
the cause of the truth and the cause of the falsity of the same sentence
in the manner of contradictories. The cause of the falsity of a present-
time assertoric sentence will therefore be because howsoever it
signifies to be is not the case; of a past-time <assertoric sentence>,
because howsoever it signifies to have been was not the case; of a
possible <sentence>, because it cannot be as it signifies it to be able to
be the case (or to be able to have been, or to be able to be, etc.); and
so on for other modes and circumstances.
[1.2.1] Since for any sentence there can be numerous causes by which it
is made true or false, in Chapter 1-2 1 lay down some things about the
number (large or small) of this kind of cause, according to the supposi-
tion of its terms.
[1.2.2] First, 1 state that any sentence with some common term not
distributed, or an equiform <sentence>,? has or can have more causes
of its truth than a sentence with the same common term distributed,
the rest <of the sentence> remaining the same. 8
[1.2.3] (By "the cause of the truth" of some sentence 1 mean those
sentences anyone of which is sufficient for the truth of the given
sentence.)
[1.2.4] The claim in [1.2.2] does not require a proof, but a statement
like this one: A sentence with an undistributed term, or an equiform
<sentence>, has or can have with respect to that term as many causes of
its truth as that term supposits for. For example, if 1 say
(4) A man is running
then (4) is true if Socrates alone is running, or if Plato alone <is
running>, and so forth with the rest <of the men> - and it is no less
true if all <are running> at once. But the sentence with the term distri-
180 TREATISE ON CONSEQUENCES
buted can have with respect to that term only one cause of its truth:
namely that it is so for all, not merely for one or two.
[1.2.6] Thus <to restate [1.2.2]> it is not inconceivable from the form
of the sentence 9 that any given sentence with an undistributed term
can have more causes of truth than that <same sentence> with the term
distributed, other things being equal; but it is inconceivable from the
form of the sentence that the one with the term distributed have more
<causes of its truth than the same sentence with the term not distributed>.
And this is what I mean in the rest <of the treatise> by 'a sentence
having more or fewer causes of its truth.'
[1.2.8] For example, let us examine the difference between these two
sentences:
(8) Every B is A
(9) A is every B
It happens that (9) has as many causes of its truth with respect to A as
I. GENERAL AND ASSERTORIC CONSEQUENCES 181
there are A, for (9) would be true if this A were B, and similarly «9)
would be true> if that A were B, and so on. But (8) also has the same
number of causes of its truth <as (9», for it would be true if every B
were this A, and if every B were that A, and so on. But there is another
cause of the truth of (8), namely that this B is this A, and that B is
that <other> A, and another B is yet another A, and so on. In fact,
(10) Man is an animal
is true in this way, and this <last> cause of its truth is inconceivable
<for a sentence with a term> in determinate supposition <as in (9)
above>.
[1.2.9] Finally, 1 say that if <in some sentence> both terms are undistri-
buted, but supposit determinately, then there are more causes of its
truth than if one <term> were distributed and the other <were to
supposit> confusedly without distribution. This is clear, since any cause
sufficient for the truth of "Every B is A" is sufficient for "B is A" to
be true, but not conversely.
[1.2.10] Thus <we may conclude from the above discussion that> a
sentence with both terms undistributed would have the most causes of
its truth; <a sentence> with one term distributed and the other term
confused without distribution would have fewer <causes of its truth>; a
sentence with one term distributed and the other put determinately
without distribution would have still fewer <causes of its truth>; and a
sentence with both terms distributed would have the fewest <causes of
its truth>.
[1.3.2] In all branches of knowledge one must first know the nominal
definition. To this end, I say that t';c- are two types of sentence:
categorical and hypothetical. Furthermore, a consequence is a
hypothetical sentence, composed of many sentences conjoined by the
word ( dictio) "if' or the word "therefore" or their equivalent."
182 TREATISE ON CONSEQUENCES
[1.3.4] Some people say that any such hypothetical sentence (that is,
one conjoining many sentences by "if" or "therefore") is a consequence,
and that there are then two types of consequences, those which are
true 12 and those which are false.
[1.3.5] Others say that <such a sentence> should not be called a conse-
quence if it is false, but only if it is true.
[1.3.9] Hence some say that the description given in [1.3. J should be
I
Now this description is not literally true, for it assumes that any true
sentence is true because howsoever it signifies is the case, and that
claim was denied previously <in [1.1.4]>. Nevertheless, it has also been
said that we would use this idiom for the sense given <in [1.1.12]>; and
in this way we allow the description. I 5
[1.3.12] In fact, we shall often also use the idiom of the first
description in [1.3.7], clearly disproved in [1.3.8], since there are
counterexamples for only a few consequencs. Yet whatever manner of
speaking we adopt, we intend the sense touched upon in [1.3.11].
184 TREATISE ON CONSEQUENCES
[1.4.5] Thus if I assert (14), I prove the consequence by the fact that
all men are animals, for if any man is an animal and a man runs, it
follows as a formal consequence that an animal is running. All who
argue using enthymemes must prove their consequences, if they are
not formal, in this way.
I. GENERAL AND ASSERTORIC CONSEQUENCES 185
[1.4.7] The rest are called consequences ut nunc, which are not
acceptable simply speaking, for it is possible that the antecedent be
true without the consequent <being true>, yet they are acceptable for
now (ut nunc), since it is completely impossible with things related
as they are now related for the antecedent to be true without the
consequent <being true as well>.I,)
[1.4.12] If the antecedent of (17) were true, namely that Socrates will
come to Plato, then it may be said that even now the consequence is
acceptable, since a formal <consequence> can come about through
truths added to (17), in this way: Whatever Plato wills to do in the
future (i) he will be able to do by holding to that volition (and holding
in any circumstances to what he wills); and (ii) when he is not
prevented he does that thing when and how he wills. (Modify (i)-(ii)
until they are true by what Aristotle says in Metaphysics IX [cap. v
1048a11-16].) But Plato wills to give a horse to Socrates, who will
come to him, when he will come to him. Therefore Plato will give
Socrates a horse. If, then, these claims about Plato's will and abilities
are true, Plato asserts a true consequence ut nunc to Socrates. But if
they are false, then Plato told Socrates a falsehood <which is> not a
consequence - and if Plato believed these added claims (or similar
ones) to be true, then Plato lied to Socrates.
[1.5.2] A negative sentence indicates the opposite, that is, that what
1. GENERAL AND ASSERTORIC CONSEQUENCES 187
the subject supposits for and what the predicate supposits for are not
the same, or were not or will not be the same, and so on.
[1.5.5] Even if these points are conceded, it does not follow that any
affirmative present-time assertoric sentence whose terms supposit for
the same is true, for in a sentence saying itself to be false it can
happen that the term supposit for the same and yet <the sentence> is
false 24 - e.g. if someone were to say
(22) The sentence which I am speaking is false.
The reason <a sentence such as (22) is not true> is because, despite the
fact that (22) indicates by its form that the terms supposit for the same
and is the case, nevertheless according to the signification of the
predicate (22) indicates that <what the terms supposit for> is not the
same. When we call a sentence false, we indicate that <the terms do
188 TREATISE ON CONSEQUENCES
not supposit> for the same, <as pointed out in [l.5.2] >. This is why a
sentence like (22) says that it is the same and it is not the same - and
so, although how it signifies is the case, it is nevertheless not the case
howsoever it signifies; and so it is false.
[l.5.8] Yet I think that any affirmative <sentence> would be true whose
terms were to supposit for the same, in the manner appropriate to its
form, provided that <the sentence> does not proclaim itself to be false,
formally or explicitly, consecutively or implicitly.2s And likewise for
negatives.
[l.5.9] These matters, then, are set forth in Chapter 1-5. I do not care
whether they, like those which have been set forth earlier and will
be set forth later, are not conceded by some people, for they or
something similar must be conceded, by conceding which what we
later derive about consequences follows.
[l.6.1] Because the predicate always follows the condition of the verb
in suppositing for a time, in Chapter 1-6 I take up the difference
between the subject and the predicate in such sentences. For example,
ifl say
then (24) would be false, positing that all existing men are white white
nevertheless none are white in the future. And so with the past as well.
I. GENERAL AND ASSERTORIC CONSEQUENCES 189
[1.6.31 Yet the subject of the sentence is not thus determined to the
time of the verb, but rather always keeps its supposition for things of
the present time.
[1.6.6] Thus I say that the present-time verb 'is,' which is the copula
of a sentence, strictly makes the predicate as well as the subject
suppa sit for present things, unless the predicate acts in another way
(about which more will be said in [1.6.101 and following). And these
verbs 'will-be' and 'was' and other similarly tensed verbs determine the
predicate to their time and ampliate the subject to <supposit for things
of> their time along with <suppositing for things of> the present time.
[1.6.9] But for the rest, most or all people treat these sentences as
though they were <literally> true:
(29) Calvin's horse is dead.
(30) My grandfather [or the Pope, or the King, etc.] is dead.
(31) Many men are able-to-be-generated.
(32) Many men are going-to-be-generated.
(33) Although no rose exists, still a rose is able-to-be-understood.
(34) What does not exist can be remembered.
(35) Many things are possible which neither were nor are nor will
be.
[1.6.10] Since all languages use this manner of expression, it thus seems
to me that such past-<time> or future-time predicates <as in (29)-(35»
ampliate their subjects just like past-time or future-time verbs. similarly,
predicates involving possibility function just like the verb 'can,' as for
example in
(36) Whatever can be is possible.
(37) Whatever can be is able-to-be-generated.
is true.
[1.6.12] It should be noted that there are still certain verbs 27 <which>,
no matter what their time may be, go over into their accusative-objects
(transeunt in suos accusativos) they govern after themselves with
temporal indifference. Examples are the verbs 'I know,' 'I think,' 'I
understand,' so that something may be understood without any
temporal difference. For example, there is a difference between
sentences of this sort:
(56) BisA
has as the only cause of its truth that B is A, but
(57) B will be A
has as causes of its truth (i) because what is B will be A or (ii) because
what will be B will be A. And even
(58) A man is dead
l. GENERAL AND ASSERTORIC CONSEQUENCES 193
has as causes of its truth either (i) because he who is a man is dead, or
(ii) because he who was a man is dead. Even
has causes of its truth similar to those given for (56). The <sentences>
(60) A can-be-understood.
(61) A is understoood.
[1.6.20] This is how the initial claim in [1.6.1], namely that the verb
takes the predicate to its own time, should be understood. If the
predicate is present-time or without <any reference to> time, it suppos-
its for things at the time of the verb. Thus if I say
converse, <that is, a past-time participle can supposit for things yet to
come>, as when I say
(64) Antichrist will-have-died.
[1. 7.1] Since we have discussed the form of a sentence and the
distinction of consequences into materilll and formal, in Chapter 1-7
we must add what we take to be relevant to the form of a con-
sequence or sentence and <what we take tv oe relevant to> the matter
<of a consequence or sentence>.
[1.7.3] For examples of the foregoing: (i*) the form <of sentences> with
copulas of different modes differ from <the form of> assertoric
sentences; (ii*) the forms of affirmatives are different from those of
negatives by the negations and <the form of> universals <differ from the
form of> particulars; (vi*) a singular sentence has a form different from
an indefinite <sentence> according to the commonness or discreteness
of terms; (iii*) the following sentences have different forms due to the
number of terms:
(65) A man is a man.
(66) A man is an ass.
1. GENERAL AND ASSERTORIC CONSEQUENCES 195
[1.8.17] Theorem 1-4 has four parts; Theorem 1-4(a) is clear, because
if B were to follow from A and C <were to follow from> B, then it
would be impossible for A to obtain without B, and, necessarily, if B
were to obtain it obtains together with C. Thus it is impossible for A
to obtain without C, and so C follows <from A>.
[1.8.23] The same <reasoning> is clear for Theorem 1-5(b), since if the
antecedent is possible then it can be <the case> as it signifies. Assuming
this, it must be the case as the consequent signifies, and therefore the
consequent is possible, not impossible.
[1.8.37] What some people wonder about, then, namely how the
consequence
(93) Nothing exists; therefore, an ass is running
is consistent, is apparent from [1.8.36]. I say that it is consistent
because "something exists" is necessary,40 <and taken> together with
<the antecedent, namely "nothing exists">, (93) follows. And it is the
same with this consequence:
(94) An ass is running; therefore, an ass is moved.
Whence indeed does it follows? Since "Anything running is moved" is
necessary (or at least "If something is running then anything running is
moved" is necessary), then this added to the antecedent of (94) makes
the consequence evidently formal.
[1.8.39] Yet some people, despite the discussion,will yet wonder how
any consequence whose consequent is necessary is reduced to a formal
<consequence>, e.g.
204 TREATISE ON CONSEQUENCES
tences of which neither can have some cause of being how it signifies
which is not <a cause of being how the other signifies> ... " in the
sense previously determined. (Recall that we said in [1.1.12] that no
matter what idiom we use we mean the sense given there; we shall not
repeat this again in this work.)
[1.8.4 7] From Theorem 1-8 there follow all equipollences and conver-
sions. But we must specify what these are, and so we give them in the
following theorems.
[1.8.49] The reason for this theorem is that the causes of their truth
are numerically equal and are in fact the same, since the causes of the
truth of one sentence can only differ from the <causes of the truth of
the> other, either (i) because the terms differ; (ii) because the <terms>
supposit in different ways; (iii) because the copulas differ; or (iv)
206 TREATISE ON CONSEQUENCES
[1.8.54] The reason for <Theorem 1-10) is found in Theorem 1-8 and
[1.2.6]: a sentence with an undistributed term has more causes of its
truth than <the same sentence with) the term distributed, other things
being equal.
208 TREATISE ON CONSEQUENCES
[1.8.68] Similarly, under the same assumptions <as Theorem 1-13> the
consequence from 'is' used predicatively to 'is' used existentially is
valid.
[1.8.71] Even with these things out of the way, the proof <of Theorem
1-14> is long and difficult, due to the many and varied different kinds
of forms of assertoric sentences. 46 We shall now speak of these, and
put forward certain distinctions.
I. GENERAL AND ASSERTORIC CONSEQUENCES 213
is formed> with the locution "what is B is A," "what is B is not A," and
similarly for universals. If, therefore, the term in the converted as well
as in the original <sentence> is formed with the "what is ... " <locution>,
then it is treated just as if it were not an ampliated term, for this locu-
tion prevents any ampliation of the subject by the predicate. And so
we infer that those conversions with the "what is ... " <locution> are
formal; they hold for ampliated terms as well as they hold for non-
ampliated <terms>.
the "what is ... " <locution> in the subject of the converted <sentence>
to prevent ampliation; for example,
(143) Nothing dead is a man; therefore, nothing which is a man is
dead.
Otherwise we would go from the less ample distribution to the more
ample distribution, which would not be an acceptable consequence.
[1.8.80] If the subject is explicit and the predicate and copula are
implicit in the same verb, then, if possible, the predicate should be
216 TREATISE ON CONSEQUENCES
made explicit by the copula, and then the conversion works as before.
For example,
(149) A man runs.
(149*) A man is running.
(150) A man will-run ( curret).
(150*) A man will-be running (erit currens).
[1.8.81) Sometimes, though - perhaps because of a defect of words
under the rules of grammar, perhaps because of the condition of their
signification - no such explicating sentence will serve, as with "A man
comes-to-be ifit)," "A man is-loved (amatur)." There is no present-
time participle for these verbs <'come-to-be' and 'being-loved'>, and so
there is no simple resolution <of such sentences into sentences where
all three elements are explicit>. For if I say "A man is made ifactus)"
or "A man is having-been-loved (amatus)," it is dubious whether they
are equivalent to the original <sentences>, since people might offer as
counterexamples to the case of love where a man is <now> loved but
still yet is not having-been-loved, and <for the case of coming-to-be>,
what comes-to-be does not yet exist, as Aristotle says, and so is not
made <already>.
[1.8.82) In such cases the sentence should be converted by the addi-
tion to the subject of "what" for the name, with the verb, and by the
addition of the copula 'is: And if the predicate is ampliated there
should be along with the foregoing a disjunction in the predicate of the
converted sentence, as was said before. For instance,
(151) A man is-loved; therefore, what is-loved is a man.
(152) A rose is-understood; therefore, what is-understood was or
is or will be or can be a rose.
[1.8.83) Because the verbs 'comes-to-be; 'is-generated,' and 'begins-
<to-be>' indicate that there is something which did not exist before, or
there will be <something> which does not <now> exist, and the verbs
'ceases-<to-be>' and 'is-corrupted' and others of this sort <indicate> the
converse, namely that something exists and afterwards will not exist, or
<something> did exist although it does not <now> exist, conversions of
these verbs take place in this way:
(153) A comes-to-be; therefore, what comes-to-be is or will be A.
(154) A is-corrupted; therefore, what is-corrupted is or was A.
I. GENERAL AND ASSERTORIC CONSEQUENCES 217
does not follow as a formal consequence, but only that <A> is a being
or beings. Similarly,
(164) A and B are; therefore A and B are beings
does not follow, because if <A and B> are synonymous names suppo-
siting only for the same simple things, as for example both names
imposed synonymously to signify Peter's soul, then A and B are, but
nevertheless they are not beings but a <single> being, as the Creator
and God are and are not some things but some thing.
because it is false to say that a square is an army and that squares are
an army. Grammarians, not allowing adjectives to supposit unless they
are used substantively in a neuter gender, do not even permit us to say
"A round is an army." I therefore say that because (165) is true only if
the army is a round army, and not because it is something round or
some round things, should be converted by supplying in the predicate
of the <sentence> to be converted the substantive <term> 'army,' and
then the conversion is obvious:
(167) <An army is round>; therefore, a round army is an army.
[1.8.871 Now if the predicate is explicit and the subject and copula are
implicit in the verb, then it is possible to make explicit what the verb
takes as its subject (quod sibi reddit suppositum); for example:
(168) It is required that you act correctly.
(168*) A requirement is your acting correctly.
(169) It happens that a man runs.
(169*) A contingent <fact> is <that> a man runs.
(170) Socrates sees a man.
(170*) Socrates is seeing a man.
And if there is no participle of the verb either imposed or in use, then
create a name, supply what needs to be supplied, and analyze what
I. GENERAL AND ASSERTORIC CONSEQUENCES 219
[1.8.97) The supposition of the terms remains the same. But you
should pay attention to ampliation, as has been pointed out. This does
not follow:
(194) The Antichrist is going-to-be-generated; therefore, <some-
thing> going-to-be-generated is the Antichrist.
But this does follow:
(194*) <The Antichrist is going-to-be-generated>; therefore, <some-
thing> going-to-be-generated is or will be the Antichrist
second false - for the contradictory of the second part, namely "every
non-man is a non-chimaera," is true. And so Theorem I-16(a) is clear.
than A," from which it follows that this B is not the same as A, since
nothing is the same and <different from> one thing. Therefore, some B
is not A, which is contradictory to (209)-(209*). We can prove the
same for the consequence
(210) Every B is non-A; therefore no B is A
because the opposite of the consequent is "some B is A," and thus
some B is not <something> other than A, which contradicts (210),
which says that every B is <something> other than A.
[2.1.21 First, we assume that although there are many kinds of modal
sentences the principal <kinds>, which Aristotle and other Masters
treat, are modal sentences de possibili and de impossibili, de neces-
sario and de contingenti, and de vero and de fa/so - which is why I
intend to deal only with these sorts.
[2.1.31 But note that sentences are not called de necessario or de pos-
sib iii insofar as they are necessary or possible, but rather in that the
modes 'possible' or 'necessary' are found in them; similarly for the
other modes. For a sentence may well be necessary which is yet not de
necessario, or possible which is not de possibili, and conversely. For
example, according to Aristotle
(212) Man is an animal
is necessary; nevertheless, it is purely assertoric, while
(213) A man of necessity is running
is de necessario, even though it is not necessary but false and impossi-
ble; and
(214) It is possible that a man is an ass
is de possibili although impossible.
[2.2.11 In Chapter 11-2 we lay it down that modal sentences of this sort
are commonly put in one of two ways: some are called 'composite' and
some 'divided:
228
II. CONSEQUENCES AMONG MODAL SENTENCES 229
[2.2.2] <Modal sentences> are called composite when the mode is put
as the subject and the dictum is predicated, or conversely.
[2.2.5] <Modal sentences> are called "divided" when part of the dictum
is put as the subject and the other part as the predicate. Moreover, the
mode is taken with the copula as a determination of it. For example,
(217) A man is capable of running
(218) A man is possibly running
(219) A man is of necessity running
<are divided modals >, and so forth. In (217)-(219) the subject is 'man'
and the predicate 'running.' The copula, though, is 'is capable of' or 'is
possibly' or 'is of necessity' or 'is necessarily.' The sentence (217) can
be analyzed as
(217*) A man can possibly be a runner
just as "A man is running" <is analyzed as> "A man is a runner."
[2.3.21 <Divided modal sentences> are negative in two ways. The first
way is when the negation occurs in the mode and so precedes it, as for
example in
(222) A man can-not-possibly-be an ass
(223) No man can-possibly-be an ass
The other kind <of divided modal negative> is when the negation does
not occur in the mode but follows it, as for example in
(224) A man can possibly not-be an ass
(225) God must necessarily not-be evil
[2.3.41 There are other <sentences> which have a double negation, one
in the mode and the other in the predicate, as for instance
(228) B can not possibly not-be A
(229) B must not necessarily not-be A
I believe that (228)-(229) are in fact affirmatives, since they are equi-
pollent to sentences which are obviously affirmatives. For (228) is
equipollent to
(228*) B must-necessarily-be A
which is purely affirmative, and
(230) No B must necessarily not-be A
II. CONSEQUENCES AMONG MODAL SENTENCES 231
is equipollent to
(230*) Every B can be A
which is purely affirmative.
must allow (232) in the case where God is not now creating, since it
would be equivalent to the disjunctive <hypothetical sentence>
(232**) He who is God-while-creating can not-be God or He who
can be God-while-creating can not-be God
And (232**) should be allowed, because the first <disjunct> is true in
the posited case, since God-while-creating is nothing, and what is
nothing can not-be God, or God-while-creating is not God, and what
is not God can not-be God.
[2.4.5] I say that <the same sort of equivalence> holds similarly for
past-time or future-time sentences. The sentence
(234) B will be A
is equivalent to
(234 *) What is or will be B will be A
and is not equivalent to the disjunctive <sentence>
(234 **) What is B will be A or what will be B will be A
These two <forms of equivalence> differ because if God IS not now
creating and tomorrow will create, then
(235) God will not be the one creating
is false, and would be true <by the second proposed equivalence>.
II. CONSEQUENCES AMONG MODAL SENTENCES 233
[2.4.6] The reason why I hold the first equivalence and not the second
is that if I say
(236) Any B can be A
there is here a unique predicate and a unique subject and a single sim-
ple categorical sentence, and the subject is distributed by a unique dis-
tribution. Thus it seems better that it is analyzed as a single categorical
sentence with one subject and one predicate, even if there is a disjunc-
tion of 'is' and 'can be' in the subject of the analyzed sentence, by the
ampliation of the subject. And the manner of analyzing universals and
particulars will be the same, namely with a disjunction of 'is' and 'can
be.' But according to the other <proposed form of equivalence> parti-
culars must be analyzed by disjunctions <of sentences> and universals
by conjunctions <of sentences>. I hold that
(237) Anything creating was God
is true even if nothing is now creating, and (237) would be false
according to the other equivalence.
[2.5.1] In Chapter 11-5 I set forth what Aristotle and others assume,
namely that 'necessary' and 'impossible not to be' are equipollent, and
that 'necessary not to be' and 'impossible to be' are equipollent. It
seems obvious on the face of it that what is necessary is impossible
not to be and conversely, and what is necessary not is necessary not to
be is impossible to be.
since 'can be' and 'possibly is' signify the same. Similarly, these are
equipollent:
(240) Every B is impossibly A
(240*) Every B is not possibly A
(241) No B is possibly A
(241 *) No B can beA
[2.6.3] With these points covered, then, we first <give theorems> about
divided modals <in Chapter II-6> and then about composite modals <in
Chapter II-7 >, and first of all those in which the subject is taken with-
out any of the additions "what is ..." or "what can be ...", etc.
even in the posited case where God is not now creating. Similarly, the
universal, namely that everything creating is of necessity God, is true,
since it is equivalent to
(260) Everything which is or can be creating is of necessity God
and (260) is simply true and necessary. Nevertheless, if such sentences
with an ampliated subject are analyzed by sentences compounded by
disjunction or conjunction, that is, particulars by disjunctions and uni-
versals by conjunctions, as some claim,9 then
(261) Anything creating is necessarily God
is false and
(262) Something creating is not necessarily God
is true in the posited case.
[2.6.11] But it is objected that this is not so: what is not, is not neces-
sarily God, and in the posited case He is not creating; therefore <som-
ething> creating is not necessarily God. Again, anything which is
<creating> of necessity is God, but <in the posited case> nothing is
creating; thus the one creating is not of necessity God.
[2.6.13] Thus the objections are resolved by saying that anything which
is necessarily God - or rather anything which can be God - always
was and always will be. Thus, since the one creating is necessarily God,
the one creating always necessarily was and is and will be. And He
always was and is and will be, but He was not always creating, nor will
be creating, nor is now creating (in the posited case). With this state-
ment, then, the premisses of the objections are conceded and <their
conclusions> denied, by the syllogistic form, which will be clear in
what follows.
for the first <claim of (268» is true, positing that God does not create
now, and the second <claim of (268» is false. The cause of the falsity
of this consequence is that you deduce only one part of a disjunc-
tion. 12 Similarly, this does not follow:
(269) Some planetary body shining on our hemisphere is neces-
sarily not the Sun; therefore, some planetary body shining
on our hemisphere is not the Sun
bcause if we were to posit the case that only the Sun of all planetary
bodies is now shining on our hemisphere, then the first claim of (269)
would be true (as is clear by the analysis) and the second false. The
reason for this is that the subject in the sentence de necessario suppos-
its for things other than the Sun, due to its ampliation, and in the
assertoric sentence <the subject> does not supposit for other things.
The reason for this is that a sentence de possibili follows from a sen-
tence de necessaria <by the Remark in [2.6.22]>. For example, this
follows:
(281) B necessarily is A; therefore, B can be A
thence by conversion <of the consequent (Theorem 11-5) and Theorem
1-4>
(281 *) <B necessarily is A>; therefore, A can be B
[2.7.1] With these matters settled, then, we should deal with composite
modals. It should be pointed out first of all that (no matter what some
246 TREATISE ON CONSEQUENCES
[2.7.2] Here 'possible' is taken not for 'possible-to-be' but for a possi-
ble sentence, which is called possible because howsoever it signifies
can be the case. 19 And so the sentences
(290) Every possible is that B is A
(290*) Every possible sentence is that B is A
say the same thing. If 'possible' were taken otherwise, then there would
be an equivocation and I would not call such sentences 'de possihili.'
And the same should be said for the other modes, <namely 'necessary'
and 'contingent'>.
[2.7.3] It should be noted that in (288) the predicate 'that B is A' sup-
posits materially for a sentence such as "B is A" It does not supposit
for itself, because "that B is A" is not a well-formed sentence (oratio).
[2.7.4] If the mode is predicated and the dictum put as the subject, the
sentence can still be universal, particular, <indefinite, or singular>. In
that case, this is universal:
(291) Anything which is that B is A is possible (omne quod est B
esse A est possihile)
this is particular:
(292) Something which is that B is A is possible
this is indefinite:
(293) That B is A is possible
this is singular:
(294) That which is that B is A is possible
II. CONSEQUENCES AMONG MODAL SENTENCES 247
[2.7.7] The reason for this is that for all such sentences "B is A," one
signifies whatever and however the other signifies. Therefore, if it is
the case as one signifies it is the case as the other signifies, and if not
then not; thus if one is true the other is true and if <one is> false <the
other is> false. Similarly for possibility, necessity, and the other modes.
248 TREATISE ON CONSEQUENCES
[2.7.9) This is also clear for negatives, since if some sentence "B is A"
is not true then
(299) No sentence "B is A" is true
follows. The causes of the truth of this sentence
(300) Some sentence "B is A" is not true
exist, or there is no sentence "B is A" and so the subject does not sup-
posit for anything (and hence the negative sentence is true), or there is
some sentence "B is A" but it is not true. Now it follows from the first
of these causes not only that some such <sentence> is not true, but
also that none such is true, and we have <the desired conclusion about
negatives>. Similarly, it follows from the second cause of truth that no
such <sentence> is true, since any cause of the truth of one is a cause
of the truth of any of them, if there are several; thus we have the
<desired conclusion>.
[2.7.17) Theorem II-ll is obvious in all sentences just as was the case
for assertoric sentences <in Theorem 1-14 and Theorem I-IS>, except
that the universal affirmative for such <composite modals> is converted
simply, because it is obviously converted <accidentally> into a particu-
lar and from the particular there follows the universal <by Theorem
11-9>.
[2.7.26) I have put all the above claims together because they are obvi-
ous, and perhaps should be taken as principles rather than as theo-
rems. Any necessary sentence is true and possible, but not conversely.
The sentence
(309) B is A; therefore, it is possible that B is A
correctly follows, but not the converse; the sentence
(310) B is A; therefore, it is true that B is A
follows, as does its converse, at least assuming the nonemptiness of the
terms. And stating these examples seems to me to suffice for Theorem
11-15.
[2.7.30) Note that the general rule "Nothing impossible follows from
an assertoric <sentence> put forward as possible" should be interpreted
as in Theorem 11-16.
[2.7.36] It is also clear that nothing follows from the converse, for
although anyone sleeping can be awake, "One sleeping is awake" is not
possible. Similarly and negatively, although every star of the Zodiac
shining above our hemisphere can be not shining on our hemisphere,
nevertheless
(317) A star of the Zodiac shining on our hemisphere does not
shine on our hemisphere
is not possible.
[2.7.41] <Theorem II-IS> is also clear for the particular negative, for
(319) Some runner is necessarily not some horse; therefore, "A
runner is not a horse" is necessary
does not follow, for positing that only a man is running the first is true
and the second is false.
[2.4.46] These claims stated in Theorem 11-19 hold for divided as well
as for composite <modals>.
[2.7.47] Therefore, let all take caution lest they take divided modals
for composites, or conversely, and lest they take divided <modals> with
the mode denied for divided <modes> with the dictum affirmed, since
they are completely different, as is clear. And so ends Book II, which
deals with the consequences of one kind of modal <sentence> to
another.
BOOK III
[3.1.1] Book III will deal with syllogistic consequences, about which
much needs to be said.
[3.1.2] First of all, there are many kinds of consequences. Some hold
only by their matter, so that they are not formal: examples are en thy-
memes, complete inductions, examples, and perhaps many others,l as
for instance <the rule that> you may infer whatever you please from the
impossible. None of these are worthy of the name of syllogism.
[3.1.4] As all agree, these are neither complete inductions nor examples
nor yet syllogisms, since a syllogism must have several premisses. But
they are not strictly speaking enthymemes, for an enthymeme is an
imperfect or truncated syllogism. An enthymeme should move from a
single premise to a conclusion, and that conclusion is apt to follow syllo-
gistically from that premise and another added to it. Nevertheless,
broadly speaking, <equipollences and the like> can be called enthy-
memes, if we want to call every consequence from a single categorical to
another categorical an enthymeme. Enough has been said about these
consequences.
[3.1.11] But I still do not call these syllogistic consequences, for a syl-
logism should proceed to some conclusion or conclusions determi-
nately, not to any <sentence at all>, and from a determinate antecedent,
not indifferently from any <antecedent>.
260 TREATISE ON CONSEQUENCES
[3.1.13] I do not mean to treat of these either, for analysis of this sort is
nothing but the explication of the signification of the syncategoremata.
[3.1.16] Still others may be given, but these seem to me to be the most
principal ones other than the syllogistic <consequences> which we do
intend to discuss in Book III.
[3.2.1] In Chapter II1-2 I spell out how any such syllogism requires in its
premisses the conjunction of each of the extremes of the conclusion with
the middle, according to which conjunction the conjunction among
themselves of the extremes may be inferred, either affirmatively or
negatively. And so it is clear that any syllogism, as we here understand
'syllogism,' is made up of only three terms,6 namely the two extremes
III. SYLLOGISMS WITH ASSERTORIC SENTENCES 261
which are the terms of the conclusion and the middle term with which
those extremes are conjoined in the premisses.
[3.2.2] It is also clear that there are two premisses in a syllogism, where
in one the middle is conjoined with one extreme and in the other with
the other; it is obvious that the middle <term> is found in each premiss
and not in the conclusion.
[3.2.3] The first premiss is called the 'major sentence' and the second
the 'minor <sentence>: The extreme <term> found in the major sentence
is called the 'major extreme' and <the extreme term> found in the minor
is called the 'minor extreme:
[3.2.4] It further follows from this that there are only four figures of this
kind of syllogism. We name a 'syllogistic figure' the ordering of the mid-
dle to the extremes in the premisses by being put as the predicate and by
being put as the subject (subiectionem et praedicationem), and this can
only occur in four combinations.
[3.2.5] The first figure is where the middle is put as the subject of the
major sentence and is predicated in the minor.
(3.2.6] The second figure is where the middle is predicated in each <pre-
miss>.
[3.2.7] The third figure is where the middle is put as the subject in each
<premiss>.
[3.2.8] The fourth figure is the converse of the first figure, namely where
the middle is predicated in the major and put as the subject of the
minor.
[3.2.9] It should be noted that the fourth figure only differs from the
first figure in the transposition of its premisses - which transposition
makes no difference to the conclusion or prevents the entailment, but
only matters in that the entailed conclusion, if it is direct in the first
figure, would be indirect in the fourth figure, and conversely.?
cated of the minor, and <I call a conclusion> 'indirect' in which the minor
extreme is predicated of the major.)
[3.2.11] Now that these points are clear, it is obvious that if we deter-
mine matters for the first figure it will be superfluous to settle them for
the fourth figure as well, which is why Aristotle does not discuss it.
[3.3.1] Chapter III-3 explains that some of the terms which make up a
syllogism are finite and some are infinite. One syllogizes from them in
the same way, provided that a term is not changed according to finite
and infinite in the two sentences in which it is found. x For example, just
as
(327) Every B is A, and every C is B; therefore, every C is A
follows, so too do
(328) Every B is non-A, and every non-C is B; therefore, every
non-C is non-A
(329) Every non-B is A, and every C is non-B; therefore, every C
isA
[3.3.2] But when some term is changed according to finite and infinite
in the two sentences in which it is found, then there will be other syllo-
gistic moods, which we shall determine in [3.7.31]-[3.7.45] <in Theorem
III-18 and Theorem III-19> - for example, if we were to say
(330) No non-B is A, and no C is B; therefore, no C is A
[3.4.3] About Rule 1 of [3.4.1] I say firstly that if the expressions 'which-
ever (quaecumaque)' and 'same (eadem),' which are plural in number,
are taken collectively then Rule 1 is not true such that one thing is the
same as another, for matter and form are the same as one and the same
composite, and the matter is not the same as the form.
[3.4.4] I say secondly <about Rule 1> that nothing divided 10 is the same
as one and the same <thing>, namely such that each is the same as it
264 TREATISE ON CONSEQUENCES
[3.4.5] But then how does Rule 1 of [3.4.1] hold? I answer that many
names are correctly called the same dividedly as one and the same dis-
crete term. I do not say 'are the same' but 'are called the same; i.e. they
are truly predicated affirmatively of the same discrete term even with
the addition of the word 'same; and so are truly put as subject to it. For
example, we correctly say
(331) Socrates is the same as animal and Socrates is the same as
man
or even the converse
(332) Animal is the same as Socrates and man is the same as Soc-
rates
from which it can be inferred that animal is the same as man, or that
man is an animal. Therefore Rule 1 should be literally stated in this way:
[Rule 1 (aJ] Whichever terms are dividedly truly called the
same as one discrete term are truly called the same as each
other.
And, as I said, I do not say they are the same but that they are called the
same.
[3.4.6] However, if there is no discrete term present, then the rule must
be put like this:
[Rule 1 (bJ] Whichever terms are dividedly truly called the
same as a common term by reason of the same thing for
which the common term supposits, those terms are called the
same as each other.
For example, although 'Socrates' and 'Plato' are dividedly said of the
same common term 'man,' since Plato is the same as a man and Socrates
is the same as a man, nevertheless it cannot be deduced that Socrates is
the same as Plato, for Socrates and Plato are not called 'man' by reason
of the same man - rather Socrates is the same as one man and Plato is
III. SYLLOGISMS WITH ASSERTORIC SENTENCES 265
the same as another. But if Socrates were the same as a man and Plato
were the same as the same man, then it could be deduced that Socrates
is Plato.
[3.4.7) About Rule 2 for negatives in [3.4.2) I say in the same way that
[Rule 2) (a) For whichever two terms of which one is truly
called the same as some discrete term, of which the other is
truly called not the same, the one can be inferred negatively
of the other; (b) if the middle is a common term, it is neces-
sary to add that one of the extremes is called the same and
the other called not the same for the same thing.
[3.4.8) But it should be carefully noted that these rules do not hold in
the case of God, <the terms for Whom> supposit for a simple thing one
and triune at the same time. Whence although the Father is the same as
the simple God and the Son is the same as the simple God, the Father is
nevertheless not the Son; and although the same Father is God and not
the Son, it is false nevertheless that the Son is not the same as God.
[3.4.10) Now that these matters have been clarified, some theorems fol-
low.
[3.4.12) I call 'the customary idiom' the manner of speaking without the
addition of the "what is ..." <locutiOn>, or anything like it. For example,
when I say
(333) Socrates is a man
(334) Every man is an animal
266 TREATISE ON CONSEQUENCES
[3.4.13] The reason for Theorem III-1 is that terms can be found in
which such a form does not hold, since they do not hold according to
Rule 1. For example, these do not hold:
(337) God is the Father and the same God is the Son; therefore,
the Son is the Father
(338) Any God is the divine Father and any divine Son is God;
therefore, any divine Son is the divine Father
(339) No Son is the divine Father and any God is the Son; there-
fore, no God is the divine Father
The same objection can be made for the other <syllogistic> moods.
called different as well as terms which are called the same can truly be
denied of the same. Brunellus is not a stone, Brunellus is not a man,
Brunellus is not risible; nevertheless, it cannot be affirmatively deduced
that a stone is a man nor negatively <deduced> that a man is not risible.
[3.4.18J Theorem III-3 holds by Theorem 1-3; to see how this is evident,
note that neither of the premisses alone in a syllogism is called the
antecedent, since with the truth of one the conclusion may still be false
through the falsehood of the other <premiss>. Rather, the whole antece-
dent is the conjunctive sentence made up of the two premisses. There-
fore, from the contradictory of the conclusion there follows the
contradictory of the conjunctive <sentence>, which is the disjunction of
the contradictories of the premisses. Now the premiss taken with the
contradictory of the conclusion cancels one of the disjuncts, and there-
fore the other disjunct must be inferred, for a disjunction is not true
unless one of its disjuncts is true. Thus Theorem III -3(a) is clear.
[3.4.25] It follows from the syllogisms permitted in the third figure that
they are valid in the second figure, since the third figure comes about
immediately from converting the premisses <of the second figure>. Sim-
ilarly, the <expository syllogisms> are valid in the first figure, since the
third figure comes about <from the first figure> by converting the minor
premiss.
[3.4.30] The rules through which syllogisms hold require that if the
middle term is common, then the extremes are connected with it by
reason of the same thing for which that common term supposits, as
remarked before. When the middle is distributed in neither <premiss>, it
is possible that its connection with the major extreme is true for <the
case of> one thing and its connection with the minor extreme is true <for
the case of> another thing, and so no connection of the extremes to one
270 TREATISE ON CONSEQUENCES
[3.4.32] The reason for this is that one of the rules given above through
which syllogisms hold always applies in such a case. If the middle is
distributed in one of the premisses, then it must be that if the sentence is
true then it is so for all that for which the term supposits. Thus the other
premiss cannot be true unless it is true for something the same as that
for which the <first premiss> is true, and so the extremes are connected
through the middle by reason of something the same for which the
middle supposits. If the middle is distributed in each premiss then the
extremes are connected by reason of everthing which the middle sup-
posits for.
[3.4.33] How and why ampliation is an exception will be dealt with <in
[3.4.54]-[3.4.72], in Theorem II1-9 through Theorem IlI-12>.
[3.4.34] But one must pay close attention to what should be deduced;
thus, in order to draw our attention to this, another theorem follows.
[3.4.36) All the claims <of Theorem III-8> are shown by Theorem 1-10,
for a term can in no way be distributed in the conclusion unless it is
distributed in a premiss. But it can be distributed <in the conclusion> if it
is distributed <in a premiss>, because for which things the extreme is
connected to the middle it can be inferred for those things to be
connected to the other extreme, and for no others.
[3.4.37) It should be noted that these three results, namely Theorem III-
6, Theorem III-7, and Theorem III-8, along with Theorem III-2 make
clear the number of all useful (utile) moods for syllogizing in any of the
three figures, indirectly as well as directly.
[3.4.39) Now for all of those conjugations, in each figure there are four
useless (inutile) moods, namely those which are made up of a pair of
negatives. 20
[3.4.40) Also, in each figure there is a fifth useless mood, namely where
there are two particular affirmatives, for the middle is not distributed in
either premiss. 21
[3.4.42] And there is an eighth useless mood <of the first figure>, where
the major is a particular negative and the minor a particular affirmative,
for the middle is not distributed. 23
[3.4.43] But the other eight moods <of the first figure> are usefu1. 24
[3.4.44] First of all, if the minor is negative and the major affirmative,
there are four useful moods,25 since the middle is distributed in the
minor sentence. But in these four moods if the minor is particular,26
then neither of the extremes is distributed in the premisses. In this case
no conclusion may be inferred, either directly or indirectly, in the com-
mon idiom for negatives, but a negation must be placed after 27 the pre-
dicate in the conclusion. 2H If on the the other hand the minor is
universal,29 then since the minor extreme is distibuted and the major
<extreme> is not, a conclusion may be inferred in the common idiom for
negatives, although indirectly and not directly. And these are thus the
two moods Fapesmoand Frisesomorum. 3o
[3.4.4 7] And so we have eight useful moods, but only six of them are
valid in the common idiom for negatives, namely Barbara and Celarent
III. SYLLOGISMS WITH ASSERTORIC SENTENCES 273
[3.4.49] Now in the second figure nothing follows from purely negative
<premisses> nor from purely affirmative <premisses>, since the middle is
not distributed <in either case>; thus there are eight useless moods. 3H
[3.4.50] The other eight moods <of the second figure> are useful: Cesare
and Camestres, which conclude indirectly as well as directly,3Y and
Festino and Baroeo, which only conclude directly in the agreed-upon
manner of forming a conclusion. 40 Furthermore, if the premisses of
Festino and Baroeo are transposed, there are two other moods which
only conclude indirectly. These may be called Tifesno and Robaeo,41
and are proved by reduction to Festino and Baroeo merely by transpos-
ing the premisses. The two other moods do not conclude in the common
idiom for negatives, and only conclude in the uncommon manner of
speaking, namely when each premiss is particular one is affirmative and
the other negative. 42
[3.4.51] In the third figure, nothing follows from purely negative <pre-
misses> nor from purely particular <premisses>, since the middle is not
distributed <in either case>, and so there are seven useless moods. 43
[3.4.52] The other nine moods are useful for deduction, <and they are>
even in the common idiom for negatives: Darapti, Disamis, and Datisti
274 TREATISE ON CONSEQUENCES
[3.4.53] Now that these matters are settled, note well that I intend to
speak only of moods which support their conclusions in the common
idiom for negatives.
[3.4.55] The reason for <Theorem III-9> is because <using the "what
is ..." locution> prevents the ampliation.
[3.4.56] It is clear that with such a locution the first four moods which
Aristotle gives are perfect, holding evidently and explicitly by the dic-
tum de omni et nullo. The other moods which conclude in the common
idiom for negatives given by Aristotle are reduced to these <first> four
moods in the way he says they are reduced, since Aristotle holds the
conversions to be formal with such a locution. Although
(344) Aristotle is dead; therefore, a dead thing is Aristotle
does not follow, nevertheless
(345) He who is Aristotle is dead; therefore, what is dead was or is
Aristotle
does correctly follow.
[3.4.57] Now all other moods are reduced to the four perfect moods of
the first figure by conversion, except for Baraca and Bacarda. 47 But then
Baroca and all the other moods of the second figure can be reduced and
III. SYLLOGISMS WITH ASSERTORIC SENTENCES 275
proved per impossibile, that is, from the major and the contradictory of
the conclusion the contradictory of the minor can be inferred by the
first figure, and so, by Theorem III-3, they are acceptable syllogisms.
Bocardo and all the other moods of the third figure are also proved in
this way, since from the minor and the contradictory of the conclusion
the contradictory of the major can be inferred <by the first figure>, and
so they are all acceptable <syllogisms>.
[3.4.60] The reason why the indirect universal conclusion is not pre-
vented is because the minor extreme is not ampliated in such a conclu-
sion, and so the only change is from the non-ampliated to the
non-ampliated.
[3.4.61] In order that these matters are clear even to beginning students,
I show that universal conclusions cannot be inferred in Barbara or in
Celarent <as required in Theorem III-I0> by giving counterexamples.
Against Barbara I posit the case that everything which is or will be my
horse is going to go to Rome, and that right now every horse is mine,
276 TREATISE ON CONSEQUENCES
but tomorrow many horses will be born which will neither be mine nor
go to Rome. Then take the following syllogism:
(348) Every horse of mine is going to go to Rome and every horse
is a horse of mine; therefore, every horse is going to go to
Rome
the premisses are true and the conclusion false in the posited case, and
so the syllogism is invalid. Similarly, against Celarent I posit that no
horse of mine will go to Rome, and that every horse is now mine, and
that tomorrow there will be some <horse> which goes to Rome which will
not be mine. Then take the following syllogism:
(349) No horse of mine is going to go to Rome and every horse is a
horse of mine; therefore, no horse is going to go to Rome
[3.4.62] It should also be noted that when the predicate is not amplia-
tive if nevertheless the copula in the major sentence is ampliative, as for
example past-time or future-time, the same result should be given as in
the case of Theorem III-10, since the same arguments apply to each
case.
[3.4.64] <The reason for Theorem III-II is> that the middle is put as the
subject and the extremes are predicated, and the predicate is not ampli-
ated by the subject. Thus the extremes are no more or less ample in the
premisses than in the conclusion. And you should understand Theorem
III-II so that only the middle term is ampliative.
[3.4.66] The reason why it does not prevent the universal negatives is
that the minor extreme is ampliated in the premisses and not ampliated
III. SYLLOGISMS WITH ASSERTORIC SENTENCES 277
[3.4.71] From the last three theorems given the careful reader can see
how syllogisms are prevented or are not prevented if the major extreme
278 TREATISE ON CONSEQUENCES
and the middle are both ampliative terms. If they have the same mode
of ampliation, as for example each to the past or each to the future, then
no syllogism is prevented, for we do not shift from the more to the less
ample but from equally ample to equally ample. If the major extreme
ampliates in a way differnt from the middle, then it prevents what
Theorem Ill-I0 says is prevented by the major extreme. If the middle
ampliates in a way different from the major extreme, then it prevents
what Theorem III-II says is prevented. And if each ampliates in a way
different from the rest, then each are prevented so that there is no
formal consequence (although perhaps a counterexample will not be
immediately obvious for some).
[3.4.72] It should also be noted that the same can be said if there is an
ampliative copula in the minor sentence of the first or second figure, as
for example past-time or future-time, <that is, we can say the same as if>
the middle term were ampliative, for the same arguments apply in each
case.
[3.5.5] Next, it sometimes happens that the nominative and not the obli-
que term is distributed, nor the whole aggregate of nominative and obli-
280 TREATISE ON CONSEQUENCES
[3.5.6] And so if we want to syllogize here by taking what falls under the
distribution of the given sentence, we must take the minor sentence with
an identity-relation added to the term 'of-a-man' so that the middle is
forced to hold for the same in <both> premisses, e.g.
(362) Of-a-man every ass is running, and the ass of-the-bishop is
an ass of-that-man; therefore, the ass of-the-bishop is run-
ning
correctly follows. In this way the rule by which affirmative syllogisms
were said to hold is preserved.
premiss, and I name 'the extremes of a sentence' its subject and predic-
ate.
[3.6.5] And so it is clear that neither the major nor the minor extreme is
the subject or the predicate of the conclusion, but the major extreme is
connected to the minor in the conclusion in the same order as it is con-
nected to the middle in the major sentence.
dicate is distributed then <a sentence taking something falling under the
predicate as its predicate> is not validly <inferred>, except at the same
time for which the distribution is made. Thus these do not follow:
(366) I did not see a running man yesterday, and Socrates is a
running man; therefore I did not see Socrates yesterday
(367) I never struck an old man, and Socrates is an old man; there-
fore, I never struck Socrates
One must rather argue
(366*) I did not see a man running yesterday, and whenever I saw a
man running yesterday Socrates was a man running; there-
fore, I did not see Socrates yesterday
(367*) I never struck an old man, and whenever I struck a man Soc-
rates was an old man; therefore, I never struck Socrates
[3.7.3] Again, as was touched on in [1.6.12], there are some verbs which
go over into their accusative objects,54 which they govern such that the
act indicated by the verbs do not simply go over into the things for
which those objects supposit, but they go over into them by certain me-
diating concepts indicated by those terms suppositing for them.
[3.7.4] Verbs <of the sort described in [3.7.3]> are: 'know; 'understand;
'comprehend; 'opine; 'appear; 'judge; 'see; 'hear; 'imagine,' etc., and
consequently also 'desire; 'will,' 'love; 'want; 'hate; etc., and finally also
'promise; 'sell; 'buy; 'owe; 'give; 'condemn; etc. In like manner, the
participles of or the names derived from these verbs also have this ca-
pacity <described in [3.7.3]> with respect to the accusative objects which
they govern.
[3.7.14] The reason for Theorem III-14 is that if one thing is the same
as another, then anything which has some attribution to the one also has
the attribution to the other. For example, all of these follow:
(376) Every man is running and you see a man; therefore, you see
a runner
(377) Every horse is black and you have a horse in the stable;
therefore, you have <something> black in the stable
(378) Every ass is running and an ass is of-a-man; therefore, <som-
ething> of a man is running
Aristotle syllogizes in this way in the Prior Analytics I [cap.xxxvi 48b22]:
(379) All wisdom is knowledge and wisdom is good; therefore,
<some> knowledge is good
term to stand for the same in the minor and the major by an identity-
relation, then
(381) Every horse is running and you have some one of those
horses; therefore, you have something running
is an acceptable syllogism.
[3.7.18] The reason for this is that many people hold the truth of the
matter to be that the oblique term is the subject and the rest is the pre-
dicate. And even if it is not the case as these people proclaim, neverthe-
less any such sentence is equivalent to another sentence in which the
nominative term is taken in the place of the oblique term, and is the sub-
ject, and the rest is the predicate, in the resolution others have given.
For example, these are equipollent:
(383) Of-a-man the ass is running
(383*) There is a man whose ass is running
and so we may form syllogisms from either equally well. Hence in the
first figure or its likeness, there is a syllogism like this:
(384) Of-any-man the ass is running, and Socrates is a man; there-
fore, the ass of-Socrates is running
III. SYLLOGISMS WITH ASSERTORIC SENTENCES 287
[3.7.221 It should be noted that just as we have in the Latin language (in
nostro idiomate) question with appropriate relative-terms in the catego-
ries of Substance, Quantity, Quality, Time, and Place,57 so perhaps the
Greeks had other categories (which we may impose), and perhaps used
the common question 'how-is-it-relatedT (quomodo aut qualiter se
habet) in them. And 1 don't much care about this, but rather only that if
there are such questions and relative terms corresponding to them ap-
propriate to a category, then Theorem 111-16 will be true for them.
(405) Whatever you bought so you ate, and you bought raw meat;
therefore, you ate raw meat 58
(406) Whatever you know, that I know; and you know matter;
therefore, I know matter
since perhaps it is possible that I know matter and I do not know matter.
[3.7.29J The reason why terms of other categories can be taken under a
term distributive of Substance, and not conversely, is that the relative-
term for <the category of> Substance simply indicates identity, but the
relative-terms of the other categories do not simply indicate identity but
III. SYLLOGISMS WITH ASSERTORIC SENTENCES 291
[3.7.30] Many more things could be said about this particular manner of
syllogizing, some of which I leave to the thoughtful investigations of the
careful reader.60
[3.7.33] The reason for Theorem III-18 is that for whatever a finite
term supposits the infinite term does not supposit, and for whatever the
finite term does not supposit the infinite term does supposit, and con-
versely.62 Hence that by which the finite term and the infinite term are
connected affirmatively should not be called the same, for from the af-
firmatives a negative follows. Also, a negative follows from negatives,
since either of the terms by which the finite term and the infinite term
are connected negatively supposit for something or one of them does
not supposit for anything; if one of them does not supposit for anything,
then it is clear that the conclusion must be negative. If each supposits for
something, though, then it is impossible that the finite term and the infi-
nite term are denied of the same; hence they must supposit for different
things, and so the negative conclusion will still be true.
[3.7.34] Now, for greater clarity, Theorem III-18 is shown <to apply> in
each of the three figures. First of all, I say that this is an acceptable syl-
logism <in the first figure>:63
292 TREATISE ON CONSEQUENCES
[3.7.38] First of all, I say that this is an acceptable syllogism <in the first
figure>:66
(415) No B is A and no C is non-B; therefore, no C is A
from the major and the opposite of the conslusion there follows the op-
posite of the minor, like so:
III. SYLLOGISMS WITH ASSERTORIC SENTENCES 293
[3.7.45) And Theorem III-19(c) is clear, that it does not hold for the
second figure, since every man is an animal and no ass is a non-animal,
but it does not follow that an ass is a man. Still, it holds in the second
figure if the major extreme is changed according to finite and infinite.
BOOK IV
[4.1.2] First of all, remember that some modals are composite and
others divided. l And in all divided <modals> de necessario or de possibili
the subject is ampliated to supposit for those things which can be, unless
ampliation is prevented by the locution "what is ..." added to the sub-
ject. 2 Those in which that given addition is not made are called 'de pos-
sibil!' or 'de necessaria' simply, and those in which the given addition is
made are called 'de possibili-for - those-things-that-are' or 'de neces-
sario <-for-those-things-which-are>.'
[4.1.7] I do not believe that the sentence "A horse is an animal" is ne-
cessary, speaking of a sentence simply necessary, because God could
annihilate all horses at the same time so that no horse would exist, and
thus "A horse is an animal" would be false. Therefore it is not necessary,
though nevertheless such <sentences> can be allowed to be necessary
with a conditional or temporal necessity, in this way: Every man is of
necessity an animal if <at least one man> exists and every man is of ne-
cessity an animal while one exists.
[4.1.12] Then the reason for Theorem IV-1 is that, as said in [3.4.18],
neither of the premisses in a syllogism is the entire antecedent; rather,
the conjunctive sentence made up from the two premisses is the whole
antecedent. Now every conjunctive sentence made up from truths is
true, and every conjunctive sentence made up from necessary <sen-
tences> is necessary, but some conjunctive sentences made up from pos-
sible <sentences> are impossible. For example, this is made up from
possible <sentences>:
(422) Every man runs and some man does not run
and nevertheless (422) is impossible. Therefore, if both premisses are
necessary the whole antecedent is necessary, and the conclusion is
necessary if formed. And so too for the case of truth. But if both pre-
misses are possible, then the whole antecedent need not be possible
because of this; hence it does not follow that the consequent is possible.
For example, this does not follow:
(423) 'Everything running is a horse' is possible (or contingent),
and 'Every man is running' <is possible (or contingent»;
therefore, 'Every man is a horse' is possible (or contingent)
since the premisses are true and the conclusion is false.
[4.2.2] I also only speak here of conclusions which are direct and
formed in the common idiom for negatives, since, by settling the matter
for these, careful readers can easily extend the results to others.
[4.2.4] These claims are clear from the dictum de amni et nul/a, <stated
in Rule 1 and Rule 2 in [3.4.5]-[3.4.7]>, and they are all perfect (or
quasi-perfect) syllogisms. 8 If the major is explicitly expressed by a
disjunction of the verb 'is' with the verb 'can,' then if the minor is de
passibili taken under the distribution of the major <Theorem IV -4> is
clear, and if the minor is de necessaria then the same holds true, since a
sentence de passibili follows from a sentence de necessaria.
[4.2.10] If both premisses are de necessaria, then when the modes are
affirmed "what necessarily is B necessarily is A" follows; hence B is
necessarily A When the modes are denied "what necessarily is B
necessarily is not A" follows; hence B is necessarily not A.
[4.2.13] Again, the whole <of Theorem IV-6> is proved per impossibile,
since from the minor and the opposite of the conclusion the opposite of
the major is deduced by the first figure.
[4.2.14] Since many people say that the subject in these sentences de
possibili or de necessario is restricted to supposit only for those things
which exist, I put forward some theorems about this.
[4.2.21] As for the rest <of Theorem IV-8>, from this conclusion a con-
clusion de possibili follows, since
[4.2.24] The entire <theorem> can be known <to be true> through exposi-
tory syllogisms and <by reduction> per impossibile.
(435) The one creating is necessarily God; therefore the one creat-
ing is God
The same applies if the major is negative de possibili. If the major is res-
tricted by the "what is ..." <locution>, the syllogism is no less evident.
[4.2.29] It is also clear that a universal conclusion does not follow: every
Moon can be the closest planetary body and every planetary body shin-
ing above our hemisphere is the Moon (let us assume); but it does not
follow that every planetary body shining above our hemisphere can
therefore be the closest planet. The conclusion is false, since if it is ana-
lyzed by a disjunction of 'is' with 'can' there is a clear counterexample
<in the case of> the Sun, which can be a planetary body shining above
our hemisphere and cannot be the closest planetary body. One can
similarly object to Celarent by putting in the place of the aforesaid
affirmative major the negative "Every Moon can not be the Sun." The
reason why the universal conclusion does not follow is that the minor
extreme is more ampliated in the conclusion than in the minor sentence,
and from the less ample, however much distributed, to the more amply
distributed is not a valid consequence.
IV. SYLLOGISMS WITH MODAL SENTENCES 305
That is clear for this reason: the sentence "Some B is necessarily not A"
can have three causes of its truth: (i) because 'A' or 'B' do not supposit
for anything, and so the major of (439), stating that every B is A, is false
and so not necessary; (ii) because something is B and this thing is neces-
sarily not A, and so again the major of (439) is false; (ii) because some-
thing can be B although it is not yet B, and that thing is necessarily not
A, assume that it becomes B, which is why it is possible, but is still not
yet A; then the major of (439) is false, and hence it is not necessary,
although it may perhaps be true.
[4.2.37] But that <the syllogism> is always valid under the hypothesis
with the major being assertoric is proved first of all for Cesare and
Festino, for by converting the major they are first figure.
IV. SYLLOGISMS WITH MODAL SENTENCES 307
[4.2.38J Next, all of the moods are proved together per impossibile. 19 In
Cessare and Festino from the minor and the opposite of the conclusion
there not only follows the conclusion "Some B can be A," but also the
conclusion "Something which of necessity is B can be A," which is clear
from an expository syllogism. For example, if the first syllogism is in Ce-
sare "No B is A (this is necessary)," then "and every C can be A; there-
fore, every C can not be B." Then we get a syllogism ad impossibile like
so: "Every C can be A, and some C is necessarily B"; choose the B
which is C, so that we say 'This C can be A and this same C is necessar-
ily B." It clearly follows from this that "Something which is necessarily B
can be A," and this conclusion is incompatible with the necessity of "No
B is A." Similarly, in Camestres and in Baroeo from the minor and the
opposite of the conclusion we draw the conclusion "Something which of
necessity is B can not be A," which is incompatible with the necessity of
"Every B is A" - form the syllogisms for yourself.
[Theorem IV-I3J In the third figure, (a) with the mode af-
firmed there is a valid syllogism with a mixture of assertoric
and de possibili <premisses> to a conclusion de possibili, if the
premiss de possibili is universal (otherwise it is not formally
valid);20 and (b) with the mode denied there is a valid syllog-
ism if the major is universal de possibili, and otherwise not. 21
308 TREATISE ON CONSEQUENCES
[4.2.41] Theorem IV -13 is firstly proved for the useful moods: if the
major is universal de possibili, as in Darapti and Fe/apton and Datisi and
Ferison, it is immediately clear by conversion of the minor to the first
figure. Next, with the mode affirmed, if the minor is universal de pos-
sibili, as in Darapti and Disamis, then we get the first figure with a major
de possibili by converting the major and the conclusion, and transposing
the premisses. And so it is clear that all these moods are valid in this
way.
[4.2.42] Theorem IV-13 is proved for the useless moods: if the de pos-
sib iii premiss is particular, then with the mode affirmed there is a coun-
terexample in the terms 'Sun: 'Moon,' and 'planetary body shining
above our hemisphere,' where the major extreme is 'Sun' and the minor
extreme is 'Moon,' with 'planetary body shining above our hemisphere'
as the middle. In every combination of premisses a case can be posited
where the premisses are true and the conclusion is false. Similarly, with
the mode denied, if the de possibili premiss is particular, then there is a
counterexample in these terms: 'Sun: 'brightest planetary body,' and
'planetary body shining above our hemisphere,' where the latter is the
middle.
[4.2.43] Next we show that the denied modes are not valid if the minor
is de possibili, even if it is universal, since nothing creating is God (let us
assume), and everything creating can be the first cause. Then it does not
follow that therefore the first cause can not be God.
[4.2.451 Theorem IV-14 is clear for the moods which in Theorem IV-13
were found to be valid without the hypothesis; adding the hypothesis
does not prevent <Theorem IV-13>. But Felapton and Datisi and Fer-
ison, if they have a minor de possibili, are reduced to the first figure by
converting the minor. And in the first figure, the conclusion de possibili
follows from the given hypothesis. Similarly, Disamis with a major de
IV. SYLLOGISMS WITH MODAL SENTENCES 309
passibili is reduced to the first figure by converting the major and the
conclusion, and transposing the premisses.
the closest planetary body; but it does not follow that the Moon is not
something shining, since the conclusion is false and the premisses are
true. Even if the Moon were not to shine, nevertheless "Something
shining is of necessity the Moon" <is false>, since something which can be
shining is of necessity the Moon or the closest planetary body.
[4.2.56] Theorem IV-17(a) says that Cesare and Festina are valid with a
conclusion de necessaria which is not universal. The reason for this is
that by converting the major of Cesare we immediately get Ceiarent, and
by converting the major of Festina we get Feria. Hence Theorem IV-17
is proved <in these cases> just as Theorem IV -16 was proved for Cela-
rent and Feria.
[4.2.59] Moreover, it is clear that the given moods are valid with an as-
sertoric conclusion, because from a sentence de necessaria there always
follows an assertoric <sentence>, except for the case in which there is
312 TREATISE ON CONSEQUENCES
verification only for those things which can exist; but this case does not
prevent the truth of a negative assertoric conclusion.
[4.2.61] Theorem IV-18(a) is clear for all the moods through expository
syllogisms, that is, <it is clear fop Darapti, Fe/apton, Datisi, and Ferison.
It can also be proved per impossibile, since the opposite of the major is
inferred from the minor and the opposite of the conclusion (by Theo-
rem IV-IO).
[4.2.62] <Theorem IV-18(b», that <the syllogism> with the major being
assertoric to the conclusion de necessario is not valid is clear, first of all,
for those with the modes affirmed: any God is creating (let us assume),
and any God necessarily is the first cause; but it does not follow that the
first cause is necessarily creating. Nevertheless, an indirect conclusion
de necessario can be deduced, since when the premisses are transposed
the major is de necessario and the conclusion is direct.
[4.2.63] It is similarly clear for those with the modes denied: no God is
creating (let us assume), and any God of necessity is the first cause; but
it does not follow that the first cause is necessarily not creating.
[4.2.67] Theorem IV-19 is proved for the first figure: if the major is de
necessario and the minor is assertoric, then a conclusion de necessario
follows without the hypothesis (by Theorem IV-16). The hypothesis
does not prevent the given consequence, but rather supports it. It also
holds for universal modes, since it makes it that a universal conclusion
de necessario follows, which would only follow as a particular without
the hypothesis. For example, if every B is of necessity A, and every C is
B (this is necessary), then it follows that every C is of necessity A, since
from the major and the opposite of the conclusion there follows the op-
posite of the hypothesis, like so: since every B is of necessity A, and
some C can not be A, then it follows (by Theorem IV-5) that therefore
some C is necessarily not B, and this is incompatible with the necessity
of the minor of the first, asserting that every C is B. Similarly in Celar-
ent
(448) Every B necessarily is not A, and every C is B [this is neces-
sary]; therefore, every C is necessarily not A
314 TREATISE ON CONSEQUENCES
Now (448) follows, since from the major and the opposite of the conclu-
sion there follows, as before, the <conclusion that> some C is necessarily
notB.
[4.2.69] Next, we prove Theorem IV-19 for the second figure. First, if
the major is de necessario and the minor is assertoric, then since Cesare
and Festino are reduced to the first figure by converting the major, <The-
orem IV-19 holds>. Moreover, the universal negative de necessario
converts simply.
[4.2.70] But all four moods <of the second figure> can be proved to-
gether per impossibi/e, for from the major and the opposite of the con-
clusion there always follows a conclusion which is incompatible with the
necessity of the minor.
the opposite of the conclusion there follows (in the third figure) a con-
clusion which is incompatible with the necessity of the major.
quality of the dictum, but never in the opposite quality of the mode, so
that an affirmative is equivalent to a negative and a negative <is equiva-
lent to> an affirmative.
[4.3.3] It should also be recalled that some divided contingents have the
mode affirmed and others have the mode denied, just as with other
modals.
[4.3.6] Next, with the mode affirmed, from every sentence de necessaria,
whether affirmative or negative, there follows a contingent sentence with
IV. SYLLOGISMS WITH MODAL SENTENCES 317
the mode denied. From "B necessarily is A" or "B necessarily is not A"
there follows "B is not contingently A" and "B is not contingently not
A." Whence "No B is contingently A" is equivalent to "Every B neces-
sarily is A or necessarily is not A."
[4.3.15] Theorem IV-23 is clear with respect to the first figure by the
dictum de omni et nul/o, as was clear in Theorem IV-4. 32
[4.3.16] <Theorem IV-23> can be clarified for the third figure by exposi-
tory syllogisms and <reduction> per impossibile, as was clear in Theorem
IV-6. 33
[4.3.24] Theorem IV-26 is clear, first of all, for the first figure: although
anything creating is God and can be God and is of necessity God, and
any first cause contingently creates, nevertheless it is not true that the
first cause is contingently God.
[4.4.2J It should be noted that there are four principal elements in a re-
duplicative sentence: (i) the principal subject; (ii) the principal predicate;
(iii) the reduplicated term; (iv) the reduplication. For example, in
(453) Man is sensible qua animal
'man' is the principal subject, 'sensible' is the principal predicate, 'ani-
mal' is the reduplicated term, and the word 'qua' is the reduplication.
IV. SYLLOGISMS WITH MODAL SENTENCES 321
[4.4.6] But even with these matters noted, there is a doubt whether the
reduplicated term in reduplicative <sentences> is taken on the side of the
subject, so that it is a part of the total subject, or on the side of the pre-
dicate, so that it is a part of the total predicate. It is also not clear how
<reduplicative sentences> convert.
that if it were part of the subject in the major sentence, then it would be
part of the syllogistic middle, and then it would not appear in the con-
clusion. Hence the natural order ought to be "Man is risible qua man." If
we sometimes say "Man qua man is risible" then this should be under-
stood as if the order of the terms were otherwise <namely, as in the pre-
ceding sentence). In this case, 'man' is the subject and 'risible qua man' is
the predicate, notwithstanding that as propounded 'qua man' is put
before the copula.
[4.4.8] Hence the sentence "Man qua man is risible" is not converted as
'The risible is man qua man," for this is improper (as was said), or even
false and unintelligible, as Aristotle says in Prior Analytics I [cap.xxxvii
49a22]. It should rather be converted as "What is risible qua man is
man." Similarly, "Socrates is sensible qua animal" should be converted
as "Something which is sensible qua animal is Socrates."
[4.4.10] That the third figure is valid with the major being reduplicative
can be shown by expository syllogisms and per impossibile.
[4.4.11] Yet it is clear that the first figure is not valid for a reduplicative
conclusion if the major is not reduplicative, for there should be no redu-
plication in the conclusion unless it is found in one of the premisses, and
if it is found in the minor premiss, where the middle is predicated, then
<the reduplication) is part of the middle, and so is not found in the con-
clusion; hence a conclusion with reduplication should never be deduced
in this case.
[4.4.12] The same is clear for the third figure: if the conclusion is redu-
plicative, then the reduplication should be a part of the predicate, as was
said, and the predicate is the major extreme if the conclusion is direct;
hence the major must be reduplicative. If however we want an indirect
IV. SYLLOGISMS WITH MODAL SENTENCES 323
[4.4.131 It is clear that the second figure is not valid for a reduplicative
conclusion: (i) because it does not conclude affirmatively; (ii) because
whichever premiss is put as reduplicative, the reduplication is a part of
the middle, in that in each <premiss> the middle is predicated, and hence
there should never be a reduplication in the conclusion for this reason.
[4.4.141 Nevertheless, it should be noted that every figure and mood in-
ferring a negative assertoric <conclusion> without reduplication can from
the same premisses infer a negative <conclusion> with reduplication. This
is because a negative with reduplication follows from an assertoric nega-
tive without reduplication; for example, these follow:
(456) B is not A; therefore, B is not A qua C
(457) No stone is risible; therefore, no stone is risible qua man
NOTES
NOTES TO BURIDAN'S PHILOSOPHY OF LOGIC
I Unless one identifies Plato as Buridan's Ass: "He [Plato] said that if I am indifferent
and able to go to the left or right, for whatever reason I go to the right by the same rea-
son I go to the left, and conversely; therefore, either I go to each <direction>, which is
impossible, or I go to neither until another determining sufficient cause comes along ..."
(Quaestiones in Metaphysicen Aristotelis [hereafter QM], Paris 1518 [the publication
year is listed as 1588 on the title page, which is incorrect], reprinted by Minerva
G.M.B.H. Frankfurt-am-Main 1964, Book VI q.5, ff.35vb-36ra).
2 The classic biographical work is Edmond Faral [1949], the source of the factual
knowledge of Buridan's life described in the succeeding paragraphs.
3 The edition of Peter of Spain I have used to check against Buridan's text of TS - the
points of comparison are virtually nonexistent - is De Rijk [1972].
4 There is a modem edition of this work (although not a genuinely critical edition) by
T. K. Scott, "Johannes Buridanus: Sophismata," in Grammatica Speculativa Vol. I,
Stuttgart-Bad Cannstatt: Fromann-Holzboog 1977. An English translation is available
in Scott [1966]. The last chapter, Sophismata VIII, has been newly edited and translated
by G. E. Hughes [1982]. Buridan's references to the Sophismata in TS are not consist-
ent: they are future and past, frequently within a short compass - see e.g. TS 3.7.16
(past) and 3.7.23 (future).
5 Faral [1949] p. 496 lists several lost works of Buridan which probably dealt with
logic: De syl/ogismis, De relationibus, and works pertaining to metaphysics as well as
logic.
6 I have not translated Aristotle's original Greek, but rather the Latin version given by
Boethius in Minio-Paluello [1965]; Boethius conflates certain distinctions present in the
original text: see Norman Kretzmann [1974].
7 This suggestive analogy is made by Calvin Normore [1976] p. 13.
8 Note that this formulation does not necessarily involve denying the existence of
objects not in space and time, or immaterial objects - God is an example; nor does it
require the denial of possibilia or future objects. What it does entail is that any such
objects must be particulars.
9 This useful term was coined by Hughes [1982] p. 5; we shall use it to refer to ex-
pressions which are sufficiently similar in relevant respects, although distinct by other
criteria.
10 In the rest of Section 3.2 I shall, for simplicity's sake, only discuss inscriptions; the
same points can and should be made for utterances and individual acts of thought.
II See TC 1.3.8 and TS 1.8.72, in which Buridan states how his logical laws apply to the
but it holds generally for fourteenth-century logicians. Trentman does not consider
[1]-[5], but they seem the necessary requirements for a language to be counted as 'ideal.'
327
328 BURIDAN'S PHILOSOPHY OF LOGIC
lion by using Simba as a paradigmatic instance while you use Leo as a paradigm. But
that is a difference which depends on you and I having different concepts, whereas the
question we are faced with is about whether a single person can have two such concepts
internally different. The claim that a single individual cannot form two different con-
cepts by choosing two different paradigmatic instances - which he perhaps does not
realize are of the same kind - is a substantive thesis, endorsed by Buridan, in the
philosophy of mind, and relies on a theory of concept-acquisition.
17 Buridan explicitly states these principles in the Summulae de dialectica l.iii.2: "A
Mental sentence consists in the complexion of concepts, hence presupposing simple
concepts in the mind and superadding a complexive concept by which the intellect
affirms or denies one of the concepts of the remainder ... that compJexive concept is
called the copula of the Mental sentence. And so it is clear how the subject and the
predicate of a Spoken sentence immediately signify the Mental subject and predicate,
while this copula 'is' signifies an affirmative complexive concept and the copula 'is not'
signifies a negative complexive concept." This text is edited by Jan Pinborg in Pinborg
(1976]p.87.
IH I have translated Buridan's examples so that these rules apply directly to the trans-
lated version; there are some awkward results, such as "Some B A not is" rendering the
uncommon idiom for negatives described in TC \.8.70, or the rules describing confused
supposition; I beg the reader's indulgence.
IY The argument is alluded to in OM VII q.21 fol.54vb, but the best presentation is
given in his Quaestiones subtilissimae super octo Physicorum libros Aristotelis (hereafter
OSP), Paris 1509, reprinted as Johannes Buridanus: Kommentar Zur Aristotelischen
Physik, Minerva G.M.B.H. Frankfurt-am-Main 1964, Book I q.4 fol.5ra.
20 Obviously, the relevant form of simplicity in question is something like logical sim-
plicity; the concept 'man' is not simple in regard to containing distinguishable physical
parts (legs and arms, for example). Roughly, we may regard all terms appearing on each
category-tree as prima facie candidates for simple concepts. Exactly what makes such a
simple concept "simple" is a very difficult question; we shall have something to say
about this matter below.
21 For example, OM VII q.5 fol.44va: "Some definitions are simply quidditative, which
NOTES 329
precisely indicate what <a thing> is, such that they do not indicate that of which it is or
that from which it is ... There are other definitions expressing the quid nominis, indeed,
often some name involves (imp/ieat) exceedingly many diverse concepts of diverse
things, and a definition expressing the quid nominis ought to designate those diverse
concepts explicitly. Such definitions are fitting for substantial as well as accidental
terms."
22 The distinctions absolute/non-absolute and non-appellative/appellative are often
identified, but this is a substantive semantic thesis and is open to question: in TS 1.4.8
Buridan says that 'white' is appellative, and in TS 2.4.5 he explicitly says that 'white'
corresponds to a simple concept. Therefore some appellative terms are absolute.
23 See TS 1.4.1,5.1.1,5.2.5; Sophismata I Theorem 6. Modern scholars often state the
Remainder Principle as a biconditional, but Buridan neve;. states it in this way - nor
should he, since he countenances 'non-external' appellation (discussed below).
24 Rule App-6 in TS 5.4.1 and the discussion in 5.4.4-5.4.7; such terms, like attribu-
tive adjectives, also appellate in combination with a term in the nominative case (TS
1.4.4-5).
25 Nonsubstantial abstract terms are more difficult; they need not have appellation, and
are categorized by reduction (OM IV q.6 foI.17va).
26Buridan's usage is not regular; sometimes he characterizes terms as connotative,
particularly in his commentaries on Aristotle, and sometimes he calls such indirect signi-
fication appellation, particularly in his independent logical works. This looseness is not
vague; his intention is usually clear in context.
27 There is a problem here: we might take 'rational animal' to be the real definition of
'man,' and hence to correspond to a simple concept. But in OM VII q.21 fol.54vb
Buridan says that definitions by genus and differentia are nominal, not real. There are
two reasons for rejecting this claim: (i) if definition by genus and differentia is not 'real:
then we have no example of real definitions, and indeed may lose our intuitive grasp on
this notion altoghether; (ii) 'man' cannot be synonymous with 'rational animal' by the
Additive Principle.
2H See Calvin Normore [1984J who discusses this text and the metaphysical problems in
detail.
29 The qualification 'apt to' is necessary, because (i)-(iii) may fail in actual practice: the
term may fail to refer; what is connoted may not exist; what is connoted may fail to
inhere, i.e. the disposition be destroyed (OM IV q.9 fol.19ra; TS 5.2.6). This last case is
theologically crucial, since it describes the Eucharist, in which the qualities of the bread
remain without inhering in a subject. In each of these cases the truth-value of the
sentence containing the term is affected.
30 The semantic version of this principle is that 'F-ness' is not synonymous with 'what it
is to be F,' which Buridan defends in OM IV q.6 fol.30vb.
31 By "intentional verbs" I mean verbs which are (i) cognitive or epistemic, such as
'know,' 'understand,' 'believe,' and the like; (ii) verbs of desire, such as 'want,' 'intend'
'hope,' and the like; (iii) promissory-verbs, such as 'owe' or 'promise' and the like. The
fullest list, though Buridan acknowledges its incompleteness, is found in TC 3.4.7; their
characteristics are discussed in Sophismata IV sophisms 7-15, TS 3.8.24-31 and
5.3.1-8, TC 1.6.12-16 and 3.7.3-10, OM IV q.8 fol.19ra and q.14 fol.23va, OSP II
q.12 fol.38va.
32 This is Buridan's grammatical way of drawing scope distinctions: a term appears a
330 BURIDAN'S PHILOSOPHY OF LOGIC
parte post and so in the scopc of the verb, or a parte priori and so outside the scope of
the verb,
JJ Strictly speaking it is incorrect to call these 'opaque' and 'transparent,' for they are
not alternative ways of reading one and the same sentence but rather Buridan's way of
regimenting the difference between the logical form of two different sentences; I shall
use these terms as convenient abbreviations for distinguishing the two classes of
sentences, which should not occasion any confusion.
J4 Note that Buridan is careful only to state the Converse-Entailment Principle for scire:
it clearly fails for most intentional verbs, which allow for intentional inexistence.
J5 Which is exactly what Geach [19721 p.134 calls it.
Jo By the Square of Opposition, negative sentences with empty subject-terms are
automatically true. Hence 'The present King of France is bald" is false, and "Pegasus is
not a winged horse" is true.
J7 Buridan will speak loosely about the 'sentences' which make up a consequence, but
this is a permissible looseness, not a deviation from his doctrine. It is therefore in-
correct, strictly speaking, to represent Buridan's logic by means of the propositional
calculus; it is equally incorrect to metalinguistically quote sentential letters. But as
Buridan often speaks loosely, relying on his general rule that terms have the same
semantic role in equiform sentences (TC 3.7.41), I shall occasionally use such quasi-
technical devices in my exposition.
JK This method for interpreting universal and existential sentences so that existential
import is validated I take from Belnap 119731; it works because 'each' presupposes the
existential import of the subject-term - see TS 3.7.l9 and the discussion of anaphoric
reference in Section 6.4 .
.N Buridan admits a class of sentences which he first calls "quasi-hypothetical," but
immediately says that such sentences are in fact hypothetical, and they are only so-called
because they are very similar to certain categorical sentences (TC 3.7.20).
411 Buridan actually suggests such frames in several places: TC 1.8.62, 2.6.34, 3.4.59, for
example.
41 This may be the key intuition behind the mediaeval view that quantity is irrelevant to
ontological commitment, but quality is not. See Section 6.9 below.
4, Strictly speaking this definition is too loose, for the dictum of "It is possible that a
man is running" is "that a man is running," and so includes an occurrence of the copula
'is.' Buridan's intention is nonetheless clear: the dictum includes only non-primary
occurrences of logical particles. It is less clear how to explain 'non-primary' in a non-
trivial fashion; this is precisely Frege's distinction between 'force' and 'assertion.'
4J In Latin this may be either a subordinate clause introduced by quod or an accusative-
infinitive construction, neither of which is grammatically a sentence.
44 See A. N. Prior 119761 for an excellent and pioneering discussion of the distinction
between the possible and the possibly-true.
45 See OM VI q.! 0 fol.40rb: "It should be known that a conjunctive (sentence> requires
for its truth that any of its categoricals are true, and it suffices for its falsity that one is
false. Conversely for disjunctives: their falsity requires that each part is false and it
suffices for their truth that either part is true."
40 There may be as many conjunctions or disjunctions in a conjunctive or disjunctive
sentence as one likes; they may even be related by DeMorgan's Laws, Because of
associativity, we may treat them as pairwise sentence-functors without loss of generality.
NOTES 331
cides with the complete signification of the term, to its full or 'natural' extent.
64 John Buridan, Quaestiones in decem libros Ethicorum Aristotelis ad Nicomachllm
(hereafter Q NE), Oxford 1637.
6, In QNE VI q.6 p.501 he says "This sentence 'Man is an animal' or 'Every man is an
animal' is about all 'men> through natural supposition: of whatever and whenever it is
true to say 'man' then it is true to say 'animal,' and so 'Thunder is a sound in the clouds'
is true, by referring singulars to singulars." I take this to be equivalent to the reconstruc-
tion proposed above, and T K. Scott 119651 to be in error when he suggests that such
sentences are disguised conditional statements. They are not, but rather complex
categoricals, as Buridan says.
66 There is a further problem here: such a sentence may have truth-at-all-times, but that
might not seem enough to capture the necessity involved in knowledge and science: do
we not need to require that every possible instance of thunder is equally a sound in the
clouds? Buridan does not mention this. On his behalf we might suggest either (i) natural
supposition includes ampliation to possibles; (ii) there are no never-actual possibles -
but each suggestion obviously has further problems.
67 In Geach 11962J pp. 6-7 the problem is discussed at some length; I can only treat it
briefly here.
6R It is only fair to point out that existential quantification may be in no better shape:
the variables bound by a quantifier range over the entire domain, so that universal and
existential quantifiers equally 'refer' to the entire domain. The mediaeval and modern
cases only appear different; the modern case seems simpler because the work of fixing
the reference of a term is embodied in the interpretation-function, after which determin-
ing truth-value is simple. As we shall see, this is but to embrace one possible solution.
Mediaeval logic will take another path.
69 This is Geach's central claim, and he argues against the Doctrine of Distribution by
means of such puzzles. But Geach is more abusive than conclusive; his objections, as I
shall argue, are ill-founded.
70 This distinction was first noted by Keith Donnellan 119661, who only applied it to de-
NOTES 333
finite descriptions; he was able to do so in virtue of the fact that definite descriptions are
disguised existential quantification - which have an attributive and a referential use.
71 Strictly speaking, this is not true; the same term may appear several times with a sent-
ence. Coreferentiality in such cases is established (or not) anaphorically, by relative sup-
position.
72 Buridan uses these terms only rarely, as in TS 2.6.75-76 and 3.8.22-23, but does
frequently talk about 'descending' from a general sentence to a string of less general
sentences. Despite the fact that it was a standard part of supposition-theory, though,
Buridan does not give any systematic or theoretical account of the doctrine.
73 Buridan argues for this point in TC 2.4.1-7. The nonequivalence mentioned is
established for tensed sentences and for modal sentences. Buridan's argument proceeds
as follows: consider the sentence (S*) "What is B can not-be A or what can be B can
not-be A" - an equivalence Buridan will deny. He argues that when there are no actual
B, the first disjunct of (S*), 'what is B can not-be A,' will be true, since it is a negative
sentence with an empty subject-term. (Equally "unicorns do not have wings" is true for
the same reason.) Since one of the disjuncts of (S*) is true, (S*) is true. Buridan now
claims that (S), however, may be false while (S*) is true, clearly showing the nonequival-
ence of (S) and (S*). He suggests that (S) would be false for the case of a possible (but
non-actual) B which must be A, that is, cannot not-be A. Since (S) ampliates its subject
to stand for possibles, (S) would be false. A simple example will help: suppose that God
destroys the human race, and consider the sentence (S) "A man can not-be rational."
The proposed equivalent (S*) "What is a man can not-be rational or what can be a man
can not-be rational" will be true, since its first disjunct is a negative sentence with an
empty subject-term. But it is part of the nature of man to be rational; it is part of the hu-
man essence. Thus any possible man must be rational, that is, cannot not-be rational,
and so (S) is false while (S*) is true. Buridan opts for understanding (S) by the equival-
ence (S**) "What is or can be B can not-be A," whose truth-conditions are the same as
for (S).
74 Consequences, and hypothetical sentences generally, are assessed for truth-value
with each of their constituent parts relativized to the same temporal interval.
75 Quality is not completely irrelevant for contemporary philosophers; there is no onto-
logical commitment if a negation precedes the existentially-quantified sentence on the
modern view. But "Some unicorns do not have horns" would be represented as (3x) (UX
& - Hx), which does commit one to the existence of unicorns.
76 It makes no difference whether the reference to possible worlds is included in the
sentence (e.g. as an operator) or is part of the semantic apparatus, included in the inter-
pretation function assigning truth-values to sentences; the net result is the same - an
assertoric sentence true in an expanded ontology.
77 I borrow this name from Hughes [1982[ p. 22.
78 Things were not always so: the twelfth-century philosopher and logician Peter
Abailard clearly distinguishes arguments and conditionals, and even argues for a Princi-
ple of Conditionalization and Deconditionalization - a mediaeval "deduction theorem."
But Abailard's work seems to have been completely lost to the fourteenth century, for
unknown reasons. The unpublished studies of Christopher Martin on Abailard and
Boethius on conditionals are invaluable.
79 The problem is exacerbated if Spoken language is taken as primary, for the distinc-
334 BURIDAN'S PHILOSOPHY OF LOGIC
tion is usually not drawn verbally; if drawn at all, it typically relies on non-verbal cues.
Buridan mentions such cues in TS 2.6.79 when distinguishing composite and divided
senses.
xo While the theory of consequences explores some principles about commitment, the
theory of obligationes explores in greater detail which inferential connections obtain
when the sense of a term or a sentence is altered, all else remaining the same - this is
the form known as institutio. See Spade and Stump [1982] for a discussion of obliga-
tiones.
XI Buridan will occasionally call a grammatically consequential sentence a "consequ-
ence," even if it fails to satisfy his complex conditions, but this is no more than a mere
abbreviation, a harmless way of talking e1iminable upon request. I shall also indulge in
this looseness when there is no danger of being misunderstood.
X2 Buridan is careful to argue that the supposition and appellation of terms in the prota-
sis or apodosis is the same as their supposition in the equiform sentences p* and q* (TS
3.7.41). But note that the definition is not stated by talking about the truth of p* and q*;
this is due to complications which arise from taking Liar-sentences into account: what a
sentence signifies to be is the case is a necessary, but not a sufficient, condition for the
truth of the sentence.
XJ In a few places Buridan says "consequentia valet," which I have translated as ·valid.'
the result is equipollent. E-form and I-form sentences convert simply, e.g. "No S is P"
and "No P is S" are equipollent. Conversions are accidental when the subject-term and
the predicate-term are reversed and the quantity is changed; the result is not equipollent.
Thus an A-form is converted accidentally to an I-form, such as "Every S is P" to "Some
P is S," and an E-form is converted accidentally to an O-form, such as "No S is P" to
"Some P is not S."
H6 The technical names for these conversions are as follows. First, if the subject-term
and predicate-term are not reversed, then (i) if the predicate-term is changed according
to finite and infinite the result is called obversion; (ii) if the subject-term is changed
according to finite and infinite the result is called partial inversion; (iii) if both subject-
term and predicate-term are changed according to finite and infinite the result is called
full inversion. Second, if the subject-term and the predicate-term are reversed, (i) the
obversion of the resulting sentence is called obverted conversion; (ii) the partial inver-
sion of the resulting sentence is called partial contraposition; (iii) the full inversion of the
resulting sentence is called full contraposition. (Do not confuse the latter case with
'contraposition' as applied to consequences themselves.)
X7 The equipollence of necessity and possibility requires divided modals de necessario
to ampliate their subject-terms to stand for possibles, as Buridan points out in Theorem
11-2; this in turn supports his remark in TC 2.6.22 that a de possibili divided modal
follows from a de necessario divided modal, but not conversely.
xx Note that this principle requires strong accessibility among possible worlds: only in
S5, in which every possible world is accessible from every other possible world, is a
claim like this acceptable.
NOTES 335
89 See the discussion of various definitions of the fourth figure and the related con-
troversies in Nicholas Rescher [1966[ Chapter II.
9() Two terms are used collectively if a sentence in which they are the conjoint subject
does not entail the conjunctive sentence in which each conjunct has only one of the
terms as the subject. See further Buridan's discussion of collective terms in TS 3.2.3.
91 We have seen Buridan make the same point in the material mode, for example when
he says that an affirmative sentence "indicates" that its terms supposit for the same
thing(s), as determined by the correspondence truth-conditions listed in Section 6.9.
92 Classically, a syllogism is acceptable if and only if (i) the middle term is distributed
exactly once; (ii) an extreme term is distributed at most once; (iii) if the conclusion is
negative exactly one premiss is negative; (iv) if the conclusion is affirmative neither
premiss is negative.
9.1 The traditional name for each mood indicates the method of reduction in the follow-
ing way: (i) the initial letter of the name indicates which of the four basic first-figure
syllogisms it is reduced to; (ii) the first three vowels characterize the quantity and quality
of each premiss (and all other vowels are ignored); (iii) the letter's' following a vowel
indicates that the premiss characterized by the vowel is to be converted simply, that is,
the terms transposed; (iv) the letter 'p' following a vowel indicates that the premiss
characterized by the vowel is to be converted per accidens, that is, the terms transposed
in the subalternate; (v) the letter 'm' indicates that the premisses are to be transposed;
(vi) the letter 'c' indicates that the reduction is a reductio ad absurdum. For example,
take Camestres, of the second figure. The vowels indicate that the form is "All P is M,
and no S is M; therefore, no S is P." To reduce Camestres we apply (iii) to the minor
and to the conclusion, and by (v) we transpose the premisses, giving us "No M is S, and
all P is M; therefore, no P is S" - a syllogism in Celarent.
94 Buridan discusses the perfection of the assertoric syllogism in TC 3.4.56-57 (with
an aside on ampliation and the 'what is .. .' locution in 3.4.56), the oblique syllogism in
TC 3.7.9, syllogisms including identificatory relative-terms in TC 3.7.23, and the
divided modal syllogism in TC 4.2.4 and 4.2.28.
95 For the sake of convenience, examples of each kind of syllogism Buridan finds
acceptable are given in the notes to each theorem. Some difficulties are also noted.
96 'Useful' is a predicate of a figured conjugation, indicating that a conclusion can
be added to produce a syllogistic consequence; a figured conjugation is in fact what
Aristotle called a "syllogism" (TC 3.4.48). When a conclusion is so added the resulting
syllogism is called a mood.
97 Such syllogisms have four terms rather than three, but Buridan's extended definitions
of syllogistic extremes and middle permit this case.
98 Note that some of these variation syllogisms only have conclusions which are not in
the common idiom for negatives, namely l-AA, I-IE, 1-10, 1-00, 2-II, 2-00, 3-II,
3-JE, 3-10, 3-01.
99 The correspondence is not exact, since the various modal systems are usually distin-
guished by two-way iterations, not the one-way iterations we have derived from modal
syllogistic. Later mediaeval logicians, such as Strode, will argue over two-way iterations
explicitly, but Buridan does not.
100 It is so replaced according to Theorem IV-6, applied to (9) in the third figure with a
direct conclusion.
NOTES TO TREATISE ON SUPPOSITION
I See 11.2.5J: naturally significant utterances are, for example, cries of pain or inter-
jections.
2 'Ad placitum' technically means at (one's) pleasure, without reference to a linguistic
community, and so the translation 'by convention' is inaccurate; but in his Quaestiones
super Perihermenias q.3 Buridan writes: "But if you were to ask about utterances with
are nouns and verbs ad placitum, whether they are at my pleasure or yours (ad placitum
meum vel tuum), <I say' that some nouns and verbs signify the same in the same way to a
single large community: Latin utterances to all Latins and French utterances to all
French. It is not in my power or in yours to give or to change this common signification
of these" (MS Leipzig 1372 fol.50rb, from the Latin text edited by Jan Pinborg in
Pinborg 11976J p. 89). See further [1.2.4J.
] Here Buridan is criticizing Peter of Spain's arrangement of his chapters; Peter has his
treatise on supposition after his treatise on the syllogism, which Buridan finds irrational.
4 Etymologically 'supposition' derives from sub-ponere, "standing under," which was
7 In [1.2.3J-I1.2.4J Buridan asks whether the concept of the one speaking or the one
hearing determines the signification of an utterance; his answer is that in most cases
these coincide and deviant cases need not be explained by his theory: an utterance
"gives rise to a concept," i.e. has causal force, only through habit, which would not have
been established if the attempts at communication had not generally been successful in
the past. This is a causal theory, not an ideal-case analysis, which would hardly fit
Buridan's nominalism. The emphasis on communication should not be overemphasized,
though; Mental is a private language. In [1.2.4J Buridan lists several impediments to his
theory, namely when words are not being used for communication, such as singing in the
shower for the pleasure of hearing one's voice.
H By this last sentence I take Buridan to say that the sentence "The term 'bu' is running"
is grammatically well-formed, that is, the sentence" 'Bu' is running" is an oratio congrua,
although nonsense.
9 That is, personal supposition, where a term is taken to stand for (at least some of) the
things it signifies.
10 This does not mean a term in the category of Relation, but a term which is a gram-
matical relative, such as a pronoun: see TC Chapter IV for Buridan's analysis of such
relative-terms.
336
NOTES 337
II Strictly this "new criterion" is inadequate to account for personal supposition; a term
may personally supposit for past or future items currently nonexistent, as well as for
merely possible items - see the Introduction, Section 6.
12 Buridan uses 'verification' to refer to the causes of the truth or falsity of a given
subject, the copula, and the predicate; see the Introduction, Section 5.2.
15 This is a version of the Remainder Principle; several points about appellation are
discussed in Section 4.2 of the Introduction.
16 Buridan is here speaking of personal supposition, and his point is that terms not in
the nominative case fail the test for personal supposition laid down in [1.2.91; oblique
terms are treated at length in Rule Sup-3 of [2.6.11 in the discussion [2.6.51-[2.6.481; see
also TC 1.8.92.
17 Buridan's point is that 'rational' is part of the essence of man, and so nothing 'exter-
nal' to man is involved in the expression 'rational animal'; there is no connotation of a
. distinct disposition. See the discussion of this point in Section 4.2 of the Introduction.
18 The phase 'taken per se' indicates that the expression is in personal supposition and
not material supposition, i.e. is taken significatively and not mateially, with the significa-
tion conventionally given to it: see [2.2.4[.
19 Buridan's discussion is as follows: in 12.2.5[ he explains why albus and niger cannot
3.5.2.
21 Reading substantivo, which is clearly required by the context, rather than Reina's
adiectiva possunt apponi ad designandum quid subiaceat substantiae vel subiecto ...
22 The pattern of Buridan's aregument is as follows: in 12.2.61-[2.2.7] he argues that
negative signs of quantity imply negations, and if the copula is within their scope the
implied negation affects the copula; the negative sign should thus be taken as part of the
copula. If the copula is not within their scope they act as infinitizing negations and not as
signs of quantity at all. In [2.2.81-[2.2.15] Buridan examines affirmative signs of
quantity, [2.2.81-[2.2.91 dealing with affirmative distributive signs (universal quantifiers)
and [2.2.10)-[2.2.14) with affirmative particular signs (existential quantifiers). See
Section 4.1 of the Introduction.
23 In the sentence "Every man is an animal" the predicate '(an) animal' has non-distribu-
tive confused supposition; see Rule NDC-l in [3.8.1). Thus the quantifier acts on the
copula and so the entire sentence.
338 TREATISE ON SUPPOSITION
24 This is the second of the "many" answers which may be given (12.2.111), and is the
answer Buridan endorses; 12.2.12] is rejected.
25 Buridan's argument is that the particular sign is either a vacuous quantification
([2.2.131) or a condition of the whole sentence when taken with the subject ([2.2.141).
The only case not covered is an affirmative distributive sign taken with the predicate,
which apparently affects only the predicate, and so is part of the predicate ([2.2.91).
26 Buridan only raises this distinction to ignore it; he classifies terms as categorematic
by signification, not predication.
27 Syncategorematic terms are discussed in Section 4.1 of the Introduction.
2M The point of [2.3.7]-[2.3.9] is that pure syncategoremata lack an ultimate significa-
tion; the list here is surely incomplete - see TC 1.7.3 for a more complete list of
syncategoremata.
2Y This is Buridan's Additive Principle: the signification of a sentence is the sum of the
signification of its categorematic parts. See Section 4.2 of the Introduction.
30 The immediate signification of a (purely) syncategorematic term is a "complexive
concept," i.e. a concept which combines other concepts: they are semantic functors, as
argued in the Introduction. Buridan gives examples for the copula ([2.3.121) and other
particles ([2.3.13]).
31 Note that Buridan is careful here to distinguish the affirmative copula and the nega-
tive copula: they correspond to distinct complexive concepts in Mental.
32 A 'first operation' of the intellect is simply thinking; a 'second operation' is thinking
about thinking - a move to a higher-order concept.
D Buridan has a long discussion of the distinction between complex and incomplex
concepts in QSP I q.4 (foI.5ra-va), in which he argues that (i) simple or incomplex
concepts correspond to indefinable substantial terms; (ii) there must be such simple
concepts, on pain of infinite regress; (iii) such concept are only acquired through
experience, by a process of abstraction; (iv) terms with a nominal definition correspond
to complex concepts; (v) one can replace a complex concept by a simple concept only
through experience, if at all. Roughly, incomplex concepts correspond to the basic meta-
physical simples: concrete and abstract terms in the category of Substance and certain
abstract terms in the category of Quality. The term 'man' corresponds to a simple con-
cept, even though the concept of a man includes 'parts' such as feet, hands, the ability to
reason, and the like. I am not sure there is any non-trivial way to specify what makes a
concept 'simple' for Buridan; see Section 4.3. of the Introduction.
34 The inclusion of 'white' on this list seems like a slip, for 'white' supposits for (white)
substances and appellates whiteness as inhering in those substances: but see the discus-
sion in Section 4.3 of the Introduction.
35 This was not said in 12.1.1], but the point is clear: Buridan wants to exclude non-
declarative sentences from consideration.
36 Only Rule Sup-3 and Rule Sup-9 are discussed at any length; the rest are simply
explained.
37 Rule Sup-3 is discussed in [2.6.5]-[2.6.48]; the order of the discussion is as follows:
in 12.6.5]-12.6.7] the trditional view, that an oblique term can be the subject of a
sentence, is stated; four arguments are given in support. The first argument is stated at
12.6.8] and is refuted by Buridan in 12.6.36]-12.6.39]; the second argument is stated at
[2.6.9]-[2.6.11] and refuted in 12.6.40]-12.6.42]; the third argument is stated at
12.6.12]-12.6.17] and refuted in 12.6.43]-12.6.46]; the fourth argument is stated at
NOTES 339
[2.6.18[ and refuted in [2.6.47[. Buridan's own view, that an oblique term cannot be the
subject of a sentence, is put forward in [2.6.19[ and argued for in [2.6.20[-[2.6.34[ .
.1H The example is difficult to render in English because 'equum homo videni perspicu-
ously illustrates (i) the grammatical order, relevant for Buridan's practice of determining
the subject grammatically if possible; (ii) the accusative (oblique) case of 'every horse,'
obscured in translation. This difficulty persists throughout the third argument. For
example, in [2.6.17[ the suggestion is that the whole 'equum homo' is the subject, a
combination of accusative and nominative terms, which cannot be well-represented by
translation. I beg the reader's indulgence and more care than usual to grammatical cases
while reading this argument.
_W Question 6 of Buridan's Quaestiones super librum Perihermenias is "whether in the
sentence 'Of-any-given-man the ass is running' an oblique term, or a nominative term, or
the aggregate of the two is the subject" (Leipzig MS lat.1372 fol.51 rb; see Pinborg
[1976[ p. 90).
40 This is the subject of Theorem 1-14 in TC 1.8.69 and the subsequent discussion.
41 Again, in this example 'Brunellus' is accusative and hence the object of the verb; so
too for 'chimaera' in the next sentence; this holds for the next few paragraphs.
42 Buridan's point here is obscure; the reference is to the fifth treatise (as in [2.6.39[).
4.1 Buridan is correct. Syllogisms with oblique terms ('oblique syllogisms') are investi-
gated by Buridan in TC 3.6.1-3.7.30; see Section 8.4 of the Introduction.
44 Rule Sup-9 is discussed in [2.6.54[-[2.6.81[; the discussion is as follows: in [2.6.54[
the traditional view that only the first part of a conjunctive or disjunctive categorical is
the subject of the sentence; each of the next three paragraphs puts forward a separate
argument for the traditional view. In [2.6.58[ Buridan rejects the traditional view, and
each of the succeeding four paragraphs puts forward an argument supporting Buridan's
position. To support his view Buridan investigates conjunctive subjects in [2.6.64)-
[2.6.67) and disjunctive subjects in [2.6.69[-[2.6.79[, with a digression on composite and
divided senses in [2.6.72[-[2.6.74[.
45 The terms 'where; 'such; 'what; and the like are what Buridan calls categorial
relative-terms: they are discussed in Chapter IV-8; see the Introduction, Section 4.1.
46 The difference between the two cases is whether the negation is sentence-negation
(negating) or term-negation (infinitizing).
47 Buridan's point is clear - the predicate must match the subject in number -
although his way of putting the point is extremely misleading. Socrates and Plato are not
a being; they are (two) beings. The discussion in [2.6.88[ depends on a play between
infinitizing and negating interpretations of est non ens.
4H Supposition, the mediaeval theory of reference, is discussed at length in Section 6 of
the Introduction; see especially Section 6.1 for a survey of the different forms of suppo-
sition and a brief discussion of 'improper' supposition, which Buridan mentions here
only in passing.
49 Reading causis for casis here, as required by context.
50 The distinction of personal and material supposition is discussed in Section 6.2 of
the Introduction. Buridan here rejects simple supposition as a third form of supposition,
whether intepreted realistically, as by e.g. Walter Bureigh in his De puritate artis logicae
([3.2.4J-[3.2.5[), or non-realistically, as by e.g. William of Ockham in his Summa logicae
([3.2.6[).
51 This is Buridan's nominalism: the refusal to countenance any metaphysically real
340 TREATISE ON SUPPOSITION
61 This sense of 'absolute term' is only as opposed to 'relative term,' and has nothing to
thing, though the concepts of each are imposed by different rationes, in that the term 'F'
is imposed according to a concept which connotes time, while 'to-be-F' is imposed by a
simple concept free from the connotation of time. Hence temporality marks the distinc-
tion between essence and existence.
67 The distinction of confused and determinate supposition is discussed at length in
Section 6.6 of the Introduction.
6X Distributive and non-distributive supposition are discussed at length in Section 6.7 of
the Introduction, which covers the material Buridan presents in TS Chapter 3.6-8.
69 This is the Rule of Existential Import: from the universal to infer the particular.
7(1 Rule DC-l is given in [3.7.1[; Rule DC-2 is given in [3.7.34[; Rule DC-3 is given in
[3.7.42]; Rule DC-4 is given in [3.7.45]; Rule DC-5 is given in [3.7.50]. The rules are
systematized in Section 6.7 of the Introduction.
71 The discussion of Rule DC-l covers [3.7.3]-[3.7.33], and is devoted to exploring the
many forms of universal affirmative signs; in [3.7.6] Buridan introduces the notion of
categorial quantifiers, discussed in Section 4.1 of the Introduction.
72 Reading substantivum in Reina's sive subiectum praecedat adiectivum sive sequatur,
to agree with the earlier part of the sentence complexum ex nomine substantivo et
adiectivo.
73 See Buridan's earlier discussion of Rule Sup-3 in [2.6.5]-[2.6.48].
74 The example is obscured by the fact that 'homo totus and 'totus homo' have no ready
English equivalent, but Buridan's point is clear enough: the latter corresponds to a
distributive sign, the former to a particular sign.
75 Buridan does not use the terminology 'mobile' and 'immobile' supposition, but the
context makes it clear: distributive supposition is said to be immobilized if the descent of
the singulars is prevented or frozen.
76 The sentence 'Sortes est homine fortior is practically untranslateable so that
Buridan's grammatical strictures about scope apply. Again, the reader should take care
to note the grammatical case of the terms involved, since they are crucial to Rule DC-4
though not readily apparent in English.
77 Rule NDC-l is given in [3.8.1]; Rule NDC-2 is given in [3.8.13]; Rule NDC-3 is
given in [3.8.19]; Rule NDC-4 is given in [3.8.24]. These rules are systematized in
Section 6.7 of the Introduction.
78 Note again that 'seeing any ass' is oblique, in the accusative case, and the grammatical
scope-rules are being questioned; bear this in mind in the succeeding paragraphs.
79 The nature of such intentional verbs are discussed at length in Section 4.3 of the
342 TREATISE ON SUPPOSITION
Introduction; see this for more particular discussion of the points Buridan makes here.
xo Reading non for modo here; the abbreviations are similar, and the former seems
required by context while the latter is nonsense: Reina reads possum in mente habere
genera/em conceptum triangu/i modo distributivo.
HI Buridan's point is that intentional verbs operate by mediating concepts (see TC
1.6.12), but most verbs do not - their action goes immediately into their objects. We
know and desire only through concepts, but fire heats water directly and stones lie
directly on the ground, not through mediating concepts.
K2 Chapter IV treats what we now call 'anaphoric reference·; this is discussed in Section
6.4 of the Introduction.
X3 The problem is that ·it' does not have two syllables itself; equally, 'mirror' is not
similar to 'it' such that we can say 'it' materially supposits for 'mirror: Buridan's solution
is to say that such similarity is not required for material supposition.
X4 Appellation is discussed in Sections 4.2 and 4.3 of the Introduction.
discussion there for many of the points Buridan here raises. For example, the Converse-
Entailment Principle debated in 15.3.71-15.3.131 is analyzed.
" Ampliation is discussed at length in Section 6.8 of the Introduction; restriction is
unproblematic.
xx Omitting terminus in Reina's reading si We terminus 'equid qui est praesens etiam
foit in praeterito et foerit a/bus . .. : the sentence makes no sense otherwise.
NOTES TO TREATISE ON CONSEQUENCES
BOOKI
I See the discussion of truth-conditions in the Introduction, Section 5.5. Buridan's point
here is that the formula of [1.1.3] requires one to treat the present tense of the verb
seriously; as he states in [1.1.6], for different kinds of sentence (affirmative/negative;
past/present/future; assertoric/modal) there are different truth-conditions, not reducible
to a single formula.
2 This is a semantic form of the Law of Non-Contradiction; see the Introduction,
Section 5.4
3 This is the Law of Bivalence .
.j Equally (though Buridan does not say so), any affirmative sentence has, or can have,
some negative which is contradictory to it. The clause "or can have" is part of this
inscriptionalism: it is possible to form the contradictory of any given sentence.
S The clause "hy any power" includes divine power. Notice here how Buridan gives a
syntactic form of the Law of Non-Contradiction (sometimes called the Law of the
Excluded Middle) based on the semantic principles given above.
6 That is, Buridan will use the literally incorrect expression as a handy abbreviation; it
is not to be taken literally.
7 Sentences are 'equiform' (similis) if they are sufficiently similar in the relevant
respects; which respects are relevant, and the degree of similarity required, will depend
on context. Equiformity is how Buridan, as a good nominalist, will group inscriptions
and utterances into classes; see the Introduction, Section 3.2. In this chapter all that is
required for equiformity is that two inscriptions or utterances have the same logical
form (see examples (5) and (6) in [1.2.5]).
x A common term is "distributed" if it is used to refer to everything to which it can
refer; see TS Chapter III for Buridan's discussion, and Sections 6.1 and 6.7 of the
Introduction.
" Buridan defines the 'form of a sentence' in Chapter 1-7 below; roughly, two sentences
have the same form if one may be changed into the other by altering only non-logical
constants, that is, the categorematic terms.
10 See TS Chapter III for confused supposition and determinate supposition; roughly, a
term has determinate supposition when it is used to refer to at least one of the things to
which it may refer, and a term has confused supposition when it is used to refer to
several of the things to which it may refer. These are discussed in the Introduction,
Sections 6.5-7.
11 For the division of sentences into categorical and hypothetical, see the Introduction,
Section 5.2. Buridan discusses the definition of 'consequence' in [1.3.4/-/1.3.11]; see the
Introduction, Section 7.2.
12 In [1.3.4]-[1.3.6/ Buridan calls consequences 'true' (vera), a usage he immediately
343
344 TREATISE ON CONSEQUENCES
drops in favor of 'acceptable' (bona) in [1.3.61 and thereafter; see the Introduction, Sec-
tions 5.3 and 7.2.
tJ Note how careful Buridan is to refer to the parts of the (putative) consequence as
"the first <sentence>" and "the second <sentence>": (i) the parts of a sentence are not
themselves sentences, strictly speaking, but only equiform to sentences; (ii) as noted
in [1.3.7) they are correctly called the 'antecedent' and 'consequent' only if the
consequence is acceptable. The problem raised in 11.3.81 is about whether the given
inscription or utterance actually exists.
14 Buridan rejects [1.3.91 for reasons connected with his distinction of the possible and
the possibly-true; see [1.8.26) and the Introduction, Section 5.2.
IS See the Introduction, Section 7.2, for an exact formulation of the definition of "con-
consequence is acceptable no matter what terms may be uniformly substituted for its
categorematic terms. See Buridan's discussion of the 'form' of a sentence in Chapter 1-7
and the Introduction, Section 7.2. (See e.g. [1.8.351 for an example.)
17 The point of (15) is that the genus-species relationship between 'animal' and 'man' in
consequence or implicitly that it be false, as can happen with referential chains (such as
when Socrates says "What Plato is saying is false" and Plato says "What Socrates is
saying is true"). See also [2.7.43).
26 Buridan explains the locution 'the predicate appellates its form' in TS 5.2.5.
30 See the Introduction, Section 4.1, for a discussion of categorematic and syncategore-
matic terms.
31 Strictly speaking Buridan offers two principles governing pairs of contradictory sen-
tences, and two principles governing sentences in general: "any sentence is true or false"
is the Law of Bivalence, and "it is impossible for the same sentence to be true and false
at the same time" is the Law of Noncontradiction. See Section 5.4 of the Introduction.
32 Theorem 1-3 describes the Contraposition Rule for consequences.
33 Theorem 1-4 describes the Rule of Transitivity for consequences.
34 Theorem 1-5(c) may appear surprising at first, but it is perfectly acceptable when we
recall that Buridan is here talking about the modal quality of an assertoric sentence, and
by the definition of 'consequence' the non-necessary cannot follow from the necessary,
as argued in [1.8.24] (although the non-necessary will follow as a consequence ut nunc).
35 The distinction drawn here, reflected in (80)-(81), is the distinction between the
possible and the possibly-true: see [2.7.2] and the Introduction, Section 5.2.
36 That is, what fails is not possibility but compossibility.
37 Such consequences will be formal, that is, satisfy the Uniform Substitution Principle
of [1.4.2], provided that the definition of 'contradictory' is formal: as we should say,
"syntactic." The issue Buridan discusses in [1.8.34]-[1.8.39] is which semantic properties
are relevant to syntactic form.
3H This is what Buridan will call an "infinite syllogism": see [3.1.14]. The rule it validates
is disjunction-elimination.
39 The antecedent of (87) might be thought to be impossible, since 'father' is a relational
term and nothing is a father unless something is its son or daughter. Buridan's point in
(88) is that the semantic property of being a relational term is irrelevant to legitimate
substitution.
40 'Something exists' is necessary, and 'nothing exists' (the antecedent of (93» is impos-
sible, because God necessarily exists.
41 Theorem 1-8 is one of Buridan's central theorems: it establishes the basic principle
for all equipollences and conversions, as Buridan himself remarks in [1.8.47]. Indeed,
Buridan remarks that Theorem 1-9 is just a pedagogical restatement of Theorem 1-8, as
are the next six theorems ([1.8.52]). A version of Theorem 1-8, revised and simplified
in accord with [1.8.43], is given in Section 7.3 ofthe Introduction.
42 The principle used to establish these claims is the symmetry of identity-statements
(the asymmetry of distinction-statements); Buridan is here speaking in the material
mode corresponding to affirmative and negative sentences.
43 See the discussion of distributive confused supposition in Section 6.7 of the Intro-
duction.
401 See the discussion of non-distributive ("merely confused" or "only confused") suppo-
sition in Section 6.7 of the Introduction.
45 This is Buridan's first use of the "uncommon idiom" for negatives, which is important
in his later theory of syllogistic. The uncommon idiom for negatives is discussed in
Section 8.4 of the Introduction; although Buridan is nowhere very explicit about it, such
locutions should be read as branching quantification: "Some B A not is" should be read
as "Some B is not some A (or other)," i.e. "This B is not that A,"
46 The discussion of Theorem 1-14 is indeed "long and difficult," covering
[1.8.72]-[1.8.95], including several digressions. It may help to have a general outline of
Buridan's discussion. In [1.8.72], Buridan distinguishes four kinds of assertoric sentence:
346 TREATISE ON CONSEQUENCES
(1) sentences in which the subject-term, copula, and predicate-term are explicit and
distinct; (2) sentences in which the subject-term is combined with another term in which
the copula and predicate are implicit; (3) sentences in which the subject and copula are
implicit in a term and combined with the predicate-term; (4) sentences in which the
subject, copula, and predicate are all implicit in a single term. (Buridan never considers
the case in which the subject and predicate are implicit in a term and combined with the
copula; it is not clear that such cases are possible.)
Buridan discusses (1) in [1.8.73]-[1.8.80], distinguishing (1) further in [1.8.73] into
cases in which (Ia) the copula is present-time, (Ib) past-time, or (Ic) future-time. Now
(Ia) is distinguished into cases in which neither the subject-term nor the predicate-term
is ampliated ([1.8.74]), in which one or the other is ampliated ([1.8.75]-[1.8.77]) and
hence must be coverted by the 'what is .. .' locution, or in which both are ampliated
([1.8.78]). Both (Ib) and (Ic) are treated summarily in [1.8.79], being reducible to spe-
cial cases of (1 a).
Buridan discusses (2) in [1.8.80]-[1.8.86] by reduction to the preceding case through
paraphrase, although there are two difficulties: (2a) grammatical agreement may be lost
in such conversions ([1.8.81]-[ 1.8.83]); (2b) how to resolve existentials ([ 1.8.84]-
[1.8.851). (There is also a digression in [1.8.86] on collective terms, which is not very
clear.)
Both (3) and (4) are treated quickly, in [1.8.87] and [1.8.88] respectively, by
reduction to the preceding cases.
After this discussion Buridan takes up three related problems: first, conversion may
violate the rules of grammar ([1.8.89]); second, sentences containing oblique terms may
require special treatment ([ 1.8.90]-[ 1.8.93]), and Buridan gives an alternative view and
then opposes it; finally, he reminds us that certain syncategorematic terms may require
special treatment ([1.8.94]). And that is the proof of Theorem 1-14 ([1.8.95]).
47 In Mental all assertoric categoricals have these three logical constituents, including
existence-statements, as Buridan argues in [1.8.84]-[1.8.85] below. Much of Buridan's
subsequent discussion will concern parsing the logical form of sentences whose gram-
matical form is not perspicuous.
48 See the brief discussion of the same examples given in TS 2.6.88.
49 The point in [1.8.86] is obscure, partly from the obscurity of the examples
(165)-(166); the translation reflects this unclarity. Perhaps Buridan means to be dis-
cussing the formations of an army (e.g. on a parade-ground), but then he should reject
the conversions because they do not make this explicit, not for the reason he gives.
Buridan's intentions here elude me.
so The rest of [1.8.90] expounds one of these alternative views, the good points of which
Buridan appreciates in [1.8.91]. But in [1.8.92] Buridan rejects it in favor of his own
view, there stated. In any event, Buridan tells us that nothing much rides on the decision
here ([1.8.94]).
SI Reading iste homo with the manuscript A rather than homo with Hubien; the sense
requires it.
S2 For conversion by contraposition see Section 7.3 of the Introduction; the contraposi-
tion of a sentence reverses the subject-term and the predicate-term and changes each ac-
cording to finite and infinite.
NOTES 347
BOOK II
I Buridan is too loose here: in a composite modal sentence such as "It is possible that
Socrates is running" the dictum is 'that Socrates is running,' in which the copula 'is'
appears; negations and quantifiers may also appear in the dictum. Buridan needs to find
a way to characterize those terms which belong to the dictum from those which do not
without a petitio principii.
2 Here and in the argument of [2.3.4] below Buridan is relying on the interdefinability
of 'necessarily' and 'possibly,' so that e.g. 'necessarily' is equivalent to 'not possibly not.'
This is not established as a formal result until Theorem II-I in [2.6.4] and the concomit-
ant analysis of necessity given by Theorem 11-2 in [2.6.8].
3 The example is obscure, although Buridan returns to it (e.g. in ]2.7.33]). Perhaps it
involves principles about the four elements and the analysis of change.
4 The argument for the nonequivalence of (231 *) and (231 **) is discussed in the Intro-
duction, Section 6.8; it turns on the difference in truth-conditions apparent in negative
sentences, and is most clearly stated by Buridan in ]2.4.5].
S This theorem establishes the equipollence of the modes 'necessarily' and 'possibly'
presupposed in [2.3.3]-[2.3.4] above.
6 This corollary is crucial for the sufficiency of Buridan's theorems dealing with divided
modals in Chapter II and Chapter IV.
7 Buridan should also take questions about contingents to be solved by the equipoll-
ence of 'contingently' and 'possibly and possibly not' (see Theorem 11-7 in [2.6.32], but
he does not; perhaps the conjunctive mode introduces special problems.
8 Since 'necessarily' and 'not possibly not' are equipollent, the sentences "A is necessar-
ily B" and "A is not possibly not B" are also equipollent, and the latter is analyzed as
"What is or can be A is not possibly not B," i.e. "What is or can be A is necessarily B."
9 Buridan is referring to the proposed equivalence of (231) and (231 **) discussed in
Chapter 11-4, which he rejects.
10 The analysis of (263) is either (263*) "What is or can be the one creating can be
God" or (263**) "What is creating can be God or what can be creating can be God."
Both (263*) and (263**) will be true if there is something which can create and can be
God, which is true since God always was and is and will be ([2.6.13]).
II This last case is covered as example (270) in the text of [2.6.17].
12 The first part of (268) is analyzed as a sentence with a disjunctive subject, "Anything
which is or can be creating is necessarily God," and so (268) is true in the posited case
because whatever can be creating is necessarily God, even though nothing is now creat-
ing.
I3 The following consequences are acceptable: "Some S is P; therefore, some S is possi-
bly P" and "All S is P; therefore, some S is possibly P."
14 The following consequences are acceptable: "Every A is possibly B; therefore, some B
is possibly A" (accidental conversion) and "Some A is possibly B; therefore, some B is
possibly A" (simple conversion).
15 The following consequence is acceptable: "Every A is necessarily not B; therefore,
every B is necessarily not A" (simple conversion).
16 Since (278) is a consequence, its contraposition is a consequence (by Theorem 1-3);
the contradictory of "Some S can be P" is "All S is necessarily not P" (see [2.6.19]); thus
348 TREATISE ON CONSEQUENCES
the dictum have supposition, i.e. that there be some sentence for which it supposits: it is
possible that no sentence equiform to 'Some A is B' is ever formed, but a sentence
equiform to 'Some A to be B is possible' is formed.
25 See the definition of 'consequence' in [1.3.11] and the discussion in the Introduction,
Section 7.2, for the existential requirement.
21> Recall the distinction between the possible and the possibly-true in [1.8.26]: 'Some
sentence is affirmative' is possible because it describes a possible situation, such as the
world in which only universal sentences are ever formed-in which case 'some sentence
is particular' is false, and so (306) is not a consequence. See Section 5.2 of the Introduc-
tion.
27 The following consequences are acceptable (giving the indefinite de falso composite
modal as the paradigm): (i) "It is false that some A is B; therefore, it is false that every A
is B"; (ii) "It is false that some A is not B; therefore, it is false that no A is B"; (iii) "It is
false that no A is B; therefore, it is false that no B is A"; (IV) "It is false that some A is
B; therefore, it is false that some B is A"
28 The following consequences are acceptable (taking the indefinite contingent com-
posite modal as the paradigm): (i) "It is contingent that every A is B; therefore, it is
contingent that some A is not B," and conversely; (ii) "It is contingent that no A is B;
therefore, it is contingent that some A is B," and conversely.
29 This is Buridan's version of the Tarski Biconditional: "It is true that [dictum]; there-
fore, [dictum]" and "[Dictum]; therefore, it is true that [dictum]." Note that when com-
bined with a mode the dictum is not a sentence, but when freestanding it is - hence
NOTES 349
Buridan's version of Tarski is rather different from "It is true that p '" p." Note also that
Buridan here ignores complications which the Liar-paradox raises: see 11.5.51-11.5.7]
and the Introduction, Section 7.5.
30 Theorem II-16(a) corresponds closely to standard distribution-principles of modal
logic: (i) from "It is necessary that p" and the consequence "p; therefore, if' there follows
"It is necessary that q," and (ii) from "It is possible that p' and the consequence "p;
therefore, if' there follows "It is possible that q."
31 Understand this last sentence in light of what Buridan says in [2.7.33]: if the universal
divided modal de possibili "Every A is possibly B" is true, then, although "Every A is B"
may not be possible, assertoric sentences of the form "This A is B" will each be possible
(though perhaps not compossible), which are the "singular claims" the universal "di-
vides."
32 That is, the preceding formula may fail when the predicate is ampliative, and so the
predicate itself must be modified. See the related discussion in TS 5.3.14.
33 The following mixed consequences are acceptable (taking the indefinite as the para-
digm): (i) "It is possible that every A is B; therefore, some A is possibly B"; (ii) "It is
possible that some A is B; therefore, some A is possibly B"; (iii) "It is possible that no A
is B; therefore, some A is possibly not B"; (iv) "It is possible that some A is not B;
therefore, some A is possibly not B."
34 The argument given in [2.7.39] shows that the consequence "Every B is necessarily
not A; therefore, it is not possible that B is A," example (318*) in the text, is acceptable.
3S The clause 'either formally or consecutively' means that a contingent simply defined
as a conjunction of affirmative and negative de possibili sentences (see [2.7.33]), which is
how as contingent is 'formally' an affirmative and a negative, or else such a conjunction
follows as a consequence, which is how a contingent is 'consecutively' an affirmative
and a negative ('consecutively' here is the adverbial form of consecutio, which has to do
with consequence, and not 'following in time,' the customary English usage). See also
[1.5.8].
36 See the remark in [2.6.35] for this point.
BOOK III
In each case the consequence is necessary, but it is not clear that it must also be formal:
see [1.4.2]-(1.4.6].
5 Despite the name these syllogisms do not necessarily have anything to do with infinite
terms; we customarily call them "disjunctive syllogisms."
6 This requirement will be given up, and the definitions of the syllogistic extremes and
middle generalized, when Buridan turns to the oblique syllogism in Chapter 111-6.
7 Buridan is correct: only when alternative definitions of the syllogistic figures are given
does the 'controversy' over the fourth figure have any point.
8 Buridan is thinking of a case in which a term appears in finite form in one sentence
and in infinite form in the other sentence, as for example "Some man is running" and "A
stone is a non-man."
9 The rules are Buridan's semantic formulation of the dictum de omni et nullo, and
their analysis is given in [3.4.5]-[3.4.71. See the Introduction, Section 8.2, for some com-
ments on Buridan's analysis.
10 By things which are 'divided' Buridan means distinct items which do not compose
some one thing; the linguistic analogue is counterpart to terms taken collectively.
11 Theorem 111-3 is the principal theorem in the Reductio Method for proving a syllog-
praemissas ilia sequitur ad unam ilIarum cum antecedente alterius; et quaecumque con-
clusio non sequitur ad ilIas praemissas ilia non sequitur ad a/iquam earum cum conse-
quente alterius." I have translated cum antecedente alterius not as "with the antecedent
of the other" but as "with a sentence which is antecedent to the other," and similarly for
cum consequente alterius. I suspect Buridan is careless here (one of the rare instances);
this is surely the sense demanded by [3.4.221. Theorem III-4 is the principal theorem in
the Method of Reduction for proving a syllogism acceptable and the sense I have given
it allows it to be so used. See the Introduction, Section 8.3.
13 An 'expository syllogism' is a syllogism in which the middle is a discrete term: see
13.3.41 above.
14 The following expository syllogisms are acceptable by Theorem III-5, taking 'this M'
as the example of a discrete term: (i) in the first figure, "This M is P, and S is this M;
therefore, S is P"; "This M is not P, and S is this M; therefore, S is not P"; and "This M is
P, and S is not this M; therefore, S is not P"; (ii) in the second figure, "P is this M, and S
is this M; therefore, S is P"; "P is not this M, and S is this M; therefore, S is not P"; and
"P is this M, and S is not this M; therefore, S is not P"; (iii) in the third figure, "This M is
P, and this M is S; therefore, Sis P"; "This M is not P, and this M is S; therefore, S is not
P"; and "This M is P, and this M is not S; therefore, S is not P." The conclusion of each
expository syllogism may be converted simply.
15 This is Buridan's first use of the Doctrine of Distribution to show the unacceptablility
of a syllogism; details about distribution are given in (3.4.291-[3.4.361. See also the In-
troduction, Sections 6.7 and 8.2, for details.
16 See TS Chapter IV for details about identificatory relative-terms.
17 This is the case when the minor is A-form or E-form in the first or second figures,
ble combinations are: (1) AA; (2) At; (3) AE; (4) AO; (5) EA; (6) EI; (7) EE; (8) EO;
(9) IA; (10) II; (11) IE; (12) 10; (13) OA; (14) 01; (15) OE; (16) 00. See the Introduc-
tion, Section 8.4. We shall refer to these conjugations by number hereafter.
20 This holds by Theorem III-2, because the middle is not distributed; we reject the
combinations (7)-(8) and (15)-(16).
21 That is, we reject the combination (10).
22 The five useless combinations given above, and (9) and (13), rejected for the first
figure here.
2, That is, we reject (14) for the first figure.
24 The figured conjugations useful for the first figure are (1 )-(6) and (11 )-(12).
25 Namely (3)-(4) and (11)-(12).
26 That is, in (4) and (12).
27 Reading here postponere for Hubien's praeponere: if the negation were placed before
the predicate, the sentence would have an infinitizing negation. The negation has to be
placed after the predicate for the sentence to be in the uncommon idiom for negatives.
2R The following are acceptable syllogisms, not in the common idiom for negatives (for
which see [1.8.70]), in the first figure: (4) "All M is P, and some S is not M; therefore,
some S P not is [i.e. some S is not some P]"; (12) "Some M is P, and some S is not M;
therefore, some S P not is li.e. some S is not some PI."
29 That is, in the four moods mentioned above, namely in (3) and (11).
,0 The following are acceptable syllogisms: (3) (Fapesmo) "All M is P, and no Sis M;
therefore, some P is not S"; (11) (Frisesomorum) "Some M is P, and no S is M; there-
fore, some P is not S."
31 That is, (1) and (2) in the first figure.
,2 Thus the following are acceptable syllogisms: for (1) the direct conclusion (Barbara)
is "All M is P, and all S is M; therefore, all S is P," and the indirect conclusion (Baralip-
ton) is "All M is P, and all S is M; therefore, some P is S"; and for (2) the direct conclu-
sion (Daril) is "All M is P, and some S is M; therefore, some S is P," and the indirect
conclusion (Dabitis) is "All M is P, and some S is M; therefore, some P is S."
" The following are acceptable syllogisms in direct conclusions: (5) (Celarent) "No Mis
P, and all S is M; therefore, no S is P"; (6) (Ferio) "No M is P, and some S is M; there-
fore, some S is not P."
,4 Thus (5) with an indirect conclusion is acceptable, namely (Celantes) "No M is P, and
all S is M; therefore, no P is S."
,5 Thus (6) with an indirect conclusion is acceptable, though not in the common idiom
for negatives, namely "No M is P, and some S is M; therefore, some P S not is [i.e. some
P is not some SI."
,6 When they conclude indirectly they are given the names Baralipton, Celantes, and
Dabitis respectively; see the end of [3.4.481.
,7 That is, Aristotle identified a 'syllogism' with a figured conjugation. Most scholars
agree with Buridan.
,8 That is, in addition to the five moods useless in all three figures, in the second figure
(1), (2), and (9) are also useless, because the middle is not distributed; hence the useful
moods in the second figure are (3 )-(6) and (11 )-( 14).
,9 The following are acceptable syllogisms: (5) (Cesare) "No P is M, and all S is M;
therefore, no S is P," with a direct conclusion, or "No P is M, and all S is M; therefore,
no P is S," with an indirect conclusion; (3) (Camestres) "All P is M, and no S is M; there-
352 TREATISE ON CONSEQUENCES
acceptable: (6) (Festino) "No P is M, and some S is P; therefore, some S is not P"; (4)
(Baroco) "All P is M, and some S is not M; therefore, some S is not P."
41 The following syllogisms are acceptable: (11) (Tifesno) "Some P is M, and no S is M;
therefore, some P is not S"; (13) (Robaco) "Some P is not M, and all S is M; therefore,
some P is not S." Note that Buridan's coined names do not agree with the requirement
that the initial letter of the name of the syllogism be the initial letter of the first-figure
syllogism it is reduced to. See Section 8.3 of the Introduction.
42 The following syllogisms are acceptable: (12) "Some P is M, and some S is not M;
therefore, some S P not is [i.e. some S is not some Pj"; (14) "Some P is not M, and some
S is not M; therefore, some S P not is [i.e. some S is not some Pl." The conclusions may
also be simply converted.
43 In addition to the five moods useless in all figures, (12) and (14) are rejected for the
third figure since the middle is not distributed; thus the nine useful moods are (1 )-(6),
(9), (11), and (13).
44 The following syllogisms are acceptable: (1) (Daraptz) "All M is P, and all M is S;
therefore, some S is P," with a direct conclusion, and "All M is P, and all M is S; there-
fore, some P is S," with an indirect conclusion; (2) (Datisl) "All M is P, and some M is S;
therefore, some S is P," with a direct conclusion, and "All M is P, and some M is S;
therefore, some P is S," with an indirect conclusion; (9) (Disamis) "Some M is P, and all
M is S; therefore, some S is P," with a direct conclusion, and "Some M is P, and all M is
S; therefore, some P is S," with an indirect conclusion.
4, The following syllogisms are acceptable: (5) (Fe/apton) "No M is P, and all M is S;
therefore, some S is not P"; (13) (Bocardo) "Some M is not P, and all M is S; therefore,
some S is not P"; (6) (Ferison) "No M is P, and some M is S; therefore, some S is not P."
40 The following syllogisms are acceptable: (3) (Lapfeton) "All M is P, and no M is S;
therefore, some P is not S"; (4) (Carbodo) "All M is P, and some M is not S; therefore,
some P is not S"; (11) (Rifeson) "Some M is P, and no M is S; therefore, some P is not
S." Note again that Buridan's coined names do not agree with the rules for standard
syllogistic nomenclature.
47 The proof-procedure is contained in the traditional name for a syllogism; see the
Introduction, Section 8.3, for examples.
4H If the major extreme is ampliative (and no other term is), then in the first figure Bar-
bara and Celarent are not acceptable - Buridan gives counterexamples to these in
[3.4.61[ - and in the second figure the direct form of Cesare and the direct form of
Camestres are not acceptable; all the other nonampliative acceptable moods are accept-
able.
4" If the middle term is ampliative (aand no other term is), then by Theorem III-II the
nonampliative acceptable moods of the third figure are all acceptable, and by Theorem
III-12 in the first figure only Celarent and Celantes are acceptable, and in the second
figure only Cesare and Carnestres are acceptable.
,0 This counterexample is quite similar to one given in sophism 4 of Sophismata V.
,I See TS 2.2.5 for the same view.
52 Reading episcopi for hominis here: otherwise the proposed syllogism is not accept-
NOTES 353
able. Buridan proposes to replace the minor of (355) to give us "Every ass-of-a-bishop
is running, and Brunellus is an ass-of-a-bishop; therefore, Brunellus is running."
53 That is, 'omnem equum.' Here as throughout most of Chapter III-7 Buridan
discusses terms which are oblique in the accusative case; there is no reasonable way to
indicate that such terms are accusative in English. Part of the point of [3.6.4[ is to
indicate the difference between 'equum' in the major and 'equus in the minor. The
reader should be careful about these points of grammar in what follows.
54 See Section 4.3 of the Introduction for a discussion of intentional verbs.
55 In [3.7.1O[ Buridan clearly indicates that the appellation of a ratio will prevent it, and
in [3.7.11[ indicates that a temporal difference will prevent it: in both cases he refers to
the 'exception,' suggesting that the final clause of Theorem III -13 ought to be "... unless
the supposition is material, <or the ratio of a term is appellated, or the difference of a
time prevents it>." (There is no manuscript evidence for such an emendation, which is
why I have not put it in the text.)
56 Buridan refers to the categorial quantifiers and their relative-terms: see, for example,
TS 3.7.4, TS 4.2.3, TS 4.8.1, and the Introduction, Section 4.1.
57 That is, the Latin interrogative particles quid (what is it?), quantum (how-much is
it?), quale (how is it?), quando (when is it?), and ubi (where is it?). There are no simple
interrogative particles for the other categories.
58 Buridan treats (405) as sophism 4 of Sophismata VI.
59 Buridan's point is that there is an appropriate identity-relation for items of each cate-
gory: two quantities which are the same are called 'equal; not identical, and so for each
category. Sameness in the case of substances is simply identity, though, which is why
'whatever' is an unrestricted quantifier (as well as a categorial quantifier).
60 This marks the end of Buridan's discussion of the oblique syllogism; the rest of
Chapter III-7 is given over to the variation syllogism, in which the middle term appears
as finite in one premiss and infinite in the other premiss.
61 Buridan suggests that in every figure the conjugations (1)-(2), (7)-(10), and
(15)-(16) are useful, each figured conjugation generating a pair of variation syllogisms:
one in which the middle is finite in the major and infinite in the minor, and the other
conversely. Note that Buridan says in [3.7.32J, contrary to [3.4.53J, that some variation
syllogisms only have conclusions which are not in the common idiom for negatives. I
shall give examples for each figure, though only one for each pair of variation syllo-
gisms, namely where the middle is finite in the major and infinite in the minor, ignoring
conversions of the conclusion.
62 This explains why conjugations ruled out as useless before produce useful variation
syllogisms: the middle term is distributed in the premiss in which it is infinite.
63 The following are acceptable variation syllogisms, with affirmative premisses, in the
first figure: (1) "All M is P, and all S is non-M; therefore, all S P not is [i.e. all S is not
some PJ," which is the example given in (411) in the text; (2) "All M is P, and some S is
non-M; therefore, some S P not is [i.e. some S is not some PI"; (9) "Some M is P, and all
Sis non-M; therefore, some P is not S"; (10) "Some M is P, and some S is non-M; there-
fore, some P is not S."
64 The following variation syllogisms, with affirmative premisses, are acceptable in the
second figure: (1) "All P is M, and all S is non-M; therefore, no S is P," which is the
example in (413) in the text; (2) "All P is M, and some S is non-M; therefore, some S is
354 TREATISE ON CONSEQUENCES
not P"; (9) "Some P is M, and all S is non-M; therefore, some S is not P"; (10) "Some P is
M, and some S is non-M; therefore, some S P not is [i.e. some S is not some PJ."
65 The following variation syllogisms, with affirmative premisses, are acceptable in the
third figure: (1) "All M is P and all non-M is S; therefore, some S is not P," which is the
example in (414) in the text; (2) "All M is P, and some non-M is S; therefore, some S is
not P"; (9) "Some M is P, and all non-M is S; therefore, some S is not P"; (10) Some
Mis P, and some non-M is S; therefore, some S P not is [i.e. some S is not some PJ."
66 The following variation syllogisms, with negative premisses, are acceptable in the first
figure: (7) "No M is P, and no S is non-M; therefore, no S is P," which is the example in
(415) in the text; (8) "No M is P, and some S is not non-M; therefore, some S is not P";
(15) "Some M is not P, and no S is non-M; therefore, some S is not P"; (16) "Some M is
not P, and some S is not non-M; therefore, some non-S non-P not is [i.e. some non-S is
not some non-PJ."
67 The following variation syllogisms, with negative premisses, are acceptable in the sec-
ond figure: (7) "No P is M, and no S is non-M; therefore, no S is P," which is the exam-
ple (417) in the text; (8) "No P is M, and some S is non-M; therefore, some S is not P";
(15) "Some P is not M, and no S is non-M; therefore, some S is not P"; (16) "Some P is
not M, and some S is not non-M; therefore, some S P not is [i.e. some S is not some PJ."
68 The following variation syllogisms, with negative premisses, are acceptable in the
third figure: (7) "No M is P, and no non-M is S; therefore, no S is P," which is the
example (418) in the text; (8) "No M is P, and some non-M is not S; therefore, some S is
not P"; (15) "Some M is not P, and no non-M is S; therefore, some S is not P"; (16)
"Some M is not P, and some non-M is not S; therefore, some non-S non-P is [i.e. some
non-S is not some non-PJ."
69 The following are acceptable variation syllogisms in the first figure: (3) "All M is P,
and no S is non-M; therefore, all S is P"; (4) All M is P, and some S is not non-M; there-
fore, some S is P"; (11) "Some M is P, and no S is non-M; therefore, some non-S P
not is [i.e. some non-S is not some PI"; (12) "Some M is P, and some S is not non-M;
therefore, some non-S P not is [i.e. some non-S is not some PJ."
70 The following variation syllogisms are acceptable in the third figure: (3) "All M is p,
and no non-M is S; therefore, all S is P"; (4) "All M is P, and some non-M is not S;
therefore, some S is P"; (5) "No M is P, and all non-M is S; therefore, all S is P"; (6) "No
Mis P, and some non-M is S; therefore, some S is P"; (11) "Some M is P, and no non-M
is S; therefore, some non-S P not is [i.e. some non-S is not some PI"; (12) "Some M is P,
and some non-M is not S; therefore, some non-S P not is [i.e. some non-S is not some
PI"; (13) "Some M is not P, and all non-M is S; therefore, some S is P"; (14) "Some M is
not P, and some non-M is S; therefore, some S non-P not is [i.e. some S is not some non-
PJ."
BOOK IV
J In 14.1.4]-14.1.8] Buridan is concerned with the fact that Aristotle often gives demon-
strative syllogisms with merely assertoric premisses, thought to compromise the neces-
sity required for a science; he resolves the issue straightforwardly, admitting that such
syllogisms are not in fact formal consequences of themselves but are considered to be so
under the hypothesis of their necessity.
4 For any acceptable assertoric syllogism we may prefix premisses and conclusion with
the mode 'necessary' or 'true' and obtain an acceptable composite modal syllogism. For
example, we alter Baroeo as follows: "It is necessary that all P is M, and it is necessary
that some S is not M; therefore, it is necessary that some S is not M." Problems with
compossibility do not allow us to prefix the mode 'possible,' as Buridan points out in
(423), although prefixed to the whole antecedent (the conjunctive sentence) we do get
an acceptable syllogism.
s See 12.5.1]-12.5.2] for this reference. Buridan calls them 'quasi-equipollences' because
they are not relations among sentences; rather, they are relations between a sentence
and a sentence equiform to part of the original (its dictum).
6 The corresponding form of this syllogism is "It is necessary that all M is P, and it is
necessary that all S is M; therefore, it is necessary that all S is P": a modalized form of
Barbara.
7 These are errors the ideal reasoner would avoid, not difficulties with substitution in
opaque contexts. Buridan is here thinking of obligationes again: see the third group of
sophisms in Sophismata VIII.
8 The following divided modal syllogisms are acceptable in the first figure, where those
starred require relatively strong modal principles (see Section 8.6 of the Introduction):
for (1) with a direct conclusion there is (a) "All M is necessarily P, and all S is necessar-
ily M; therefore, all S is necessarily P," (b) "All M is possibly P, and all S is possibly M;
therefore, all S is possibly P," (c)* "All M is possibly P, and all S is necessarily M; there-
fore, all S is possibly P," (d)* "All M is necessarily P, and all S is possibly M; therefore,
no S is necessarily not P," and for (1) with an indirect conclusion convert the preceding
conclusions accidentally; for (2) with a direct conclusion there is (a) "All M is necessar-
ily P, and some S is necessarily M; therefore, some S is necessarily P," (b) "All M is
possibly P, and some S is possibly M; therefore, some S is possbily P," (c) "All M is pos-
sibly P, and some S is necessarily M; therefore, some S is possibly P," (d)* "All M is ne-
cessarily P, and some S is possibly M; therefore, no S is necessarily not P," and for (2)
with an indirect conclusion convert the preceding conclusions simply; for (3) there is (a)
"All M is necessarily P, and no S is necessarily M; therefore, some P is not necessarily
S," (b) "All M is possibly P, and no S is possibly M; therefore, some P is not possibly S,"
(c) "All M is possibly P, and no S is necessarily M; therefore, some P is possibly not S,"
(d) "All M is necessarily P, and no S is possibly M; therefore, some P is necessarily not
S"; for (5) with a direct conclusion there is (a) "No M is necessarily P, and all S is neces-
sarily M; therefore, no S is necessarily P," (b)* "No M is possibly P, and all S is possibly
M; therefore, all S is possibly not P," (c) "No M is possibly P, and all S is necessarily M;
therefore, no S is possibly P," (d) "No M is necessarily P, and all S is possibly M; there-
fore, no S is necessarily P," and for (5) with an indirect conclusion convert the preceding
conclusions simply; for (6) with a direct conclusion (the indirect conclusion is not in the
common idiom for negatives) there is (a) "No M is necessarily P, and some S is neces-
sarily M; therefore, some S is not necessarily P," (b) "No M is possibly P, and some S is
356 TREATISE ON CONSEQUENCES
possibly M; therefore, some S is not possibly P," (c) "No M is possibly P, and some S is
necessarily M; therefore, some S is not possibly P," (d) "No M is necessarily P, and some
S is possibly M; therefore, some S is not necessarily P"; for (11) there is (a) "Some M is
necessarily P, and no S is necessarily M; therefore, some P is not necessarily S," (b)
"Some M is possibly P, and no S is possibly M; therefore, some P is not possibly S," (c)
"Some M is possibly P, and no S is necessarily M; therefore, some P is possibly not S,"
(d) "Some M is necessarily P, and no S is possibly M; therefore, some P is necessarily
notS."
9 The following are acceptable divided modal syllogisms in the second figure: for (3)
with a direct conclusion there is (a) "All P is necessarily M, and no S is necessarily M;
therefore, no S is necessarily P," (b) "All P is necessarily M, and no S is possibly M;
therefore, all S is necessarily not P," (c) "All P is possibly M, and no S is necessarily M;
therefore, I?? - no conclusion seems to follow; see Section 8.6 of the Introduction]," and
for (3) with an indirect conclusion convert the preceding conclusions simply; for (4)
there is (a) "All P is necessarily M, and some S is necessarily not M; therefore, some S is
necessarily not P," (b)* "All P is necessarily M, and some S is possibly not M; therefore,
some S is necessarily not P," (c) "All P is possibly M, and some S is necessarily not M;
therefore, some S is necessarily not P"; for (5) with a direct conclusion there is (a) "No P
is necessarily M, and all S is necessarily M; therefore, no S is necessarily P," (b) "No Pis
necessarily M, and all S is possibly M; therefore, no S is necessarily P," (c) "No P is pos-
sibly M, and all S is necessarily M; therefore, all S is necessarily not P," and for (5) with
an indirect conclusion convert the preceding conclusions simply; for (6) there is (a) "No
P is necessarily M, and some S is necessarily M; therefore, some S is necessarily not P,"
(b) "No P is necessarily M, and some S is possibly M; therefore, I?? - no conclusion
seems to follow; see Section 8.6 of the Introduction]," (c) "No P is possibly M, and some
S is necessarily M; therefore, some S is necessarily not P"; for (11) there is (a) "Some P is
necessarily M, and no S is necessarily P; therefore, some P is necessarily not S," (b)
"Some P is necessarily M, and no S is possibly M; therefore, some P is necessarily not
S," (c) "Some P is possibly M, and no S is necessarily M; therefore, some P is not neces-
sarily S"; for (13) there is (a) "Some P is necessarily not M, and all S is necessarily M;
therefore, some P is necessarily not S," (b) "Some P is necessarily not M, and all S is
possibly M; therefore, some P is not necessarily S," (c) "Some P is possibly not M, and
all S is necessarily M; therefore, some P is not necessarily S."
10 Examples of such unacceptable syllogisms in these terms are: "Every man is possibly
running, and every horse is possibly running; therefore, every horse is possibly a man,"
and "Any God is possibly not creating, and no first cause is possibly not creating; there-
fore, no first cause is possibly God."
11 The following are acceptable divided modal syllogisms in the third figure: for (1) with
a direct conclusion there is (a) "All M is necessarily P, and all M is necessarily S; there-
fore, some S is necessarily P," (b) "All M is possibly P, and all M is possibly S; therefore,
some S is possibly P," (c) "All M is necessarily P, and all M is possibly S; therefore,
some S is necessarily P," (d) "All M is possibly P, and all M is necessarily S; therefore,
some S is possibly P," and for (1) with an indirect conclusion convert the preceding con-
clusions simply; for (2) with a direct conclusion there is (a) "All M is necessarily P, and
some M is necessarily S; therefore, some S is necessarily P," (b) "All M is possibly P,
and some M is possibly S; therefore, some S is possibly P," (c)* "All M is necessarily P,
and some M is possibly S; therefore, some S is necessarily P," (d) "All M is possibly P,
NOTES 357
and some M is necessarily S; therefore, some S is possibly P," and for (2) with an indi-
rect conclusion convert the preceding conclusions simply; for (3) there is (a) "All M is
necessarily P, and no M is necessarily S; therefore, some P is not necessarily S," (b) "All
M is possibly P, and no M is possibly S; therefore, some P is not possibly S," (c) "All M
is necessarily P, and no M is possibly S; therefore, some P is necessarily not S," (d) "All
M is possibly P, and no M is necessarily S; therefore. some P is possibly not S"; for (4)
there is (a) "All M is necessarily P. and some M is necessarily not S; therefore. some P is
necessarily not S," (b) "All M is possibly P, and some M is possibly not S; therefore.
some P is possibly not S." (c) "All M is necessarily P. and some M is possibly not S;
therefore. some P is not necessarily S." (d) "All M is possibly P, and some M is neces-
sarily not S; therefore, some P is not possibly S"; for (5) there is (a) "No M is necessarily
P, and all M is necessarily S; therefore. some S is not necessarily P," (b) "No M is possi-
bly P. and all M is possibly S; therefore. some S is not possibly P." (c) "No M is neces-
sarily P, and all M is possibly S; therefore. some S is not necessarily P." (d) "No M is
possibly p. and all M is necessarily S; therefore. some S is not possibly P"; for (6) there
is (a) "No M is necessarily P, and some M is necessarily S; therefore. some S is not ne-
cessarily P," (b) "No M is possibly P. and some M is possibly S; therefore. some S is not
possibly P," (c) "No M is necessarily p. and some M is possibly S; therefore. some S is
not necessarily P," (d) "No M is possibly p. and some M is necessarily S; therefore. some
S is not possibly P"; for (9) with a direct conclusion there is (a) "Some M is necessarily
P, and all M is necessarily S; therefore, some S is necessarily P," (b) "Some M is possibly
P, and all M is possibly S; therefore. some S is possibly P," (c)* "Some M is necessarily
P, and all M is possibly S; therefore. some S is necessarily P," (d) "Some M is possibly P.
and all M is necessarily S; therefore. some M is possibly P," and for (9) with an indirect
conclusion convert all the preceding conclusions simply; for (11) there is (a) "Some M is
necessarily P. and no M is necessarily S; therefore, some P is not necessarily S." (b)
"Some M is possibly P, and no M is possibly S; therefore, some P is not possibly S." (c)
"Some M is necessarily P, and no M is possibly S; therefore. some P is necessarily not
S," (d) "Some M is possibly P, and no M is necessarily S; therefore, some P is possibly
not S"; for (13) there is (a) "Some M is necessarily not P, and all M is necessarily S;
therefore, some S is necessarily not P," (b) "Some M is possibly not P. and all M is pos-
sibly S; therefore, some S is possibly not P," (c) "Some M is necessarily not P, and all M
is possibly S; therefore, some S is not necessarily P," (d) "Some M is possibly not P. and
all M is necessarily S; therefore. some S is possibly not P."
12 The following are acceptable divided modal syllogisms formed with the "what is ... "
locution in the first figure: for (I) with a direct conclusion there is (a) "All which is M is
necessarily P, and all S is necessarily M; therefore, all which is S is necessarily P." (b)
"All which is M is possibly P, and all S is necessarily M; therefore, all which is S is possi-
bly P." and for (1) with an indirect conclusion there is (a) "All which is M is necessarily
P, and all S is necessarily M; therefore. some P is necessarily S." (b) "All which is M is
possibly P. and all S is necessarily M; therefore, some P is possibly S"; for (2) with a di-
rect conclusion there is (a) "All which is M is necessarily P, and some S is necessarily M;
therefore. something which is S is necessarily P." (b) "All which is M is possibly P, and
some S is necessarily M; therefore, something which is S is possibly P," and for (2) with
an indirect conclusion there is (a) "All which is M is necessarily P. and some S is neces-
sarily M; therefore, something which is P is necessarily S." (b) "All which is M is possi-
bly P, and some S is necessarily M; therefore, something which is P is possibly S"; for (3)
358 TREA TISE ON CONSEQUENCES
... " locution in the second figure, as follows (here I only give the de possibili conclu-
sions): for (3) with a direct conclusion there is (a) "All which is P is necessarily M, and
nothing which is S is necessarily M; therefore, all which is S is possibly not P," (b) "All
which is P is necessarily M, and nothing which is S is possibly M; therefore, nothing
which is S is possibly P," (cl "All which is P is possibly M, and nothing which is S is
necessarily M; therefore, all which is S is possibly not P," and for (3) with an indirect
conclusion convert the preceding conclusions simply; for (4) there is (a) "All which is P
is necessarily M, and something which is S is necessarily not M; therefore, something
which is S is necessarily P," (h) "All which is P is necessarily M, and something which is
S is possibly not M; therefore, something which is S is possibly not P," (c) "All which is
P is possibly M, and something which is S is necesarily not M; therefore, nothing which
is S is possibly P"; for (5) with a direct conclusion there is (a) "Nothing which is P is
necessarily M, and all S is necessarily M; therefore. nothing which is S is necessarily P,"
(b) "Nothing which is P is possibly M. and all which is S is necessarily M; therefore,
nothing which is S is possibly P," (c) "Nothing which is P is necessarily M. and all which
is S is possibly M; therefore, all which is S is possihly not P," and for (5) with an indirect
conclusion convert the preceding conclusions simply; for (6) there is (a) "Nothing which
is P is necessarily M, and something which is S is necessarily M; therefore, something
which is S is possibly not P," (b) "Nothing which is P is necessarily M, and something
which is S is possibly M; therefore. something which is S is possibly not P." (c) "Nothing
which is P is possibly M, and something which is S is necessarily M; therefore, nothing
which is S is possibly P"; for (II) there is (a) "Something which is P is necessarily M,
and nothing which is S is necessarily M; therefore, something which is P is possibly not
S," (b) "Something which is P is necessarily M, and nothing which is S is possibly M;
therefore, something which is P is not possibly S." (c) "Something which is P is possibly
M, and nothing which is S is necessarily M; therefore, something which is P is possibly
not S"; for (13) there is (a) "Something which is P is necessarily not M, and all which is S
is necessarily M; therefore, something which is P is necessarily not S," (b) "Something
which is P is necessarily not S. and all which is S is possibly M; therefore, something
which is P is not possibly S," (c) "Something which is P is possibly not M, and all which
is S is necessarily M; therefore, something which is P is possibly not S."
NOTES 359
14 Hence there are four acceptable divided modal syllogisms restricted by the "what is
..." locution in the fourth figure, which are as follows (I give here only the unrestricted
conclusions where possible): for (1) with a direct conclusion there is (a) "All which is M
is necessarily P, and all which is M is necessarily S; therefore, some S must be P," (b)
"All which is M is necessarily P, and all which is M is possibly S; therefore, some S is
not necessarily not P," (c) "All which is M is possibly P, and all which is M is necessarily
S; therefore, some S is possibly P," (d) "All which is M is possibly P, and all which is M
is possibly S; therefore, some S is possibly P," and for (1) with an indirect conclusion
convert the preceding conclusions simply; for (2) with a direct conclusion there is (a)
"All which is M is necessarily P, and something which is M is necessarily S; therefore,
some S is necessarily P," (b) "All which is M is necessarily P, and something which is M
is possibly S; therefore, some S is not necessarily not P," (c) "All which is M is possibly
P, and something which is M is necessarily S; therefore, some S is possibly P," (d) "All
which is M is possibly P, and something which is M is possibly S; therefore, some S is
possibly P," and for (2) with an indirect conclusion convert the preceding conclusions
simply; for (3) there is (a) "All which is M is necessarily P, and nothing which is M is
necessarily S; therefore, some P is not necessarily S," (b) "All which is M is necessarily
P, and nothing which is M is possibly S; therefore, some P is not possibly S," (c) "All
which is M is possibly P, and nothing which is M is necessarily S; therefore, some P is
not necessarily S," (d) "All which is M is possibly P, and nothing which is M is possibly
S; therefore, some P is not possibly S"; for (4) there is (a) "All which is M is necessarily
P, and something which is M is necessarily not S; therefore, some P is necessarily not S,"
(b) "All which is M is necessarily not P, and something which is M is possibly not S;
therefore, some P is not necessarily S," (c) "All which is M is possibly P, and something
which is M is necessarily not S; therefore, some P is not possibly S," (d) "All which is M
is possibly P, and something which is M is possibly not S; therefore, some P is possibly
not S"; for (5) there is (a) "Nothing which is M is necessarily P, and all which is M is ne-
cessarily S; therefore, some S is not necessarily P," (b) "Nothing which is M is necessar-
ily P, and all which is M is possibly S; therefore, some S is not necessarily P," (c)
"Nothing which is M is possibly P, and all which is M is necessarily S; therefore, some S
is not possibly P," (d) "Nothing which is M is possibly P, and all which is M is possibly
S; therefore, some S is not possibly P"; for (6) there is (a) "Nothing which is M is neces-
sarily P, and something which is M is necessarily S; therefore, some S is not necessarily
P," (b) "Nothing which is M is necessarily P, and something which is M is possibly S;
therefore, some S is not necessarily P," (c) "Nothing which is S is possibly P, and some-
thing which is M is necessarily S; therefore, some S is not possibly P," (d) "Nothing
which is M is possibly P, and something which is M is possibly S; therefore, some S is
not possibly P"; for (9) with a direct conclusion there is (a) "Something which is M is ne-
cessarily P, and all which is M is necessarily S; therefore, some S is necessarily P," (b)
"Something which is M is necessarily P, and all which is M is possibly S; therefore, some
S is not necessarily not P," (c) "Something which is M is possibly P, and all which is M is
necessarily S; therefore, some S can be P," (d) "Something which is M is possibly P, and
all which is M is possibly S; therefore, some S is possibly P ," and for (9) with an indirect
conclusion convert the preceding conclusions simply; for (11) there is (a) "Something
which is M is necessarily P, and nothing which is M is necessarily S; therefore, some P is
not necessarily S," (b) "Something which is M is necessarily P, and nothing which is M is
possibly S; therefore, some P is necessarily not S," (c) "Something which is M is possibly
360 TREATISE ON CONSEQUENCES
P, and nothing which is M is necessarily S; therefore, some P is possibly not S;' (d)
"Something which is M is possibly P, and nothing which is M is possibly S; therefore,
some P is not possibly S"; for (13) there is (a) "Something which is M is necessarily not
P, and all which is M is necessarily S; therefore, some P is necessarily not S," (b)
"Something which is M is necessarily not P, and all which is M is possibly S; therefore,
some P is necessarily not S," (c) "Something which is M is possibly not P, and all which
is M is necessarily S; therefore, some P is possibly not S," (d) "Something which is M is
possibly not P, and all which is M is possibly S; therefore, some P is possibly not S,"
" The following 'mixed' syllogisms (syllogisms with assertoric and divided modal
premisses) are acceptable in the first figure: for (I) there is "All M is possibly P, and all
S is M; therefore, some P is possibly S"; for (2) with a direct conclusion there is "All M
is possibly P, and some S is M; therefore, some S is possibly P," and for (2) with an
indirect conclusion there is "All M is possibly P, and some S is M; therefore, some P can
be S"; for (3) there is "All M is possibly P, and no S is M; therefore, some P is possibly
not S"; for (6) there is "No M is possibly P, and some S is M; therefore, some S is not
possibly P"; for (II) there is "Some M is possibly P, and no S is M; therefore, some P is
possibly not S," Only the modalized versions of Barbara, Celarent, and Celantes are
prevented; Buridan gives counterexamples to the first two in 14.2.291 and shows how to
combine them with the "what is ... " locution so they are acceptable in 14.2.301.
In The following mixed syllogisms, assuming the major to be necessary (though in asser-
toric form), are acceptable in the first figure: for (I) with a direct conclusion there is "All
M is P (necessarily), and all S is possibly M; therefore, all S is possibly P," which is the
example (439) in the text, and for (I) with an indirect conclusion there is "All M is P
(necessarily), and all S is possibly M; therefore, some P is possibly S"; for (2) with a
direct conclusion there is "All M is P (necessarily), and some S is possibly M; therefore,
some S is possibly P," and for (2) with an indirect conclusion there is "All M is P
(necessarily), and some S can be M; therefore, some P is possibly S"; for (3) there is "All
Mis P (necessarily), and no S is possibly M; therefore, some P is not possibly S"; for (5)
with a direct conclusion there is "No M is P (necessarily), and all S is possibly M;
therefore, all S is possibly not P," which is the example (441) in the text, and for (5) with
an indirect conclusion there is "No M is P (necessarily), and all S is possibly M; there-
fore, all P is possibly not S"; for (6) there is "No M is P (necessarily), and some S is
possibly M; therefore, some S is possibly not P"; for (11) there is "Some M is P
(necessarily), and no S is possibly M; therefore, some P is not possibly S."
17 It is a mod ali zed version of Bocardo, corresponding to (13) in the third figure.
IX The following mixed syllogisms, where the major is necessary (though stated asser-
torically), are acceptable in the second figure: for (3) with a direct conclusion there is
"All P is M (necessarily), and no S is possibly M; therefore, no S is possibly P," and for
(3) with an indirect conclusion there is "All P is M (necessarily), and no S is possibly M;
therefore, no P is possibly S"; for (4) there is "All P is M (necessarily), and some S is
possibly not M; therefore, some S is possibly not P"; for (5) with a direct conclusion
there is "No P is M (necessarily), and all S is possibly M; therefore, no S is possibly P,"
and for (5) with an indirect conclusion there is "No P is M (necessarily), and all S is
possibly M; therefore, no P is possibly S"; for (6) there is "No P is M (necessarily), and
some S is possibly M; therefore, some S is not possibly P"; for (II) there is "Some P is M
(necessarily), and no S is possibly M; therefore, some P is not possibly S"; for (13) there
NOTES 361
traditional assertoric syllogistic to discuss the modalized versions; (ii) ignores his non-
traditional, but perfectly acceptable, syllogisms Tifesno, Robaco, Lapfeton, Carbodo,
and Rifeson; we shall note any problems which arise on this account.
20 The following mixed syllogisms in the third figure are acceptable: for (I) with a direct
conclusion, there are (a) "All M is possibly P, and all M is S; therefore, some S is
possibly P," (b) "All M is P, and all M is possibly S; therefore, some S is possibly P," and
for (I) with an indirect conclusion convert the precedign conclusions simply; for (2)
with a direct conclusion there is "All M is possibly P, and some M is S; therefore, some
S is possibly P," and for (2) with an indirect conclusion convert the preceding conclusion
simply; for (3) there are (a) "All M is possibly P, and no M is S; therefore, some P is
possibly not S," (b) "All M is P, and no M is possibly S; therefore, some P is not possibly
S"; for (4) there is "All M is possibly P, and some M is not S; therefore, some P is
possibly not S"; for (5) there are (a) "No M is possibly P, and all M is S; therefore, some
S is possibly not P," (b) "No M is P, and all M is possibly S; therefore, some S is possibly
not P"; for (6) there is "No M is possibly P, and some M is S; therefore, some S is
possibly not P"; for (9) with a direct conclusion there is "Some S is P, and all M is possi-
bly S; therefore, some S is possibly P," and for (9) with an indirect conclusion convert
the preceding conclusion simply; for (11) there is "Some M is P, and no M is possibly S;
therefore, some P is not possibly S"; for (13) there is "Some M is not P, and all M is
possibly S; therefore, some S is possibly not P."
" The following mixed syllogisms are acceptable in the third figure: for (I) with a direct
conclusion there is "All M is not possibly P, and all M is S; therefore, some S is not
possibly P,"and for (I) with an indirect conclusion convert the preceding conclusion
simply; for (2) with a direct conclusion there is "All M is not possibly P, and some M is
S; therefore, some S is not possibly P," and for (2) with an indirect conclusion convert
the preceding conclusion simply; for (3) there is "All M is not possibly P, and no M is S;
therefore, I?? - no conclusion of the form Buridan prescribes seems to follow; see
Section 8.6 of the Introduction],,; for (4) there is "All M is not possibly P, and some M is
not S; therefore I?? - no conclusion of the sort Buridan prescribes seems to follow; see
Section 8.6 of the IntroductionI"'; for (5) there is "No M is not possibly P, and all M is S;
therefore, some S is not possibly not P"; for (6) there is "No M is not possibly P. and
some M is S; therefore, some S is not possibly not P."
22 The following mixed syllogisms are acceptable in the third figure (not listing those
acceptable even when the assertoric premiss is not necessary given above in Theorem
IV-l3): for (2) with a direct conclusion there is "All M is P (necessarily), and some M is
possibly S; therefore, some S is possibly P," and for (2) with an indirect conclusion
convert the preceding conclusion simply; for (4) there is "All M is P (necessarily), and
some M is possibly not S; therefore, some P is possibly not S"; for (6) there is "No M is
P (necessarily), and some M is possibly S; therefore. some S is possibly not P"; for (9)
with a direct conclusion there is "Some M is possibly P, and all M is S (necessarily);
therefore, some S is possibly P," and for (9) with an indirect conclusion convert the
preceding conclusion simply; for (II) there is "Some M is possibly P, and no M is S
(necessarily); therefore, some P is possibly not S"; for (13) there is "Some M is possibly
362 TREATISE ON CONSEQUENCES
and all M is S; therefore, some S is not necessarily P"; for (6) there is "'No M is neces-
sarily P, and some M is S; therefore, some S is not necessarily P."
2" The following mixed syllogisms are acceptable in the third figure: for (I) with a direct
conclusion there is "All M is necessarily P, and all M is S (necessarily); therefore, some
S is necessarily P," and for (I) with an indirect conclusion convert the preceding con-
clusion simply; for (2) with a direct conclusion there is "All M is necessarily P, and some
M is S (necessarily); therefore, some S is necessarily P," and for (2) with an indirect con-
clusion convert the preceding conclusion simply; for (3) there is "All M is necessarily P,
and no M is S (necessarily); therefore, some P is necessarily not S"; for (4) there is "All
M is necessarily P, and some M is not S (necessarily); therefore, some P is necessarily
not S"; for (5) there is "No M is necessarily P, and all M is S (necessarily); therefore,
some S is not necessarily P"; for (6) there is "No M is necessarily P, and some M is S
(necessarily); therefore, some S is not necessarily P"; for (9) with a direct conclusion
there is "'Some M is necessarily P, and all M is S (necessarily); therefore, some S is
necessarily P," and for (9) with an indirect conclusion convert the preceding conclusion
simply; for (II) there is "Some M is necessarily P, and no M is S (necessarily); therefore,
some P is necessarily not S"; for (13) there is "Some M is necessarily not P, and all M is
S (necessarily); therefore, some S is necessarily not P."
311 Theorem IV-21 applies to syllogisms shown acceptable by Theorem IV-4 through
giving cases with the mode affirmed): for (I) with a direct conclusion there is (a) "All M
364 TREATISE ON CONSEQUENCES
is contingently'p, and all M is necessarily S; therefore, some S is contingently P," (b) "All
M is contingently P, and all M is possibly S; therefore, some S is possibly P," and for (1)
with an indirect conclusion convert the preceding conclusions simply; for (2) with a
direct conclusion there is (a) "All M is contingently P, and some M is necessarily S;
therefore, some S is contingently P," (b) "All M is contingently P, and some M is
possibly S; therefore, some S is possibly P," and for (2) with an indirect conclusion
convert the preceding conclusions simply; for (3) there is (a) "All M is contingently P,
and no M is necessarily S; therefore, some P is contingently not S," (b) "All M is con-
tingently P, and no M is possibly S; therefore, some P is not possibly S"; for (4) there is
(a) "All M is contingently P, and some M is necessarily not S; therefore, some P is not
contingently S," (b) "All M is contingently P, and some M is possibly not S; therefore,
some P is possibly not S"; for (5) there is (a) "No M is contingently P, and all M is neces-
sarily S; therefore, some S is not contingently P," (b) "No M is contingently P, and all M
is possibly S; therefore, some S is not possibly P"; for (6) there is (a) "No M is contin-
gently P, and some M is necessarily S; therefore, some S is not contingently P," (b) "No
M is contingently P, and some M is possibly S; therefore, some S is not possibly P"; for
(9) with a direct conclusion there is (a) "Some M is contingently P, and all M is neces-
sarily S; therefore, some S is contingently P," (b) "Some M is contingently P, and all M is
possibly S; therefore, some S is possibly P," and for (9) with an indirect conclusion
convert the preceding conclusions simply; for (11) there is (a) "Some M is contingently
P, and no M is necessarily S; therefore, some P is contingently not S," (b) "Some M is
contingently P, and no M is possibly S; therefore, some P is not possibly S"; for (13)
there is (a) "Some M is contingently not P, and all M is necessarily S; therefore, some S is
contingently not P," (b) "Some M is contingently not P, and all M is possibly S; there-
fore, some S is possibly not P."
3. The following mixed contingent syllogisms are acceptable in the first figure: for (1)
there is "All M is contingently P, and all S is M; therefore, some P is contingently S"; for
(2) with a direct conclusion there is "All M is contingently P, and some S is M; there-
fore, some S is contingently P," and for (2) with an indirect conclusion convert the
preceding conclusion simply; for (3) there is "All M is contingently P, and no S is M;
therefore, some P is contingently not S"; for (6) there is "No M is contingently P, and
some S is M; therefore, some S is not contingently P"; for (11) there is "Some M is
contingently P, and no S is M; there4)fe, some P is contingently not S."
35 The following mixed contingent syllogisms are acceptable in the third figure: for (1)
with a direct conclusion there is "All M is contingently P, and all M is S; therefore, some
S is contingently P," and for (1) with an indirect conclusion convert the preceding
conclusion simply; for (2) with a direct conclusion there is "All M is contingently P, and
some M is S; therefore, some S is contingently P," and for (2) with an indirect con-
clusion convert the preceding conclusion simply; for (3) there is "All M is contingently
P, and no M is S; therefore, some P is contingently not S"; for (4) there is "All M is
contingently P, and some M is not S; therefore, some P is contingently not S"; for (5)
there is "No M is contingently P, and all M is S; therefore, some S is not contingently P";
for (6) there is "No M is contingently P, and some M is S; therefore, some S is not
contingently P."
36 The following reduplicative syllogisms are acceptable in the first figure: for (1) there
is "All M is P qua R, and all S is M; therefore, all S is P qua R"; for (2) there is "All M is
P qua R, and some S is M; therefore, some S is P qua R"; for (5) there is "No M is P
NOTES 365
qua R, and all S is M; therefore, no S is P qua R"; for (6) there is "No M is P qua R, and
some S is M; therefore, some S is not P qua R," The following reduplicative syllogisms
are acceptable in the third figure: for (1) there is "All M is P qua R, and all M is S; there-
fore, some S is P qua R"; for (2) there is "All M is P qua R, and some M is S; therefore,
some S is P qua R"; for (5) there is "No M is P qua R, and all M is S; therefore, some S
is not P qua R"; for (6) there is "'No M is P qua R, and some M is S; therefore, some S is
not P qua R"; for (9) there is "Some M is P qua R, and all M is S; therefore, some S is P
quaR."
BIBLIOGRAPHY
2. SECONDARY SOURCES
367
368 BIBLIOGRAPHY
Note: The references in the Index are to section and paragraph number, not to page
number. The Index should be used in conjunction with the various cross-
references in the notes. Entries conform to the following rules for style: unla-
belled references refer to the introduction; references to the Treatise on
Supposition and the Treatise on Consequences are prefixed with the abbreviations
TS and TC; notes are indicated by the lower-case 'n'. Names appearing in
examples are not indexed.
INDEX OF NAMES
369
370 INDEXES
Categorematic Term §4.1, §7.2; TS 2.3.1-5, 2.4.2, 2.4.5, 2.6.4, 3.2.8, 3.4.10; TC
1.7.2-3
Categorial-Relative Term (see also Anaphora, Antecedent, Quantity, Quantifier) TS
2.6.60,4.8 in toto
Categories §4.2, §5.5; TS 3.2.31
Collective Terms TS 2.6.64-69,2.6.88,3.8.10; TC 1.8.86,3.4.3
Comparatives §6.7; Rule DC-4 in TS 3.7.45-49, 3.8.16-17
Complexe significabile §5.5
Concepts §3.1, §3.3, §4.2
acquisition §3.2 (§3.3)
complex §3.3, §4.2; TS 2.4 in toto, Rule Sup-12 in 2.6.1,2.6.86-87
complexive §3.3, §4.1, §4,2; TS 2.3.12-13, 2.4.3, 3.4.8-12
formation §3.2; TS 1.2.3-4
mediating (see also Ratio) §3.3; TS 2.3 in toto, 3.2.8-9, 3.8.28-30, 5.3.7; TC
1.6.12-14,3.7.3-10
371
372 INDEXES
Conclusion
- direct/indirect (defined) TC 3.2.10, 3.4.35-37
Conditionals (see also Consequences, Inference-Rules) § 7.1; TC 3.1. 7, 4.1. 7
Conjugation §8.4; TC 3.4.38-52
Conjunctive Subject TS 2.6.64-67, 3.8.10
Connotation (see also Appellation) §4.2; TS 5.1.1, 5.2.11
Consequences §7 ill toto
assertoric §7.3 in toto; TC I
composite modal §7.5 ill toto; TC II
divided modal §7.4 ill toto; TC II
formal (see also Uniform Substitution Principle) §7.1; TC 1.3 ill toto, 1.4.2-4,
1.8.32-39, 1.8.58, 1.8.60-61, 1.8.65, 1.8.75, 1.8.100,3.1.9-14
material §7.1; TC 1.4.3-4
simple §7.1; TC 1.4.6
syllogistic: see Syllogism
utllllnc §7.1;TC 1.4.7-12, 1.8.6-7, 1.8.38
Consequent (see also Antecedent, Consequence) TC 1.3.6-7, 1.3.10-12, 1.8.4
Contingent TC 2.2.3, 2.6.15, 2.6.32-38, 2.7.23-25, 2.7.42-45,4.3 ill toto
Contradictories (see also Law of Non-Contradiction) §3.2, §5.4; TS 2.6.8, 2.6.69;
TC 1.1.7-10, 1.8.8, 1.8.32-33,2.6.6,2.7.39,3.7.17-19
Contraries (see also Law of Contraries) §5.4; TS 2.6.46, 2.6.68; TC 2.7.24
Converse-Entailment Principle §4.3, §6.5; TS 5.3.7-13
Conversion §5.4, §7.3; TS 2.6.21, 2.6.50, 2.6.62, 6.2.6; TC 1.8.47-52, 1.8.55, 1.8.70,
1.8.72-95,2.6.25-38,2.7.16-17,4.4.8
by contraposition TC 1.8.100-106
- with respect to the dictum §8.5; TC 2.7.18-24
- violating grammatical rules TS 2.6.21; TC 1.8.81-83, 1.8.89
Copula §4.1, §5.2, §6.8; TS 2.3.9-12, 2.4.3, 2.6.5, 2.6.15, 2.6.24, 2.6.28, 3.4.8-12,
4.9.8, 5.2.13; TC 1.6.6, 1.7.2-3, 1.8.48-49, 1.8.72-75, 1.8.79-83, 1.8.87, 2.2.3,
2.2.5,3.4.62,3.4.71,4.4.7
Coreferentiality (see also Anaphora, Doctrine of Distribution, Reference) §6.6, §8.2;
TC 1.8.89,3.4.1-10
Finite and Infinite Terms (see also Negation: Infinitizing, Syllogism: Variation) TC 3.3
in toto, 3.4.15
Form
- of a term TS 5.2.2-5; TC 1.6.7
- of a sentence TC 1.2.6, 1.4.2, 1.7.2-3
Foundation (of a relation) Rule RT-7 in TS 4.9.1, 4.9.3, 4.9.5
Matter
of a term TS 5.2.3
- of a sentence TC 1.4.3, 1.7.2
374 INDEXES
Negation §5.2; TS 2.3.9, Rule Sup-l0 in 2.6.1, 2.6.30-32, 2.6.82-84, Rule DC-5 in
3.7.50,3.8.18,4.9.8; TC 1.7.2-3,2.2.3,2.3 in toto, 2.5.2-3
negating §4.1; §6.7; TS 2.2.7, 3.7.7, Rule DC-2 in 3.7.34-37, 3.8.14
infinitizing §4.1, §6.7; TS 3.7.35, Rule DC-3 in 3.7.42-44,6.5.1-2
uncommon idiom §6.6, §8.4; TC 1.8.70,3.4.26,3.4.44,3.4.46,3.4.58
Obligations TS 3.2.19
Oblique Terms (see also Appellation, Syllogism: Oblique) §4.2; TS 1.4.4-5, Rule
Sup-3 in 2.6.1, 2.6.5-48, 2.6.81, 3.7.10-13, 3.8.3-8,4.1.5,4.2.6, Rule App-6 in
5.4.1-6; TC 1.7.3, 1.8.90-93,3.3.3-4,3.5 in toto, 3.7 in toto (syllogistic)
Ontological Commitment §6.8
Opaque contexts §4.3
Possibly-True (see also Modals: Composite) §3.2, §5.2, §7.5; TC 1.3.9-10, 1.8.26,
2.7.2
Predication, Modes of §4.2
Primary Object (of a faculty) TS 3.2.32-35
Proposition (see also Assertion, Complexe Significable, Sentence, Truth) §3.2
Ratio (see also Appellation, Concepts: Mediating, Verbs: Intentional) §4.3; TS 3.2.27,
3.8.26-28,5.1.2,5.3 in toto; TC 3.7.5-7, 3.7.10, 3.7.13, 3.7.16, 3.7.25,4.4.5
Reduction, Method of see Method of Reduction
Reductio-Method (proof per impossibi/e) §8.3; TC Theorem III-3 in 3.4.17-19,
3.4.57,4.2.24,4.2.38,4.2.46,4.2.61,4.2.70, 4.2.73,4.3.16,4.4.10
INDEX OF SUBJECTS 375
Scope §4.1
Sentences (see also Assertion, Proposition, Truth) §5.1; TC 1.3.2, 1.3.5-10, 1.8.94
Categorical §5.2 in toto
- Hypothetical §5.3intoto;TC3.7.19-30
- obtaining TC 1.8.9
Square of Opposition §5.4, §6.7, §6.9, §7.3
Status (of a term) (see also Ampliation) TS 6.1.1, 6.1.4
Subalternation TC 1.8.55,2.6.25,3.1.3
Subcontraries §5.4
Supposition §6 in toto; TC 1.5 in toto
as reference §6.1 in toto
Absolute §6.4; TS 4 (by implication) in toto
Accidental §6.5; TS 3.4 in toto
Common §6.3 ff.; see Distributive and Non-Distributive supposition, Deter-
minate supposition
Confused §6.6; see Distributive and Non-Distributive Supposition
Determinate §6.6; TS 3.5 in toto; TC 1.2.7-9, 1.8.56, 1.8.92,3.5.5
Discrete §6.3; TS 3.3 in toto, 4.4.5-6; TC 3.4.5-7
Distributive (see also Distribution, Quantity: Distributive Sign) §6.7; TS 3.6-7
in toto, 4.6.1, 4.9.7-9; TC 1.2.2-6, 1.8.53-54, 1.8.56-57
Material §6.2 in toto; TS 0.0.1, 1.2.1, 1.2.6, 3.2 passim, 3.8.30, 4.4.3-4; TC
2.7.5,3.7.6,3.7.8,3.7.10,4.4.5
Natural §6.5 in toto; TS 3.4 in toto
Non-Distributive confused (Merely Confused) §6.7 in toto; TS 3.6 in toto, 3.8
in toto; TC 1.8.53-54, 1.8.56-57
Personal §6.2 in toto; TS 1.2.1-2, 1.2.7-9,3.2 in toto
Simple TS 3.2.4-6
Syllogism §8.1; TC 3.1.17, 3.2 in toto, 3.4.11-14, 3.4.48
Assertoric §8.4; TC 3.4.37-57
Composite Modal §8.5; TC 4.1 in toto
Divided Modal §8.6; TC 4.2 in toto
Expository §8.2; TS 3.8.26, 5.3.10; TC 1.8.79, 2.6.24, 2.7.11,3.3.5,3.4.23-27,
4.2.9,4.2.24,4.2.61,4.3.61,4.4.10
376 INDEXES
Uniform Substitution Principle (see a/so Consequence: Formal) §7.2. §8.2; TC 1.4.2-3
Universals TS 3.2.4-5, 3.2.9, 3.2.28-29
Use-Mention §6.2
Verbs
impersonal TS 1.3.8,2.1.3;TC 1.8.72, 1.8.87-88
intentional (see a/so Appellation, Concepts: Mediating, Ratio) §4.3 in toto; TS
3.8.24-31, 5.3.1-8, Rule Amp-5 in 6.2.1: TC 1.6.12-16,3.7.3-10,3.7.25,
4.1.15-16
Verification TS 1.3 in toto, 2.2.14, Rule RT-I in 4.3.1,6.4.3; TC 3.4.30
'What is' locution §8.6; TC 1.8.60, 1.8.64, 1.8.75-79. 1.8.82, 2.6.1-3, 2.6.30, 3.4.12.
3.4.54-56,4.1.2.4.2.15-25.4.2.30.4.2.52
INDEX OF RULES AND THEOREMS
Rules of Supposition:
Rule Sup-I: TS 2.6.1, 2.6.3
Rule Sup-2: TS 2.6.1, 2.6.4
Rule Sup-3: TS 2.6.1, 2.6.5-48
Rule Sup-4: TS 2.6.1, 2.6.49
Rule Sup-5: TS 2.6.1, 2.6.50
Rule Sup-6: TS 2.6.1, 2.6.51
Rule Sup-7: TS 2.6.1, 2.6.52
Rule Sup-8: TS 2.6.1, 2.6.53
Rule Sup-9: TS 2.6.1, 2.6.54-81
Rule Sup-l0: TS 2.6.1, 2.6.82-84
Rule Sup-II: TS 2.6.1,2.6.85
Rule Sup-12: TS 2.6.1, 2.6.86
Rule Sup-13: TS 2.6.1, 2.6.87
Rule Sup-14: TS 2.6.1, 2.6.88
Rules of Appellation:
Rule App-l: TS 5.2.1-6
377
378 INDEXES
Rules of Ampliation:
Rule Amp-I: TS 6.2.1
Rule Amp-2: TS 6.2.1
Rule Amp-3: TS 6.2.1
Rule Amp-4: TS 6.2.1
Rule Amp-5: TS 6.2.1
Rules of Restriction:
Rule Res-I: TS 6.3.1
Rule Res-2: TS 6.3.1