An Introduction To Logic
An Introduction To Logic
https://archive.org/details/introductiontoloOOOOmari
AN INTRODUCTION TO LOGIC
AN INTRODUCTION
TO LOGIC
By
JACQUES MARITAIN
TRANSLATED BY
IMELDA CHOQUETTE
NEW YORK
SHEED & WARD
1937
ti mns J. Bata Library
TRENT
PETERBOROUGH,
gc III .*132 I°I3'1
II
1 The Foreword to the French edition contains the following, which refers
to the baccalaureate course in France : “ Furthermore those paragraphs,
the study of which is not strictly necessary towards the baccalaureate degree,
shall be marked with an asterisk. This text may therefore be used by students
who are preparing the second part of their baccalaureate under ordinary
conditions (that is, in one year) as well as those who, by reason of exceptional
circumstances, devote two years to the study of philosophy.”
FOREWORD IX
Ill
J. M.
NOTES TO FOREWORD
(1) Ch. Renouvier, Essais de Critique Generate, ist edition,
1859, Logique, vol. II, p. 126.
(2) Stuart Mill, Autobiography, p. 14 (Columbia Univ.
Press, 1924).
(3) Ciencia Tomista, July-August, 1922.
TABLE OF CONTENTS
PAGE
FOREWORD.vi
MINOR LOGIC
CHAPTER I.—THE CONCEPT AND THE FIRST
OPERATION OF THE MIND
SECTION I.—SIMPLE APPREHENSION.12
SECTION 4.—DEFINITION.76
SECTION 5.—DIVISION.Bo
MGt
CHAPTER III.—REASONING
SECTION I.—REASONING IN GENERAL.148
A. General notions . . . . . . . .148
B. Division of reasoning . . . . . .161
C. “ Immediate inferences ” . . . . . .162
SECTION 3.—INDUCTION.058
A. Inductive reasoning .......
B. Division of induction ....... 278
C. Reasoning by resemblance ..... 284
APPENDIX
LOGICAL ALGEBRA.288
ALPHABETIC INDEX
295
INTRODUCTION
(the order of concepts)
PRELIMINARIES
itself. 2
(a) Thus Logic not only proceeds in conformity with
reason, as do all the sciences, but bears upon the act of
reason itself, whence its name, the science of reason, or of
the logos (XoyiKrj i-niaT'bfJ.rj).3
(b) The reason is not another faculty than the intelligence
(the understanding, the intellect) ; but, from the point of view
of the functioning of this faculty, it is called more especially
the intelligence when it sees, grasps, or “ apprehends,”
and more specially the reason when it proceeds through dis¬
course from the apprehension of one thing known to another.
2. THE THREE OPERATIONS OF THE MIND. What act is
SIMPLE APPREHENSION.
or “ caution ”
or “ unfortunate.”
“ man ”
“ snow ”
“ delicate people ”
“ man is mortal ”
or “ snow is white ”
or “ delicate people are unfortunate ”
or the like.
In the same way we do not advance by simply lifting our
foot off the ground, we advance only if we take a step.
We may say then that in making an act of simple appre¬
hension our mind merely grasps a thing without affirming or
denying anything about it.
This act is not only one or undivided, but also simple or
indivisible : the act of thinking “ man ” or “ snow ” is
a simple act obviously an act which admits of no parts. Furthermore 1
simp"!3 it bears upon an object which is either indivisible itself (as
object' an object of thought, e.g., “ man ”) or at least is appre¬
hended in the same way as indivisible objects, that is, without
involving any construction erected by the mind. Hence it is
called an act of simple apprehension.
The act of conception or simple apprehension is thus a
primary operation which presupposes no other intellectual
operation. Undoubtedly it does not constitute our first
act of knowledge (for it presupposes the operations of the
senses), but it constitutes our first intellectual operation,
it is the first operation of the mind.
The three operations of the human mind are simple apprehension,
judgment and reasoning.
*3. THE OPERATIONS OF THE MIND AND ITS PRODUCTS.
attains to the true or the false in virtue of its matter ; thus the
reasoning—
Man can do no evil, (I)
but this criminal is a man, (II)
therefore this criminal can do no evil (III)
first principles that are self-evident are those which constitute philosophy
formally or in its essence and give it its proper light, while sense experience
furnishes the materials from which intellectual knowledge actually comes
materials on which philosophy depends.
So, although the first prinfiiples of reason may come into the consideration
of Major or Material Logic, which treats of the content of our reasonings and
not of their “ form ” or disposition alone, these first principles of reason arc
none the less, in another function, the formal principles of intellectual know¬
ledge and philosophy, just as the soul is the form which gives life to the body.
1 This point and the problems concerning the nature of Logic will be
considered in Major Logic.
2 Some modern treatises prefer the name applied Logic, but this runs the risk
of ambiguity and might lead one to think that this part of Logic does nothing
but apply the truths established by formal Logic, whereas it is in reality a
part of Logic which treats of an aspect of things that formal Logic does not
consider. The term applied Logic belongs rather to what the Ancients called
Logica utens. The distinction between Logica docens (pure Logic) and Logica
utens (applied Logic) will be studied in Major Logic.
INTRODUCTION II
INCOMPLEX
by it and in it; and a mental word (verbum mentis) because the mind utters it
within itself.
The concept is also called a representation because it is a likeness of the object
by which it (the object) is made present to the mind, an intention (intentio)
because it is that by which the mind tends toward the object, and finally a
species, taken in the sense of a “ representation ” or “ image ” (in accord with
the original meaning of species, cf. aspect, aspicere, specio, speculum, etc., Greek,
crKemw). The concept is called “ species expressa ” (an expressed representation)
as opposed to the “ species impressa ” (the representative impression) which
determines the intelligence to the production of the concept. See J. Maritain,
Introd. to Philos., p. 178. St. Thomas calls this representative impression the
species or forma intelligibilis, and calls the concept verbum mentis, conccptus or
intentio.
In the strict scholastic vocabulary, the word “idea” is reserved for the
concept which the artist imitates in his works, the creative idea.
1 The distinction between the objective concept and the mental concept is
being emphasized here in order to anticipate any confusion, for this distinc¬
tion plays an essential role in Critique. No sane logic can be constructed with¬
out presupposing a certain metaphysic of knowledge which is, moreover, the
metaphysic of common sense ; indeed it could not be otherwise. Inversely,
all the errors or deviations which we will have occasion to comment upon in
Logic ultimately proceed from some avowed or unavowed metaphysical error.
2 The word “intentio” also has these two different meanings : “ intentio
formalis ” and “ intentio objectiva.”
3 Although an objective concept is something other than the mental concept,
yet in many cases what may be said of one may also be said of the other.
Thus when we “ compose ” and “ divide ” we compose and divide both objec¬
tive and mental concepts simultaneously and in one act.
It may be said of the objective concept as of the mental concept—but in an
entirely different sense—that the thing is seized by it.
THE CONCEPT
T9
Since the formal object (the objective concept) is that which is immediately
attained (per se primo), the material object is attained mediately, and “ by ”
the formal object. In this sense we may say that we grasp a thing “ by ” the
objective concept (by that in the thing which comes first and directly into
intellectual vision).
We lay hold of a thing “ with ” our mental concepts just as we lay hold of an
animal with our hands or see a monument with our eyes. We seize it by such
and such an objective concept as we seize an animal by the paws or the ears, or
as we see a monument by the facade or the apse.
By playing in the same way upon the word “ to present ” we may say that
both the mental concept and the objective concept “ presents ” the thing to
knowledge ; the mental concept being something of ourselves by which we
know the object, and the objective concept being something of the object by
which it is known to us.
It is also to be remarked that the objective concept being the thing as it is
known, conceived, or presented to the intelligence, may have a mode or state of being
(state of universality) given it by the mind itself, and which the thing does not
have in its extra-mental (individual) existence. Cf. J. Maritain, Introd.
pp. i <50-161.
1 Ibid., p. 255.
2 Ibid., pp. 170-172.
20 LOGIC
Blindness
Nothingness
(I) Affirmation
The species, man
„ An irrational number (a surd)
t A geometric point
(II) j A circumference
(An even number
Its exten¬
of a- concept is its breadth in relation to the individuals sion is
measured
(or more generally to the objects of thought) in which it is by the sum
realized, and which it groups in its unity. Thus the concept of objects to
which it
“ Aryan ” extends to all Indo-Europeans, the concept “ man ” applies.
1 Ibid. It exists in the real, but there it loses the universality it had in the
mind.
24 LOGIC
etc., down to Peter and Paul. etc., down to this dog and this
oyster.
3 “ A vertebrate,” as Goblot says (Log., n. 71, p. 113) “ is not an animal with
neither fur, feathers nor scales, but an animal whose tegumentary appendages
may have the forms, fur, feathers, or scales.” That is, these differences are
contained potentially, and only potentially, in the generic notion of vertebrate.
Therefore the genus is only potentially richer than the species. It is poorer
in act, and the specific difference really adds a determination to the generic
characteristics.
4 Animal is accidentally “ rational,” “ irrational,” “ barking,” or
“ruminant” (differentiating notes of species included under the genus
“ animal ”). Goblot includes, in the comprehension of a genus, not only these
differentiating notes, but all the accidental attributes which may be said of it
per accidens. “ If by the comprehension of the idea,” he says (Log., n. 127),
“ we understand all that may truthfully be affirmed of this idea, then all true
judgments are analytic.” If this were the case, then, because it is true that this
man is a philosopher and that man a robber, that this man was born in Athens
and that one in Pekin, that this one is standing and that one is sitting down.
THE CONCEPT 27
this one pleasant and that one an idiot, this one a miser and that a spendthrift,
all these attributes, “ philosopher,” “ robber,” “ born in Athens,” etc., etc.,
would be contained in the comprehension of the genus Man.
1 Our concepts and ideas should be considered as opposed to Plato’s
“ separate Ideas ” and “ man in himself’’—but in another sense, as we shall
28 LOGIC
Atheist (Theist)
f-;-K '
Polytheist (Monotheist)
/-*———.
Jew Christian
/-*->
Catholic Heretic
/-'->
Lutheran . . .
C1 C2 D1 D2
E1 E2 M1 M2
/-*-\ ,-*-s
F1 F2 N1 N2
/-*-^
G1 G2
INCOMPLEX
Complex
or and
Incomplex
COMPLEX Concepts.
As a matter of fact, both the one and the other are abstract
in that they are both derived from sensible experience by
means of the intellectual operation called abstraction, and
in that both abstract from the individual notes of the intui¬
tively perceived sense objects 1; nevertheless, concepts of
the second type are really abstract to the second power,
because they disengage a. form from the subject it determines
in order to consider it by itself. Only in contrast with this
sort of abstraction are concepts such as man or philosopher
called : “ concrete.”
The concrete concept presents to the mind what such and
such a thing is (id quod est) ; an abstract concept presents
that by which the thing is such and such a thing (id quo est
aliquid).
(a) Abstraction will be fully treated in Major Logic,
Psychology and Critique. We shall simply note here
1 This division belongs to the theory of the suppositio of the term and the
concept (see below No. 27).
" Cf. J. Maritain, Introduction to Philosophy, pp. 159-172.
THE CONCEPT
37
as “ this man,” “ this philosopher ” (or again “ Caesar,”
“ Leibnitz ”) and the case in which its extension is not
limited to one single individual determinate subject. In
the first case the concept is individual or
SINGULAR,
in the second it is
COMMON.
PARTICULAR.
DISTRIBUTIVE OR UNIVERSAL.
The Concept
Collective Divisive
Singular . this army this man
Subject- i Particular. . some army some man
Concept ' Common < Distributive . every army each man
[ (or universal)
1 Cf. John of St. Thomas, Curs. phil. Phil. Nat., De anima, q. X, a. 4 ; Fer-
rariensis, in I Contra Gentiles, cap. LXV, §8, ad 3 ; Bannez, in Sum. Theol.,
I, q. 86, a. 1, dub. 2.
2 We must be careful to say “ every man ” and not “ all men ” (tout homme,
et non pas “ tous les hommes ”). The first expression “ denotes ” the universal
nature “ man,” which is derived by abstraction from individuals and is the
first object of thought; the second designates only a collection of individuals
possessing human nature. To make a systematic use of the latter manner 0/
speech in formulating universal majors in the theory of the syllogism—as do
so many modern logicians—is to betray great crudity in Logic.
42 LOGIC
1 Cf. St. Thomas, loc. cit., No. 13. In certain cases the particular subject
does not designate an indeterminate individual but one of the inferior universals
of the concept in question : “ Some animal (viz., man) is rational.”
2 The same care should be exercised in illustrating this point as that men¬
tioned above in note 4 that “ some man ” (quelque homme) should be under¬
stood in relation to the universal nature “ man ” and not in relation to a certain
collection of individuals having human nature.
3 Cf. St. Thomas, in Anal. Post., 1, I, lect. 11, n. 2.
THE CONCEPT 43
concept universal as abstract, but embraced within
another more universal concept. Thus the concept
“ man 55 is less universal (universal as abstract) than the
concept “ animal.” And because the concept “ man ”
considered as an inferior of the concept “ animal ” has
for its extension only a part of the latter concept, it may be
opposed to the concept “ animal ” as the particular to
the universal. For example, in going from the proposi¬
tion “ every animal is mortal ” to the proposition “ every
man is mortal ” we go from the universal to the particular.
In this case the word “ particular ” no longer concerns
the extension of the subject-concept as related to the
predicate in a proposition, but simply the extension of
the concept taken in itself as related to another concept.
In this sense the concept may be called “ particular as
inferior.”
Let us examine the proposition “ every man is mortal.”
Obviously, if the concept “ man ” is particular in the second
sense (particular as inferior), it cannot be particular in
the first sense (particular-as-restricted), for its universality
is not limited, it is a universal-as-distributive concept. The
same is true of the proposition in question, which may
be said to be particular in the second sense but is universal
in the first.
Hence there arises a possibility of confusion whose
source is in the profound law of analogy which rules the
life and natural migrations of words and which entails
almost inevitable linguistic imperfections. It is incumbent
upon the logician to teach us to distinguish between the
different meanings of the same word, and any evasion
of this duty by imposing a mechanical rigidity upon
linguistic signs would be foredoomed, for it would merely
be an attempt to remedy a natural imperfection by an
artificial and more injurious one.1
{b) This possibility of confusion is increased by the
1 The vocabulary of the ancients (in which the words extension and compre¬
hension themselves were not included) was less confusing than ours on this
point. For whereas we say that a subject is singular, universal (as distributive)
and particular (as restricted), the scholastics were wont to say that the subject
was singular, universal taken universally and universal taken particularly.
LOGIC
44
use of the word “ general ” as synonymous (i) sometimes
with universal as abstract, or (ii) sometimes with common,
or, (iii) sometimes with universal as distributive, and thus
as opposed respectively to (i) the particular as inferior
or the singular as such (which is the direct object of sensa¬
tion but never of a concept) (ii) the singular concept, (iii)
the particular as restricted
Once forewarned, how'ever, it is not difficult to guard
against such confusion, but it would be more easily
avoided were we to agree once and for all
i. Generalities
The logician The logician, considering the term and the proposition
primarily
considers the primarily as to their use in reasoning, is chiefly interested
division of
the term in the term’s division into subject (S.) and predicate (Pr.), a
into subject
and division which is of essential importance in the syllogism
predicate.
wherein the term is considered as part of the argumentation
(“syllogistic term”). The subject-term, in a proposition is
the term to which the verb to be applies a determination ;
the predicate-term is the term which the verb to be applies
to the subject in order to determine it. Inasmuch as it
applies a determination to a subject the verb to be is called
the copula (C.) because its function is to unite the Pr. and the
S., or to affirm their real identity. “ The snow is white,”
is equivalent to saying, “ there is an identity between the
thing which I designate by the word ‘ snow ’ (the word
which is subject or subjected to a determination in this
proposition), and the thing which I designate by the word
‘white’” (the predicate-word which has the determining
role in my proposition).
1 See n. 39, note 2, on the difference between a complex term and imperfect
discourse.
THE CONCEPT
51
THE NOUN
which has the role of stable extreme 2 in the proposition, and The enuncia -
tive term is
divided into
THE VERB noun and
verb.
1 Cf. St. Thomas in III Sent., disf. VI, q. i, a. 3 ; John of St. Thomas,
Logica, ia Pars, Sum., p. 22.
2 Wc may understand ideal existence as standing in contradictory opposi¬
tion to actual existence ; that is, we are defining it simply as existence that is
not actual (whether it be possible or “ imaginary ”). Had it been thus under¬
stood in the table in No. ga, the groups I, II, and III would have been bracketed
together, and “ real existence ” would have referred exclusively to group IV,
and would thus have designated actual existence as simultaneously opposed
to both possible and “ imaginary ” existence.
THE CONCEPT 63
For I play on the double meaning of is in proposition I :
chimera being taken (substituting, supponens) in relation to
to ideal existence in proposition II (for the chimera exists
as an animal in the mind alone), and in relation to real
existence in proposition III. It was in this way that the ancient
sophists pretended to demonstrate that non-being is,
because it is non-being.
It is evident that if the antecedent (the minor in a syl¬
logism) 1 has a suppositio taken solely in relation to ideal
Rule II.
existence (if it is a purely “ essential ” suppositio as we would A sequence
is invalid if
say nowadays) then the conclusion cannot have a sup¬ the mode of
existence in
positio taken in relation to real existence, an “ existential ” relation to
which the
suppositio. My reasoning would be defective indeed were I suppositio is
understood
to infer from the propositions “ Every centaur is half-man, varies from
the ante¬
half-horse,” “ but a centaur is a fabulous being ” that cedent to the
consequent.
“ there really exists a fabulous being that is half-man, half¬
horse.” The proper conclusion would be : “ therefore
some fabulous being is half-man, half-horse ” (in ideal
existence). Hence the rule :
» In syllogisms of the third figure (see below No. 78) it may happen that
although the Minor considered by itself has a purely “ essential suppositio, the
suppositio of the Conclusion is “ existential.” Such is the case in the following
example (in Disamis) :
“ Some angel is damned
But every angel is a pure spirit, „
Therefore some pure spirit is damned.
But in this syllogism the existential suppositio of the Major is communicated to
the Minor taken as Minor, that is, thought of as subordinate to the Major.
64 LOGIC
The term “ man ” or “ lamb ” stands for itself, for the oral
or written sign itself: its substitutive value is material,
suppositio materialis. More often, however, the term stands
for the thing which it signifies: its substitutive value is
formal.
2 In the latter case, if I say
Suppositio
The Lamb was offered up for the sins of the world,”
impropria. the term ‘ Lamb ” stands for the thing it signifies only
improperly or metaphorically : the substitutive value of
the term is improper, suppositio impropria. If, on the contrary,
THE CONCEPT 65
the term stands for the thing it signifies in the proper sense,
its substitutive value is said to be proper.
3 For example in propositions such as :
The vertebrate is a branch of zoology,” or
“ The lamb is a species of the genus animal,” propositions
in which the predicate is a logical being with the form of
universality, the term “ vertebrate ” or “ lamb ” stands for
a certain nature which it signifies without passing to the
Suppositio
individuals who have this nature (for I cannot say : Fido simplex and
Suppositio
is a vertebrate, therefore Fido is a branch of zoology). personalis.
In other words, the term stands for the thing it signifies
primarily and immediately (primo et immediate, sen formaliter)
with a precision such that it does not pass on to the thing it
signifies secondarily (materialiter) ; (for a common term
signifies first and immediately a universal nature, and
signifies secondly and mediately the individuals in which
this nature is actualized).1 In this case the substitutive
value is simple, suppositio simplex.2
However, the term may stand simultaneously for the
thing it signifies immediately and for the thing it signifies
materially and mediately ; that is, it may also stand for the
individual subjects or “ persons ” in which is actualized
the universal nature that it primarily signifies. In this case
the term has, so to speak, a double substitutive value which
is said to be real or personal, suppositio personalis.
Suppositio
4 In the latter case the substitutive value may be either singularis
singular (suppositio singulars) : “ The man ran away at and
Suppositio
communis.
once,” “ The lamb will be sacrificed to-morrow,” or
Suppositio
completa, 6 Universal or distributed substitution may be either
incompleta,
cxceptiva. complete, when the term stands for all the individual subjects
to which its signification extends (pro singulis generum) :
“ man is mortal,” “ every animal is sentient.”
or incomplete, when the term stands only for all the kinds
of subjects to which its signification extends (pro generis
singulorum) : “ Every animal was in Noah’s ark ” (that is,
each species of animal). “ God summoned every animal
before Adam.”
or exceptive : “ every man that is merely man is born in sin ”
(exception being made for the Mother of God), “ every man
is fallible ” (except the Pope speaking as Doctor of the
Universal Church).
Descensus
The ancient logicians called the legitimate progression et
A scensus.
from a common term to the inferior or singular concepts
it contains, or from inferior terms to the common concept
which contains them, the descensus and ascensus of terms.
This progression constitutes a true inference in the case
of the particular-determinate (suppositio disjunctiva) or universal
(suppositio distributa) substitutive value of a term. In the
first instance (.suppositio disjunctiva) the descensus has the
following form : “ some man is a liar, therefore either
this man is a liar, or else this one is a liar, or else this
other one is a liar, etc.,” “ some body is sentient, therefore
either this body is sentient, or else this one is sentient,
or else this one (this animal for example) is sentient
1 Convertible propositions (see below No. 52, $2, and No. 83) are also subject
to this law. “ Every man is rational.” The concept rational has the same
extension as the concept man ; but as predicate, that is, as attributed to the
universal subject man and to the individuals contained under it, it is not taken
universally. It is not taken as communicable to the subject according to all the
singulars contained therein, but only according to a certain individual and
indeterminate restriction. For we cannot say : “ each man is all rationality.”
THE CONCEPT
69
contained under the term animal that “ therefore every
sentient being is this animal (man)” or “ therefore every
sentient being is that animal (beast) •” ; I may only say :
“ therefore every sentient being is either man or beast”
In the same way, if I say “ Every musical performance
requires an instrument ” I cannot conclude “ therefore every
musical performance requires a piano, or every musical
performance requires a flute, etc.”—every one of these
statements would be false. I may only say : “ Every musical
performance requires either a piano or a flute or, etc.”
Rule III.
In every affirmative proposition, the substitutive value In every
affirmative,
of the PREDICATE IS PARTICULAR INDETERMINATE (sup- proposition
the Pr. is
positio disjuncta). taken par¬
ticularly.
Counter to this, in every negative proposition the
Rule IV.
substitutive value of the predicate is universal (sup¬ In every
negative
positio distributa). proposition
the Pr. is
taken univer¬
For example in the proposition, “ man is not a pure spirit ” sally.
These two rules are used a great deal in the theory of the
syllogism.
Rule V. As for the subject, as we have already said, its
The S. stand*
for the thing substitutive value is always determined by the signification
according to
the needs of
the Pr.
of the predicate.
(1Subjectum supponit juxta exigentiam Praedicati, talia sunt sub-
jecta qualia permittuntur a suis praedicatis.)
This is the fundamental rule in regard to the suppositio :
S. Pr.
“ The Apostles were men ”—suppositio distributa
(universal}.
“ The Apostles were twelve ”—suppositio copulata
(collective).
“ Apostles were necessary to preach the Gospel to
the world ”—suppositio disjuncta (particular indeter¬
minate) .
“ Apostles were present at Mount Tabor ”—sup¬
positio disjunctiva, (particular determinate).
Suppositio
naturalis et C. The “ real ” or “ personal ” substitutive value of a
suppositio
occidentals. term {suppositio personalis) may be divided from another
aspect besides the one noted above in 4—viz., in relation
to the verb or copula. From this point of view it is either
essential {suppositio naturalis), or accidental {suppositio acci¬
dentalis). In the first case, e.g., “man is rational” the
Ampliatio
I. The ampliatio (amplification, enlargement) extends or or
Amplifica¬
broadens a term’s substitutive value. For instance, the term tion.
man ” is broader in this proposition : “ every man (as a
possible essence) is fallible ” than it is in the proposition :
“ every man (actually existing) is fallible ” (ampliatio ad esse
possibile). Similarly this term is broader in the proposition
“ every man is unhappy on this earth ” than in “ the
poor man is unhappy on this earth ” (ampliatio ad plura
supposita).
II. The restrictio (restriction), on the contrary, restricts Restrictio.
Alienatio
III. Alienatio transfers the substitutive value of a term or
from proper to improper or metaphorical : this transfer transfer.
Diminutio
or
IV. By diminutio (diminution) the term is made to stand
Diminution.
for a lesser (less extended) subject than it would stand for
if taken by itself.
“ Every argument is good in so far as it is true.”
Appellatio
or V. The appellatio (reimposition) clothes the subject
Reimposi¬
tion. designated by the term with a determination other than
the one which the term itself signifies. In other words, it
imposes upon this term a formality that is properly sig¬
nified by another, and thus causes it to stand for a thing
taken from a determinate point of view which it does not
signify when considered by itself.
Peter is a heavy eater.
The subject Peter is said to be heavy here, as or under
the formality of an eater. Before being attributed to the
subject Peter the term heavy (terminus appellans) “ calls down ”
or “ reimposes ” upon him the determination or formality
signified by the term eater: the term heavy is not absolutely
applicable to Peter, but only in relation to the faculty of
eating, by means of the determination signified by the term
eater.
1 The term “ say ” is evidently used here only by analogy. It refers neither
to the act of really uttering something aloud, nor to the act of uttering it
imaginatively within us, as we do when we talk to ourselves without moving
our lips—but relates to the purely immaterial act of thinking (cf. above No. 3).
It is a law of the mind that we designate spiritual things analogically by means
of words that primarily signify sensible things.
THE CONCEPT 77
30. definition of the name. Before inquiring into what a This notion
may be
extended
thing is, for instance what man is, and expressing it in a and applied
to the word
definition, we must agree on the meaning of the word by itself
which we designate this thing, and which takes its place in (definition of
the name,
quid
discussion. Let us say that the locution or the complex nominis).
concept that makes known the signification of a name, is
also a definition—and thus extend the meaning of this word.
In this extended or derived sense the definition is said to be
a nominal definition, a definition of the name. By contrast we
may call the definition in the sense of the word of which we
SECTION 5. DIVISION
1 The logician considers strictly and immediately the work produced, the
accomplished division, and not the act of dividing.
THE CONCEPT 8l
isosceles or scalene
1 Furthermore (see No. 35, inset) we may compose or divide two concepts bj>
means of the verb, without making a judgment, if we do not attach a signification
of assent to this verb.
84 logic
1 Judicium est assensus intellectus circa aliquid quod est capax talis judicii;
sed solum est capax talis judicii veritas complexa significata per enuntiationem ;
ergo actus judicii distinguitur a formatione enuntiationis. Maj. constat.
Quia judicium est id quo determinatur intellectus assentiendo quod ita est
vel non est, hoc enim est judicare ; sed non potest assentiri, aut pronuntiare
quod ita est vel non est, nisi circa aliquid complexum, quod connectitur cum
verbo, ut experientia constat, et hoc est enuntiatio ; ergo prius formatur enun-
tiatio, et deinde judicatur.
“ Quod etiam patet quia multoties apprehendimus et formamus enuntia-
tiones de rebus dubiis sine ullo judicio, ut cum dicimus : astra sunt paria,
thesaurus est in isto loco, de quibus nescimus judicare et determinare asser¬
tive ; ergo aliud est enuntiatio, aliud judicium ” (John of St. Thomas, Log.
I.P., Illustr., q.v., a. 1).
88 LOGIC
1 In this case, we see not that this S. has this Pr., but that we should affirm
that it has. In such a case the judgment is made under the influence of the will,
not through ttecessity.
90 LOGIC
1 Cf. St. Thomas, in III de Anima, lect. 6 ; Metaph., lect. ult.; and Quodlib
v, a. 9. “ Duplex est operatio intellectus secundum Phil. Ill, de Anima, una
quidem, quae vocatur mdivisibilium intelligentia (id est simplex apprehensio)
per quam intellectus format definitionem, vel conceptum alicujus incomplexi’
Aha autem operatio est intellectus componentis et dividentis (id est compositio
vel divisio) secundum quam format verbum. Et utrumque istorum per
intellectual constitutorum vocatur verbum cordis, quorum primum signi-
ficatur per terminum incomplexum, secundum per orationem.” Cf likewise
John of St. Thomas, Log., I.P., Appendix.
THE PROPOSITION
93
A. GENERAL NOTIONS
i. Discourse in General
1 Cf. Bertrand Russell, The Philosophy of Leibniz (Camb. Univ. Press, 1900),
p. 13.
THE PROPOSITION
97
1 Cf. St. Thomas, in Perihermeneias, lib. I, cap. IV, lect. 7 ; in Anal, post.,
lib. I, cap. II, lect. 5.
1 John of St. Thomas, Logica, Prima Pars, Illustrationes, q. 5, a. 1.
s See above, Nos. 22 and 24.
* Cf. St. Thomas, in Perihermeneias, lib. I, cap. V, lect. 8, n. 9, 11 ; cap. VII
lect. 10, n. io, 23.
THE PROPOSITION 99
1 o DISJUNCTIVE 1
1 Kant divides judgments from the point of view of quality into Affirmative,
Negative and Indefinite (the soul is non-mortal). But, as he himself admitted,
from the point of view of form, a proposition such as “ the soul is non-mortal ’*
is an affirmative proposition.
THE PROPOSITION III
How many modes may affect the copula itself and thus
make the proposition to be modal ?
A predicate such as “ ill ” belongs to Peter possibly.
Supposing that Peter is in good health, we would say :
“ Peter can be (est possibiliter) ill.”
On the contrary, a predicate such as “ angel ” cannot
belong to Peter. We say “ Peter cannot be (est impossibiliter)
an angel.”
A predicate such as “ in good health,” belongs to Peter
contingently. Supposing that Peter be in good health, we
would say “ Peter might not be (est gontingenter) in good
health.”
There are
On the contrary, a predicate such as “ man ” belongs to four kinds
Peter necessarily : “ Peter cannot not be (est necessario) a of modes :
possibility,
man.” impos¬
sibility,
contingence
Thus there are only four modes that can affect the copula necessity.
itself:
possibility,
impossibility.
contingence (possibility that it should not be).
necessity (impossibility that it should not be).
It is evident that in every modal proposition two asser¬
tions are to be distinguished : the one (the dictum) concerns
the thing itself, the attribution of the Pr. to the S., the other
(the modus) concerns the manner in which this attribution
is realized (be it in the thing itself or in the mind). To
illustrate what we mean by mode we may say, for example,
“ It is possible that Peter be ill,” “ it is impossible that Peter
be an angel,” “ it is contingent that Peter be in good health,”
“ it is necessary that Peter be a man.”
the S.into man, and that which has whiteness is one and the same subject.”
the
extension of Or else it judges (which amounts to exactly the same
the Pr.
thing) that “ There is an identity between the subject
which I call this man, and A subject which has whiteness.”
In the first case the mind says that a same subject has the
note humanity and the note whiteness and thereby makes
whiteness enter into the comprehension of the S. “ this man.”
In every In the second case the mind says that the subject which
negative
judgment has the note humanity is one (of the) subject(s) that pos¬
the mind
excludes sess (es) the note whiteness, and thereby makes “ this man ”
the Pr. from
the com¬ enter into the extension of the Pr. “ white.”
prehension
of the S. or Thus the same act of judging may be made either from
the S. from
the exten¬ the point of view of comprehension (Peter is a saint, he
sion of the
Pr. possesses sanctity) or from the point of view of extension
(Peter is a saint, he is one of those who possess sanctity).
In both cases the mind accomplishes the same act of identify¬
ing the S. and the Pr., and does nothing else than that
expressly (in actu signato). But by that very act and simul¬
taneously with it, although without thinking about it (in
actu exercito), the mind makes the Pr. enter into the com¬
prehension of the S. or else it makes the S. enter into the
extension of the Pr.
Which is the more natural, judgment in extension or judg¬
ment in comprehension ? Judgment in comprehension. . . .
For just as the comprehension of a concept is a more funda¬
mental property than its extension, so, in affirmation, the
logical function of making a Pr. enter into the compre¬
hension of a S. is more fundamental than the function of
making a S. enter into the extension of a Pr. Wherefore
in the theory of the proposition, logicians say that the Pr.
is in the S. (Praedicatum inest Subjecto) or that the Pr. belongs
(inrdpxei) to the S.
*(a) In this instance the word comprehension does not
designate the comprehension of the concept which serves as
the subject of the proposition taken in itself1 ; for example,
it does not designate the comprehension of the concept
“ man.” It refers to this concept, e.g., “ this man,”
in so far as it is used as subject of the proposition,2 and it
1 See above, No. io.
! See above, Nos. 18, 43 and 49.
THE PROPOSITION 12 I
1 In the propositions which are called unnatural, because the natural order
of the S. and Pr. is reversed (propositiones innaturales, indirectae, violentae) e.g. :
“ some man is Peter,” the comprehension of the S. seems to be smaller than
that of the Pr. But in reality the S. some man stands for a single individual and
therefore has a comprehension equal to the Pr.’s.
2 This new proposition is just as true as the first, but it affirms another
truth. It is one thing to say “ Every man is a rational animal ” and another
to say “ Every rational animal is a man,” just as it is one thing to say A
belongs to all B ” and another to say “ B belongs to all A.” Cf. No. 58c.
124 LOGIC
the form or quality Mortal, but certainly not with all the
matter contained under this universal form itself, nor with
all the singular subjects in which “ Mortal ”(ity) is realized.
In every Affirmative
the Pr. is taken
PARTICULARLY.
in every in every
AFFIRMATIVE PROPOSITION NEGATIVE PROPOSITION
Particularly Universally j as to
EXTENSION
The predicate is
taken
1
Totally Partially j- as to
COMPREHENSION
(Considered
divisively)
(For the Pr. is taken in all its comprehension when its notes
are considered collectively).
CONTRARIETY,
1 See above, No. 18 (2), inset, and No. 51a.—“ Quandoque attri-
buitur aliquid universali sic considerato, quod scilicet apprehensitur ab intel-
lectu ut unum, tamen id quod attribuitur ei non pertinet ad actum intellectus,
sed ad esse, quod habet natura apprehensa in rebus quae sunt extra animam,
puta si dicatur quod homo sit dignissima creaturarum. Hoc enim convenit
naturae humanae etiam secundum quod est in singularibus. Nam quilibet
homo singularis dignior est omnibus creaturis irrationalibus ; sed tamen
omnes homines singulares non sunt units homo extra animam, sed solum in
acceptione intellectus ; et per hunc modum attribuitur ei praedicatum, scilicet
ut uni rei ” (St. Thomas, in Perihermeneias, lib. I, c. VII, lect. 10, n. 9).
2 In two opposed propositions not only must the S. and Pr. be the same, but
the S. must have the same kind of “ substitutive value ” or suppositio (material,
logical, or real). However, the S. may sometimes pass from a real particular
suppositio to a real universal suppositio (substitutive value) or inversely.
when they have the same S. and Pr., and are opposed in
quality, but not in quantity—both being universals.
SUB-CONTRARY
A is the when they have the same S. and Pr. and are opposed in
contradic¬
tory of O, I quality only, not in quantity, both being particulars.
the con¬
tradictory There is therefore opposition of contradiction between A
of E.
and O, and between E and I ; opposition of contrariety
A is the
contrary of between A and E, opposition of sub-contrariety between I
E, I the
sub- and O. These facts are presented in the following scheme
contrary
of O. which is called the “ square of opposition.”
Aff
Irmo
I is the
subaltern
I is said to be the subaltern of A, O the subaltern of E.
of A, O the
subaltern
Subalternation does not really constitute logical opposition,
of E. but only a relation between superior (a more universal
proposition) and inferior (a less universal proposition).
THE PROPOSITION 133
other may also be false.1 “ Every man is just ” is false, but one is false
the other
that does not prove that “ no man is just ” is true. may equally
be false.
(3) sub-contrariety. Two sub-contraries cannot be at
Law of Sub¬
the same time false, but may be at the same time true.2 contraries :
if one is
If one is false, the other is necessarily true ; but if one is false the
other is
true, the other may also be true. “ Some man is just ” is true, true; but
if one is
but that does not prove that “ some man is not just ” is false. true the
other may
(4) sub alternation. Subalterns obey the following law : be equally
true.
If A is true, I is true ; if A is false, I may be true. If I is true,
A may be false, if I is false, A is false. Likewise for E and O.
These laws are evidently of very great practical value.
We must be especially careful not to confuse the opposition
of contradiction with the opposition of contrariety. It does
not necessarily follow from the falsity of a proposition that the
contrary proposition is true. For instance, because the pro¬
position “ Every religion is good,” is false, it does not follow
that the proposition “ No religion is good ” is true ; for,
on the contrary, it is false. Nor is the truth of the proposi¬
tion : “No sin may be avoided without the help of grace ”
consequent upon the falsity of the proposition : “ Every sin
may be avoided without the help of grace ” (see No. 56,
the opposition of modal propositions).
*(a) Note that the contradictory of a copulative pro¬
position is a disjunctive. Example : “ Every rich man
is sad and honoured.” Contradictory “ Some rich man
is not sad or not honoured.” Actually if this disjunctive is
false, the copulative is true, and if either one of its members
is true, the copulative is false.
*[b) The opposition of contradiction and future contingencies.
If a proposition is true, its contradictory is false ; if a
proposition is false, its contradictory is true. But a
proposition concerning the contingent future is neither
determinately true nor determinately false (see above, No. 41 b),
1 In necessary matter, that is when the Pr. is of the essence of the S. two contrary
propositions cannot be at the same time false. Ex. : “ Every man is mortal,”
“ No man is mortal.” In such a case (but only in such a case) we may conclude
to the falsity of one contrary from the truth of the other—as in the opposition
of contradiction.
* In necessary matter, that is, when the Pr. is of the essence of the S., two sub¬
contrary propositions cannot be at the same time true. Example : " Some
man is mortal,” “ some man is not mortal.” In such a case (but only in such a
case) we may conclude from the truth of one sub-contrary to the falsity of the
other—as in the opposition of contradiction.
136 LOGIC
(Aff.) (Aff.)
Necessary that it be = Aff.
(Aff.) (Neg.)
Necessary that it not be — Neg.
(Aff.) (Aff.)
Possible that it be = Aff.
(Aff) (Neg.)
Possible that it not be = Neg.
(Neg.) (Aff.)
Impossible that it be = Neg.
(Neg.) (Neg.)
Impossible that it not be = Aff.
138 LOGIC
Likewise :
If (2) is true, (6) must be true. If (6) is true, (2) may be false.
If (2) is false, (6) may be true. If (6) is false, (2) must be false.
140 LOGIC
Likewise :
If (7) is true, (3) must be true. If (3) is true, (7) may be false.
If (7) is false, (3) may be true. If (3) is false, (7) must be false.
Similarly :
If (8) is true, (4) must be true. If (4) is true, (8) may be false.
If (8) is false, (4) may be true. If (4) is false, (8) must be false.
Or again :
If (1) is true, (4) must be true. If (4) is true, (1) may be false.
If (1) is false, (4) may be true. If (4) is false, (1) must be false.
And finally :
If (2) is true, (3) must be true. If (3) is true, (2) may be false.
If (2) is false, (3) may be true. If (3) is false, (2) must be false.
REASONING
1 On the contrary, when I know only the Major : “ Every perfection pos¬
sessed by creatures has God for its first cause ” without relating it to the Minor
by an act of reason, I may say that I already know the conclusion “ Free will
has God for its first cause,” but with only a potential knowledge (my intelligence
is in potency to this truth) or virtual knowledge (this truth is contained virtually
in that of the Major). This potential or virtual knowledge can be actualized
only by the movement of the reason.
2 Aristote, Anal. Post., lib. I, cap. I, 71a, 20, St. Thomas, lect. 2 ; n. 9 ;
“ Ut si sic demonstraret aliquis, omnis triangulus habet tres angulos aequales
duobus rectis, ista cognita, nondum habetur conclusionis cognitio : sed cum
postea assumitur, haec figura descripta in semicirculo, est triangulus, statim scitur,
quod habet tres angulos aequales duobus rectis. . . . Inducens hanc assump-
tionem, scilicet, quod hoc, quod est in semicirculo, sit triangulus, simul,
scilicet tempore, cognovit conclusionem.” Cf. John of St. Thomas, Phil. Nat.,
Ill, q. XI, a. 4, p. 520.
Unless the mind reasons about a previously formulated argumentation
suggested to it by someone else, in which case all the propositions it considers
are constructed beforehand (for instance, in teaching, when a professor gives
an example of reasoning to a pupil), the construction of the conclusion as a
proposition is posterior in time to the construction of the Minor ; anima in
componendo et dividendo necesse habet adjungere tempus, ut dicitur in III de Anima,
cap. VI (St. Thomas, in Periherm., I, c. IX, lect. 14, n. 19). But the truth of the
conclusion is seen in the Minor taken as such before the conclusion itself is
constructed. Thus the perception of the truth of the Minor causes the per¬
ception of the truth of the conclusion, but precedes it only with a priority of
nature not of time, and thereby causes and precedes with a priority of time
the construction of the conclusion.
150 LOGIC
1 Cf. John of St. Thomas, Logica, Ha, Pars, q. 24, a. 3, pp. 672-673 :
“ In eodem instanti quo minor cognoscitur, ut minor, deducitur assensus
conclusionis, ut asseritur a D. Thoma (I, Post., lect. 2, n. 9) quia posita
cognitione minoris formaliter ut coordinata et subordinata majori, atque
adeo supponendo cognitam bonitatem consequentiae, hoc ipso ponitur
lumen sufficiens et necessitans ad manifestandum conclusionem ; nec enim
alio lumine manifestatur conclusio, quam lumen illativo quod in praemissis
continetur ; sed illuminatio fit in instanti, multo magis in spirituali lumine
REASONING I51
1 These two distinct functions are two aspects of the same formally immanent
and virtually productive act (which is itself preceded, in the second operation
of the mind, by a preliminary constructive phase which is more dependent on
simple apprehension than on judgment). Cf. Nos. 8 (note 1) and 36.
REASONING 153
(if the antecedent is true). But it does not mean that the
conclusion is posited in virtue of a disposition of oral or
written signs which impose a mechanical necessity on a
mind in which no intellectual perception is going on.
If this point were always well understood we would be
spared a great many mistakes and misunderstandings
concerning Logic. Descartes, for instance, completely
misapprehended the meaning of the expression vi format.
It is extremely curious to note that his criticism of the
logic of the ancients [cf. Regulae ad directionem ingenii,
reg. X (Vol. X, p. 705, CEuvres de Descartes, Cerf, Paris) :
“ quasdam formas disserendi praescribunt, quae tam
necessario concludunt ut illis confisa ratio, etsi quodam
modo ferietur ab ipsius illationis evidenti et attenta consideratione,
possit tamen aliquid certum ex vi formae concludere,
etc.”] exactly applies not to the Logic he was criticizing,
but to the logical system which Leibnitz tried to build
up, inspiring himself from Cartesian ideas (the theory of
“ simple natures,” the idea of a universal philosophical
language) and which has become the Logistics of our day.
B. DIVISION OF REASONING
C. “ IMMEDIATE INFERENCE ”
1 See above, No. 13. The parts of a potential or logical whole {e.g.—animal
in respect to its species, man in respect to Peter, John, etc.) are called subjective
parts.
2 Cf. Aristotle, Anal. Pr., lib. II, c. 23, 68 b 13 : an-ayra mareiovtv $; Sid
iruWoyiopov^ ij t( twayaryjjs.—Anal. Post., lib. I, c. 18, 81 a. 40 : pavdayo/acy ij
iiraytayn 1) atroStgei. <ectti S’ i) /alv arrASfi^s’ i\ ruy naO&\ov, tj S’ ’tiraywyii lx
tcov Kara /utpos. (St. Thomas, lect. 30, 4). As we shall see later on, the
attempts made by certain philosophers to reduce induction to the syllogism
and to deny its essential originality as a type of reasoning, have all been futile.
REASONING 163
1 As Mr. Hamelin has remarked (Syst. d’Arist., p. 166, note i), it is begging
the question to demonstrate the obvious fact that if a proposition is true its
contradictory is false and vice versa, as Rondelet attempts to do in his Theorie
des propositions modules (Paris, 1861, p. 141). On the other hand, in the case
of the other two kinds of opposition, contrariety and sub-contrariety, it is by
the intermediation of the opposition of contradiction that the mind passes
from the affirmation of a true proposition to the negation of its contrary (Every
man has a soul, therefore it is false that no man has a soul) or from the negation
of a proposition supposed as false to the affirmation of its sub-contrary (it is
false that some man is not mortal, therefore some man is mortal). In the former
case the falsity of the (particular) contradictory : “ some man has no soul,”
entails the falsity of the (universal) contrary : “no man has a soul ” ; in
the second case the truth of the (universal) contradictory : “ every man is
mortal” entails the truth of the (particular) sub-contrary : “ some man is
mortal.”
REASONING 167
i. General Notions
69. definition. What is the purpose of the syllogism ? In the
syllogism,
Not to order thought by ascending to the universal from from an
antecedent
the singular data of sense perception (for this is the task of uniting
two terms
induction), but to order thought according to the connection (T and t)
to a third
between (universal) terms.1 Therefore syllogistic procedure (M) a con¬
sequent is
consists essentially in inferring or deducing a proposition inferred,
that unites
from an antecedent that reveals (in a third term) the means these two
terms to
by which, or the reason for which, the two terms of this pro¬ each other.
T, t and M
are the
and the S. of the conclusion, the Minor Extreme or the
remote
matter of MINOR TERM (t).
the
syllogism.
The term to which each of these two terms, T and t, is
united in the antecedent, and which is the means or reason
of their union in the conclusion is called 1 the
MIDDLE TERM (M).
These three terms, T, t and M, are the remote matter of the
syllogism.
As we have seen above (Chap. I, section 3, § 3, 24), in
regard to the syllogism the verb in the proposition is
not a term, but merely serves to unite the S. and Pr.
When the syllogism is resolved into its elements, the verb
is not id in quod resolvitur, but id quod dissolvitur.
The Major
(prop,
The two propositions composing the antecedent, each of
joining
M and T)the
which unites one of the extremes to the Middle term, are
Minor
(prop,
called the
joining M PREMISSES
and t) and
the con¬
clusion of the syllogism. The premise containing the Major term
(prop,
joining t (the term that becomes the Pr. of the conclusion) is called
and T) are
the proxi¬ the
mate
matter of V I MAJOR.
the
syllogism.
The premise containing the Minor term (the term that
becomes the S. of the conclusion) is called the
\f, MINOR.
1 The word middle should not be understood from the point of view of
extension, in the sense that the extension of M is necessarily intermediary
between that of T and t. This is true only in the perfect moods of the syllogism
(see below, Nos. 77 and 78).
REASONING 171
( M T
Every man is mortal {Major)
ANTECEDENT
t M
, but Peter is a man {Minor)
t T
CONSEQUENT : therefore Peter is mortal {Conclusion)
M T
(Maj.) Every man is mortal, i.e., Man as a
whole is a part of the extension of Mortal
t M
(Min.) but Peter is a man, i.e., Peter is a
part of the extension of Man
t T
(Concl.) therefore Peter is mortal, i.e., Peter
is a part of the extension of Mortal.
M T
(Maj.) Every man is mortal, i.e.,
Every man has the attribute, mor¬
tality (from the point of view of
comprehension).
T M
(Min.) but Peter is a man, i.e., Peter
belongs to the human species (from
the point of view of extension).
t T
(Concl.) Therefore Peter is mortal,
i.e., Peter has the attributej mortality
(from the point of view of compre¬
hension) .
REASONING 175
Principle ol Two things, identical with a same third thing are identical
triple
identity with each other ;
and the
separating two things, one of which is identical, the other not identical,
third.
with a same third thing, are different from each other.1
1 Principium identitatis et discrepantiae : “ Quae sunt eadem uni tertio, sunt quoque
eadem inter se : quorum unum cum tertio convenit, alterum ab eo discrepat, ea inter se
diversa sunt.”
REASONING 177
but this change proceeds from the agent in one case, and is
received in the patient in the other, so that this action and this
passion are in no way identical with each other.
1 That which wc are calling the inferior part or premise here is the negative
or particular premise.
2 Logical suppositio.
3 Real suppositio.—A syllogism may in reality have four terms even though it
apparently or verbally has but three, if a word is taken in two different senses,
or if, having properly speaking the same signification, it “ stands for ” different
things.
REASONING 183
Maj. =M. . T T . . . . M M . . . . T T . . . . M
Min. =t . . M t . . . . M M . . . . t M. . . . t
Concl.=t . . T t . . . . T t . . . . T t . . . . T
The indirect first figure is also called the Galenic figure from
the physician, Galen (a.d. 131-200), who is said to have
considered it as a separate figure fa fourth figure). Aristotle
and all the ancient logicians refuse to consider it as a distinct
1 That is to say, the middle term is subjcctum (in the Major) and />ra*dicatum
(in the Minor).
\ REASONING l87
figure because it always concludes indirectly,1 and thus to
conclude directly must of its very nature be reduced to the
first figure. It is in reality but the first figure concluding
indirectly by the transposition of the premisses.
M T
Every man is mortal
t M
First Figure
but Peter is a man
t T
therefore Peter is mortal
By inverting the premisses, that is by making T of t,
and t of T, we have :
T M
Peter is a man
M t
but every man is mortal Indirect First
t Figure
therefore some mortal is
T
Peter
1 A proposition is indirect or unnatural (e.g., “ some mortal is Peter,” cf.
No. 52, note 30) when the term to which the mind really applies a determina¬
tion is not the subject of the proposition, as it should be, but the predicate.
In this case, it is more a grammatical than a logical Pr., and seems to have
a smaller extension than the S. of the proposition—(although as a matter of
fact the extension of both S. and Pr. are equal because they both “ stand for ”
exactly the same thing). Thus a syllogism of the fourth figure is said to con¬
clude indirectly because the Conclusion of such a syllogism has for its S. the
term which in the natural order would be the Pr. ; in other words, the t (of
the direct figure) is the Pr. of the indirect figure, and the T (of the direct
figure) is its S.
It is evident then that, although the fourth figure is a grammatical figure
it is not a distinct logical figure : in that which concerns thought the grammatical
predicate of the conclusion is in reality its subject. For this reason every true
logician must reject the fourth figure and consider it only as the indirect first.
The theory attributed to Galen by the Arabs (“ although,” as Leibnitz remarks
—New Essays on Human Understanding, Bk. IV, Chap. II, § 1,—“ we found
nothing concerning it in the works of his remaining to us ”) may be regarded
as the first concession made by Logic in face of the temptation to consider
words rather than thought, a fatal temptation which had already beset it
for a long time (Alexander of Aphrodisus was already saying : 0! Se reurepoi
Tail \eUalv ^rraKo\ovdoovTes, ovkcti 86 to?s o-n/aaivo/xlvo^s, ad Anal. pr. f. 154 A)
and to which it has completely abandoned itself at the hands of many
moderns. As Lachelier remarks (note written for Rabier’s Logic, p. 66) :
Galen’s radically false idea “ was combated by all the logicians of the Middle
Ages, and began to come into favour only during the Renaissance.” [N.B.
This is not Lachelier’s note, but Rabier’s own statement, and is to be found in
the text, not in a note, Logic, p. 66, Paris, i38o, Hachette. Tr.]
188 LOGIC
1 When these conventional words have more than three syllables, e.g.,
FrisesomoTum, the extra syllables are but stopgaps, and have no symbolic
meaning.
1 An exception is made for the words relating to the moods of the indirect
first figure, the first vowel of which stands for the minor, and the second for
the major (due to the fact that the proposition which is the Major in the first
figure is the Minor in the indirect first). Thus a syllogism in Celantes would
be :
M t
CE No philosopher is an angel, (Min.)
T M
LAn but Descartes is a philosopher, (Maj.)
t T
TEs therefore no angel is Descartes.
This may be reduced to the first direct figure (Celarent) by purely and simply
restoring to the first proposition its function as Major (that is by making
angel the T, and Descartes the t).
M T
CE No philosopher is an angel (Maj-)
t M
1A but Descartes is a philosopher (Min.)
rEnt therefore Descartes is not an angel.
A syllogism in Baralipton (every artist is imaginative, but every poet is an
artist, therefore some imaginative (being) is a poet) may likewise be reduced
to a syllogism in Barbara (every artist is imaginative, but every poet is an artist,
therefore every poet is imaginative). Note that the conclusion of the syllogism
in Baralipton (affirmative, hence its Pr. has a particular suppositio) may be
legitimately converted into the universal conclusion of the syllogism in Barbara
only because it already was this same universal conclusion formulated in an indirect
proposition (cf. Javelli, Logicae compendium peripateticae, Venetiis, 1541, tract,
sextus, cap. II). Therefore the logicians who hold that the fourth figure is a
distinct and separate figure should not consider the reduction of Bamalip to
Barbara as valid.
igo LOGIC
(Concl.) t T
The characteristic vowels of the key word indicate the
following quantity and quality :
(Maj.) T M
bAr Every.is.
(Min.) t M
Oc But some.is not.
(Concl.) t T
0 therefore some.is not.
t T
moods’of1* Special rule for the first (direct) figure : In the first (direct) figure,
figrire^4 ^he Major can never be particular, nor the Minor negatived [If
a<a—a the Major were particular, and the Minor affirmative,
rule 4 would be violated. If the Minor were negative, we
a<a—e should have—rule 7—a negative conclusion, and then we
would be violating rule 2 or 5.) In applying this special
rule it is easy to see how, of the sixteen combinations that
are possible a priori for the first figure, only four are valid :
AAA, EAE, All, EIO.
First Mood
M T
Bar EVERY LIVING BEING BREATHES,
t M
ba BUT EVERY PLANT IS A LIVING BEING,
t T
ra THEREFORE EVERY PLANT BREATHES.2
ba t is in M
ra t is in T
ba
Second Mood
t
THEREFORE NO MANIAC
T
HATES LIFE
Third Mood
M
Da ALL THAT ENCOURAGES
T
EVIL IS PERNICIOUS
t
T
ri BUT INDULGENCE OF
M
CERTAIN KINDS ENCOURAGES
EVIL
t
THEREFORE INDULGENCE
OF CERTAIN KINDS IS
T
PERNICIOUS
REASONING
*95
Fourth Mood
M
Fe NOTHING PERNICIOUS IS
T
COMMENDABLE
t
BUT SOME INDULGENCE IS
M
PERNICIOUS
t
O THEREFORE SOME INDULGENCE
T
IS NOT COMMENDABLE
T M
t M
t T
Special rule for the second figure : In the second figure one of the Legitimate
premisses must be negative, and the Major cannot be particular.1 Second
(If the two premisses were affirmative, the M would be the f,guE_E
Pr. in both premisses and we would violate rule 4. If the 0-0
Major were particular, we would violate rule 2.) By apply- A_E
ing this special rule, and the general rule 5, it is easy to 1—0
see why, out of the sixteen combinations possible a priori
for the second figure, only four are valid : E A E, A E E ,
E I O, A O O.
T M
ces NO BITTER MAN HAS PEACE
t M
BUT EVERY SAINT HAS PEACE
t
THEREFORE NO SAINT IS A
T
BITTER MAN
II
M
BITTER
t M
es BUT NO SAINT IS BITTER
t
tres THEREFORE NO SAINT IS A
T
JEALOUS PERSON
III
T M
Fes NO SAINT IS ARROGANT
t
ti BUT SOME REFORMER IS
M
ARROGANT
T
no THEREFORE SOME REFORMER
T
IS NOT A SAINT
T M
Bar EVERY FOOL IS ANNOYING
t
OC BUT SOME CHATTER-BOX IS
M
NOT ANNOYING
M.T
M.t
t T
Special rule for the third figure : In the third figure the Minor
must always be affirmative and the Conclusion particular (If .x
the Minor were negative, the Major would be affirmative— Legitimate
rule 5—and the Conclusion negative—rule 7—then the T SSdfi^re6
would be taken particularly in the Major, and universally A<jViI
in the Conclusion, and we would violate rule 2. If the Con- e<a—o
I
Schema in extension Schema in compre¬
hension and extension.1
M
Da EVERY CENTAUR IS
T
HALF-MAN, HALF-HORSE
M
ra BUT EVERY CENTAUR IS
t
A FABULOUS BEING
ti THEREFORE SOME
FABULOUS BEING IS
T
HALF-MAN, HALF-HORSE
II
M
Fe NO ANIMAL IS
T
INCORRUPTIBLE
M
lap BUT EVERY ANIMAL IS
A LIVING BEING
T
INCORRUPTIBLE
1 Here the shading stands for T (the Pr. of the Major), as in the schemas of
the first figure.
REASONING r99
III
M
Dis SOME RICH MAN
T
IS MERCIFUL
M
am BUT EVERY RICH MAN
t
IS FEARED
t
is THEREFORE SOME MAN
WHO IS FEARED IS
T
MERCIFUL
IV
M T
Da EVERY ANIMAL IS CORPOREAL
M
tis BUT SOME ANIMAL IS AN
t
INTELLIGENT BEING
i THEREFORE SOME
t
INTELLIGENT BEING IS
T
CORPOREAL
200 LOGIC
V
M
BOC SOME DIPLOMAT IS
T
NOT HONEST
M
ar BUT EVERY DIPLOMAT
t
IS POWERFUL
do THEREFORE SOME
t
powerful (man) is
T
NOT HONEST
VI
Fe NO AMBITIOUS MAN IS
UNSELFISH
M
ris BUT SOME AMBITIOUS
MAN IS A
PHILANTHROPIST
On THEREFORE SOME
t
PHILANTHROPIST IS
T
NOT UNSELFISH
1 Cf. the tracts attributed to St. Thomas, De Natura Syllogismorum and Summa
totius Logicae (X, 4) (opusc. 47 and 48, rom. edit). Although apocryphal their
doctrine is excellent.
* De. Soph, elench., Chap. XXXIV, 184 b 1.
206 LOGIC
1 The criticisms of the syllogism from the point of view of its demonstrative
value (Sextus Empiricus, Descartes, Stuart Mill, Goblot—) will be studied in
Major Logic. We are interested here only in that which pertains to the
syllogism as it enters into Minor or Formal Logic.
2 See above, Nos. 66, 69, 71.
REASONING 207
from the universal to the particular, but in the identification the syl¬
logism is
of the two extremes with a same third term. When we said above 1 not the
passage
that the principle of the syllogism resides in the universal from the
universal
it was only to stress the fact that this third term must neces¬ to the
particular
sarily be universal if an inference is to be drawn by means but the
identifica¬
of such an identification. tion of two
terms by
(1) The passage of the mind in the syllogism from a more means of a
same third
universal truth to a less universal truth is not the essence of term.
Or again :
1 Cf. Sextus Empiricus, Hypotyp. Pyrrh., Bk. II, Chap. XIV, §196 ; Stuart
Mill, System of Logic, Bk. II, Chap. Ill, §2.—A more detailed examination of
these criticisms of the syllogism will be given in Major Logic.
212 LOGIC
1 “ Deinde cum dicit : in eo vero quod, etc., removet quoddam quod posset
esse dubium. Quia enim posuerat quamdam diversitatem in oppositione
enunciationum ex hoc quod universale sumitur a parte subjecti universaliter
vel non universaliter, posset aliquis credere quod similis diversitas nasceretur
ex parte praedicati, ex hoc scilicet quod universale praedicari posset et uni¬
versaliter et non universaliter ; et ideo ad hoc excludendum dicit quod in eo
quod praedicatur aliquod universale, non est verum quod praedicetur univer¬
sale universaliter. Cujus quidem duplex esse potest ratio.
“ Una quidem, quia tabs modus praedicandi videtur repugnare praedicato
secundum propriam rationem quam habet in enunciatione. Dictum est enim
supra quod praedicatum est quasi pars formalis enunciationis, subjectum autem
est pars materialis ipsius : cum autem aliquod universale profertur universaliter,
ipsum universale sumitur secundum habitudinem quam habet ad singularia,
quae sub se continet ; sicut et quando universale profertur particulariter,
sumitur secundum habitudinem quam habet ad aliquod contentorum sub se ;
et sic utrumque pertinet ad materialem determinationem universalis; et ideo
neque signum universale neque particulare convenienter additur praedicato,
sed magis subjecto : convenientius enim dicitur, nullus homo est asinus, quam
omnis homo est nullus asinus ; et similiter convenientius dicitur, aliquis homo est
alhus, quam homo est aliquid album.
“ Invenitur autem quandoque a philosophis signum particulare appositum
praedicato, ad insinuandum quod praedicatum est in plus quam subjectum,
et hoc praecipue cum, habito genere, investigant differentias completivas
speciei, sicut in II de Anima dicitur quod anima est actus quidam.
“ Alia vero ratio potest accipi ex parte veritatis enunciationis ; et ista
specialiter habet locum in affirmationibus, quae falsae essent si praedicatum
universaliter praedicaretur. Et ideo manifestans id quod posuerat, subjungit
quod Nulla affirmatio est in qua, scilicet vere, de universali praedicato universaliter
praedicetur, id est in qua universali praedicato utitur ad universaliter prae-
dicandum ; ut si diceretur, omnis homo est omne animal. Oportet enim, secundum
2l6 LOGIC
praedicta, quod hoc praedicatum animal secundum singula quae sub ipso
continentur, praedicaretur de singulis quae continentur sub homine ; et hoc
non potest esse verum, neque si praedicatum sit in plus quam subjectum, neque
si praedicatum sit convertibile cum eo. Oporteret enim quod quilibet unus
homo esset animalia omnia, aut omnia risibilia : quae repugnant rationi
singularis, quod accipitur sub universali. . . .
“ Signum autem universale negativum, vel particulare affirmativum, etsi
convenientius ponantur ex parte subjecti, non tamen repugnat veritati etiam
si ponatur ex parte praedicati. Contingit enim hujusmodi enunciationes in
aliqua materia esse veras : haec enim est vera, omnis homo nullus lapis est; et
similiter haec est vera omnis homo aliquod animal est. Sed haec, omnis homo omne
animal est, in quacumque materia proferatur, falsa est. Sunt autem quaedam
aliae tales enunciationes semper falsae ; sicuti ista, aliquis homo omne animal est
(quae habet eamdem causam falsitatis cum hac, omnis homo omne animal est) ;
et si quae aliae similes, sunt semper falsae : in omnibus enim eadem ratio est.
Et ideo per hoc quod Philosophus reprobavit istam, omnis homo omne animal est,
dedit intelligere omnes consimiles esse improbandas.”
(St. Thomas in Perihermeneias, lib. I, Chap. VII, lect. io, Nos. 23 and 24.)
In the text upon which St. Thomas is commenting here (Perihermeneias, 17 b 12,
16) Aristotle has clearly foreseen the theory of the quantification of the predi¬
cate. This is also the text upon which the most important observations con¬
cerning this theory were made by the ancients, by Ammonius in particular
and, among the Latins, by Boethius (Commentarii in librum Aristotelis Periherm.,
p. 439 ; ed. Meiser, Teubner. Secunda editio II, Chap. VII, pp. 162-163),
and by Albertus Magnus (lib. I, Periherm., tract. V ; Vives, t. I, p. 413).
But the most complete and profound treatment of this question has been given
by St. Thomas.
It is peculiar that none of the modem critics of Hamilton’s theory should
have perceived that this question had been definitely settled over six hundred
years ago. Hamilton himself, a man of great learning, quotes Aristotle,
Alexander, Ammonius, Boethius, Averroes, Albert the Great, Levi Ben Gerson,
the masters of Louvain, etc., but ignores St. Thomas’ text.
We may further point out the thesis upheld here by St. Thomas should be
considered as classic in the School. Apparently the Terminists were the first
to attempt to shake it. Cf. Occam, Summa totius Logicae, Chap. IV, f. 26,
v. A : “ Secundo sciendum, quod omnis propositio universalis, in qua prae¬
dicatum sumitur universaliter, est falsa, si praedicatum et subjectum verifi-
centur de pluribus contentis ; si autem praedicatur praecise de uno solo
contento et similiter subjectum, tunc posset esse propositio vera, sicut si non
esset nisi unum animal, puta unus homo, haec esset vera omnis homo est omne
animal ” (quoted by Prantl, II, p. 583, note 908). Occam’s thesis here conforms
with his general doctrine on universal propositions, which, in his eyes, always
have an existential meaning, even in necessary matter.
REASONING 217
1 See above, n. 52, § 2.—For this reason, as de Morgan and Mill have
remarked, it is not sufficient to consult the proposition “ every man is a rational
animal ” in order to know that the Pr. rational belongs exclusively to the S.
Man, for of itself this proposition does not tell us this. To know this fact we
must either add another proposition to the first, viz., “ every rational animal is
a man,” or we must have recourse to the occultly compound proposition : “ man
alone is a rational animal,” which really combines the import of two different
propositions (see above, n. 45).
Hamilton’s error, so vigorously denounced by John Stuart Mill, consists
in attempting to make one and the same proposition affirm two different things
{An Exam, of Hamilton's Philosophy, Vol. II, p. 209 (Spencer, 1866) ). On this
point Mill quotes (after Grote) a passage from Levi Ben Gerson, a Jewish
philosopher of the fourteenth century : “ We do not ordinarily add a quantita¬
tive sign to the predicate, for were we to do so we would state two quaesita at
the same time : namely—that the predicate is affirmed of the subject, and
that it is denied of everything else ” (J. S. Mill, An Exam, of Hamilton’s Philos.,
p. 489 (French translation, Cazelles, Paris, 1869) ). [I have been unable to
find the English edition from which this translation was made. Tr.J
2l8 LOGIC
1 As soon as we begin to lose hold of the true notion of the suppositio of terms,
and consider only Euler’s schemas, and the circles that represent the extension
of concepts, we also begin to lose sight of the true nature of the proposition.
We should note that the expression “ to be taken in all its extension ” or “ in
a part of its extension,” which replaces the expression “ to be taken universally
or particularly ” is equivocal, and may lead us into Hamilton’s error. In a
convertible proposition the extension of the Pr. is not restricted in the sense
that the Pr. concept has the same extension as the S. concept and that the
extension of the Pr. coincides entirely, and not only in part, with that of the
S. (praedicatum non est in plus). But the extension of the Pr. is restricted in
this sense, that the Pr. has a particular suppositio—or, in other words, that it is
not taken in all its universality to be attributed to the S. (non praedicatur
universaliter).
2 In the text cited above, St. Thomas does not speak of toto-partial and
parti-partial negatives. Our criticism of these propositions is drawn from other
sources, especially from remarks made by the ancient logicians on the nature
of the categorical proposition, which necessarily admits of but one affirmation
or of one true or false negation.
REASONING 219
Hamilton does,1 does not give a particular suppositio to the
Pr. taken as such. It merely carves out of the latter’s
extension a more restricted concept that continues to be
universally separated from the subject, or, in other words, a
concept that continues to be taken according to all its uni¬
versality to be denied of the subject (and therefore according
to all the singulars contained under it). Thus the expression,
no man is some mammal ” is but a defective formulation
of a proposition such as “ No man is an irrational mammal ”
or “ man is not a mammal of any kind,” propositions in This inno¬
vation is
which the Pr. is not simply determined in relation to the illegitimate
for four
singulars it contains under it by a quantitative sign, but types of
proposition.
is, on the contrary, intrinsically modified by a connotative
term which excludes from it the specific difference proper
to the subject. The Pr. of these propositions is taken uni¬
versally, following the usual rule of negative propositions,
and their contradictory : “ Some man is an irrational
animal,” “ Man is any kind of mammal ” is false.
Therefore the four types of proposition (a—a, i—a,
e—o, o—o) which Hamilton thought to add to those
already recognized by Aristotelian Logic, represent an
absolutely illegitimate innovation.
(b) Toto-partial and parti-partial Affirmatives, toto-total and
parti-total Negatives. There remain to be considered the four
classic types of proposition (A, E, I, O), which become a—i, useless and
awkward
i—i, e—e, o—e propositions in Hamilton’s classification. for the
other four.
In their case it is not illegitimate to express the quantity of
the Pr. by a sign, but it is absolutely useless to do so, since it
That is, there are (in possible existence) obtuse angles and An I pro¬
position
magnitudes that lack a common measure. whose Pr.
is accidental
Thus the second principle invoked by the logisticians is to the S.
may
doubly false. Not only do there exist I propositions whose receive an
ideal
Pr. is essential to the S. and for this reason do not necessarily signification.
but the straight line AB is identical with the straight line BA,
therefore the straight line BA is identical with the straight line AB.
In the Major AB stands for AB taken under the aspect AB, and in the Minor
Conditional
Hypothetical Disjunctive
L Conjunctive
The entire theory of the conditional syllogism rests upon The con¬
ditional
the assertion formulated above,1 that in conditional proposi¬ syllogism
has for its
tions the affirmation bears uniquely upon the necessary Major a
Conditional
connection between the propositions (with the sequence or proposition,
one of
inference itself). Consequently that which is stated by the whose
members is
Major of a conditional syllogism (granting that the condi¬ posited or
destroyed
tional proposition is true) is simply a valid sequence. by the
Minor.
Thus we see that the supreme principle of the conditional
syllogism is the very same as the one which we have said above Supreme
principle
to be the essential law of all argumentation, and which is but an
immediate determination of the principle of identity or
non-contradiction.2 In every_ valid sequence, it is impossible
that the antecedent be true and the consequent false ; in other words,
by the very fact that the antecedent is true the consequent is also
true (and therefore if the consequent is false the antecedent
is false). Note carefully however that the inverse is not
true, and that it is possible that a true consequent follow
from a false antecedent : if the antecedent is false the
consequent may be true ; and therefore if the consequent
is true the antecedent is not for that reason true (my pocket-
book is in the moon, but the moon is in my pocket, therefore
my pocket-book is in my pocket).
and the
Whence are derived the special rules for the conditional special
rules for the
syllogism : I. To posit the condition is to posit the conditioned. conditional
syllogism:
(If Peter is speaking to me he exists ; but he is speaking to t.o posit
the Condi¬
me, therefore he exists.) tion is to
posit the
II. But to posit the conditioned is not to posit thereby the Conditioned.
To posit the
condition. (If Peter is speaking to me, he exists ; but he Conditioned
is not to
exists, therefore he is speaking to me : this is an illegitimate posit the
Condition.
conclusion, for he can exist without speaking to me.)
To remove
III. To destroy the conditioned is to destroy the condition. the Con¬
ditioned is to
(If Peter is speaking to me he exists : but he does not exist, remove the
Condition.
therefore he is not speaking to me.)
IV. But to destroy the condition is not to destroy thereby the But to
remove the
Condition
conditioned. (If Peter is speaking to me he exists ; but he is is not to
not speaking to me, therefore he does not exist : this is an remove the
Conditioned.
illegitimate conclusion, for he may very well exist without
speaking to me.)
1 See above, No. 46, 3 sqq. Only Majors that are conditional in the strict
sense are treated in the theory of the conditional syllogism.
J See above, No. 65.
240 LOGIC
'If Peter does not love his If Peter does not love his
neighbour he lacks charity. neighbour he lacks charity.
3RD MOOD - But Peter does not love his But Peter does not lack charity,
neighbour. Therefore he loves his neigh¬
s Therefore he lacks charity. bour.
Tf Peter does not love his If Peter does not love his
neighbour whom he sees, he neighbour whom he sees, he
does not love God whom he does not love God whom he
does not see, does not see.
4.TH MOOD <
But Peter does not love his But Peter loves God whom he
neighbour whom he sees, does not see,
Therefore he does not love Therefore he loves his neigh¬
.God whom he does not see. bour whom he sees.
Neverthe¬
less, it
Therefore let us say rather that we can translate, or better,
constitutes
a distinct
resolve a conditional syllogism into a categorical syllogism
type of
reasoning.
either in the manner shown above, when the conditional
Major has but one S., or, in the contrary case, by first
resolving the syllogism under consideration into two con¬
ditional syllogisms each of whose Majors has but one
subject, for example :
1 This important point did not escape Boethius : “ Praedicativa simplex est
propositio,” he wrote, “ conditionalis vero esse non potent, nisi ex praedicativis pro-
positionibus conjungatur. . . . Necesse est categoricos syllogismos hypotheticis vim con-
elusionis ministrare ” (De Syll. hyp., p. 607, cf. Prantl, Gesch. der Logik, I, 701).
It has, however, escaped the author of a recent treatise who completely
reverses the true order of things on this count and gratuitously turns Logic
upside down (cf. E. Goblot, TraiK de Logique, Nos. 98, 112, 118, 120, 153—159).
Because he misconceives the nature of the universal, the author, followed
in this by Rougier (Structure des theories diductives, p. 6 and sqq.), 1 believes
that the subject of every categorical proposition is in reality necessarily sin¬
gular. In so doing he confuses, as do many modern logicians, the real subject,
which is indeed always singular, with the logical subject, which may very well
be a universal nature communicable to individuals (“ Every man is mortal ”).
2 Consequently he completely destroys the theory of the categorical
syllogism, whose Major has, in his eyes, merely a collective signification (see
above, No. 81).
3 As a consequence he takes, as hypothetical syllogisms, syllogisms which
are, in reality, true categorical syllogisms disguised under a hypothetical form,
e-g;
Two triangles having their sides parallel are similar,
but the two triangles ABC and DEF have their sides parallel,
therefore they are similar.
This is but an authentic categorical syllogism camouflaged as a conditional :
Two triangles having their sides parallel are similar,
but the triangles ABC and DEF are two triangles having their sides
parallel,
therefore they are similar,
for the whole force of the inference in question comes from the identification
of the minor term, “ the triangles ABC and DEF ” with the' major term,
246 LOGIC
appears to be conclusive.
SOPHISTIC.
SYLLOGISM
C necessary ..... . demonstrative
contingent ..... . probable
PREMISSES ',impossible. . erroneous
(apparently correct (but not really so) . sophistic
§ 2. Incomplete Syllogisms
92. BY REASON OF THE PROXIMATE MATTER OF THE
SYLLOGISM (THE PROPOSITIONS) CONSIDERED AS TO ITS
integrity—the syllogism is complete when the two premisses The
Enthymeme
are explicitly formulated. In the contrary case, that is, or truncated
syllogism.
when one of the premisses is not expressed, the syllogism is
incomplete or truncated, and is called an
ENTHYMEME.2
§ 3. Oblique Syllogisms
93. BY REASON OF THE REMOTE MATTER (THE TERMS) OF
DIRECT
or
OBLIQUE
M T
Christ is God
t M
but Mary is the Mother of Christ,
t T
therefore Mary is the Mother of God.
M T
Every son of my father is my brother,
t T
but Paul is my father,
t T
therefore every son of Paul is my brother.
1 We may also say by analogy that a conditional syllogism, such as : “If Peter
is a martyr he is a saint, but it is probable that Peter is a martyr, therefore it
is probable that Peter is a saint ” is an oblique syllogism.
REASONING
251
M
*
,- -,
Everything greater than greater than B is
T
>--*-s
greater than B
t M
/-*--
M T
- _ ,-*-s
B is greater than C
t M
- ,-*-\
but A is greater than B
t T
— _ ,-«-s
therefore A is greater than C
is incorrect and is true only by accident or by reason of
its matter, for the middle term is not the same in the
Major as it is in the Minor (“B” in one, “greater than
B ” in the other). The fact is that, far from being related
to an autonomous type of proposition and reasoning,
and positing a properly logical question, the formula
under consideration is nothing but an algebraic abbre¬
viation of discourse, such as is often met with in everyday
language. The practical use of the relation “ is greater
than ” as a copula is legitimate only because a pseudo¬
syllogism of this kind (the Stoics called it Aoyo? a/xedoSco ?
1 Cf. J. Lachelier, Etudes stir le Syllogisme, Paris, 1907.
252 LOGIC
greater than C is
T
,-■*•■ ■■--N
greater than C
t T
- ,-*-V
But B is greater than C
t
§ 4. Compound Syllogisms
The Sorites,
in which the
(3) the sorites,1 which links several propositions
t is united
to the T by
together in such a way that the S. of the first becomes the
a series of
subordinate
Pr. of the second, and the Pr. of the second the S. of the
in’s.
third, and so on, until a conclusion is reached which unites
the S. of the first with the Pr. of the last.
The Sorites implicitly contains several syllogisms (the same
number as the premisses less one). Cicero justly called it
the most deceptive of arguments, and it is, in truth, the one
into which error may most easily creep.
t M1
Peter is a man
M1 M2
Every man is an animal
M2 M3 * 5
Every animal is endowed with instincts
M3 T
Every being endowed with instincts has spontaneous
reactions,
t T
Therefore Peter has spontaneous reactions.2
M1 T
Every being endowed with instincts has spontaneous
reactions,
M2 M1
Every animal is endowed with instincts
M3 M2
Every man is an animal
1 Aristotle does not use the word sorites (auprlr-qs), but he indicates this
type of reasoning in the Anal. Pr. I (41 a 18 and 25 (42 b 1) ).
2 The conditional syllogism would be :
If Peter is a man he is an animal.
If he is an animal he is endowed with instincts.
If he is endowed with instincts he has spontaneous reactions.
But Peter is a man, therefore he has spontaneous reactions.
5 The sorites in question was proposed in his Isagoge in Organum Aristotelis
(Frankfort, 1598).
REASONING 255
t M3
Peter is a man
t T
Therefore Peter has spontaneous reactions.1
In the Aristotelian sorites the series of M’s has an increasing
extension, whereas in the Goclenian sorites the series has a
decreasing extension.
(4) the dilemma, the “ two-horned ” or “ two-edged ”
argument (syllogismus cornutns), presents in the antecedent
a disjunction of such a kind that whether one or the other
of its members be posited, the same conclusion follows.
The dilemma is most frequently constructed according
to the conditional type. For example if a man had, through
his own fault, so vitiated his conscience that it commanded
him to do a crime, we could reason that :
Either this man will commit this crime or he will not.
If he does commit it he will act against eternal law
(and he will be guilty).
If he does not commit it he will act against his con¬
science (and he will be guilty).
Therefore whether or not he commits it he will be guilty.
Or again, the famous dilemma of Tertullian against the The
Dilemma
decree of Trajan : states a
disjunction
such that
The Christians are either guilty or innocent. the same
conclusion
If they are guilty why should it be forbidden to search follows in
either
for them ? (The decree is unjust.) case.
If they are innocent why should they be punished ?
(The decree is unjust.)
In either event the decree is unjust.
The dilemma may also be constructed in the categorical type :
Every just man needs grace in order to persevere,
Every sinner needs grace in order to be converted.
But every man is either just or a sinner,
Therefore every man needs grace.
SECTION 3. INDUCTION
A. INDUCTIVE REASONING
t T
Therefore the hipparion has a very distinctive dentition.
and a2
and a3 is water
in relation to the predicate
“ which boils at 100° ”
1 In more precise terms : the universal subject which stands for these
(individuals).
REASONING 26l
t T
Therefore water boils at ioo°
copper
and iron
M - and gold T
is a conductor of electricity
and silver
and zinc
t T_
Therefore metal is a conductor of electricity.
Induction Syllogism
,-*->
M T M T
major Peter and James Every rational
and Paul and John is endowed being is endowed
with speech. with speech.
And the universal
which is realized t M
minor in : But man is a rational
J Peter and James being
1 and Paul and John is man
t t T
con- Therefore man is endowed Therefore man is endowed
clusion with speech with speech.
INDUCTION SYLLOGISM
A-
a1 j
and a2 C is B
•is B
and a3
and a4 >
And that which, in rela-'
tion to B, has for subjec¬
tive parts a1 ►is the universal A. But A is C
and a2
and a3
and a1
Therefore A is B Therefore A is B
1 As was the case for the Pr. of the Major (endowed with speech) which is
said of each individual or of each part distributively.
* In this case the suppositio is simplex. See above, No. 27.
3 Aristode said {Anal. Prior., II, 23) in this sense, that the term which serves
as die mean uniting the two extremes in the syllogism is, in induction, the subject
of which an extreme is proven by means of a third thing (the enumeration of
individuals or parts).
induction : The monkey, the cat, the hedgehog, the ox, the rat are vivi-
parous ; and who says monkey, hedgehog, ox, rat . . . says mammal ;
therefore every mammal is viviparous.
syllogism : Every mammal is viviparous ; but the bat is a mammal ; there¬
fore the bat is viviparous.
264 LOGIC
Man is mortal,
and to say man is to say Peter, and Paul and James,
etc.,
therefore Peter is mortal,
M
W
r >
M
f " 1 1 A ->
but C1, C2, C3, and all the Cn resembling them together
form all A.
Therefore all A is B.
1 Cf. Lachelier, Etudes sur le Syllogisme, pp. 37-38. Having posited the two
premisses of a syllogism in Darapti : the body A attracts iron, but the body A
is a magnet, “ we should conclude only that, viformae : therefore some magnet
attracts iron,” writes Lachelier. “ But since we have grounds for believing that
the body A acts in virtue of a general property of magnets, we conclude,
vi materiae : therefore every magnet attracts iron.” This is equivalent to admit¬
ting that this so-called syllogism in Darapti is merely a formally invalid sequence.
2 Cf. Louis Rougier, La Structure des theories deductives, pp. 16 sqq.
3 “ The matter of induction may indeed be put into a syllogism but its
form may not : it is essentially opposed to the true syllogism by the absence
of the middle term by which the syllogism is characterized ; no conversion
could ever obliterate this difference or cause it to disappear. Inductio in
syllogismum reducitur materialiter et nonformaliter, ita quod forma inductionis reducatur in
formam syllogismi” (Alb. Magn.,Prior., 1, II, tract. VII, Cap. IV). “ Induction
proves that a characteristic belongs to a common subject by producing corre¬
sponding singular phenomena. That is the logical processus proper to it.
From the repetition of an occurrence under the same conditions, it concludes
REASONING 269
1 See above, No. 51 C. The examples used here to show what becomes of
induction when it is interpretedjrom the point of view of a pure collection of individuals,
correspond to those particular cases of complete induction in which, by reason of
the matter, the conclusion expresses nothing except a fact common to the
individuals of a collection taken as individuals (so-called “ formal ” induc¬
tion). True complete induction is not a tautology, but valid reasoning. See
below. No. 99.
REASONING 271
COMPLETE
induction :
Or again :
1 Again, we are sometimes misled by the over obvious examples which logicians
ordinarily use in order to more clearly elucidate the form of argumentation.
From this point of view the traditional example of the syllogism : “ Every
man is mortal, but Peter is a man, etc.,” would also lead us to think that the
syllogism does not further knowledge.
282 LOGIC
1 St. Thomas expresses himself similarly, in Analyt. Post., II, lect. 4, and he
is obviously speaking there of either virtually or formally complete enumeration.
Cf. also Artistotle, Anal. Pr., I, 30, 46 a 18.
2 Cf. Hamelin, le Systime d’Aristote, p. 257.
284 LOGIC
C. REASONING BY RESEMBLANCE
PRACTICAL SUGGESTIONS
I
logical algebra. As we shall see in Major Logic, the
system which is currently called the algebra of Logic refers
to a certain art of substituting, for the work of reason, the
methodical use of ideographic (logistic) signs. The founda¬
tions of this discipline are in themselves absolutely foreign
to true logic or the art of reasoning, and, among most
logisticians, spring from a general conception (“ Logic of
Relation ”) which is destructive of a sound philosophy of
reasoning.
Nevertheless, there is nothing to prevent us from imagin¬
ing an altogether different and much less pretentious
logical algebra, constituted in conformity with the principles
of traditional logic, which would provide the logician with
a system of artificial signs especially adapted to the reflex
analysis of reasoning.
This logical algebra would certainly not pretend to
displace language, which is the direct expression of the
work of thought, nor to furnish the means for a logical
calculus which would dispense with thinking. It would
limit its aims to the facilitation of the labour of logical
reflection for the logician, by translating verbal propositions
into a system of more complete and more precise technical
signs (under this special aspect of the reflex study of the
processes of the reason).
It would, moreover, be extremely useful, by the very
fact that it would make logical properties sensibly evident
and facilitate the use of logical rules. We are convinced
that it would be of particular service, from the pedagogical
point of view. If the professor would, in teaching Logic,
contrive to construct such a system of signs, in union with
his pupils, he would find therein the best means of keeping
288
APPENDIX 289
Man T (mortal)
Peter T (man)
•
Poet T (artist)
Poet T (man)
(man) T (artist)
This shows that the conclusion must be taken in the same
(“ existential ” or “ ideal ”) sense as the Major—and also
1 A fact which is hot implied in the first member of the conversion, even if
it be given an existential meaning, as we have done here. (Every man is
mortal, and men exist.) The suppositio here is indeed taken in relation to real
existence, but signifies only that men exist ; it does not signify that this deter¬
minate man exists. To pass from A to (a) it is not necessary to mention the
existence of the subject ; to pass from A to [a] such mention is necessary.
APPENDIX 291
makes evident the way in which Darapti is reduced to Darii,
by the conversion of the Minor :
C T (b)
Darapti - C T (a)
(a) T (b)
G T (b)
Darii (a) T (c)
(a) T (b)
We could very easily verify all the rules of the reduction
of moods by this same method (see above, No. 79).
Finally Descartes’ ontological argument (see above, pp. 63-4)
would be translated in the following manner :
II
III
IV
Identity, principle of, 159, 176 122, 158, 167, 168, 171, 173, 187,
Iliace, 141 252
Immanent activity. See Activity. Le Roy, 7, 56
Impossibility. See Modal propositions. Levi Ben Gerson, 216, 217
298 INDEX
Logic, i, 2, 39-40, 75, 121, 122, 126, Padoa, Alessandro, 222, 223-4, 225,
128, 168, 172-3, 175, 213, 214-5, 226
216, 221-2, 223, 224, 231-2 Partial conversion. See Accident.
of inherence or of predication, and Particular, use of the word, 40-5
of relation, 95, 251 concept, 37
Major, 9, 11 Particular proposition, 115, 118, 119,
Minor, 9, 11 129, 231, 246
Pure, and applied, to substitutive value, 64, 68, 69, 125,
Logistics, 75, 158, 222-33 126, 216, 217, 278
Parti-partial, parti-total, 214, 216,
218, 219-20
Peano, 222, 225
MacColl, 222, 225, 226, 233
Peirce, 222
Macfarlane, 222
Personalis, suppositio, 65, 71
Major, 149, 150, 170, 171, 207-10
Plato, 27
Major Term, 170
Materialis, suppositio, 64
Polysyllogism, 253
Matter. See Form. Possibility. See Modal propositions.
Mean of the argumentation, 169, Prtedicatum inest subjecto, 112, 120, 175
in plus, 217,218
177-8, 210, 243-4, 260, 263, 264,
Prantl, 216, 238, 245
265, 277, 278, 283, 284-5
Meinong, 84
Predicate, 50, 69, 98-9, 119-27,
219-20
Middle Term, 170
Mill, John Stuart, ix., xi., 206, 207,
Quantification of the, 126, 213—
211, 215, 217, 221, 278, 282, 285 22
Minor, 149, 150, 170, 171, 207-10 Predication, 74-5, 95, 217
Minor Term, 170 Premisses, 170
Modal propositions, 111-4 Principle of identity, of contradiction.
Opposition of, 137-41 See Identity, Contradiction,
Conversion of, 142-7 of triple identity, 176, 234-5
Monads, 121 first, of induction, 274-8
Mood, 112-3 Principles, first, of the syllogism,
Moods 175-80, 200-1, 202, 239
of the categorical syllogism, 185, formal and material, 9
188-200 Problematical judgments, 114
of the conditional syllogism, 240 Proposition, the, 3, 5, 6-7, 8, 96-100,
of the disjunctive syllogism, 237 220, 221
Reduction of, 200-5, 213, 223-5 affirmative, 110-11, 129
Morgan, de, 217, 222 causal, 106
“ collective,” after Lachelier, 117—
9. 232-3
conditional, 101, 102, 104-7
Nagy, 225
conjunctive, 101, 106
Naturalis, suppositio, 70, 71, 227
copulative, 101, 102-3, *35
Nature, universal, 23, 27-8, 41-2, 65, with a verb-predicate (de secundo
115-d, 118, 178, 212, 270, 271, 272 adjacente) and with a verb-copula
Necessity. See Modal propositions. (de tertio adjacente), 51-3
JVesciebatis, 204
Proposition, convertible, 68, 123, 124,
Nominalism, 24-5, 28, 210-11, 269
125, 143-4. 173. 209, 217
JVota not<e, 178
de inesse, 111-4, 175, 249
Noun, the, 51, 54, 56 disjunctive, 101, 102, 106, 135
enunciative, 86-90, 96-8
exceptive, 101, 102, 107
Obit terras, 204 exclusive, 101, 102, 107
Occam, 216, 226 existential, and non-existential
Odiebam, 204 (ideal), 61, 62, 63, 225-9
Ontological argument, 63 exponible, 107
Operations and products of the mind, indefinite, 116, 117, 118, 127
3-8 judicative, 87-90, 97
Opposition of propositions, 128-37 modal, 111-4
of modal propositions, 137-41 negative, 110-11, 126, 129, 246
INDEX 299
Proposition, particular, 115, II6, 119, Signification, 60, 62
127, 231, 246 Sigwart, 114
rational, 106 Simplex, suppositio, 65
reduplicative, 101, 102, 107 Simplicity of the judgment, 90
relative, 106 of the proposition, 91, 92
singular, 44, 116, 127, 131, 144, Singular, 58
190, 231, 246 concept of the, 41
universal, 116, 117, 118, 119, 127, Singularis, suppositio, 65
129, 225, 227-9 Sorites, 254
unnatural, 123, 124, 187 Specificative, 107-8
Properties, 24, 27 Spheramque quolannis, 204
Propria, suppositio, 65 Stanley Jevons, 215
Purpurea, 141 Stoics, the, 238, 251
Suarez, 17
Subalternation, 132-3, 135, 136, 165,
Quality, essential, of the proposition, 225, 229-30
Sub-contrariety, opposition of, 130-1,
110
accidental, of the proposition, 119 132, 134, 135, 166
Subject, 34, 50, 70, 98-9, 119-28,
Quantification of the predicate, 126,
213-22 219, 220
real, and logical, 95-6, 112, 245
Quantity of the proposition, 114-9,
Subjective parts, 29, 263, 265-6
246. See Conversion, Opposition,
Substitutive value. See Suppositio.
Syllogism.
Suppositio, 36, 59-72, 142, 226-9, 231,
232
Syllogism, the, 161
Rabier, 187 categorical, 169-233
Ramus, 167 conditional, 239-47
Reason, the, 1 conjunctive, 237-8
Reasoning, 1-2, 8-11, 148-54 demonstrative, 247
deductive. See Syllogism, disjunctive, 236, 237
inductive. See Induction, erroneous, 248
by resemblance, 284-7 expository, 233-5
Reciprocal, 146-7 hypothetical, 235-6
Reduction of the imperfect moods of modal, 248-9
the syllogism, 200-5, 213, 223-5 oblique, 249-53
Reduplicative, 107, 108 probable, 247
Relation, Logic of, 95, 251 sophistical, 248
Renouvier, viii., xi., 147 and induction, 262-9
Resemblance, reasoning by, 284-7 Value of syllogisms in Darapti and
Resolutio prioristica, posterioristica, 9 in Baralipton (Bamalip), 223-31
Restrictio, 73, 109 Syncategorematic Term, 49
“ Retort,” to, an argument, 256
Richard, T., 179, 234, 269
Rodier, 40, 173, 175 Term, 20, 45-9
Rondelet, 166, 167 categorematical, 15, 49
Rougier, Louis, 53, 225, 245, 268 complex, 50, 77, 93
Rules of induction, 278 enunciative, 48-9, 51, 56
of the syllogism, 180-1 incomplex, 50
Russell, Bertrand, 95, 96, 222 indefinite, 57
particular, 57
singular, 57, 65
Sanseverino, 248 syllogistic, 49, 56, 57
SCHROEDER, 222, 225, 226 syncategorematical, 49-5°
Scotus, Duns, 17 universal, 57
Segner, 173 and the concept, 46, 47-6
Sequence, 63, 71, 154-60, 239 Properties of the term in the
formal, 155-60, 272, 277, 280-1, Proposition, 58-76
282 Tertullian, 255
Sextos Empiricus, 206, 211 Theophrastus, 167, 238
300 INDEX
v.
38-297