Beruflich Dokumente
Kultur Dokumente
S Y LL O G I S T I C
FROM THE STANDPOINT
MODERN FORMAL
OF
LOGIC
BY
J A N L U KASIEWIC Z
SECOND
E D I TI O N
ENLARGED
OXFORD
A T T HE C L A R E N D O N P R E S S
Oxford UniuersityPress,AmenHouse,LondonE.C.4
OLASOOW
BOTBAY
CAPE
NEW
YORK
CALCUTA
TOWN
TORONTO
MADRAS
EALTSBURY
KUALA
MELBOURNE
KARACHI
NAIROBI
LUMPUR
HONG
WELLINOTON
HBORE
IBADAN
DACCA
PR EF AC E T O
T HE SEC ON D ED IT ION
ACCRA
(ONG
11tt.Jwurg55
rl
FIRST EDITION
sEcoND
REPRINTED
EDrrroN
I95I
(ENLARcED)
LITHOGRAPHICALLY
By LATTMER, TREND
& co.,
PUBLISH ER 'S N OT E
t957
IN GREAT BRITAIN
LTD., wHrrsrABLE
r 9 5 E, 1 9 6 3
I'norrrsoR Jan Lukasiewiczdied in Dublin on the l3th of Feband thus could not seehis book through the Press.
r unryi r r;5r{i,
'l'hir wls <loncby his former pupil, Dr. CzeslawLejewski,who
renrl tlre prrxrlsof the addedchaptersand extendedthe index.
PR EF AC E T O
T HE F IR ST ED IT ION
ftvJune r g3g I read a paper at the PolishAcademy of Sciences
in Cracow on Aristotle's syllogistic.A summary of this paper
was printed in the same year, but could not be published
llccauseof the war. It appeared after the war, but was dated
During the summerof r939 I prepared,in Polish,a more
"g3g'. monograph on the same subject, and I had already
rlctailed
r<:ceivedthe proof of its first part when in September the
printer'sofficewascompletelydestroyedby bombing and everything was lost. At the same time my whole library together
with my manuscriptswas bombed and burnt. It was impossible
to continue the work during the war.
Not till ten years later did I get a fresh opportunity to take
up my investigationsinto Aristotle's syllogistic, this time in
l)ublin, where since 1946 I have been lecturing on mathernatical logic at the Royal Irish Academy. At the invitation of
llniversity College, Dublin, I gave ten lectures on Aristotle's
syllogisticin rg4g, and the presentwork is the result of those
lcr;turcs.
'l'his work is confined to tJle non-modal or 'assertoric' syllogisms,sincethe theory of theseis the most important part of
tlrr: Aristotelian logic. A systernaticexpositionof this theory is
corrtainedin chapters I, 2, and 4-7 of Book I of the Prior
Awil2tics.These chapters in Th. Waitz's edition-now more
lhitn a century old-are the main source of my exposition.
I rr:grct that I could not use the new text of the Prior Analttics
c<lilcd with an introduction and a commentary by Sir David
Itoss;rnd publishedin 1949,sincethe historicalpart of my work
wls llrcady finished when this edition appeared.I could only
(r,r'l('ct my quotations from Aristotle by the text of Sir David
Itrrrs. lrr tlrc English version of the Greek texts of the Anafutics
| ;rtllrt'rc'd as far as possible to the Oxford translation of
AlirlotlrJs works. Besidesthe text of the Prior Anal2ticsI took
irrlo corrsirlt:ration
the ancient commentators,especiallyAlexrurrl('r'.
I rnaymentionherethat I owe to an anonymousancient
Viii
PR EFAC E
PREF ACE
rx
J.r,.
D U BLIN
7 May rg5o
CO N T EN T S
C H A P TE R
E LE ME N T S
OF TH E
S Y S TE M
OF TH E
II
S Y S TE M
.2 ( )
.23
.28
.30
.32
.34
.38
III
S Y S TE M
syllogisms
$ ry. Perfectandimperfect
16.
The
logic
of
terms
and
tlu logicof propositiotu
$
$ 17. Theproofsfu conuersion
I 18. Thcproofsby reductioad impossibile
$ tg. TheprooJs
fu ecthesis
Thc
rcjcctedforms
zo,
$
problems
unsolaed
$ zr. Some
43
47
5r
54
59
67
72
CONT ENT S
Xii
CHAPT ER
ARISToTLE'S
SYST EM
C O N TE N TS
IV
IN SYM BOL IC
C H A P TE R
F OR M
CHAPT ER
THE
PROBL EM
TH E
79
B3
BB
9o
9+
9B
roo
r03
ro6
III
I20
n6
r3 0
CHAPTER VI
M oDeL
Loc lc
oF PROPOSIT ION S
r33
$ 96. Introduction
r3 +
their
interrelations
Modalfunctioru
and
$ 97.
r3 5
$ 38. Bcsramodallogic
I38
gg.
Laws
extewionality
of
$
| 4o. Aristotle'sproof of theM-law of extensionality r40
r43
of propositions
connexions
$ 4r. Necessaqy
r46
$ 42. 'Matnial' or'strict' implication?
propositions
T48
Anal2tic
| 49.
paradox
I
5I
E U. Ao Aristotelian
r54
in Aristotle
$ 45. Contingenc2
V II
OF MOD A L
LOGIC
$ +6. Thematrixrnethod
$+2. TIu C-Nfi-system
$ +8.6-Defuitions
of modallogic
$ 4g. Thefour-ualuedsltstern
and
tlu
Neussity
$ so.
four-ualuedsystemof modal
logit .
OF DECISION
expressions
$ zg. Thc numberof undecidable
go.
rule
of
rejection
Stupuki's
$
$ 3r, Defuctiueequiualence
expressions
$ 32. Reductionto clementar.y
of thc syllogistic
$ gg. Elemcntarl expressions
of thes2llogistie
arithmetical
interpretation
Ao
I Z+.
$ 95. Conclusion
A RIsro rLE's
S Y S TE M
xlu
I58
r6o
r63
r66
r69
r72
17+
r7B
C H A PTER VIII
A R r s r o r L E 's
M o D AL
sYL L o GISTIc
premisses
r8r
$ 54. Moodswith two apodeictic
$ 55. Moods with orc apodeicticand one assertoric
premiss
rB3
Rejuted
moods
with
one
apodeictic
and
one
$ 56.
premiss
assertoric
186
rBB
$ 57. Solutionof thecontrouers2
possible
premisses
Moods
with
rgr
$ 58.
propositi.ons ry4
of contingent
$ 59. Laws of conuersion
6o.
Rectfication
Aristotle's
of
mistakes
rg8
$
premisses
2or
$ 6r. Moodswith contingent
2o5
$ 62. Philosophicalimplicationsof modallogic
IN D E X
2Og
ER R A TA
ANCIE N T TE X TS A N D
COMME N TA R IE S
AristotclesGracce,qc recensione fmmanuelis Bekkeri, vol. i, Berolini,
r83I.
Arbtohlis Orga.rcnGruce, ed. Th. Wartz, vol. i, Lipsiae, 1844; vol. ii,
Lipsiae, 1846.
Aristotle'sPrior @d PostcriorArulytics. A Revised Text with fntroduction and Comrnentary by W. D. Ross, Oxford, 1949.
Ahxandi in Arisbtalis Adyticorum Priorum Librum I Commentarium,
ed. M. Wallies, Berolini, 1883.
immonii in Aristotalis Atul2ticorum Priorum Librum I Commentaium,
cd. M. Wallies, Berolini, 1899.
Iounis Philoponi in Aristotelis Analltica Priora Commentari,a,id. M.
Wallies, Berolini, rgo5.
The texts of Aristotle are quoted according to Bekker's edition.
pegc 25, column b, line 37. The tacts of the commentators are
according to the above editions of the Academy of Be.rlin.
z Alcxanda roo. rr mearurrpage roo, line rr.
CHAPTER
E L E M E NT S
OF T H E
SYST EM
E LB ME N T S OF T H E S YS T EM
$r
'therefore' (dpa). Now, and this is the second difference, no syllogism is formulated by Aristotle primarily as an inference, but they
are all implications having the conjunction of the premisses as the
antecedent and the conclusion as the consequent.A true example
of an Aristotelian syllogism would be, therefore, the following
implication:
(S)
If all men are mortal
and all Greeksare men,
then all Greeksare mortal.
This implication is but a modern example oi an Aristotelian
syllogism and does not exist in the works of Aristotle. It would be
better, of course, to have as an example a syllogism given by
Aristotle himself. Unfortunately no syllogism with concrete terms
is to be found in the Prior Anafittics. But there are some passages
in the Posterior Anal2tics from which a few examples of such
syllogisms may be drawn. The simplest of them is this:
(+)
T H E TR U E
t1 t
FOR M
If ,4 is predicated of all B
and,B is predicated of all C,
then I is predicated of all C.2
ELEMEN TS
O F THE SYSTEM
gz
I'I
P R E MIS S E S
AND
TE R MS
rrrrrk'r'iclcd
whether it is true to say 'No pleasureis good' or only
'S'rnr: pleasure is not good', may say without defining the
(lrl:rntity of the subject: 'Pleasure is not good.'But in this last
:i('nt('nce'pleasure'is still a universal term as it was in the two
l,rcvious sentences.Throughout the whole systematic exposition
,,1 lris syllogistic Aristotle in practice treats indefinite premisses
likt' lritrticulars without explicitly stating their equivalence.I This
w;rs tlonc only by Alexander.2
lrrrlefinite premisses are of no importance in the Aristotelian
riysl(:mof logic. No logical thesis, whether a law of conversion or
;r syllogism, is formulated by Aristotle with this kind of premiss.
lt wrts but right that they should be dropped by later logicians,
rvlro rctained only four kinds of premiss, well known to every
strr<lt:ntof traditional logic, viz. the universal affirmative, the
rrrrivcrsalnegative, the particular affirmative, and the particuiar
n('sirtive. In this fourfold division there is no place left for singular
l rlr:rnisses.3
\,:. Wb singular termswere lmitted b2 Aristotle
'['here is an interesting chapter in the Pior AnaQtics where
Alistotle divides all things into three classes.Some, he says, are
srrt:h that they cannot be predicated truly of anything at all,
likc Cleon and Callias and the individual and sensible,but other
llrinss may be predicated of them, e.g. man or animal. Some
otlrcr things, and these are the second class, are themselves
plcdicated of others but nothing prior is predicated of them. For
tlris class of things no example is given, but it is clear that Aristotlc means what is most universal, like being, rd dv.To the third
,:lrrssbelong those things that may be predicated of others and
otlrcrs of them, e.g. man of Callias and animal of man, and
;rs ir rule, concludes Aristotle, arguments and inquiries are conr r:rncd with this classof things.a
' See, for example, An. pr. i. 4, z6^z9 6 yip aitds Eorec ouDoyrcpds d\rcpinov te
iv p!pa \1$0!wos, ot 7, 2ga27 6flou 3d xoi 6rt 16 d\dprotov dvri roA xatqyoptxoA
^,ri
,,,i iv ptpet zt\lpcvov rdv qJrdv nouioet ovA)oycopdviv dnaot tois oyfipaou.
' Alcxander 3o. zg nepi 3t riw dlcoptoror (scil' rfis t<iv d\npiotov 'ivttotpo$fis)
,,i, Alyeq 6rc p16t ypfiorltot rpds ov&oyrcpo,is ciol eito4 xai 6tc ioov tots ini pipovs
Srivovrat.
BLEM ENTS
O F THE SYST E M
$s
II,I
7
Aristotle must have felt its weakness, yet it is not corroborated
lry lny philosophical argument borrowed from Plato.
'l'hcrc is, however, another remarkable point that may throw
rorrrc light on our problem. Aristotle emphasizes that a singular
It'rrn is not suited to be a predicate of a true proposition, as a
rrrostuniversal term is not suited to be a subject of such a proposition. The first assertion, as we have already seen, is not gener:rlly true, and the second also seems to be false. But it does not
rrr:rttcr whether these assertions are true of false. It suffices to
krrow that Aristotle regarded them as true and that he eliminated
lirrm his system just those kinds of terms which in his opinion
w(:rc not suited to be both subjects and predicates of true propositions. And here, as I seeit, lies the chief point ofour problem.
It is essential for the Aristotelian syllo.gistic that the same term
rrray be used as a subject and as a predicate without any restriction. In all three syllogistic figures known to Aristotle there
r:xists one term which occurs once as a subject and then again
rrs a predicate: in the first figure it is the middle term, in the
srx:ond figure the major term, and in the third figure the minor
t<:rm. fn the fourth figure all three terms occur at the same
tirne as subjects and as predicates. Syllogistic as conceived by
Aristotle requires terms to be homogeneous with respect to
their possible positions as subjects and predicates. This seems
to be the true reason why singular terms were omitted by
Aristotle.
\ 4. Vaiables
In Aristotle's systematic exposition of his syllogistic no examples
lrrc given of syllogismswith concrete terms. Only non-valid combinations of premissesare exemplified through such terms, which
lrc of course universal, like 'animal', 'man', 'horse'. In valid
syllogisms all terms are represented by letters, i.e. by variables,
c.g. 'If ,R belongs to all S and P belongs to some ,S,then P belongs
to some.R ' .r
The introduction of variables into logic is one of Aristotle's
grcatest inventions. It is almost incredible that till now, as far as I
know, no one philosopher or philologist has drawn attention to
t Ibid. i. 6, zBbT ei ydp td ptv P nevri rQ J zd 3t 17 rwi, dvd.yxtl rd II rui rQ
l' indpxcw. This is a mood of the third figure, called later Disamis, with transposed
l)r ('rnrsscs,
EL EM ENTS
O F THE SYSTEM
$+
this most important fact.r I venture to say that they must all
have been bad mathematicians,for every mathematiiian knows
that the introduction of variables into arithmetic began a new
epoch in that science. It seemsthat Aristotle regardld his in_
vention as entirely plain and requiring no explanation, for there
is nowhere in his logical works any mention ofvariables. rt was
Alexarider who first said explicitly that Aristotre presents his
doctrine in letters, orotyeta, in order to show that we get the
conclusionnot in consequence
of the matter of the premisJes,
but
in consequenceof their form and combination; the letters are
marks of universalityand show that sucha cqncrusionwill follow
alwaysand for any term we may choose.2
There is another commentator,John Philoponus,who is alsofully aware of the significance and importance of variables. He saysthat Aristotle, alfter
showing by exampleshow every premissmay be converted,stbtes
someuniversal rules of conversiontaking letters instead of terms.
For a universalsentenceis disprovedby one examplein which it
tr
9lr-.,. but is proved either by going througf, ail particulars
(which is an endlessand impossibleoperationl or by stating an
evident universal rule. such a rule is given here by Aristotie in
letters, and the reader is allowed to zubstitute (inopiltAew) for
the letters any concreteterms he wants.3
we know alreadythat only universartermsmay be substituted
^ the variables.
for
fn an example quoted above,l Aristotle performs such a substitution, saying: ,L.t ,4 be decidrrorrr,b_
broadJehved plant, c-vine.' This is the only kind of substitution we meet in the Prior Anal\tics. Aristotlenever substitutesfor a
variablez4anothervariable.B,althoughhe is perfectlyawarethat
the same syllogistic mood may be formulited with different
r r am glad to learn that
sir David Ross in his edition of the Analytics. D. 20.
emphasizes that by using variables Aristotre became the founder
tigi"i'
2 Al-exander
53. zB tni ototyeiav tlv bdaoxaAiav norcirac iilp "rroi-uf
ro6 ivtei(iolat
iptv,,6tr o& napd, rlp J\1v ylveroe td..-ouptepd.opara dAtrd.napd ra
"Xrtt "--.J-ri,
ToL-a-urnv
tav nporioeav oupn.Aox)1vx.al rdv rp6rov. oi yd.p ht
fi6e i1 JAt1,owdyerat
ouDoytottxtltg zri6e, tiD' 6rc zi ou(uyia tonitl.
td. o\v otoryeia tol'xa06i\ov xii &ei
xai tni navtds ro'-A1$,ivros roto,rov trrr,t:;;rr";rff::_yj;)r::;;;:rr;rTr;:or:r*
d.oroeyeie nopal,opBdvav dwi r6v 6pav . , .
ropd.6ecypa,,is fi61 eipqrac, xotaoxevd.{<t
, 6rep doriv d.nerpovxai d}Jvorcv, i i 6d.
\d, ritv oroq1iay Dr8or)sxdnq,'donep
lew dvri zitv oroqgelov oies &v BoJAryat
a See p. z, n,
$+
VAR IABL ES
to
ELEM ENTS
O F THE SYSTE M
5+
Alexander again who saw the falsity and applied this fact to
prove the law of conversion of the universal negative premiss.
The proof he givesproceedsby reductio
ad absurdum:If the premiss
'l belongsto no .B' is not convertible,let us suppose that B
belongs to some ,,4.From thesetwo premisseswe get by a syllogism of the first figure the absurdconclusion:'r4 doesnot belong
to some4." lt is obviousthat Alexanderhas in mind the mood
of the first figure called later Ferio : 'lf A belongsto no B and B
belongsto someC, then,4 doesnot belongto someC',2and that
in this mood he identifiesthe variables,4 and C, substituting,4
for C. This is perhaps the neatestexample of an argument by
substitutionderived from an ancient source.
$ 5. Syllogisticnecessity
The first Aristotelian syllogism,called later Barbara, may be
represented,
aswe havealreadyseenr3
in the form of the following
implication:
If ,4 is predicatedof all .B
and B is predicatedof all C,
then I is predicatedof all C.
But there is still a differencebetweenthis formulation and the
genuine Greek text. The premissesare the samein the English
versionasin the Greek,but the exacttranslationof the conclusion
would be 'r4 must be predicated of all C'. This word 'must'
(dv,iyrcq\is the sign of the so-called'syllogisticnecessity'.It is
usedbyAristotle in almostall implicationswhich containvariables
and representlogical laws, i.e. laws of conversionor syllogisms.a
There are, however,somesyllogismswherethis word is omitted ;
take, for instance,this Aristotelianform of the mood Barbara: 'If
z4belongsto all B and C belongsto all l, then C belongsto all.B.'s
Sinceit was possibleto omit the word iniome syllogisms,it must
be possibleto eliminateit entirely from all syllogisms.Let us see,
therefore,what the word meansand why it is usedby Aristotle.
I Alexander
34, 15 Eveon 6i xai Erri ovAAoywpoit,etfcr Erd ro0 nptitou o2qtiporos
y;oltivov, <is xai atlrds npooTpfiror tfi eis d\Jvarov dnoyuyfi. ei yd.p ns pl Aiyot
dvrrcrpiSew tiv xa06Aou8.ro$anxfii, xe/o|u rd A p46evi rQ B. ei 6t pl d.vnotp!$ec,
Eno ri B nvi tQ A' yiverot iv np,ittp oyrjpan td A rwi ,Q A pi itndpTov, 6nep
d,ronov.
2 An. pr. i.
4, z6^25 <i.i ptv A pq}evi tQ B indpTeq zd 3t B zvi tQ f, d"vdyxl d A
nv i r Q I p l J n d p l q e w. 3 Se e p .3 , n . 2 . + Se e p . 7 , n .; p . g, nn. r, 4; above,n. z.
s An. !r. ii. I I, 6r b34 ei yd.pi A revi tQ B xoi rd f rawi rQ A, rd T novti tQ B,
Ii..,
S Y LL OGISTIC
N EC ESSITY
tl
'Ihe problem appearssimple,and is settledimplicitly by Aristotle himselfincidentally in his treatment of the laws of conversion,when he says; 'lf A belongsto someB, it is necessary
that .B
shouldbelongto someI ; but if ,4 doesnot belongto some,B,it is
not necessary
that B shouldnot belongto someA.' For ifr4 stands
lirr 'man' and B for 'animal', it is true that some animal is not
man, but it is not true that someman is not animal, becauseall
men are animals.IWe seefrom this example that Aristotle uses
the sign of necessityin the consequentof a true implication in
order to emphasizethat the implication is true for all valuesof
variablesoccurring in the implication. We may thereforesay 'If
I belongsto someB, it is necessarythat .Bshould belong to some
l', becauseit is true that 'For all A and for all B,if A belongsto
some.8, then -Bbelongsto some,4'.But we cannot say 'If z4does
not belongto someB, it is necessary
that.B should not belong to
somel', becauseit is not true that'For all A andforallB,if A
doesnot belong to someB, then B doesnot belong to some,4'.
There exist, as we have seen,values for .r4and ,B that verify the
antecedentof the last implication, but do not veri$ its conselike 'for all ,4' or 'for
quent. In modern formal logic expressions
all B', where A and -B are variables, are called universal quantifiers.The Aristotelian sign of syllogisticnecessityrepresentsa universalquantifier and may be omitted, sincea universalquantifier
may be omitted when it standsat.the head of a true formula.
This, of course,is all known to studentsof modernformal logic,
but some fifty years ago it was,certainly not known to philosophers.It is not strange,therefore,that one of them, Heinrich
Maier, has chosenour problem as the basisof what is, in my
opinion, a bad philosophicalspeculation.He states:2'The conclusion follows from the premisseswith necessaryconsequence.
'fhis consequencearisesfrom the syllogistic principle and its
necessityrevealsvery properly the syntheticpower of the function ofreasoning.'I do not understandthis last sentence,because
' Ibid. i. z, z5azo4 ei ydp rd A rwi tQ B, xoi td B nvi rQ A dvdyxq JndpTe*...
A pi itd.p7ew, otov ci
ei 6( ye ri A tcvi tQ B pl 6n,ip76t, oix ,i^iyxr1 xei td B rwi
"Q
ti plv B doti (Qov, rd 6t A dv|punos. dv|panos ptv yd.poi novti (<!tu, (Qov 62 tavri
iv|pln<p $n,ipyct.
vol. ii 6, Ttibingen (rgoo), p. 236: 'Aus
' H. Maier, Die S2llogistikdesAristoteles,
rlcn Prilmissen fol$t mit notwendiger Konsequenz der SchluBsatz. Diese Konserlrrcnz cntspringt dem syllogistischen Prinzip, und die Notwendigkeit, die ihr
;rrrlraliet, bekundet recht eigentlich die synthetische Kraft der Schlu6funktion.'
12
$s
I cannot grasp the meaning of the words 'the synthetic power of
the function of reasoning'.Moreover, f am not sure what is
meant by 'the syllogisticprinciple', as I do not know whether any
such principle exists at all. 'On the ground of both premisses
[Maier continues his speculations'] which I think and express,I
must also think and expressthe conclusion by virtue of a compulsion lying in my thinking.' This sentenceI can certainly
understand, but it is manifestly false.You may easily seeits falsehood if you think and pronounce the premissesof a syllogism,
e.g. 'All A is C' and 'Some,B is not C', without pronouncingthe
conclusion which follows from them.
EL EM ENT S
OF
T HE
SYST EM
$(;
WH AT
IS FOR M AL
L OGIC ?
I3
14
ELEM ENTS
O F THE SYSTEM
$6
ri
w i l A 'l '
l s l ;( ) l r M Al ,
l .( ) ( ;l ( :1
r .r
16
ELE M ENTS
O F THE SYSTEM
$Z
$7
WH A T
IS FOR M AL ISM ?
r7
tude is the structural discrepancybetween the abstract and conr:reteforms of the syllogisms.Take as an example the syllogism
with opposite premissesquoted above, in our section 4.r Let B
rrnd C be 'science'and A 'medicine'. Aristotle states:
I n variables :
If B belongsto all A
:rndC belongsto no l,
thenC doesnot belongto some8.2
In concreteterms:
r8
ELEM ENTS
O F THE SYST E M
$Z
tiz
WHAT
IS FOR M AL ISM
t9
you get according to the Stoics a valid rule of inference, but not
a syllogism. The logic of the Stoics is formalistic.I
I Alexander
g7g, zB Apntori\qs
ltiv o$v oitas repi tCw rcrd tds A((ets perc)vitlteuv $(pcrat (see p. IB, n. z). oi 6i ve,itepot (i,e. oi Eto'txoi), rais Afeow i.noxoIou|oavtes orirlt
Ei rots olpalopivots,
oi rair6v
$aot yiveo|ar dv rcis eis ztis
ydp otlpetvovros toi'
ei ti A
Ioo}uvaporioos Ai(cts pen)r$,!eoc rtv
dpov' tairdv
rrl B' rQ 'dxo\ou|<i
tQ A i
B', ouMoyrctrrcdv ptv Adyov $ooiv etvot tonrhls
dild
Aq$Oeio1s rfis )ri{eus ' ei ti A rd B, d Ei l, zri dpo B ' , oix&t 6t ouiioyroardr
rtpavrxdv
rd ' dxo\ouflei tQ A fi B, zri 6t 14, i d.po B'.
bII
C H A PT E R
II
THES E S OF TFIE S Y ST E M
andrulesof inference
$8. Theses
Aristotelian
theory of the syllogismis a systemof true proTnn
positionsconcerningthe constantsA, E,1, and O. True propositions of a deductivesystemI call theses.Almost all thesesof the
Aristotelian logic are implications,i.e. propositionsof the form
'If ct,then p'. There are known only two thesesof thislogicnot
beginningwith 'if ', viz. the so-calledlaws of identity : 'A belongs
to all A' or 'All A is A' , and 'A belongsto some,4' or 'Some,4 is
z4'.Neither of theselaws was explicitly stated by Aristotle, but
they were known to the Pcripatetics.I
The implications belonging to the systemare either laws of
conversion(and laws of the squareof oppositionnot mentioned
in the Prior Anal'tics)or syllogisms.The laws of conversionare
simple implications,for instance: 'If A belongsto all B, then .B
belongsto some A.'2 The antecedentof this implication is the
premiss 'r4 belongsto al| B' , the consequentis '.8 belongsto some
.,4'. This implication is regarded as true for all values of the
variablesA and B.
All Aristgtelian syllogismsare implications of the type 'If cv
and p, thefi y', where crand p are the two premissesand y is the
conclusion.The conjunctionof the premisses'cu and p' is the
antecedent,the conclusion7 is the consequent.As an example
take the following formulation of the mood Barbara:
If ,4 belongsto all B
and B belongsto all C,
then I belongsto all C.
TH E S E S
A ND
R U LE S
OF
IN FE R E N C E
t Cf. p.
9, n. 5, p. ro, n. t. In the passagequoted in the latternoteAlexander
says that the ploposition 'l does not belong to some ,4' is absurd. That means that
the contradictory proposition ',4 belongs to all :4' is true.
2 An, pr. i. z, z5ar7 ei 3i nqwi rd A tQ B, xsi rd B twi rQ A in,ip{e.
I In Alexander
(Qov
47. gwe find a syllogism in concrete terms with d'pa: ndv
,,ith dori, riv (Qov Ep,ltvy|v ion, ris dpa oiote Elrlu7a6stonv. At 38e. rB we have a
crrrrgrlcxsyllogism in four variable terms with dpo: i A novti rQ B, td B nowi tQ
I', ,i A oi}evi rQ A, t6 dpe A oi6oi tQ f.
22
gs
Aristotle, and does not even say what differenceshe has seen.r
when we realize that the difference between a thesisand a rule
of inferenceis from the standpoint oflogic a fundamental one, we
must agree that an exposition of Aristotelian logic which disregards it cannot be sound. We have to this day no genuine
exposition of Aristotelian logic.
to convince ourselvesthat this transformation is correct. Supposing now that a and B are true premissesof a syllogis-, *"
get the conclusion y, applying the rule of detachment-twice to
the purely implicational form of the syllogism. I{, therefore, an
Aristotelian syllogismof the form .If c and p, then y' is true, the
corresp_onding
traditional mood of the form . c, B, therefore7' is
valid. But conversely,it seemsimpossible to deduce the corret Maier, op. cit.,
vol. iia, p.74rn. z: .Es ist vielleicht gestattet, hier und im
_
Folgenden die
Darsterrungsform der spiteretitogit,'ai"
.geldufigere
lerchter zu handhaben
ist, an die Stele der aristoterischen
,Jtzin.' rne".rgLi"h
irood
"u
Barbara is quoted ibid., p. 75, thus:
:iHE;:*
alles C ist A
where the strbke replaces the word .therefore'.
$B
T H E S E S A ND R U L ES OF IN FER EN C E
23
24
$g
T H E S Y L LOGISTIC
$o
FIGU R ES
25
glad to see that this reading is also accepted by Sir David Ross.
"Q
A pl i nd.pycl .
26
$s
If I belongs to some B
and -B belongs to no C,
Aristotle calls the minor term C and the major term A becausehe
treats the premissesfrom the point of view of the first figure. He
says,therefore,that from the given premissesa conclusionresults
in which the minor term is predicated of the major.
Three other syllogismsbelonging to the fourth figure are mentioned by Aristotle at the beginning of Book II of the Prior
Analytics.Aristotle stateshere that all universal syllogisms (i.e.
syllogismswith a universal conclusion)give more than one result,
and of particular syllogismsthe affirmative yield more than one,
the negativeyield only one conclusion.For all premissesare convertible except the particular negative; and the conclusionstates
something about something. Consequentlyall syllogismsexcept
the particular negative yield more than one conclusion, e.g. if A
hasbeenprovedto belongto all or to some,B,then.Bmust belong
to someA; and if A has been proved to belong to no -8, then .B
belongs to no .r4.This is a different conclusion from the former.
But if I does not belong to some .8, it is not necessarythat B
should not belong to someA, for it may possiblybelong to all l.r
We seefrom this passagethat Aristotle knows the moodsof the
fourth figure, called later Bramantip, Camenes,and Dimaris,
and that he gets them by conversion of the conclusion of the
moods Barbara, Celarent, and Darii. The conclusion of a syllogism is a proposition stating something about something, i.e. a
premiss,and thereforethe laws ofconversion can be applied to it.
I An. pr. ii. l,
5ga4 oi, ltiv xa06Aou(scil. ou,\,\oyropoi) ndwes dei nAeia odloyi(ovran, rit
!' iv piper oi. plv xatlyoprxoi n\eto4 oi 6' d.no$attxoi td oupnlpaopa pdvov.
ai, ptu yd.p dX\ot npotd,oers dvrrcrpi<$ouor, fi 62 orepTnxi oix d"wcotp!$er-16 6i
oupnipeopo ti xotd, nvds iotl. ito|' oi. piv d),Aor ouiloywpo| r),eia ouL)oyi(ovtac,
otov ei td A 6i6ecner nav:/r rQ B i wi, xai rd B nvi rQ A dvoyxoiov 6n,ipyirr: *oi ei
pqlevi tQ B d A, oriDl rd BoriEeyi rQ A. niro 6' Etepov roi Eprpoo0ev.-ei'61 twi p)7
indp76r, oix ,ivdyny xai td B nvi tQ A pl $ndp7ew. 2vidytac ydp navti ind.pyec/. '
$s
T H E SYL L OGISTIC
FIGU R ES
27
$g
Theophrastus is as good a solution of the problem of the syllogistic figures as the addition of a new figure.
$ rc. The major,middle,and minortcrms
There is still another error committed by Aristotle in the Prior
Anafutics,with more seriousconsequences.
It concernsthe definition of the major, minor, and middle terms as given in his
characterization of the first figure. This begins with the words:
'Whenever three terms are so related to one another that the last
is containedin the middle and the middle is containedor not in
the first, the extremesmust form a perfect syllogism.' This is how
he begins; in the next sentencehe explains what he means
by the middle term: 'I call that term the middle which is itself
contained in another and contains another in itselfi, which by
position also becomesthe middle." Aristotle then investigatesthe
syllogistic forms of the first figure with universal premisseswithout using the expressions'major term' and 'minor term'. These
expressions
occur for the first time when he comesto the moods.
of the first figure with particular premisses.Here we find the
following explanations: 'I call that term the major in which the
middle term is contained and that term the minor which comes
$ ro
THE MAJOR,
MID D L E,
AN D M IN OR
TER M S
29
go
$ ro
of the conclusion as the major term and the subject of the conclusion as the minor term. It is easy to seehow misleading this
terminology is: in syllogism (3) the major term 'bird' is smaller
in extension than the minor term 'animal'. If the reader feels
a difficulty in acceptingsyllogism (3) becauseof its false minor,
he may.read 'someanimals' insteadof 'all animals'. The syllogism:
(+) If all crowsare birds
and someanimalsare crows,
then someanimalsare birds
is a valid syllogism of the mood Darii with true premisses.And
here again, as in syllogism(3), the largestterm 'animal' is the
minor term; 'bird', middle in extension,is the major term; and
the smallestterm, 'crowl, is the middle term.
The difficulties we have already met are still greater when we
take asexamplessyllogismswith negativepremisses,e.g. the mood
Celarent:
If no.Bis I
and all C is .8,
then no C is A.
B is the middle term; but doesit fulfil the conditions laid down
by Aristotle for the middle term of the first figure? Certainly not.
And which of the terms, C or A, is the major and which is the
minor? How can we compare these terms with respect to their
exten5ion? There is no positive answer to theselast questions,as
they spring from a mistaken origin.r
$ rt. Tlu historyof an mor
The faulty definition of the major and the minor terms, given
by Aristotle for the first figure, and the misleading terminology
he adopts, were already in antiquity a source of difficulty. The
problem arosein the caseof the secondfigure. All the moods of
I We have no guaranteer,ts Keynes (op. cit., p. z86) justly remarks,
that the
major term will be the largest in extension and the minor the smallest, when one of
thc premisses is negative or particular. Thus, Keynes continues, 'the syllogismNo l14 is P, All S is .il,f, therefore, No S is P-yields
as one case [here there follows
a diagram representing three circles M, P, and.S, a large ,Sincluded in alatger M,
oueide of them a small P] where the major term may be the smallest in extent,
and the middle the largest;' Keynes forgets that it is not the same to draw a small
circle P outside of a large circle S and to maintain that the term P is smaller in
extent than the term .S.Terms can be compared with respect to their extent only
in the case when one of them is contained in the other.
$ rr
T H E H I S TOR Y
OF AN ER R OR
3r
this figure have a negative conclusion and the first two moods,
called later Cesare and Camestres,yield a universal negative
conclusion.From the premisses'M belongs to all "iV' and'M
6X
belongsto no X'follows the conclusion belongsto no.M', and
by conversionof this result we get a secondconclusion' '"lf belongs
to noX'. In both syllogismsMis the middle term; but how are we
to decide which of the two remaining terms, "lf and X, is the
major term and which is the minor? Do major and minor terms
exist 'by nature' ($ioet) or only 'by convention' (9bec)?r
Such problems, according to Alexander, were raised by the
later Peripatetics. They saw that in universal affirmative premissesthere can be a major term by nature, becausein such
premissesthe predicate is larger in extension (2d dtiov) than the
subject,but the sameis not true in universal negativePremisses.2
We cannot know, for instance,which of the terms 'bird' or 'man'
is major, becauseit is equally true that 'no bird is a man' and that
'no man is a bird'. Herminus, the teacher of Alexander, tried to
answerthis question by modifying the meaning of the expression
'major term'. He saysthat of two such terms, 'bird' and 'man',
that is the major which in a systematicclassificationof the animals
6animal'. In our example it is the
is nearer to the common genus
term 'bird'.3 Alexander is right when he rejects this theory and
its further elaboration given by Herminus, but he also rejectsthe
opinion that the major term is the predicate of the conclusion.
'I'he major term, he says,would not be fixed in this case,as the
universal negative premiss is convertible, and what till now has
been a major term instantly becomes a minor, and it would
depend upon us to make the same term major and minor.a His
own solution is basedon the assumptionthat when we are forming a syllogism we are choosing premissesfor a given problem
I Alexander
72. 17 {qteitoq ei $rioec 2v 6eurip,p o1li1tott pei(uv ds 2ott xai
l\i,ttav d.xpos, xai ivt oitos xpt|ioetau
I lbid.
pei(ov d xanlyopoipevos xa06Aou,
72. z4 lni p2v ydp t6v roto$anxin
-6tt
xrrl lni tAiov' 6ri. ,orirou Tdp oJEt ,i,mempi$ec' 6torc $Joet oJnQ ti peilovo elvot
d)10isoixitttoirc
JrlpTtt. dzi 6! triv xa06Aoud'ro$arxtl
'Eppivos oleran, dv iewipE oTipetc tdv pei(,ova dxpov clvet ' ' ,rdv
'' ill,i.l. z7
lyyJrrpuv rJO xocvoayivous aitiw (dv ydp ,iocv oi dxpot dpveov xai dv|potos, dyyu'
tlpo ro0 xowoi ylvous air6v, toi ((ou, rd ipveov rbi dv|p,lnou xai 2v rff npdrp
Ih,uplurq 6d xai pei(uv dxpos ti 6pveov).
llritl. 75. Io tiM'oriSt it).6s n,i\w iqthv peilovodv 2v tQ oupnepd'opanroa
'
ttA)\oytupol xanlyoporlpevov,<is Eorei now' oJ62 yd'p oitos Eflos' d,\,\oze7dp dlos
ltntt xtl oJy dptoltivos tQ dvttotp&$ecv tilv xofliltou ino$arufiv, xoi 6 titts pei(ov
,rrlllrr r',\,irrov, xui d$' i11tivimu tiv crirdv rci peilo xai iA,itro norctv.
g2
$ rr
$ rz
T H E OR D ER OF TH E PR EM ISSES
gg
$rz
$ 13
E R R O R S O F S O M E M OD ER N
C OM M EN TATOR S
35
SomeB is,4
NoCis. B
Some I is not C
Some./ is not C
36
$ tg
$ ':
E R R O R S O F SOM E M OD ER N
C OM M EN TATOR S
37
the same as 'r4 is predicated of all ,B' or '.4 belongsto all .B', but
doesnot mean'A is predicatedof ,B'or'l belongsto,B'. With
this first error is connecteda second:Maier maintains that the
negative premiss also has the external form of subordination of
one term to another, like the affirmative universal premiss.t
What is heremeant by 'externalform'? When r4 belongsto all B,
then,Bis subordinatedtoA, and the externalform of this relation
is just the proposition ',4 belongs to all .B'. But in a negative
premiss,e.g.'A belongsto no .B',the subordinationof termsdoes
not exist, nor doesits form. Maier's assertionis logically nonsense.
Let us now quote Maier's description of the secondfigure. It
runs thus: 'Wheneverof two termsone is included,and the other
is not included, in the samethird term, or both are included in it,:a
or neither of them, we have the second figure before us. The
middle term is that which includes both remaining terms, and
the extremesare the terms which are included in the middle.',
This would-be characterization of the second figure is again
logically nonsense.Take the following example: Two premisses
are given: '24belongsto all .B' and 'C belongsto no A'. lf A
belongsto all B, then .B is included in r4, and if Cbelongs to no
l, it is not included in ,4. We have thereforetwo terms, B and,C,
one of which, ,8, is included, and the other, C, is not included in
the samethird term ,4.According to Maier's descriptionwe should
have the secondfigure before us. What we have, however, is not
the secondfigure, but only two premisses'1 belongsto all -B' and
'C belongsto no A', from which lte can get by the mood Celarent
of the first figure the conclusion'C belongsto no .B', and by the
mood Camenes of the fourth figure the conclusion '.8 belongs
to no C'.
The peak, however, of logical absurdity Maier attains by his
assertionthat there existsa fourth syllogistic figure consistingof
only two moods, Fesapoand Fresison.He supports this assertion
by the following argument:.'The Aristoteliandoctrine overlooks
one possibleposition of the middle term. This term may be less
' Op, cit., vol, ii a, p. 6o, n. r: 'auch der negative syllogistische Satz hat
wcnigstens die iussere Form der Subordination.' Cf. also ibid., p. 5o.
2 Ibid., p.
49: 'Wenn im Umfang eines und desselbenBegriffes der eine der
br:iden tibrigen Begriffe liegt, der andere nicht liegt, oder aber beide liegen oder
gndlich beide nicht liegen, so haben wir die zweite Figur vor uns. Mittelbegriff ist
flcrjenige Begrifl in dessen Umfang die beiden iibrigen, iiu8ere Begriffe aber diejcnigen, die im Umfang des mittleren liegen.'
38
$ rg
general than the major and more general than the minor, it may
secondly be more general, and thirdly less general, than the
extremes,but it may be also more general than the major term
and at the same time lessgeneral than the minor.'I When we
remind ourselves that according to Maier the major term is
alwaysmore generalthan the minor,2 and that the relation 'more
general than' is transitive, we cannot avoid the strange consequenceof his argument that the middle term of his fouith figure
should be at the sametime more and lessgeneral than the minor
term. From the standpointof logic Maier's work is useless.
I 14. Thefour Galenianfgures
In almosteVerytext-book oflogic you may find the remark that
the inventor of the fourth figure was Galen, a Greekphysician and
philosopherliving in Romein thesecondcenturye.o. The sourceof
this remark is suspect.We do not find it either in the extant works
of Galen or in the works of the Greek commentators (including
Philoponus).Accordingto Prantl the medievallogiciansreceived
the information from Averroes, who saysthat the fourth figure
wasmentioned by Galen.r To this vague information we may add
two late Greek fragments found in the nineteenth century, and
alsovery vague. One of them was published in rB44 by Mynas in
the preface to his edition of Galen's Introductionto Dialectic, and
republishedby Kalbfleisch in r8g7. This fragment of unknown
authorship tells us that somelater scholarstransformedthe moods
added by Theophrastus and Eudemus to the first figure into a
new fourth figure, referring to Galen asthe father of this doctrine.+
The other Greek fragment was found by Prantl in a logical work
t _ O - p . - " ] t . ,r - o ] . i i b ,p .z6 4 :
' Die a r isto te lisch eL e h r e lii0 t ei ne mri gl i cheS tel l ung
.
des Mittelbegriffs unbeachtet. Dieser kann specieller als der ober- und allgemeinei
als der unterbegriff, er kann ferner allgemeiner, er kann drittens spcciellir als die
beiden-iuBeren Begriffe: aber er kann auch allgemeiner als der Obei- und zugleich
specieller als der Unterbegriff sein.'
2 lbid., vol. ii a, p.
56: 'Oberbegriffist stets, wie in der r.Figur ausdri.icklich
festgestellt ist, der allgemeinere, Unterbegriff der weniger allgemiine.'
3 Prarrtl, i.
57r, n. gg, quotes Averroes in a Litin tianslation edited in
Venice ( r 5-!3): 'Et ex hoc planum, quod figura quarta, de qua meminit Galenus,
non est syllogismus super quem cadat naturaliter cogitatio.' cf. also prantl, ii.
39o, n. 322.
a K. Kalbfleisch, Aba
Galcns Einleitung in diz Logik,23. Supplementband der
_
Jahrbi.icher fiir klassischePhilologie, Lelpzig (t8SZj, p. 7o7:'@r6$paoros Dt rci
Ei-dr1po1xai rryos &tpas ou{vytes nopd ,ds ineeelios ,e Aprotoriltei npooreltixaoc
t! npdrq oyrilrorr . . ., ds *oi t(taptov d"note)\etvoyfi1tottiv'veuripov <inilrlotiv'rcves
<,15zpris rttipa t)1v 66{av tdv fo\lvdv dve$ipomei,'"
$r+
T H E F OU R GAL EN IAN
FIGU R ES
39
ofloannes Italus (eleventh century A.D.). This author sayssarcastically that Galen maintained the existenceof a fourth figure
in opposition to Aristotle, and, thinking that he would appear
cleverer than the old logical commentators, fell very far short.r
That is all. In view of such a weak basis of sources,Ueberweg
suspecteda misunderstandingin the matter, and Heinrich Scholz
writes inhis Histor2of Logicthat Galen is probably not responsible
for the fourth figure.2
For fifty years there has existed a Greek scholium in print
which clearsup the whole matter in an entirely unexpectedway.
Although printed, it seemsto be unknown. Maximilian Wallies,
one of the Berlin editors of the Greek commentarieson Aristotle,
published in IBgg the extant fragments of Ammonius' commentary on the Prior Anal2tics,and has inserted in the preface a
scholium of an unknown author found in the samecodex as that
in which the fragmentsofAmmonius are preserved.The scholium
is entitled 'On all the kinds of syllogism', and begins thus:
'Therearethreekindsofsyllogism: thecategorical,the hypothetical,
Of the categoricalthere are two
and the syllogismxdrd.rp6oh1$cv.
kinds: the simpleand the compound.Of the simplesyllogismthere
arethreekinds: the first, the second,and the third figure.Of the compound syllogismthere are four kinds: the first, the second,the third,
and the fourth figure. For Aristotle saysthat there are only three
figures,becausehe looksat the simplesyllogisms,consistingof three
that there are four figterms.Galen,however,saysin his Apodeictic
ures, becausehe looksat the compoundsyllogismsconsistingof four
terms, as he has found many suchsyllogismsin Plato'sdialogues.'3
The unknown scholiastfurther gives us someexplanations,from
t Prantl, ii.
ttirtc'd I'clTrds 6i rci
3oz, n. t tz: rri 6t oyfipata tdn oil,)oyopir
t(taprov dni rorhoc ESooxo clvoq lvantas rpds tiv Etayetpinlv $ep6pcvos,6s Aop'
na)an6r tis
i{qyoupeuv
rpdrepov dva$avfivec oiipoos rdv tiv Aoycxiy rpaypa*iov
toppurdta eJ9tus ixniffiuxe
" Fr. Ueberweg, Sysbmdzr Lagik, Bonn (rBBz),34t. Cf' also Kalbfleisch, op. cit.,
dn Logik, Berlin (r93t), p. 36.
p. 699; H. Scholz, Geschichta
r M. Wallies, Ammonii in Arist'otclis Analyticorum Priorum librum I Commcntaium,
Ilerlin (I89g), p. ix: Ilepi tCw et66w nd'vtav toi ouMoytopoi. tpk ei6q imi roA
[rirlo0] oulloTopoA' td xarqyopxdv, zd ino|etudv, ri xatd. npddtq$cv. n0 6i
xatqyopcxoi }Jo ioriv ei6q' dnAoav, oJv|erov. xal toA piv iillo0 rpio oiv ci6q'
apdrov o1gfipa,ieitepov o21fipo,tpitov ayfipo. toA 6t ouvilnv #ooapd, imrv eiErl'
rp<irov o7fipa, Ee,itepovoyfipo, rpirov, tbaptov oyfipa. Aprr.totiAqs plv yd,p qia
rd oyfiporri t$qow np6s zoJs dzlo0s ouDoyrcpois dnoB)tinov tois ix tpGw dpuv
uuyxerpivovs. J-clryds D' dv rfi oixeig Ano\erxnxf 5 rd oTfipara )iyet tpds tols
ow\(tous ov))oyrcpois ,inoB[1.l.av zor)s e'x 5 6pov ovyxetpiwus ro)lods totoJrovs
cipdv tv roes llAdtovis EraldTor5.
40
$ r4
which we can gather how Galen may have found these four
figures. Compound syllogismsconsisting of four terms may be
formed by combinations of the three figures I, II, and III of
simplesyllogismsin nine different ways: I to I, I to II, I to III,
II to II, II to I, II to III, III to III, III to I, III to II. Two of
thesecombinations,viz. II to II and III to III, do not give
syllogismsat all, and of the remaining combinations II to I gives
the samefigure as I to II, III to I the sameas I to III, and III
to II the sameas II to III. We get thus only four figures,I to I,
I to II, I to III, and II to III.r Examplesare given, of which
three are taken from Plato's dialogues,two from ttre Alcibi.ades,
and one from the Republic.
This precise and minute account must be explained and
examined. Compound syllogismsof four terms have three premissesandtwo middle terms,sayB and C, which form the premiss
B-C or C-B.Let us call this the middle premiss.,Bforms together
with A, the subject of the conclusion, the minor premiss,and C
forms togetherwith D, the predicate of the conclusion,the major
premiss.We thus obtain the following eight combinations (in all
the premissesthe first term is the subject, the secondthe predicate) :
Figure
FI
Fer
F3
F4
F5
F6
F7
FB
A_B
A_B
A-B
A-B
B_A
B_A
B-A
B-A
C_D
D-C
C-D
D_C
C-D
D.C
C-D
D.C
I
I
I
I
I
I
I
I
A-D
A-D
A_D
A-D
A-D
A.D
A-D
A_D
ItoI
ItoII
II to III
IItoI
III to I
III to II
I tO III
ItoI
$ t4
T H E F OU R GAL EN IAN
FIGU R ES
4l
Aristotelian figure the middle term is the subjectof one premissit does not matter of which, the major or the minor-and the
predicate of another, and define by this principle which figure is
formed by the minor and middle premisseson the one hand, and
by the middle and major premisseson the other, we get the combinations of figures shown in the last column. Thus, for instance,
in the compound figure Fz the minor premisstogether with the
middle forms the figure I, as the middle term,B is the predicate
of the first premissand the subject of the second,and the middle
premisstogetherwith the major forms the figure II, as the middle
term C is the predicate of both premisses.This was probably how
Galen has got his four figures. Looking at the last column we see
at oncethat, as Galen held, the combinationsII to II and III to
III do not exist, not for the reason, as the scholiastmistakenly
says,that no conclusion results either from two negative or two
particular premisses,but because no term can occur in the
premissesthree times. It is obvious also that if we extend the
principle of Theophrastus to compound syllogismsand include
in the samefigure all the moods that from the samecombination
of premissesyield either the conclusion A-D or the conclusion
D-4, we get as Galen doesthe samefigure from the combination
^ I to II as from the combination II to I. For, interchanging in
figure F4 the letters ,B and C as well as the letters A and D, we
get the scheme:
F4
D-C
B.C
A_B
D_4,
42
$ I4
opposition to Aristotle and to the whole school of the Peripatetics, he eagerly seized the occasion to back up his opinion by
the authority of an illustrious name.
RBIrr,tnx. The problem of compound syllogismsraised by Galen has
considerable interest from the systematic point of view. fnvestigating
the number of valid moods of the syllogismsconsisting of three premisses,I have found that theri are forty-four valid moods, the figures
FI, Fz, F4, F5, F6, and F7 having six moods each, and figure F8
eight. Figure F3 is empty. It has no valid moods, for it is not possible
to find premissesof the form A-8, C-8, C-D such that a conclusion
of the form l-D would follow from them. This tesult, if known, would
certainly be startling for studentsof the traditional logic. Mr. C. A.
Meredith, who attended my lectures delivered on this subject in 1949
at University College, Dublin, has found some general formulae
concerning the number of figures and valid moods for syllogismsof z
terms, including expressionsof l and 2 terms. I publish theseformulae
here with his kind permission:
Number of terms
Number of figures
.
2n-l
Number of figures with valid moods . [(n2-n-lz)
Nrimber of valid moods
. n (3n-r)
For all n .+'rerynon-empty figure has 6 valid moods, except one that
has za valid moods.
Examples:
Number of terms
. r, 2, 3, 4r,,,, ro
Number of figures
r, 2, 4, 8,..,, 5rz
Number of figureswith valid moods . r, 2, 4, 7,..., 46
Number of valid moods
. 2, ro,2+, ++,.,., 2go
It is obvious that for large z's the number of figureswith valid moods
is comparatively small against the number of all figures. For z: ro
we have 46 against 5rz respectively,i.e.466 figures are empty.-For
n: I there is only r figure, A-A,with z valid moods,i.e. the laws of
identity. For z:2
there are z figures:
.
Premiss Conclusion
Fr "
A-B
A-B
Fz
B-A
A-B
with ro valid moods, 6 in Fr (viz. four substitutionsof the propositional law of identity, e.g. 'if all A is B, then all A is'B', and two laws
of subordination), and 4 moods in Fz (viz. four laws of conversion).
CHAPTER III
TH E S Y S TE M
I rg. Perfea and imperfectslllogisms
In the introductory chapter to the syllogisticAristotle divides all
syllogismsinto perfect and imperfect. 'f call that a perfect syllogism', he says, 'which needsnothing other than what has been
stated to make the necessityevident; a syllogism is imperfect, if
it needseither one or more componentswhich are necessaryby
the terms set down, but have not been stated by the premisses.'r
This passageneeds translation into logical terminology. Every
Aristotelian syllogism is a true implication, the antecedent of
which is the joint premissesand the consequentthe conclusion.
What Aristotle saysmeans,therefore, that in a perfect syllogism
the connexion between fhe antecedent and the consequent is
evident of itself without an additional ppoposition.Perfect syllogismsare self-evidentstatementswhich do not possess
and do not
need a demonstration; they are indemonstrable, dvan66etrctot.2
Indemonstrable true statementsof a deductive system are now
called axioms.The perfect syllogisms,therefore,are the axioms of
the syllogistic.On the other hand, the imperfect syllogismsare not
self-evident;they must be proved by meansof one or more propositionswhich result from the premisses,but are different from
them.
Aristotle knows that not all true propositions are demonstrable.3He saysthat a proposition of the form '24belongsto ,B'
is demonstrable if there exists a middle term, i.e. a term which
forms with A and.B true premissesof a valid syllogismhaving the
above proposition as the conclusion. If such a middle term does
I An. pr, i. t, z4bzz riAerou
ltiv o\v xaAit ou&oyopdv zdv plDads dDou rpoo8e&
pcvov nopd.rd eiArlppiva rpds td <fovfivot ri dvayxaiov, <irelf 6t z6v npooiedpevov i
tr6s i rAedvav, d ion piv d,veyxata 6rd tiv inoxeqtlvov 6pov, oJ piy eiAwtor 6rd
np6raoeav.
2 Commenting upon thE above passage Alexander
uses the expression 6.vendiecxros, 24. z: ivds ptv oiv npooi(ovrdr of dzelcis ouiloyrcpoi oi, ptis dlrrotpo$fis
6e6pcvot rpds rd ,ivoxOivec ets tuo tdv tv tQ npdtE oTtipan rCw te\el,uv xoi d,vano6clxtav, nAct6vqv 6t 6oo1 6rti 6,io
'iwrcrpo$dv eis dxeivav rwd, d.vdyovtau Cf. also
p. 27, n. 2r An. post. i.
3, 7zbr8 ripeis Di $apev oite n6oav inwtzipqv dnoie*ru<lv etvan,
<i,\,\<irr)r niv d.piouv d.van66eqtov.
THE SYSTEM
44
0 rS
tPoLPnpcvttv
sxlpef@v.
I tS
P E R F E C T A N D IM PER FEC T
SYL L OGISM S
+S
THE SYSTEM
5rs
or A, 'to belong to none' or E, 'to belong to some' or d and 'to
not-belong to some' or O. Two of them may be defined by the
other two by means of propositional negation in the following
way:'A doesnot belongto someB'means the sameas 'It is not
true that./ belongsto all .B', and'A belongsto no.B' meansthe
same as 'It is not true that ,4 belongsto some.B'. In the same
manner.d could be definedby O, and lby E. Aristotle doesnot
introduce these definitions into his system, but he uses them
intuitively as arguments of his proofs. Let us quote as only one
example the proof of conversionof the .I-premiss.It runs as follows: 'If z4belongsto some.8, then .B must belong to somel.
For if .B should belong to no l, r4 would belong to no 8.'I It is
obvious that in this indirect proof Aristotle treats the negation of
IB belongsto someI' as equlvalent to '.8 belongsto no 7'. As to
the other pair, A and O, Alexander saysexplicitly that the phrases
'to not-belong to some' and 'to not-belong to all' are different
only in words, but have equivalent meanings.2
ff we accept as primitive terms of the systemthe relations ,4
and f, defining E and O by meansof them, we may, as-I stated
many years ago,3build up the whole theory of the Aristotelian
syllogism on the following four axioms:
r. .d belongsto all A,
z. I belongsto someL
3. lf A belongsto all .Band .B belongsto all C, then A
belongsto all C.
Barbara
4. lf A belongsto all .Band C belongsto some.8, then
I belongsto someC.
Datisi
46
$ rS
P E R F E C T AN D IM PER FEC T
SYL L OGISM S
+7
THE SYSTEM
48
$ 16
and
If p, then p.
$ 16
LOGIC
O F TER M S
AN D OF PR OPOSITION S
4s
THE SYSTEM
$16
$ 16
LOGIC
O F TER M S
AN D OF PR OPOSITION S
5r
r ) l;"
I An. pr. i.
5, z7a3z <i ydp i M tQ plv ff p46eri tri 6t E lri indpyeq dvd.yq td N
tvi rQ E pi Jrd.pyel. inei yd,pdnwtpi$ec ri mcpqt"x6v, oriEevizri' M Jndp(ec td N'
ti 6( ye M ,jn(xeno nvi tQ E indpxel' ,iote td N rwi tQ E oity t'ndp{et' yivetat ydp
o"Atroynpds 6td toA rpritov oytiparos.
*z'o6.
' See Principia Mathenatica, p. Io4, thesis
Sz
THE SYSTEM
$ rZ
$ rZ
THE
53
THE SYSTEM
$ 17
$ 18
T H E P R O O F S BY R ED U C TIO
AD IM POSSIBIL E
55
with the verb 'to be', and not in the Aristotelian form with 'to
belong'):
(z)
All,rf is M'
SomeX is not M,
therefore
SomeX is not "lV.
This is a rule of inference and allows us to assertthe conclusion
provided the premissesare true. It does not say what happens
when the premissesare not true. This is irrelevant for a rule of
inference, as it is evident that an inference based on false premissescannot be valid. But Aristotelian syllogismsare not rules
of inference, they are propositions. The syllogism (r) is an implication which is true for all values of the variables M, N, and X,
and not only for thosevaluesthat verify the premisses.If we apply
this mood Barocoto the terms M:'bird', N:'animal', and X:
'owl', we get a true syllogism (I use forms with 'to be', as does
Aristotle in examples):
(g) *'siffii',?i"#Jti,u,,
"#someowlsare not animals.
then
56
THE SYSTEM
$ r8
$ rB
T H E P R O O F S BY R ED U C TIO
AD IM POSSIBIL E
s7
peoJoqs npord,aeos dvotpeio|at rlv Aonfiv' ci ydp Eoteq xai td ovpnipaopo otat.
C[ Top, viii. I4, t63eg4 ,ivriyxrl ydp, ei td oupnipoopo pi Aon, ptav nvo. d.vatpcto|et
t6v npord,oeov, einep naotw teletotirv dvdyxl fiv ti oupnipoopz etvac.
r An. p.ii.8,5gbz8
Eno ydp xanlyoprxds d ouiloywpis, xai dwtotpe$ioilu oinus
(i.e..dwnecp&as). oJrotu ei d A oi' noni tQ f, rQ 62 B nomi, td B oi nami tQ f'
xai ci td piv A pl novri nit f, td 62 B nam| d A oi navri tQ B.
1 Ibid. i. 29,
4ra2g tdmes ydp oi Erri zo0 d\uvdtov nepcivomes rd p2v $efilos
ovAAoyi(ovraq rd 6' d( ,ipyffs i( Jno9ioeus Setxviovocv,6tav d\Jvat6v tr ovpBalvTl tfis
dln$doeus te|eioqs, otov 6tr doJppetpos i1 id"petpos 6td td yiveo|er td, tepnrd, ioo
58
THE SYSTEM
Sr8
$ 18
T H E P R O O F S BY R ED U C TIO
AD IM POSSIBIL E
59
then the third', and the negation of its consequent'not the third',
the negation of its antecedent 'not (the first and the second)'.
From this proposition, which is virtually contained in the premisses,but not explicitly expressedin words, together with the
premiss 'the first', there follows the conclusion 'not the second'
by the third indemonstrable syllogism.' This is one of the
neatestarguments we owe to the Stoics.We seethat competent
logicians reasoned2,ooo years ago in the same way as we are
doing today.
| ry. TheproofsQt ccthesis
The proofs by conversion and per impossibileare sufficient to
reduce all imperfect syllogismsto perfect ones. But there is still
a third kind of proof given by Aristotle, viz. the so-calledproofs
by exposition or trcileots.Although of little importance for the
system,they have an interest in themselves,and it is worth while
to study them carefully.
There are only three passagesin the Prior Anafi,ti.cswhere
Aristotle gives a short characterization of this kind of proof. The
first is connected with the proof of conversion of the E-premiss,
the secondis a proof of the mood Darapti, the third of the mood
Bocardo. The word ix|lo1at occurs only in the second passage,
but there can be no doubt that the other two passagesalso ar'e
meant as proofs by ecthesis.z
Let us begin with the first passage,which runs thus: 'If A
r Sextus Empirictrs (ed. Mutschmann), Ada. math. viii. 235-6 ouviotrlxe ydp 6
torcAtos lciTos (scil. d nopd.tQ AtvryDjp<p ipoq|cts) 2x \ewipou dvanotetxrou xal
tpitov, xaids ndpeon pa|civ 2x rfis dvaAfioeas, lns oe$cor$o p6.AAovyoioetot inl
toi tpdnou nonyoaptvav ilpil :rilv ElDcorcl/or, lgowosoitas' ' ei rd npDrcv xai td
ieirepov, td tpitov' ol11y'6i ye td rphov, d))d rci t6 npittov' oir dpo rd 6eftepov.'
inci ydp Eyop<vowqltltoov iv Q fiyeitat oupnenAeypivov (td) 'td tpitrov xoi td
tphov', E2ppev62 xai td d'wtxeipevov toA )\iJyovros td
ileJrcpov ', l{yer 6t (rd) 'i
' oi td rpirov', ouvaT9foeror i11tiv xai td dvtwelpevov toa iyoultivou i ' oix d.po
td npdttov xai td }etjrepov ' 6eut$q dvonodeixrtll' d fd Et) roAro oiti xard p2v iy
\Jvapw Eyxeuot tQ A6yqt, irei Eyopevtd. owomud oJroi Afippato, rcrri 6i rr)r,
nptirov'rl
rpo$opdn nopeeret. 6rcp td(awes perd toa Aenopivov Afipparos to6'rd
Z(opev ouvoyLpevov zi oupntpaopo zd 'oJx dpo td iethepov' rphE dvono|cixrqt.
f' roA np<irou codd., ro0 tp6nou Kochalsky, zo0 'rd npOtrov'scripsi. (tp6nos:
antecedent'
implication, iyorJpoov:
mood expressed in variables, ouvlltltivov:
: consequent, oupnenAcypivov : conjunction.)]
Affyov
'!
Th.r.arei w ootherpassages deal i ngw i thec thes i s , A n.pr.goe6-t4and3ob3r4o (I owe this remark to Sir David Ross), but both are related to the scheme of
modal syllogisms.
THE SYSTEM
$r9
$ rs
T H E PR OOFS BY EC TH ESIS
6r
want to prove logically that the premiss 'B belongs to some ,4'
may be converted, and the proof is to be performed by meansof
a third term C, we must find a thesis that connects the above
premiss with a proposition containing C.
It would not, of course,be true to say simply that if B belongs
to some.r4,then.B belongsto all C arrdA belongsto all C; but a
little modification of the consequent of this implication easily
solves our problem. We must put before the consequent an
existential quantifier, the words 'there exists', binding the variable C. Forlf .B belongsto some/, there always existsa term C
such that B belongsto all C and A belongsto all C. C may be the
known to Aristotle:
and q, then q andP.
$)lt!
It is the commutative law of conjunction.r Applying this law to
the premisses'.8 belongsto all C' and'A belongsto all C', we get :
(a) If ^Bbelongsto all C and A belongsto all C, then.,4 belongs
to all C and.B belongsto all C.
I See Pincipia Matlvmatica, p' I 16, thesis r3'zz-
6z
THE SYSTEM
$ rg
$ rg
T HE PR OOFS BY EC TH ESIS
63
64
THE SYSTEM
$ Ig
$19
T H E PR OOFS BY EC TH ESIS
65
T H E SY ST E M
!rg
0 rg
T H B PR OOFS BY EC TH ESIS
67
68
THE SYSTEM
$zo
(6uvdp.evov
for
ouvdyeoila,.)
some
concrete
terms
a
derived
universal affirmative conclusion, and for someother concrete terms
a universal negative conclusion. This is, Alexander asserts,the
most obvious sign that such a combination of fremisses has no
syllogistic force, since opposite and contradictory propositions
which destroy each other are proved by it (Eeiruuzor).rWhat
Alexander says is certainly misleading, for nothing can be formally derived from an asyllogisticcombination of premisses,and
nothing can be proved by it. Besides,propositionswith different
concrete subjects and predicates are neither opposite to each
other nor contradictory. Maier again puts the terms pointed out
by Aristotle into a syllogistical form:
all men are animals
no horse is a man
all horsesare animals
$zo
T H E R EJEC TED
FOR M S
69
values of variables that verify the antecedent verity the consequent also. The easiestlvay of showing this is to find concrete
tlrms veri$ing the premisses'z{ belongsto all.B' and '.B belongp
to no C', but not verifying the conclusion '24doesnot belong to
some C'. Aristotle found such terrns: take 'animal' for A, 'man'
for Br'horse' for C. The Premisses'Animal belongsto all man'
or 'All men are animals', and 'Man belongsto no horse' or 'No
horsesare men', are verified; but the conclusion 'Animal does
not belong to some horse' or 'Some horsesare not animals' is
false. Formula (I), therefore, is not a syllogism. For the same
reason neither will the following form:
(z) If Abelongs to all B and B belongsto no C, then z{ belongs
to no C,
be a syllogism, becausethe premissesare verified for the same
concrete tirms as before, but the conclusion 'Animal belongs to
no horse' or 'No horsesare animals' is false. It follows from the
falsity of (l) and (z) that no negative conclusion c3n be drawn
from the given premisses.
Nor cari an affirmative conclusion be drawn from them. Take
the next syllogistical form:
(3) If .rabelongsto all.B and B belongsto no C, then / belongs
to some C.
There exist values for A, B,and C, i.e. concreteterms, that veriff
the premisseswithout verifying the conclusion. Aristotle again
tanimal' for Ar''mant for B, 'stonet for C'
gives such terms: take
premissesare verified, for it is true that 'All men are animals'
the ''No
stone is a man" but the conclusion 'Some stone is an
and
animal' is obviously false. Formul" (g), therefore, is not a syllogism. Neither can the last form:
no C, then z4belongp
@) lf Abelongs to all B and.B belongsto
C,
all
to
are verified
since for the given termsthe premissessyllogism,
be a
is not verianimals'
are
stones
'All
conclusion
the
b.fore,lut
a,
fied. It resultsfrom the above that no conclusionwhatever can be
derived from the combination of premisses'/ belong-sto all Bf
and '.8 belongs to no C', where ,4 is the predicate and B is the
subjectof theionclusion. This combination of premises is useless
for syllogistic.
7o
THE SYSTEM
$ zo
5 zo
T H E R EJEC TED
FOR M S
Zt
THE SYSTEM
0eo
This rule can be applied not only to reject (5) if (0) is rejected,
but also to reject (z) if (l) is rejected. For from an E-premiss
an O-premissfollows, and if (z) is true, then (r) must be true.
But if (I) is rejected,so must (z) be rejected.
The rule (c) for rejection correspondsto the rule ofdetachment
for assertion.We may accept another rule for rejection corresponding to the rule of substitution for assertion.It can be formulated thus:
(d) If ctis a substitution for p, and c is rejected,then B must be
rejccted too.
Example: supposethat'A doesnot belongto someI' is rejected;
then 'r4 doesnot belong to some-B' must be rejectedtoo, sin0e,if
the secondexpressionwere asserted,we should obtain from it by
substitution the fint expression,which is rejected.
The first of theserules was anticipated by Aristotle, the second
was unknown to him..Both enable us to reject someforms, provided that someother forms have already been rejected.Aristotle
rejectssomeforms by meansofconcrete terms, as 'man', 'animal',
'stone'. This procedure is correct, but it introduces into logic
terms and propositions not germane to it. 'Man' and 'animal'
are not logical terms, and the proposition 'All men are animals'
is not a logical thesis.Logic cannot dependon concreteterms and
statements.If we want to avoid this difficulty, we must reject
someforms axiomatically. I have found that if we reject the two
following brms of the secondfigure axiomatically:
Q) lt A belongsto all.B and A belongsto all C, then.B belongs
to some C, and
(B) If / belongsto no.B and A belongsto no C, then I belongs
to some C,
all the other forms may be rejectedby the rules (r) and (d).
poblems ''
I zr. Someunsolaed
The Aristotelian systemof non-modal syllogismsis a theory of
four constantswhich may be denoted by 'All - is', 'Ir[e - i5',
tSome
- is', and 'Some - is nott. These constantsare functors
of two arguments which are representedby variables having as
values only concrete universal terms. Singular, empty, and also
negative terms are excluded as values. The constants together
$zt
S O M E U N SOL VED
PR OBL EM S
73
with their arguments form-four kinds of proposition called premisses,viz. 'All A is B', 'No .,4is B', 'Some A is B', and 'Some
z{ is not B'. The systemmay be called 'formal logic', as concrete
terms, like 'man'or 'animal', belong not to it but only to its
applications. The systemis not a theory of the forms of thought,
nor is it dependenton psychology; it is similar to a mathematical
theory of the relation 'greater than', as was rightly observed
by the Stoics.
The four kinds of premissform thesesof the systemby meansof
two functors 'if- then' and 'and'. Thesefunctors belong to propositional logic, which is an auxiliary theory of the system. In
some proofs we meet a third propositional functor, viz. the
propositional negation 'It is not true that', denoted shortly by
'not'. The four Aristotelianconstants'All - i5', '\[e - is', 'Some
- is' and 'Some- i5 nei', together with the three propositional
constants'if- thent, 'and', and 'not', are the soleelementsof the
syllogistic.
All thesesof the systemare propositionsregarded as true for all
values of the variables that occur in them. No Aristotelian syllogism is formulated as a rule of inferencewith the word 'therefore',
as is done in the traditional logic. The traditional logic is a
systemdifferent from the Aristotelian syllogistic, and should not
be mixed up with the genuine logic of Aristotle. Aristotle divided
syllogismsinto three figures, but he knew and accepted all the
syllogistic moods of the fourth figure. The division of syllogisms
into figures is of no logical importance and has only a practical
aim: we want to be sure that no valid syllogistical mood is
omitted.
The system'isaxiomatized. As axioms Aristotle takes the two
first moods of the first figure, Barbara and Celarent. To these
two axioms we have to add two laws of conversion, as these cannot be proved syllogistically. If we wish to have the law of
identity, 'All I is l,' in the systemwe havc to assumeitaxiomatically. The simplestbasiswe can get is to take the constants'All - is'
and 'Some- i5' 3s primitive terms, to define the rwo other constants by means of those terms with the help of propositional
negation, and to assumeas axioms four theses,viz. the two laws
of identity and the moods-Barbara and Datisi,_or Barbara and
Dimaris. It is not possibleto build up the systemon one axiom
only. To look for the principle of the Aristotelian syllogistic is a
74
THE SYSTEM
5zr
vain attempt, if 'principle' means the same as 'axiom'. The socalled dirtum dc otnni et nulh cannot be the principle of syllogistic in this sense,and was never stated to be such by Aristotle
himself.
Aristotle reducesthe so-calledimperfect syllogismsto the perfect, i.e. to the axioms. Reduction here meansproof or deduction
of a theorem from the axioms. He usesthree kinds of proof : by
conversion, by rcdurtio ad inpossibilc, and by ecthesis. Logical
analysis showsthat in all the proofs of the first two kinds there are
involved thesesof the most elementary part of propositional logic,
the theory of deduction. Aristotle usesthem intuitively, but soon
after him the Stoics, who were the inventors of the first system of
propositional logic, stated some of them explicitly-the compound law of transpositionand the so-called'synthetic theorem',
which is ascribed to Aristotle but does not exist in his extant
logical worls..A new logical element seemsto be implied by the
proofs by ecthesis: they can be explained with the help of
existential quantifiers. The systematic introduction of quantifiers into the syllogistic would completely change this system: the
primitive term 'Some- is' could be defined by the term 'All is', and many new theseswould arise not known to Aristotle. As
Aristotle himself has dropped the proofs by ecthesisin his final
summary ofthe syllogistic,there is no need to introduce them into
his system.
Angther new logical element is contained in Aristotle's investigation of the inconclusive syllogistic forms: it is rejection.
Aristotle rejects invalid forms by exemplification through concrete terms. This procedure is logically correct, but it introduces
into the systemterms and propositionsnot germane to it. There
are, however, caseswhere he applies a more logical procedure,
reducing one invalid form to another already rejected. On the
basisofthis remark a rule ofrejection could be statedcorresponding to the rule of detachment by assertion; this can be regarded
as.the commencementof a new field of logical inquiries and of
new problems that have to be solved.
Aristotle does not systematically investigate the so-called
polysyllogisms,i.e. syllogismswith more than three terms and
two premisses.As we have seen,Galen studied compound syllogisms consisting of four terms and three premisses.It is an old
error to ascribe to Galen the authorship of the fourth figure:
$er
S O M E U N S OL VED
PR OBL EM S
75
76
THE SYSTEM
$ zr
CHAPTER
A RI S T O T L E ' S
IV
,,
78
ARISTO TLE' S
SYSTEM I N SYM B O L I C
FORM
$ze
{albc.
lzz
E X P L A N ATION
79
c lc (Kpq)rl{clK(Nr)ql(Np)}.
[C(Kpq)r] is here the antecedent of the whole formula while
ir its consequent, having the conjunction
{C$Wr)ql(/fp)}
as
its
antecedent
and the negation (Np) as its conWWr)q)
sequent.
$ zg. Theorltof deduction
The most fundamental logical systemon which all the other
logical systemsare built up is the theory of deduction. As every
logician is bound to know this system,I shall here describeit in
brief.
8o
ARISTOTLE' S
SYSTEM r N SYM BO LT C F O R M
$zg
Tz. CCNppp
Ts. CpCNpq.
$ r:
T H EOR Y
I Fint published
in Polish: 'o znaczeniu i potrzebach logiki matematvcznei,
(on the rmportance and Requirements of Mithematical
L"ogic), n^k"'i;i;i;,
vol. x, Warsaw (r92g), pp. 6ro-rz. Cf. also the German contribution quoted
in
p. 28, n. r: Satz 6, p. 35.
2 See above, section
16.
3 -Cf. my paper quoted in p.
48, n.
8r
NCPNq,
OF D ED U C TION
and
CNCpNqKpq.
'l'+.qlp,rlpxCTz-T5
'l'5.t:pp.
'l'he lilst lirre is called the derivational line. It consistsof two
plrts s(:l)irrutcrlfrom each other by the sign x . The first part,
'l't. qlcNl)q, rrr"airsthat in Tr CNpq has to be substitut.a foi
8e
ARISTO TLE' S
SYSTEM I N SY, M B O L I C F O R M
$zg
t,
Cot
It
CIo
o,
Ctt
t.
013
TH EOR Y
OF D ED U C TION
83
84
ARISTOTL E' S
SYSTEM I N SYM BO LI C
FORM
$e+
$r+
QU AN TIFIER S
85
86
ARISTOTL E' S
FORM
$z+
(Bocardo).
q U AN TIFIER S
$24
87
(zg)x c(26)-(e)
(g) CIabIba
Aristotle asserts:'If some a is b, it is necessarythat some 6
should be a.' The expression'it is necessarythat' can have, in
my opinion, only this meaning: it is impossibleto find such
values of the variables a and D as would verifr the antecedent
without verifying the consequent.That means' in other words:
'For all a, and for all D,if somea is D, then someD is a.'This is
our quantified thesis(26). It has been proved that this thesisis
equivalent to the unquantified law of conversion'If somea is 6,
then someb is a', which doesnot contain the sign of necessity.
Since the syllogistic necessityis equivalent to a universal
quantifier it may be omitted, as a universal quantifier may be
omitted at the head of a true formula.
88
ARISTOTL E' S
SYSTEM I N SYM BO LI C
FORM
$rs
oJ thes2llogistic
| 25. Fundamentals
Every axiomatized deductive systemis basedon three fundamental elements:primitive terms,axioms,and rulesof inference.
I start from thefundamentals for assertedexpressions,the fundamental elementsfor the rejected ones being given later.
As primitive terms I take the constantsI and d defining by
them the two other constants,E and O:
Df t. Eab : NIab
Df z. Oab : NAab.
In order to abbreviate the proofs I shall employ instead of the
above definitionsthe two following rules of inference:
Rule RE: NI may be everywhere replaced by ,E and conversely.
Rule RO: NA may be everywherereplaced by O and con.
versely.
The four thesesof the system axiomatically assertedare the
two laws of identiry and the moodsBarbara and Datisi:
t. Aan
z. Iaa
3. CKAbcAabAac (Barbara)
4.CKAbcIbaIac (Datisi).
Besidesthe rules RE and RO I acceptthe two following rules
of inferencefor the assertedexpressions:
(a) Rule of substitution: If cris an assertedexpressionof the
system, then any expressionproduced from a by a valid
substitutionis also an assertedexpression.The only valid
substitution is to put for term-variables a, b, c other termvariables,e.g. b for a.
(D) Rule of detachment: If Cup and d are assertedexpressions
of the system, then B i6 an assertedexpression.
As an auxiliary theory I assumethe C-"ly'-system
of the theory
of deduction with K as a defined functor. For propositional
variables propositional expressionsof the syllogistic may be
substituted,like Aab, Iac, KEbcAa6,etc. In all subsequentproofs
(and also for rejected expressions)I shall employ only the
following fourteen thesesdenoted by roman numerals:
$zs
F U N D A M E N T AL S
OF TH E SYL L OGISTIC
89
I. CpCqp
law of simplification)
II. CCqrCCpqCpr aw ofhypothetical syllogism, znd form)
lll. CCpCqrCqCpr aw of commutation)
aw of Duns Scotus)
IV. CpCNpq
aw of Clavius)
v. CCNppp
aw of transposition)
YI. CCpqCNqNp
YII. CCKpqrCpCqr aw of exportation)
YIII. CpCCKpqrCqr
lX. CCspCCKpqrCI{sqr
X. CCKpqrCCsqCKpsr
XI. CCrsCCKpqrCKqps
XII. CCKpqrCKpNrNq
XJII. CCKpqrCKNrqNp
){lV. CCKpNqNrCKprq
ThesisVIII is a form of the law of exportation, thesesIX-XI
are compound laws of hypothetical syllogism, and XII-XIV
are compound laws of transposition.All of thesecan be easily
verified by the o-r method explained in section 23. ThesesIV
but
and V give togetherwith II and III the whole C-.M-system,
IV and V are needed only in proofs for rejected expressions.
The systemof a;<iomsI-4 is consistent,i.e. non-contradictory.
The easiestproof of non-contradiction is effectedby regarding
term-variables as proposition-variables,and by defining the
functions A and.I as always true, i.e. by putting Aab : Iab :
KCaaCbb.The axioms r-4 are thep true as thesesof the theory
of deduction, and as it is known that the theory of deduction is
non-contradictory,the syllogisticis non-contradictorytoo.
All the axioms of our systemare independentof each other.
The proofs of this may be given by interpretation in the field of
the theory of deduction. In the subsequentinterpretations the
term-variablesare treated as propositional variables.
Independenceof axiom r : Take Kfor A, and Cfor L Axiom r
is not verified,for Aaa : Kaa, and Kaa giveso for afo. The other
axiomsare verified, as can be seenby the o-r method.
Independenceof axiom z: Take C for A, and fffor .L Axiom z
is not verified., for Iaa : Kaa, The other axioms are verified.
Independenceof axiom 4: Take C for A and -L Axiom 4 is
not verified, for CKAbcIbaIac: CKCbcCbaCacgives o for bfo,
alr, cfo. The rest are verified.
90
ARISTOTLE'S
SYSTEM I N SYM BO LI C
FORM
$zS
Independenceof axiom 3: it is impossibleto prove the independenceofthis axiom on the ground ofa theory ofdeduction
with only two truth-values,o and r. We must introduce a third
truth-value, let us say :, which may be regarded as another
symbol for truth, i.e. for r. To the equivalencesgiven for C, Jf,
and K in section 23, we have to add the following formulae:
COZ:Cr2:CZt:C2Z:
r,
Czo:O,
Ko2 : Kzo: ot
Ktz : Kzt : Kzz : t.
N2:o,
$26
DEDUCTION
OF SYL L OGISTIC
TH ESES
9r
Moons
(Darii)
('g+B).
ARISTOT LE' S
SYSTEM I N SYM BO L I C
16.slAabx Cro-IB
fi. CKAbcAabIac
B. alb,blax rg
ry. CAbaIba
fi. slAbaxCrg-zo
zo. CKAbcAbaIac
Xl. rllba, sllab xCtr-zt
zr. CCKpqIbaCKqplab
4. cla,alcx22
zz. CKAbalbclca
zr. plAba,qlIbc,blcxCzz-23
zg. CKIbcAbaIac
t7. cfa, alcxz4
24. CKAbaIcblca
2r. plAba, qllcb,blcxCz4-25
25. CKIcbAbaIac
rB.cla,alcxz6
c6. CKAbaAcblca
zt. plAba,qlAcb,blcxCz6-27
27. CKAcbAbaIac
C. TnE Nncerrvn
FORM
(Barbari)
(DaraPti)
(Disamis)
(Dimaris)
(BramantiP)
Mooos
, XIII. pllbc,qlAba,rflacxC4-zB
zB. CKNIacAbaNIbc
zB. RE x z9
zg. CKEacAbaEbc
zg. alb, blax3o
(Celarent)
go.CKEbcAabEac
plEba
Cr3-3t
x
IX. slEab,
y:CCKEbaqrCKEabE
gt. afc, qlAab,rlEatxC3o-32
(Cesare)
gz. CKEcbAabEac
g-Zg
Xl. rIEab,sIEbax Ct
93.CCKpqEabCKqpEba
gz.cla,alcx34
CKEabAcbEca
94.
S z6
$26
D E D U C T I ON
OF SYL L OGISTIC
TH ESES
3g.PlEab,qlAcb,afc,blaxCS+-yS
(Camestres)
CtiitibotEai
35.
3o.cla,alcxgG
36.CKEbaAcbEca
33.PlEba,qlAcb,alc,blaxC3617
(Camenes)
g7.ctiitimonoi
lI. qIEab,rI OabxCr5-38
38.CCPEabCPOab
blcx C3o-39
35.PlKEbcAab,
(Celaront)
gg.cinOiAaboac
bIcx C3z-4o
38.pIKEcbAab,
(Cesaro)
CKEcbAaboac
4o.
blc x C35-4r
38.pIKAcbEab,
(CamestroP)
CKAcbEabOac
4t.
bfcxCZT-42
35.PlKAcbEba,
(CamenoP)
ci,lcibtaoac
42.
XII'I. PlAbc,qllba,rflacxC+-+g
CKNIacIhaNAbc
43.
43,RE, ROx44
44.CKEacIbaObc
+ 4 . e lbb, lax 4 5
(Ferio)
criaciaioac
4,,.
3r. afc,qllab,rlOatx'C45-46
(Festino)
(:IiEcbiabbiac
46.
X. PlEbc,qllab,rlOacxC+S-+7
47. (|CsIabCKEbcsOac
4.7.sllbaxCrr-48
()ft'libclbaoac
4tt.
3r. afc, qllba, rlOacxC4B-49
4y. (|h'li:blbaoac
(Ferison)
(Felapton)
(Fresison)
(FesaPo)
ARISTOI|LE'SSYSTEMIN SYMBOLICFORM
$26
s4
As a result of all these deductions one remarkable fact deservesour attention: it was possibleto deduce twenty syllogistic moods without employing axiom 3, the mood Barbara.
Even Barbari could be proved without Barbara. Axiom 3 is the
most important thesisof the syllogistic,for it is the only syllogism that yields a universal affirmative conclusion,but in the
systemof simple syllogismsit has an inferior rank, being necessary to prove only two syllogisticmoods,Baroco and Bocardo.
Here are thesetwo proofs:
XIl. plAbc,qlAalt,rfAacxCZ-SS
CKAbcNAacNAab
59.
53. RO x 54
54.CKAbcOacOab
5+.blc,clbx55
(Baroco)
55.CKAcbOabOac
XllI' plAbc,qfAab,rfAacx Cg-S6
CKNAacAabNAbc
56.
56.RO x 57
57.CKOacAabObc
blax 58
57.'alb,
(Bocardo)
CKObcAba.Oac
58.
expressions
$ 27. Axiomsand rulesfor rejected
Of two intellectual acts, to asserta proposition and to reject
it,I only the first has been taken into account in modern formal
logic. Gottlob Frege introduced into logic the idea of assertion,
and the sign of assertion(F), acceptedafterwardsby the authors
The idea of rejection, however, so far
of PrincipiaMathematica.
as I know, has been neglectedup to the presentday.
We asserttrue propositionsand reject false ones. Only true
propositionscan be asserted,for it would be an error to assert
a proposition that was not true. An analogousproperty cannot
be assertedof rejection: it is not o4ly false propositions that
have to be rejected.It is true, ofcourse, that every proposition
is either true or false, but there exist propositional expressions
that are neither true nor false. Of this kind are the so-called
propositionalfunctions,i.e. expressions
containingfree variables
t f owe this distinction to Franz Brentano, who describes the acts of believing as
ancrkmnen and vcrwerfen.
$ a7
R E J E C TED
EXPR ESSION S
95
syllogisticform therefore:
(i) CKAbcEablac
is not assertedby him as a valid syllogism, but rejected'
Aristotle himself gives concrete terms disproving the above
lorm: take for 6 'min', for c 'animal', and for a 'stone'.But.there
are other valuesfor which the formula (i) can be verified: by
identifying the variables a and t we get a true implication
(,'X.'AbaEablaa,
for its antecedentis falseand its consequenttrue'
of
1'he negation the formula (i) :
(j) NCKAbcEablac
must therefori be rejectedtoo, becausefor cfa it is false.
By introducing quantifiersinto the systemwe could dispense
with rejection. Instead of rejecting the form (i) we could assert
tlre thesis:
lac.
(k) ZaZbEcNCKAbcEab
'f 'lrismeans:there exist terms a, b, antcJ.
c that verify the negation
of'(i) . The form (f), thercfore,is not true for all a, b, and c, and
t:annotbe a valid syllogism.In the sarneway insteadof rejecting
the expression(.r) we might assertthe thesis:
(l) DaZbEcCKAbcEablac.
Itut Aristotle knows nothing of quantifiers; insteadof adding to
his systemnew theseswith quantifiershe usesrejection' As
rrjcction seemsto be ersimpler idea than quantification,let us
lirllowin Aristotle'sstt:ps.
96
ARISTOTL E'S
SYSTEM I N SYM BO LI C
FORM
$eZ
Aristotle rejectsmost invalid syllogisticforms by exemplification through concrete terms. This is the only point where we
cannot follow him, becausewe cannot introduce into logic such
concrete terms as 'man' or 'animal'. Some forms must be
rejected axiomatically. I have foundt that if we reject axiomatically the two following forms of the secondfigure:
CKAcbAablac
CKEcbEablac,
all the other invalid syllogisticforms may be rejectedby means
of two rules of rejection:
(r) Rule of rejection by detachment: if the implication 'If cr,
but the consequentp is rejected,then
then p'is asserted,
the antecedentd must be rejectedtoo.
(d) Rule of rejection by substitution: if p is a substitutionof
cr,?nd p is rejected,then a must be rejectedtoo.
Both rules are perfectly evident.
The number of syllogisticforms is 4 x 43 : z16i z4 forms are
valid syllogisms,2 forms are rejectedaxiomatically. It would be
tedious to prove that the remaining z3o invalid forms may be
rejected by meansof our axioms and rules. I shall only show,
by the example of the forms of the first figure with premisses
Abc and Eab, how our rules of rejection work on the basisof
the first axiom ofrejection.
RejectedexpressionsI denote by an asteriskput before their
serialnumber. Thus we have:
*59. CKAcbAabIac
(Axiom)
*59a. CKEcbEabIac
'
l. pllac, qlKAcbAabx6o
6o. CIacCKAcbAabIac
6o x C*6r-*59
*6t. Iac.
Here for the first time is applied the rule of rejection by
detachment. The assertedimplication 6o has a rejected consequent,*59; thereforeitsantecedent,*6r, must be rejectedtoo.
*64, *67. *7r,
In this sameway I get the rejectedexpressions
*74" and +77.
I Sce section zo.
! ez
REJECTED
EXPR ESSION S
97
Y. pllacx6z
62. CCNIacIacIar
62. RE x 63
63. CCEacIacIac
63 x C*64-*61
r64. CEacIac
r. alcx65
65. Acc
YIII. plAcc, 8lEac,rf lacxC65-66
66. CCKAccEacIatC Eaclac
66 x C*67-*64
r67. CKAccEaclac
*67 x*68. blc
rGB. CKAbcEabIac
the rule ofrejection by substitutionis applied. Expression
^I.r.
*_68
mustberejected,because
by the substitutionof Afo. cin * 68we
get the rejectedexpression+67.Thesameruleisusedtoget*
75.
ll. qlAab, rllab xCB-69
69. CCpAabCpIab
69.plKAbcEab,blcxTo
7o. CCK AbcEabAafi K A bcEablac
ToxC*7v*68
*7t. CKAbcEabAac
XlY. p I Acb,I I lac, rI Aabx 7z
7z. CCKAcbNIacNAabCKAcbAablar
72. RE, RO x 73
7g. CCKAcbEacOabCKAcbAablac
Tgxc*74- *sg
*74. CKAcbEacOab
*74x*75. blc,clb
*75. CKAbcEabOac
38.plKAbcEab,blcx76
76. CCKAbcEabEacCKAbcEabOac
76 xC*77_*75
*77. CKAbcEabEac
'fhe rejectedexpressions*68, t7r, *75, and *77 are the four
98
ARISTO TLE' S
SYSTEM I N SYM B O L I C
FORM
$zZ
$ z8
INSUFFICIENCY
OF OU R AXIOM S
AN D R U L ES
gg
0zg
CHAPTER
THE PRO B LE M
OF DECISION
expressions
$ zg. The numberof undecidable
I tere,as the basis of my present investigation the following
fundamental elementsof the syllogistic:
(t) The four assertedaxioms r-4.
(z) The rule (a) of substitutionand the rule (6) of detachment
for the assertedexpressions.
(3) The two rejectedaxioms*59 and *59a.
(a) The rule (c) of detachmentand the rule (d) ofsubstitution
for the rejectedexpressions.
To this systemof axiomsand rules the theory of deduction must
be added as the auxiliary theory. From the axioms and rules of
assertion there can be derived all the known thesesof the
Aristotelian logic, i.e. the laws of the square of opposition,
the laws of conversion,and all the valid syllogistic moods;
on the basisof the axioms and rules of rejection all the invalid
syllogisticalforms can be rejected.But, as we have already seen,
this systemof axioms and rules does not sufficeto describethe
Aristotelian syllogistic adequately, becausethere exist signififor instanceCIabCNAabAba,whichcan neither
cant expres$ions,
be proved by our axioms and rules of assertionnor disproved
by our axioms and rules of rejection. I call such expressions
undecidablewith respectto our basis.Undecidable expressions
may be either true in the Aristotelian logic or false.The expression CIabCNAabAbais, of course,false.
There are two questionswe have to settle on this basis in
order to solve the problem of decision.The first question is, Is
finite or not? If it is
the number of undecidable',expressions
finite, the problem of decisionis easily solved: we may accept
as new assertedaxioms,and reject falseexprestrue expressions
sions axiomatically. This method, however, is not practicable
if the number ofundecidable expressions
is not finite. We cannot
assertor reject an infinity of axioms. A secondquestion arises
in this case:Is it possibleto complete our systemof axioms and
rules so that we could decidewhether a given expressionhad to
THE NUMBER
OF U N D EC ID ABL E
EXPR ESSION S
to t
t o2
O F DECI SI O N
$eg
only three circles, but no more, and let us consider the following
expression:
(F g) CE abCEacCEadCEbcCEbdIcd.
!rg
THE NUMBER
O F U N D EC ID ABL E
EXPR ESSION S
to g
ro4
O F DECI SI O N
$So
0go
ST UPECKI'S
RULE
OF R EJEC TION
to 5
to 6
THE
PRO BLEM
O F DECI S I O N
$go
D E D U C TM
$3t
EQU M L EN C E
to 7
$) cNpcPq
we get by commutation the law of Duns Scotus:
0) qIl,{p,rI q x C(6)-(5)
6) cNpcpq.
ro 8
THE
PRO BLEM
O F DECI S I O N
$l'
I saythereforethat CNpCpqand CpCNpqare deductivelyequivalent with respectto the law of commutation, and I write:
CNpCpq CpCNpq
with respecrto (r).
The sign
denotes the relation of deductive equivalence.
This relation is different from the ordinary relation of equivalence,denoted here by Q, which is defined by the conjunction
of two implications each converseto the other,
Q-Pq: KCpqcqp,
and requiresno basis.If an ordinary equivalenceQcB is asserted,
and c, or a substitution of c, is assertedtoo, then we can assert
B, or the correspondingsubstitution of p, and conversely.An
assertedordinary equivalenceQ"F is thereforea sufficientbasis
for the deductive equivalencea
but it is not a necessary
- Fi
one. This is just the point where explanation is needed.
Not only assertedor true expressionsmay be deductively
equivalent, but alsofalseones.In order to solvethe problem of
decision for the C-"lf-systemwe have to transform an arbitrary
significant expressionc into the expressionCNuzr,where z is a
propositional variable not occurring in c. This can be done by
meansof two theses:
Sr. CpCNpq
Sz. CCNppp.
I say that a is deductively equivalent to CNan with respectto
Sr and 53, and I write :
I. a
CNatr
with respectto Sr and Se.
All goes easily when o is asserted.Take as example NNCpp.
This is a thesiseasilyverified by the o-r method. I stateaccording to formula I that
with respectto Sr and Se.
NNCpp - CNNNC4P4
Starting from
0) NNCPP
we get by S I :
sr. plNNCpp
x C(7)-(B)
(B)CNNNCppq,
and starting again from (B) we get by substitution and Sz:
(B)qlNNCppx(s)
cNNNCppNNCpp
G)
D E D U C TIVE
$ er
EQU M L EN C E
to g
Sz.plNJ,tCpp
x C(g)-(Z)
0) NNCPP.
But c is an arbitrary expression;it may be false, e.g. Cpq. ln
this caseformula I reads:
Cpq CNCpqr
with respectto Sr and Se.
Here the difficulty begins: we can get the thesisCCpqCNCpqr
from Sr by the substitutionplC|q, qfr, but we cannot derive
from this thesis the consequent CNCltqr, for Cpq is not a thesis
arrd cannot be asserted.Therefore CNCpqrcannot be detached.
A still greater difficulty arisesin the other direction: we can
get from Sz by the substitutionFlclq the thesisCCNCpqCpqCpq,
but CNCpqCpqis not asserted,nor can we get CNCpqCpqfrom
CNCpqr by substitution, becauseCNCpqr is not a thesis. We
cannot say: Supposethat Cpqbe asserted;then CNCpqrwould
follow. The assertionof a false expressionis an error, and we
cannot expectto prove anything by an error. It seemstherefore
that formula I is valid not for all expressionsbut only for those
that are asserted.
There exists, in my opinion, only one way to avoid these
difficulties: it is the introduction of rejection into the theory of
deduction. We reject axiomatically the variable p, and accept
the clear rules of rejection, (c) and (d). It can easilybe shown
on.this basisthat Cpq must be rejected. For we get from the
axlom
(*to) p
and the thesis
Qt) CCCpppp
by the rulesofrejection:
(rr) x C( * r z ) - ( * r o )
(* tz) CCppp
qlp
(*rz)x (*ril PlCfu,
(*til cPq.
Now we are able to prove that if Cpq is rejected, Clr[Cpqrmust
be rejectedtoo; and conversely,if CNCpqris rejected,Cpq must
be rejectedtoo. Starting from
(ril c4q
rro
O F DECI SI O N
$gt
Sz.plCpq
x (r+)
ccNcpqctqc?q
QQ
( t+)xC(*r5)-(*r3)
(*15) CNCpqCpq
( * r S)x (*16)rlCpq
(*rG) CNCpqr.
In the otherdirectionwe easilyget Cpqfrom (*16) by Sr:
Sr.plCpq,qlrx (r7)
Q7) CCpqCNCpqr
( ,2)xC(*r3)-(*r6)
(*ry)c?q.
$tr
D E D U C TM
EQU M L EN C E
rrr
tr2
O F DECI S I O N
0gz
Sz.CCNppp
into the expressionCNan, where z is a variable not occurring
in a. We have thereforeas transformation I:
with respectto SI and Sz.
I. cr CNan
Transformation I allows us to reduce all significant exPressions to implications that have a variable as their last term.
Now we must try to transform "lfc, the antecedentof CNa4
into a variable or its negation. For this purposewe employ the
following three transformations:
with respect to 53 and 54,
lI. CNN,B - CoF
55 and 56,
lII. CNCupy CaCNpy
,,
,,
57, SB, and 59.
.,
lY. CCaPy - CNaY, CPY
"
The respectivethesesare: for transformationII:
fu. CCNNpqCpq
54.CCpqCNNpq;
for transformation III :
55. CCNCpqrCpCNqr
56. CCpCNqrCNCpqr;
for transformation IV:
57. CCCpqrCNpr
58. CCCpqrCqr
Sg. CCNprCCqrCCPqr.
Let us now explain how we can get by thesetransformations
a variable or its negation in the antecedent of CJfaz. The
expression ct (rccurring in CNar may, like every significant
expressionof the C-.1[-system,be either a variable, or a nega-
rr 4
O F DECI SI O N
$gz
$gz
REDUCTION
TO EL EM EN TAR Y
EXPR ESSION S
t1 5
in fact, NCpNq means the same as Kpq, and Srz and Sr3 are
other forms of the laws of importation and exportation respectively. Now CJfCaNpy,like CKapy, has only one antecedent,
whereasthe equivalent expressionCuCByhas two antecedents.
I{, therefore, a compound expressionoccurs in the fourth place,
as E.in CuCpCyCDe,
we can move it to the third place, applying
VII and then VI:
but not all antecedentsof this form, apart from ar, need be
simple expressions.fn order to get rid of such compound antecedentswe need three further transformations:
CPCIY
with respect to Sro,
Y. CaCPY
Yl. CaCpCyS, CICyCPD
SI I,
,,
,,
Slz and Sr3.
YII. CaCBy
CNC"NFy
,,
,,
The respectivethesesare: for transformation V:
Src. CCpCqrCqCpr;
for transformationVI:
Str. CCpCqCrsCpCrCqs;
for transformation VII :
Srz. CCpCqrCNCpNqr
Sry. CCNCpN.grCpCqr.
By Sro we can move a compound antecedentfrom the second
place to the first, and by Sr l from the third place to the
second. Applying these transformations to the expressions
CpCNqCNCCqpprand CqCNCCqpprof our third example we get:
(a) CpCNqCNCCqppr CICNCCqp?CNqiby YI;
CpCNCCqppCNqr CNCCqppCpCNqr ,, Y;
CNCCqppCpCNqr CCqpCNpCpCNqr ,, lll;
CCqpCNpCpCNqr CNqCNpCpCNqr, CpCNpCpCNqr by
IV.
(p) CqCNCCqppr CNCCqllCqr by Y;
CNCCqppCqr CCq?CNPCqr ,, lll;
CCqpCNpCqr CNqCNpCqr,CpCNpCqrby lY.
is thus reduced to four elementary expressions:
CCCpqqGCqpp
CN qCNpCpCN qr, CpCNpCpCN qr, CN qCNpCqr, and CpCNpCqr.
Transformation VII is usedin all thosecaseswhere the compound antecedentoccurs in the fourth place or farther. This
transformationallows us to reduce the number of antecedents;
CuCpC\Cyeby VII.
It is now easy to bring E to the first place by VI and V:
CNCdNpC\Cye
by VI,
CaCBCtCye CuCECpCye
CaCDCpCye C\CuCpCy ,, V.
Applying transformation VII repeatedly in both directions we
can move any antecedentfrom the zth place to the first, and
transform it, if it is compound, by II, III, and IV into a simple
expression.
The proof of theorem (TB) is thus completed. It is now easy
to show that this theorem entails the proof of decisionfor the
C-,Iy'-systemof the theory of deduction. If all the elementary
expressionsto which a given explessioncrhas been reduced are
true, i.e. if they have among their antecedentstwo expressions
of the typel and Np, then a is a thesisand must be asserted.On
the other hand, if among the elementaryexpressions
to which cr
has been reduced there exists at least one expressionsuch that
no two antecedentsin it are of the type p and Np, then c must
be rejected. In the first case we can prove a by means of the
thesesSr-S13, in the secondwe can disproveit, adding to the
lbovc thcsestwo new ones:
5r4.. CpCCpqq
St5. NNCpp,
and the axiom of rejection:
rSr6. p.
Two exampleswill clarify this.
tt6
O F DECI SI ON
0gz
(s) CNgCNqCpr
St. !lq, qlCprx(a)
@) CqCNqCpr.
Havinggot in (3) and (4) the sameelementary
expressions
as
we reachedat the end of our analysis(L), we now proceedfrom
them to their equivalents on the left, by applying theseson
which the successive
transformationswere based.Thus, step by
step,we get our original thesisby meansof Sg, 56, Sro, and Sa:
Ss.rICNqCpr
x C(3)-C(a)-(5)
6) CCpqCNqCpr
56.pICpq,rICprxc(s)-(0)
(6) CNCCpqqCpr
Sro.plNCCpqq,
qlpx C(6)-(7)
CpCNCCpqqr
0)
$gz
REDUCTION
TO EL EM EN TAR Y
EXPR ESSION S
tt7
s6. qlCCpqq
x C(7)-(B)
(B) CNCpCCpqqr
(B)rlcpccpqqx(s)
$) CNCpCCpqqCpCCpqq
Sz. p I CpCCpqq
x C(s)-(r o)
(ro) CpCCpqq.
Upon this model we can prove any thesiswe want.
Secondexample: Disproof of the expressionCCNlqq.
We first reduce this expressionto elementaryexpressions
on
the basisof the following analysis:
CCNlqq
CNCCNPqqrbyI;
CNCCNPqqT CCNpqCNqr ,, III1'
CCNpqCNqr CNNpCNqr, CqCNqr by IV;
CNNPCNqT CpCNqr
by II.
The expressionCCNpqqis thus reduced to two elementaryexpressions,CqCNqr and CpCNqr.The first of theseis a thesis,but
the secondis not true, for it has no two antecedentsof the type
p and Np. The expressionCCNpqqrherefore, which leads to this
not-true consequence,must be rejected.We begin the disproof
from the top, successively
applying accordingto the given transformationsthe thesesSl, 55, 57, and 53:
Sr. plCCNpII, Ilr x (r r)
(tr) CCCNpqqCNCCNpqqr
55.plcNpqx (rz)
(r z) CCNCCNpqqrCCNpqCNqr
Sl.plNp, rlCNqrx (rS)
( t c) CCCNqqCNqTCNNpCNqT
Sg. qlCNqrx (r+)
(r a) C;CNNpCNqrCpCNqr.
Now wt: must disprovethe expressionCpCNqr;we need for this
l)lrlposcthc ncw thesesSr4 and Sl5 and the axiom of rejection.
S r a. 1tI NNCpp, qlp xCS r 5-( r5)
(rs) (;t:NN(:1t1t1tp
(rr,);<(,'(*r6)-*5t6
(* r{t) t:NNCppp
t r8
O F DECI SI ON
$gz
qICNNCppp
x CSr-( r 7)
Sra.pICpCNpq,
(r 7) cccpcNpqcNNcpppcMMcppp
( t Z )x C (*rB )-(*r6 )
(*fi) ccpcNpqcNMcppp
(+rB)x (r'ril plcpcNpq,qlNCpp,
rlp
(*ry) CpCNqr
cannow successively
rejectits anteHaving rejectedCpCNqrrwe
cedentstill we reachthe original expressionCCNpqq.
( t+ )x C(*zo)-(*r9)
(*zo) CNNpCNqT
( r g )x C(*zr)-(*zo)
(*zr) CCNpqCNqr
( r z) xC(*zz)-(*zr)
(*zz) CNCCNpqqr
( r r ) x C(*z$-(*zz)
(*n) CCNpqq
In this way you can disproveany not-true expressionof the
All thesedeductionscouldhavebeenmadeshorter,
C-"lf-system.
but I wasanxiousto show the methodimplied in the proof of
decision.This method enablesus to decideeffectively,on the
basisof only fifteenfundamentaltheses,
Sl-S15,and the axiom
of rejection,whethera givensignificantexpression
of the C-"ltfor rejected.As all the otherfunctors
systemshouldbe asserted
of the tlieory of deductionmay be definedby C and "l{, all
of the theoryof deductionare decidable
significantexpressions
on an axiomatic basis. A system of axioms from which the
fifteen fundamental thesescan be drawn is complete in this
ofthe systemcan be deducedin
sense,that all true expressions
it. Of this kind is the systemof three axioms set out in section
23, and also the systemof those three axioms on which transformation IV is based,,'viz. CCCpqrCNpr, CCCpqrCqr, and,
CCNprCCqrCCpqr.
The proof of theorem (TA), accordirig to which every significant expression of the Aristotelian logic can be reduced to
elementary expressions,is implicitly contained in the proof of
the analogous theorem for the theory of deduction. If we take
instead.of the Greek letters used in our transformations I-VII
(except the final variable in transformation I) propositional
$gr
REDUCTION
TO EL EM EN TAR Y
EXPR ESSION S
r t9
expressionsof the Aristotelian logic, we can apply those transformations to them in the same way as to expressionsof the
theory of deduction. This can easily be seenin the example of
CCNAabAbaIab.Weget:
CCNAabAbaIa$ nCNCCNAabAbaIabpbyI;
CNCCNAabAbaIabp CCNAabAbaCNIabp,, III;
CAbaCNIabPby IV;
CCNAabAbaCNIabp- CI,TNAabCNIahP,
by II.
CAabcNIabF
cNNAabCNIabp
and,Eab instead of
Oab,
write
Instead of NAab we can always
convenient to
be
more
it
will
NIab.In whatfollows, however,
employ forms with "lf.
Both elementary expressions,CAabCNIabpand CAbaCNIabp'
to which CCNAabAbaIabhas been reduced, have a propositional variable as their last term. This variable is introduced by
transformation I. We can get rid of it by the following deductively equivalent transformations where z is a propositional
variable not occurring in either a or B:
with respectto Sr7 and Sr8,
YIII..CuCfur - CqNp
lX. CuCNBn C"P
,, ,, Srg and Szo.
Thesesfor transformationVIII:
S'7. CCpCqNqCpNq
SrB. CCpNqCPCqr.
Thesesfor transformationIX:
Srs. CCpCNqqCpq
Szo. CCpqCpCNqr.
',
r2 o
O F DECI S I O N
$sz
(8. CAabIab)
(Iv. CpcNpq)
(:
oaa)
933 ELEMENTARY
Izt
t22
O F DE C I S I O N
!gg
(6) CNIbdCIbcNAcd.
$33 ELEMENTARY
tz3
and
ClabAab,
27. CKAcbAbalac)
124
O F DECI SI O N
$ss
t26
O F DECI SI O N
0Sg
we get by the first chain the premiss Aca, by the second chain
the premissAdb, and both premissesyield together with .Icdthe
conclusion Iab on the basis of the polysyllogism:
CIcdCAcaCAdblab.
We prove the polysyllogism by deducing ladfrom Icd and Acaby
the mood Disamis, and then lab from lad and Adb by the mood
Darii. In all thesecasesthe original expressionmust be asserted.
I{, however,none of the conditions (7), (E),or (e) is satisfied,we
can get rid of expressionsof the type Afa and'Agb by identifying
their first arguments with a or with 6 respectively,and the
original expressionmust be rejected according to sub-case(c).
.All possiblecasesare now exhausted,and it is proved that every
significant expression of the Aristotelian syllogistic is either
assertedor rejected on the basis of our axioms and rules of
inference.
of thes2llogistic
E g+. An arithmcticalinterpretation
In r679 Leibniz discoveredan arithmetical interpretation of
the Aristotelian syllogistic which deservesour attention from the
historical as well as from the systematicpoint of view.r It is an
isomorphic interpretation. Leibniz did not know that the Aristotelian syllogisticcould be axiomatized,and he knew nothing
about rejection and its rules. He only testedsomelaws of conversion and somesyllogisticmoods in order to be sure that his
interpref;ation was not wrong. It seems,therefore, to be a mere
coincidencethat his interpretation satisfiesour assertedaxioms
r-4, the axiom of rejection *59, and the rule of Slupecki.In any
caseit is strange that his philosophic intuitions, which guided
him in his research,yielded such a sound result.
' Leibniz's arithmetical interpretation is basedon a correlation
of variables of the syllogistic with ordered pairs .of natural
ntrmbers prime to each other. To the variable a, for instance,
correspondtwo numbeni, say a, and ar, prime to each other; to
the variable D correspond two other numbers, say b, and br,
alsoprime to eachother. The premissAab is true when and only
when a, is divisible by Dr,and a, is divisibleby br.Ifone of these
conditions is not satisfied, Aab is false, and therefore NAab is
t SeeL.Couturat, Opuscuhsetfragnmtsinld;tsdeltibniz,Patis (tgog),pp.77s.q.
Cf, also J, Lukasiewicz, 'O sylogistyce Arystotelesa' (On Aristotle's Syllogistic),
do Cracoab,xliv, No' 6 (t939)' p. ceo.
Comltcs Rendusdo l'Acad. dcs Scitttr,cs
A N A R I T H M ETIC AL
$g+
IN TER PR ETATION
r27
true. The premiss lab is ftue when and only when a, is prime
to 6r, and a, is prime to 6r. If one of these conditions is not
satisfied, Iab is false, and therefore NIab is true.
It can easilybe seenthat our assertedaxioms I-4 are verified.
Axiom r, Aaa, is verified, for every number is divisible by itself,
Axiom 2, Iaa, is verified, for it is supposedthat the two numbers
corresponding to a, a, and a2, are prime to each other. Axiom 3,
the mood Barbara CKAbcAabAac,is also verified, since the relation of divisibility is transitive. Axiom 4, the mood Datisi
CKAbcIbaIac,is verified too; for if Dt is divisible by cr, b, is
divisible by cr, b, is prime to ar, and 6, is prime to dr, then at
must be prime to cr, and ds must be prime to cr. For if ay and c,
had a common factor greater than r, a, and 6, would also have
the samecommon factor, since 6, contains cs. But this is against
the suppositionthat a, is prime to br.ln the sameway we prove
that a, must be prime to ar.
It is also easyto show that the axiom *59 CKAcbAabIacmust
be rejected.Take as examplesthe following numbers:
4t:
15, br:
az:
14,bz: 7, cz :
3 , c1 :
I2 e
35.
TH E PRO BLEM
t 28
O F DECI SI O N
$g+
3,
2.
According to this interpretation all the antecedentsof expression (z) are true, and the consequentis false; the expression
is thereforedisproved.But this secondset of numbers doesnot
disprove expression(r), becauseAab is true, and therefore
NAab is false,and a false antecedentyields a true implication.
Neither, therefore,of the sets (4) and (5) disprovesexpression
(3), which containsNAab as well as NIbc.
There, is a general method that enables us to disprove
expression(3) when expressions(r) and (z) are disproved.r
First, we write down all the prime numbers which make up
thesetsof numbersdisproving(r) and (z). We get for (r) the
series2, 3, 5, and 7, und for (zJ the seriesz, 3, und 5. Secondly,
we replace the numbers of the second seriesby new primes,
all different from the primes of the first series,for instance:
z by rI, 3 by 13, and 5 by 17.We get thus a new set of
numbers:
(6\ [ar t-'
to, :
13 . 1 3, Sr :
II,
bz :
13, c t :
tt, cz:
I L I'L rI, dL :
t 7,
dr:
13,
,r.
$S+
A N A R I T H M ETIC AL
IN TER PR ETATION
r29
tgo
O F DDCI SI O N
0gS
$ 95. Conclusion
The results we have reached on the basisof an historical and
systematic investigation of the Aristotelian syllogistic are at
more than one point different from the usual presentation.
Aristotle's logic was not only misrepresentedby logicians who
came from philosophy, since they wrongly identified it with the
traditional syllogistic, but also by logicians who came from
mathematics. In text-books of mathematical logic one can read
again and again that the law ofconversion of the l-premiss and
some syllogistical moods derived by this law, like Darapti or
Felapton, are wrong. This criticism is based on the mistaken
notion that the Aristotelian universal affirmative premiss 'All a
is 6' means the same as the quantified implication 'For all c, if c
is a, then c is D',where c is a singularterm, and that the particular
affirmative premiss'Somea is D' meansthe sameas the quantified conjunction 'For some ,, c is a and.c is b', where c is a-gaina
singular term. If one accepts such an interpretation, one can
say of course that the law CAabIbais wrong, becausea may be
an empty term, so that no c is a, and the above quantified
implication becomestrue (for its antecedent is false), and the
, above quantified conjunction becomesfalse (for one of its factors
is false). But all this is an imprecise misunder3tandingof the
Aristotelian logic. There is no passagein the Anal2ticsthat would
justi$' sgch an interpretation. Aristotle does not introduce into
his logic singular or empty terms or quantifiers. He applies his
logic only to universal terms, like'man' or'animal'. And even
these terms belong only to the application of the system,not to
the system itself, In the system we have only expressionswith
variable arguments, like Aab or lab, and their negations, and
two of these expressionsare primitive terms and cannot be
defined; they have only thosepropertiesthat are stated by the
axioms. For the same r,asonsuch a controversy as whether
the Aristotelian syllogistic is a theory of classesor not is in my
opinion futile. The syllogistic of Aristotle is a theory neither of
classesnor of predicates; it exists apart from other deductive
systems,having its own axiomatic and its own problems.
I have tried to set forth this systemfree from foreign elements.
I do not introduce into it singular, empty, or negativeterms, as
Aristotle has not introduced them. I do not introduce quanti-
$ gs
C ON C L U SION
rgr
rg2
O F DECI SI O N
$gS
CHAPTER
VI
A RI S T O T L E 'S M OD AL L OGIC
P R OPOSIT ION S
OF
$ 96. Introduction
THnnB are two reasonswhy Aristotle's modal logic is so little
known. The first is due to the author himself: in contrast to the
assertoricsyllogistic which is perfectly clear and nearly free of
errors, Aristotle's modal syllogistic is almost incomprehensible
becauseof its many faults and inconsistencies.He devoted to this
but the
subject some interesting chapters of De Interpretationa,
systemof his modal syllogistic is expounded in Book I, chapters
3 and &-zz of the Prior Anal2tics.Gohlker suggestedthat these
chapters were probably later insertions, because chapter z3
was obviously an immediate continuation of chapter 7. If he is
right, the modal syllogistic was Aristotle's last logical work and
should be regarded as a first version not finally elaborated by the
author. This would explain the faults of the systemas well as the
corrections of Theophrastus and Eudemus, made perhaps in
the light of hints given by the master himself.
The secondreasonis that modern logicianshave not asyet been
able to construct a universally acceptablesystem of modal logic
which would yield a solid basisfor the interpretation and appreciation of Aristotle's work. I have tried to construct such a
system,different from those hitherto known, and built up upon
Aristotle's ideas.2The present monograph on Aristotle's modal
logic is written from the standpoint of this system.
A modal logic of terms presupposesa modal logic of propositions. This was not clearly seenby Aristotle whose modal syllogistic is a logic of terms; neverthelessit is possibleto speakof an
Aristotelian modal logic of propositions, as someof his theorems
are generalenoughto compriseall kinds ofproposition, and some
others are expresslyformulated by him with propositional variables. I shall begin wittr Aristotle's modal logic of propositions,
I Paul Gohlke, Dic Entstzhmg der Aristntzliselun Ingik,Berlin (1936), pp. 8&94.
2
Jan Lukasiewicz, 'A System of Modal I-ogic', TIu Jotanal of ComputingSystctts,
vol. i, St. Paul (1953), pp. rIr-49. Asummaryof this paper appeared under the
same title in the ProccedingsoJ tfu Xhh Intcmational CongressoJ Philosoph2, vol. xiv,
Brussels (tgSg), pp. Be-87. A short description ofthe system is given below in $ 49.
tZ4
ARISTOTLE'S
M O DAL
LO G I C
O F PRO P O S I T I O N S
$ sZ
$g6
toiro
xai
MODAL
F U N C TION S
AN D IN TER R EL ATION S
tg 5
(c) IJ it is necessary
thatp, which is abthatp, it is not necessar!
surd.r After a further examination of the problem Aristotle rightly
statesthat
(d) If it ispossiblethatp, it is notnecessaryt
thatnotp,2 but doesnot
This
correct-his former mistake in the text of De Interpretatione.
correction is given in the Prior AnaQticswhere the relation of
possibilityto necessityhas the form of an equivalence:
that
(c) It is possiblethat p-if and onl2 if-it it not necessarlt
notp.t
I gather from this that the other relation, that of necessityto
possibility, which is stated in the De Interpretatione
as an implication,+ fu also meant as an equivalence and should be given the
form:
(n n it necessar)
thatf-if andonfuif-it is notpossiblethat notp.
If we denote the functor 'if and only if ' by Q,,t putting it
before its arguments,and 'not' by "{ we can symbolically express
the relations(e) and (/) thus:
r. qMpNLNp, i.e. Mp-if and onlyif-NLNp,
z. QLpNMNp, i.e. Lp-if andonll if-NMNp.
The above formulae are fundamental to anv svstem of modal
logic.
$ 38. Basic modallogir
Two famous scholasticprinciples of modal logic: Ab oportere
ad
esseualetconsequentia,
were
and Ab essead posseualetconsequentia,
known to Aristotle without being formulated by him explicitly.
The first principle runs in our symbolic notation (C is the sign of
the functor'if-then') :
g. CLpp, i.e. If it is necessary
thatp, thenp.
The secondreads:
I lbid. zzbrr rd p2v ydp dveyxaiov etvat iwotdv el,vat . .. r4 <il)ri p)v tQ ye
}wotdv etvot td oJx d|rivotov etvecd.xoAou9ei,rorhq 62 rd pi dvayxaiov elvet' ,itote
ovppaiver rd dvayxdiov elvot pl dvayxatov elvat,6rcp dtonov.
2 [bid,. zzbzz Aeitetan rolvuv td oix d.vayxaeovp) ctvu &xoAovfleivtQ 6urar6, etvau
3 An. pr. i. 13,
Jndpyew' rci 'orir d}rivatov 6nd.pyeu' xai'oJx
32"25 td'iviiletor
dvdyxq pl [rdp76l', fitot taitd. Eotocfi dxo\ou|o0vrc dll{lor5.
a Dc int. tg,zz"zotQDt pil6warQ pi1etvet xei pj iv}e2qopilq p) elvetrd d.vayxoeov
etvat xei rd dilvorov pi eivet (<iroloudei).
5 I usually denote equivalence by E, but as this letter has already another
meaning in the syllogistic, I have introduced (p. to8) the letter Qfor equivalence.
,]
tg6
A RISTOTLE'S
M O DAL
LO G I C
O F PRO PO S T T I O N S
$g8
0g8
B A SIC M OD AL
L OGIC
r37
s. QM|MNN\,
r3 B
ARISTOTL E' S
M O DAL
LO G I C
O F PR O P O S I T I O N S
$gs
5 gg
r39
3.clpp.
The deduction:
zg. rlClpLqxCzvz6
cpccpqcLpLq
26.
x Cg-Cz6-27
24.pILp, qlp, rlCCpqCLpLq
27. CLpCCpqCLpLq
25.pllp, qlcpq,rlLqxCzT-tB
rB. CCpqCLpLq.
q
r4o
ARISTOTL E'S
M O DAL
LO G I C
O F PRO PO S I T I O N S
$ eS
S +o
A R I S T O T L E 'S
PR OOF OF TH E
M - L AW
t1 l
and from 3r there easilyresultsby the substitution qlp, Cpp,commutation and detachment the implication CMPNLN|. The converse implicanon CNWpMp which, when combined with the
original implication, would give the equivalence r, cannot be
proved otherwise than by means of the law of extensionality for
L: CCPqCL1L4.As this proof is rather complicated, I shall give
it in full.
I An,pr.i.I5,g4oSeioJvtip2v6uvatdv,SteDwatdvetvaqylvon'dvrtd6'd}ivarov,
6t' d,6ivorov, oix Ev y6ono, iipt 6' ei td A Dwcriv xoi t6 B ,i6ivotov, 2v6(yon' Ev ri
2 See below, p. r54, n.
A yelo1ar dvev ro0 B, ei 6A yevioilaq xel etvat.
3.
! Alexander
r77. tt ietxvtiotro 6' dv,6tt
neo|or td B, xai ix roi 8pcopoi to6 }weto0
ori6,iy <iElvczoy oupBaivet 6cd toAto.
pl
r42
A R I STOTL E'S
MODAL
LO G I C
O F PRO PO SI TI O N S
0 +o
The premisses:
fi. CCpqCLpLq
24. CCpqCCqrCpr
so. CIIqCCpqNLNqMp
gz. CCpqCNqNp
gg. CCpCqrCqCpr.
The deduction:
tB. plNq,qlMpxg4 \
34. CCNqNqCLNqLNP
24.pICpc,qICNqNp,rI CLNqLNqx Cgz-Cg4-35
s5. CCpqCLNqLNp
32.pllNq, qlLNpx36
36. CCLNqLNqCNLN4NLNq
2+. pICpq,qlCLNqLNp,rI CNLNpNLNqx Cg5-C9617
s7. CCpqCNLNpNLNq
33.plcpq, qlNLNp, TINLNqxCSZ-gB
sB. CNLNpCCpqNLNq
gB.Ilzqxgg
CNLNpIIqCCpqNLNq
39.
za. pINLNp, qIII qCCpqNLNq,rIMp x Cgg-Cgo-4o
CNLN|M|.
4o.
for M, which was
We can now provethe law of extensionality
the purposeofAlexander'sargument.This law easilyresultsfrom
that the proof by
the equivalencer and thesis37.We seebesides
commeansof the definition with quantifiersis unnecessarily
plicated.It sufficesto retain definition r and to add to the Lsystemthe ZJaw of extensionalityin order to get the M-law of
extensionality. In the sameway we may get the L-law of extensionality, if we add the M-law of extensionalityto the M-system
and definition z. The Z-systemis deductively equivalent to the
M-system with the laws of extensionalityas well as without them.
It is, of course, highly improbable that an ancient logician
could haveinventedsuchan exactproofas that given above.But
the fact that the proof is correct throws an interesting light on
Aristotle's ideas of possibility. I supposethat he intuitively saw
what may be shortly expressedthus: what is possibletoday, say
a sea-fight,may becomeexistentor actual tomorrow; but what is
$4o
A R I S T O T L E 'S
PR OOF OF TH E
M - L AW
r +z
14+ ARISTOTLE'S
M O DAL
LO G I C
O F PRO P O S I T I O N S
$ +r
apodeictic proposition, but denotes a necessaryconnexion between the premissesof the syllogismand its assertoricconclusion.
This is the so called 'syllogisticnecessity'.Aristotle seesvery well
that there is a difference between syllogistic necessityand an
apodeictic conclusionwhen he says,discussinga syllogismwith an
assertoricconclusion,that this conclusionis not 'simply' (tiz)6's)
i.e. necessary
necessary,
in itself, but is necessary'on condition',
i.e. with respect to its premisses(zorizc.rv6nav)J There are
passages
where he puts two marks of necessityinto the conclusion
saying,for instance,that from the premisses:'It is necessarythat
every b should be an a, and somec is a b', there follows the conclusion: 'It is necessarythat somec should be necessarilyan a.'z
The first 'necessary'refersto the syllogisticconnexion,the second
denotesthat the conclusionis an apodeictic proposition.
By the way, a curiousmistakeof Aristotle should be noted: he
saysthat nothing followsnecessarilyfrom a singlepremiss,but ohly
from at leasttwo, as in the syllogism.rIn the Posterior
Ana\tics he
assertsthat this has been proved,+ but not even an attempt of
proof is given anywhere.On the contrary, Aristotle himself states
that 'If someDis an a, it is necessarythat somea should be a b',
drawing thus a necessaryconclusionfrom only one premiss.s
I have shown that syllogistic necessitycan be reduced to universal quantifiers.6When we say that in a valid syllogism the
conclusion necessarilyfollows from the premisses,we want to
state that the syllogismis valid for any matter, i.e. for all valuesof
the variablcs occurring in it. This explanation, as I have found
afterwards,is corroborated by Alexander who assertsthat: 'syllogistic combinations are those from which somethin$ necessarily
follows, and suchare thosein which for all matter the samecomes
to be'.7 Syllogistic necessityreduced to universal quantifiers cdn
I An. pr. i. ro,
3ob3z rd oupnipaope oix Esrrv d.vayxaiov dnArits, d)tAd nhov
dvtuv dvayxaiov.
2 lbid.
ptv A navrl rQ B $rapyira i{ dvdyqs, i 6i B nvl rQ I
9, goagT i
$nepTito pdvov' dldyxl 6l zd A rwi 7Q | $td.p1;ewi{ dvdyxls,
3 lbid, t5,
94"17 oi ydp Eotw d0Eiy e'f dvdyxr1s vds rwos 5vros, d,\,\d 6uoiv
il\oTtototv ,otov Stav ai npotd.oersoizcog EXoow ds t\iyirl xatd, tdv ouiloynp6v.
a An. post' i.
3, 73"7 &ds pir o$v xetpivou DdDerrzqo6tr oi6tnot' d,vdyxq rc etvat
Etepov (Aiyo6' iv6s,6noi7e 6pov vdsoite 1ioeos prf,s rc|eiot1s), dr 6Jo 6i ddoeoy
'tprirov
xai 2\oyistav tviyeteu
s An. pr. i. z, z5'zo ei ydp rd A rui tQ B, xai td B nvi rQ A ,&vdyq ind.pyeu.
6 Seeg5.
7 Alexander zo8. t6 ouA)oyiatuai62 at ou(vykt airot of i{ dvdyxqs n nvdyouoar.
rota0tac 6d, e cis 2d rd,otls iLls yiverat td oird.
N E C E S S A R Y CON N EXION S
$4r
OF PR OPOSITION S
r +s
be eliminated from syllogistic laws, as will appear from the following consideration.
The syllogism(g) correctly translated into symbolswould have
the form:
(h) LCKAbaAcbAca,
which meansin words:
(i) It is necessar)
that (if eueryb is an a, andeaeryc is a b, theneuerlt
c shouldbean a).
The sign of necessityin front of the syllogism shows that not
the conclusion, but the connexion between the premissesand
the conclusion is necessary.Aristotle would have asserted(r).
Formula
(j) CKAbaAcbLAca,
which literally correspondsto the verbal expression(g), is wrong.
Aristotle would have rejected it, as he rejects a formula with
stronger premisses,viz.
(k) CKAbaLAcbLAca,
i.e. 'If eaeryb is an a andit is neccssary
that eaer2c shouldbea b, it is
necessar)
that euerlc shouldbean a.'r
By the reduction of necessityto universal quantifiers formula
(h) can be transformed into the expression:
(l) IIaIIbIIcCKAbaAcbAca,
i.e. 'For all a, for all b, for all c (if ei'ery Dis an a and every c is a b,
then every c is an a).' This last expressionis equivalent to the
mood Barbara without quantifiers:
(m) CKAbaAcbAea,
since a universal quantifier may be omitted when it standsat t}re
head of an assertedformula.
Formulae (n) and (m) are not eqirivalent. It is obvious that (m)
can be deducedfrom (n) by the principle CLpp,but the converse
deduction is not possiblewithout the reduction of necessityto
universal quantifiers. This, however, cannot be done at all, if the
above formulae are applied to concrete terms. Put, for instance,
I An. pr. i. g,
3ore3 ei Et zd piv AB pl Enu dvayxatov, zd 6t Bl" dvayxatov, oir
*,:;r:,
oupnipaopo dvovxaeov.
L
t 46 ARISTOTL E'S
M O DAL
LO G I C O F PRO POS I T I O N S
0 +'
in (l) 'bird' for b,'crow' for a, and 'animal' for c; we get the
apodeictic proposition :
bird is a crowand eaerlanimal is
(n) It is necessar!
that (if eaer.y
a bird, theneaeryanimalshouldbea now).
From (z) resultsthe syllogism(o):
(o) If eaerybird is a crow and eueryanimal is a bird, theneuerl
animalis a crow,
but from (o) we cannot get (z) by the transformation of necessity
into quantifie$, as (z) doesnot contain variableswhich could be
quantified.
And here we meet the fint difficulty. It is easyto understand
the meaning of necessitywhen the functor I is attached to the
front of an assertedproposition containing free variables. In this
casewe have a general law, and we may say: this law we regard
asnecessary,becauseit is true of all objectsof a certain kind, and
doesnot allow of exception.But how shouldwe interpret necessity, when we have a necessaryproposition without free variables,
and in particular, when this proposition is an implication consisting of false antecedentsand of a false consequent,as in our
example (z) ? I seeonly one reasonableanswer: we could say that
whoever acceptsthe premissesof this syllogismis necessarilycompelled to acceptits conclusion.But this would be a kind ofpsychological necesity which is quite alien from logic. Besidesit is
extremqly doubtful that anybody would accept evidently false
propositionsas true.
I know no better remedy for removing this difficulty than to
drop everywherethe l-functor standing in front of an asserted
implication. This procedure waS already adopted by Aristotle
who sometimesomits the sign of necesity in valid syllogistical
moods.t
$ 42. 'Material'or'strict',implication?
According to Philo of Megara the implication 'If p, then q',
i.e. Cpq,is true if and only if it doesnot begin with a true antecedent and end with a false consequent.2This is the so-called
'material' implication now universally acceptedin the classical
calculus of propositions.'Strict' implication: 'It is necessarythat
t Scc p. ro, D.
5.
$ +z
'M A T E R I A L '
OR 'STR IC T'
IM PL IC ATION ?
t4 7
t4 8
ARISTOTLE' S
M O DAL
LO G I C
OF PROPOSITIONS
$ +z
material implication Cpq by the strict implication LCpq. Transforming thus the formula
gr. CMpCCpqNLNq,
we get:
45. CMpCLCpqNLNq.
From 3r we can easily derive CM4NLNq by the substitution 4/p
getting CMpCCppNLNp,from which'our proposition results by
commutation and detachment, for Cppis an assertedimplication.
The sameprocedure, however, cannot be applied to 45. We get
CMpCLCppNLNp,but if we want to detach CMqNLNq we must
assertthe apodeictic implication LCpp. And here we encounter
the samedifficulty, as describedin the foregoingsection.What is
the meaning of LCpp? This expressionmay be interpreted as a
general law concerning all propositions, if we transform it into
npcpp; but such a transformation becomesimpossible, if we
apply LCpp to concreteterms, e.g. to the proposition 'Twice two
is five'. The assertoricimplication 'If twice two is five, then twice
two is five'is comprehensibleand true being a consequenceof the
law of identity Cpp;but what is the meaning of the apodeictic
implication 'It is necessarythat if twice two is five, then twice
two should be five'? This queer expressionis not a general law
concerningall numbers; it may be at most a consequenceof
an apodeictic law, but it is not true that a consequenceof an
apodeictic proposition must be apodoictic too. Cpp is a consequence of LCpp according to CLCppCpp,a substitution of CLpp,
but is not apodeictic.
It followsfrom the above that it is certainly simplbr to interpret
Alexander's proof by taking the word oupcpaivet
of his text in the
senseof material rather than strict implication. Neverthelessour
problem is not yet definitively solved.Let us thereforeturn to the
other kind of assertedapodeictic proposition accepted by .A,ristotle, that is to necessaf connexionsof terms.
$ 49. Anafuticpropositions
Aristotle assertsthe proposition: 'It is necessarythat man
should be an animal.'I He stateshere a necessaryconnexion
between the subject 'man' and the predicate 'animal', i.e. a
I An. pr. i.
9, 3oa3o (Qov piv ydp 6 dv|punos i{ dvdyxqs iori.
$+s
A N A L YTIC
PR OPOSITION S
r49
r5o
ARISTOTLE'S
M O DAL
LO G I C
O F PROP O S I T I O N S
$ +g
CJx2CLJxxLJxl,
and by commutation
(u) CLJxxCJxlLJxy,
from which there follows the proposition:
(u) CJxyLJxy.
That means, any two individuals are necessarilyidentical, if they
are identical at all.
The relation of equality is usually treated by mathematicians
as identity and is bascd on the same axioms (q) and (r). We may
therefore interpret J as equality, x and2 as individual numbers
and say that equality holds necessarilyif it holds at all.
Formula (u) is obviously false. Q;rine gives an example to show
its falsity. Let.r denote the number of planets, andT the number
9. It is a factual truth that the number of (major) planets is equal
to g, but it is not necessarythat it should be equal to g. Qyine
tries to meet this difficulty by raising objections to the substitution
of such singular terms for the variables. In my opinion, however,
his objections are without foundation
There is another awkward consequenceof the formula (r.r)not
mentioried by Quine. From (a) we git by the definition of Z and
the law of transposition the consequence:
(w) CMNJx2NJx2
That means: 'If it is possiblethat.r is not equal to7, then r is
(actually) not equal to7.'The falsity of this consequence
may be
seenin the following example: Let us supposethat a number r
has beenthrown with a die. It is possiblethat the numberT next
thrown with the die will be different from r. But if it is possible
that .r will be different from2, i.e. not equal to7, then according
to (nr) r will actually be different from y. This consequenceis
obviously wrong, asit is possibleto throw the samenumber twice.
t W. V.
Quine, 'Three Grades of Modal Involvement', Proccedingsof thc XIth
Internalional Congressof Philosophy, vol. xiv, Brussels (1953). For the following
argumentation I am alone responsible.
I ,r:r
A N A L YTIC
PR OPOSITION S
r5l
'l'lrcn: is, in my opinion, only one way to solve the above diffir rrltics: w(: must not allow that formula ZJxr should be asserted,
i.r'. tlrrrt thc principle of identity Jxx is necessary. As Jxx is a
tylrir:ul unalytic proposition, and as there is no reason to treat this
prilrr:iplc in a different way from other analytic propositions, we
;rrr'<:ompclledto assumethat no analytic proposition is necessary.
llt'firrc dcaling with this important topic let us bring to an end
orrr invcstigation of Aristotle's concepts of modalities.
I U. A" Aristotelianparadox
'l'lrt:rc is a principle of necessityset forth by Aristotle which is
lriglrly controversial. He says in the De Interpretationethat'anytlring cxistent is necessary when it exists, and anything noncxistt:nt is impossible when it does not exist'. This does not mean'
lrr rulds, that whatever exists is necessary,and whatever does not
cxist is impossible: for it is not the same to say that anything
cxistr:nt is necessarywhen it does exist, and to say that it is simply
rrcccssary.rIt should be noted that the temporal 'when' (dzav) is
rrsctlin this passageinstead of the conditional 'if'. A similar thesis
is sct lorth by Theophrastus. He says,when defining the kinds of
tlrirrgs that are necessary,that the third kind (we do not know
wlr:rt the first two are) is 'the existent, for when it exists, then it is
irrrpossible that it should not exist'.2 Here again we find the
tcrnporal particles 'when' (dze) and 'then' (zdre). No doubt an
lur:tlogous principle occurs in medieval logic and scholars could
lirrrl it there. There is a formul4tion quoted by Leibniz in his
'l luodiceerunning thus: Unumquodque,quandoest, oportetessa.3
Note
;rg:rin irr this sentence the temporal quando.
What does this principle mean? It is, in my opinion, ambiguorrs. Its first meaning seems to be akin to syllogistic necessity,
wlrit'h is a necessaryconnexion not of terrns, but of propositions.
r\h'xirnder commenting on the Aristotelian distinction between
nirrrplc and cclnditional necessity,asays that Aristotle was himself
I I)e int
9, 19'23 i ptv o$v elvat td 3v,6tav fi, xai rd p) 6v pii elvat, &av pi1 fi,
,ir,!yr1 6l plv oire td 6v drov dvdyxq etvat oire td pi1 6v pi1 etvot' OJ ydp taltdv
,'rrr ni 6v d.nav elvat i( d.v&yx1s6te Eotq xoi rd dzl.i,s etvat d{ 'iv,iyxqs.
' Afcx:rndcr I56. zg 6 yoiv @e6spoorosiv tQ npittq rdv llporipuv &voAurcx,Tv
,\,ly,q, nqri tdv ind roa d.vayxalouoqltocvoltivov oirus yp<i$er'rphov td indplov
i't, 1,ip inipTet, t6re oiy otdv rc pl indp76w.'
I I'hiloufihivhe SchriJten,
ed. Gerhardt, vol. vi, p. I3r.
r S cc
1r. r4+, n. r.
t52
ARISTOTL E'S
M O DAL
LO G I C
O F PRO PO S I T I O N S
944
{,l r
A N A R ISTOTEL TAN
PAR AD OX
r53
rs4
A RISTOTL E'S
M O DAL
LO G I C
O F PRO PO S I T I O N S
$ ++
s1j.cNtNpIIqccpqNLNq
has been already proved; the converseimplication
47. CnqCCpqNLNqNLNp
easily results from the thesis CIIqCCpqNLNqCCpqNLNqby the
substitution qIp, commutation, Cpp,and detachment. By putting
in 46 the simpler expressionNLNq for IIqCCpqNLNq we get:
aB.QrpKNLpNLNp.
This meansin words: 'It is contingent that p-if and only if-it
I W. D. Ross, loc. cit., p, eg6.
2 See A. Becker, Die Aristotelischc Tluorie der Miiglichluihschhisse,Berlin (rg33).
I agree with Sir David Ross (loc. cit., Preface) that Becker's book is 'very acute',
but I do not agree with Becker's conclusions.
t A n. p r . i . t 3 , 3 z o r 8 ) t i y a 6 ' e 6 $ g co 0 e txe itd d vie yd ye vo v,o ip i6 vrosdvoyxa!,ou,
rc|iwos 6' indpyew, oriD,ivioror 6rd zo0r' d.}ivarcv.
$ 4:,
C O N T I N GEN C Y
IN AR ISTOTL E
r55
M O DAL
LO G I C O F PR O P O S I T I O N S
$ +s
$41,
C ON TIN GEN C Y
IN AR ISTOTL E
t57
r59
CHAPTER
VII
LOGIC
argument are put on the left, those of the second on the top,
and thg truth-values of C can be found in the square, *h.ii
the lines which we may imagine drawn from the -truth-values
on the margins of the square intersect one another. The matrix
of "M is easily comprehensible.
q
C
'{:
IO
N
o
II
IO
Mr
T H E M ATR IX M ETH OD
$+ 6
according to equalities stated in the matrix gives r as final resuJt,
the exprCssionis proved, but if not, it is disproved. For example,
CCpqCNpNq is disproved by Mr, since when ! : o and,q -: r,
*. nu't CCofiNoNr : CrCto: Cro: o. By contrast,CpCNpq,
one of "tour axioms of our C-N-p-system,' is proved by Ml,
because we have:
For p : I, 4 :
,, ! : r, 4 :
:
,, ! :o,4
,, ! : o, Q :
t: CrCNrr
o: CrCNrc
r : CoCNor
o:CoCNoo
:
:
:
:
CrCot :
CrCoo :
CoCr t :
CoCrc :
Ctr :
Ctr :
Cor :
Coo :
r,
r'
r'
r'
In the same way we can verify the other two axiotns of the
C-Jrfjrsyste m, CCp qCCqrCpr and CCNppp. As M r is so constructed
that the property of always yielding r is hereditary with rcspect
to the rules of substitution and detachment for asserted expressions, all assertedformulae of the C-M-P-systemcan be proved by
the matrix Ml. And as similarly the property of not always
yielding r is hereditary with respect to the rules of inference for
rejected expressions, all rejected formulae of the C-"1y'l-system
cin be disproved by Mr, ifp is axiomatically rejected. A matrix
which u.rifi.t all formulae of a system, i.e. proves the asserted
and disproves the rejected ones, is called 'adequate' fo1 thesystem. Mr is an adequate matrix of the classical calculus of
propositions.
Mr is not the only adequate ,matrix of the C-N-p-system. We
get another adequate matrix' M3, by 'multiplying' Ml by itself'
The processof getting M3 can be described as follows:
Fiist, we form ordered pairs of the values .r and o, viz.: Q, r),
new m at r ix.
Q,o), (o,i , (o,o) ;these ar e t he elem ent sof t he
Secondly, we determine the truth-values of C and "l/ by the
equalities:
: (Cac,Cbd),
0) C(o, b)(c, d)
:
(N a,Nb) .
(z) N (a,b)
Then we build up the matrix Me according to these equalities;
and finally we transform Mz into M3 by the abbreviations:
(r, | : r, (r,o) : z, ( o, I ) : 3, and ( o, o) : o'
t See p. 8o.
(r, r)
(r, o)
(o, r)
(o, q)
LO G I C
$+ 6
(t, t)
I23o
(r, r)
(t, r)
rr3 3
(t, t)
I2I2
I23o
(r, r)
IIII
Mz
M3
I I OO
NC
IOIO
IIOO
OI
IOIO
IIOO
oo
IIII
IIII
II
IOIO
IIII
IO
IIII
o
o
M4
M5
even to logicians.
q,t7
THE C-"'V-6-1-SYSTEM
r6r
162
LO G I C
$ +Z
5s. CpCNpp
qlNpx CSS-S+
5t. 6lCpCNp',
5a. CCpCNpNpCpcNpNp
5r. 6/',qlNpx53
t C. A. Meredith has provJd in his paper 'On an Extended System of the Propositional Calculus', Proceedingsof the Royal Irish Academlt,Dublin (I95I), 54 A 3,
that the C-O-67-calculus, i.e. the calculus with C and O as primitive terms and
with functorial and propositional variables, may be completely built up from the
axiom CEEOEI.His method of proving completeness can be applied to the C-N-6-!system with CSpCENptqas axiom. In my paper on modal logic quoted P. I33, n. 2,
I deduce from axiom 5r the three asserted axioms of the C-"1\y'7-system, i.e.
CCpqCCqrCpr, Ccj,lppp, CpCNpq, and some important theses in which 6 occurs,
2 S ee p. B t.
among others the principle of exteruionality.
\ 't't
THE C-,IT-E-,-SYSTEM
r 63
,[t. OpCNpNp
c5. plcpcMpNpx c55-56
,t(;. ( t.NCpCNpNpNCpCNpNp
qlp x C54-C56-57
5r. 6/C",pICpCNpNp,
o!!.
!fl.
I slrould like to emphasize that the system based on axiom 5r is
rrrrrr'lr richer than the C-N-p-system. Among asserted conseI f rf('f rccscontaining 6 there are such logical law s as CCpqCCqpCBpD
q,
l,:h(,:lqC6p6q,C\CpqCpDq, all very important, but unknown to
,rlt nost all logicians. The first law, for instance, is the principle of
rxtcrrsionality, being equivalent to CQgqC\pDq, the second may
lrr'trrkcn as the sole axiom of the so-called'implicational'system,
tlrc tlrird as an axiom of the so-called 'positive' logic. All these
lirws <::rnbe verified by the matrix method according to a rule
gi vcn bcl ow .
Irr two-valued logic there exist four and only four different
firtrct<rrsof one argument, denoted here by V, S, N, and F (see
rrrrrl l i xM6).
VS NF
IIOO
IOIO
M6
lirr thc verificationof 8-expressions
the following practical rule
rlrrc in substanceto Lesniewskiis sufficient: Write for-6successively
tlrc lirnctors V, S, N, and d then drop,S,transform Vuinto Cpp,
;rrrrf/,)vinto NCpp.If you get in all casesa true C-Jf-formula,the
rxprtssion should be asserted,otherwiseit should be rejected.
l'lx;rrnJrlc:.
C6CpqC6p6q
must be asserted,
becausewe have:
()sCpqCSpSq: CCpcCpc,
CNCpqCNpNq,
{ : L',cpqcvpvq : ccppccppcpp, cFCpqcFpFq : cNCppcNCppNCpp.
(;{;ln1(l6p6q
must be rejected,for CCpqCNpNqis not a true C-Jfii,r'rrrrrla.
We seethus that all expressions
of the C-"AA-6-1-system
,rrc r':rsilyproved or disprovedby the matrix method.
\ ,1tt. E-l)efinitions
'l'lrc lirrrctor6 may be successfully
employedto expressdefiniti,rrs.'f 'lrr.:ruthorsof the PrincipiaMathematlca
expressdefinitions
164
LO G I C
$ +8
CNPq: gPq
Dl
andHpq ( 'eitherp
whereCNpq('If not1, then 4') is the defniens,
rr ,tl l
E -D E F IN ITION S
r65
xC59-6o
58.6lCP'
{h. CpHpq.
Clavius:
tl'wt: want to apply our definition to the principle of
$r. oCllPPP,
wc rrtttstfirst put p fot q in 58 getting thus:
58.qlPx6z
ti'l. (:,\CNPP6HPP
62. 6lC'PxC6r-63
(;'t. (;llppp.
( l ' i rl rrrrrl :t(i ? states: ' If ei th er I
or axior
' pr i rrri ti vr'yl roposi ti ons'
They rigb
I'ttttrtltirtA'lallumatica.
nI l ,rrrt' l ogy' ,l rsi t statestha t t o
'lt rt lt', ts to s:ty simply '1'. The principle ot lJuns Dcotus' Ior
lrhl,rrr r', ts ll()r l tautology in any reasonablesense')
whigh enablesus
'l 1,, , ,,ttv.'rs,' inrplicatiln of 58 C6HpqDCN?q,
first' We can
the
together.with
given
t:Npqit
lty
f f f r'lll,ri r ll1u1
rules of substitutionand detachment
1,', ,"1',,,,,l,','.l,',,*i,tgtrnly thi
:
theorem
,
tl rr l r,l l ' \\' rtrl '11('
l l (' t' i tl
t66
TH E SYSTEM O F M O DAL
LOG I C
$ +8
(F)xc(E)-c(D)-(G)
(G) C6ft6P.
SYSTEM OF M OD AL
t i 4 , r T H E F O U R - V A L U ED
L OGIC
t6 7
(N a,Nb) .
(S a,Vb) :
( a, Cbb) .
( )rr tlrc basisof (c) I got the m4trix M7 for M which I transformed
irrto the matrix MB by the same abbreviations as in $ 46, viz':
(,, r) ' - r, (I ,o) : z, ( o, r ) : 3, and ( o, o) : 6.
(r, , )
(t, o)
(o, ,)
(o, o)
( t, ,)
( t, t)
(o, t)
(o, t)
M7
MB
168
T HE SY ST E M O F M O D AL L O GIC
$ +s
primitive terms, and based my system of modal logic on the
following four axioms:
"5. CMpp
*7. Mp.
The rules ofinference are the rules of substitution and detachment for assertedand rejected expressions.
Zy' is introduced by a E-definition:
64. C\NMNpBLp.
That means: 'NMNp' may be everywherereplaced by 'Lp', and
conversely'Lp'by'NMNp'.
The samesystemof modal logic can be establishedusing C,
"lf, and Z as primitive terms with the axioms:
*6. CpLp
*8. NLp,
5r. C6pC6Np6q g.CLpp
and the 8-definitionof M:
65. C6NLN/6M\.
M9 representsthe full adequatematrix of the system:
230
230
r33
2 r2
III
3
3
2
2
o
o
169
66. C6CpqC6pAq.
I hopd that after the explanations given above every reader will
be able to verify by this matrix any formula belonging to the
system, i.e. to prove assertedformulae, and to disprove rejected
ones.
It can be proved that the system is complete in the sensethat
every significant expression belonging to it is decidable, being
either asserted or rejected. It is also consistent, i.e. non-contradictory, in the sense fhat no significant expression is both
assertedand rejected. The set of axioms is independent.
I should like to emphasize that the axioms of the system are
perfectly evident. The axiom with 6 must be acknowledged by all
logicians who accept the classical calculus of propositions; the
axioms with M must also be accepted as true; the rules of inference are evident too. All correctly derived consequencesofthe
r70
LO G I C
$ So
N E C E S S I T Y A N D T H E FOU R - VAL U ED
SYSTEM
r7r
The premisses:
*6. CpLp
rB. CCpqCLpLq
39. CCpCqrCqCpr
68. CCCpqrCqr.
The deduction:
68. rlCLpLqxCr8-69
69. CqCLpLq
n. plq, qllp, rlLqxC6g-7o
CLpCqLq
7o.
7o.!1", qlpxC*7r*6
*7t . L u .
Q) CJxyCLJxxLJry
$ 5,)
or
CLJxxCJx2LJx2
o:
CrCzz
CzCez
C3Czo
CoCzo
:
:
:
:
Crr
Czr
C33
CoJ
:
:
:
:
r,
r,
r,
r-
llr:ncc (t) is proved since the final result of its matrical reduction
is :rlw:rys r. On the contrary, (a) is disproved, because we have
lin' .'/xyt : r: CJxlLJxl : CtLt : Crz : z.
A pleasing and instructive example of the above difficulty has
lrccn given by W. V. Quine who asks what is wrong with the
li rllowing inference : I
(a) The Morning Star is necessarily identical with the
Morning Star;
(D) But the Evening Star is not necessarilyidentical with the
Morning Star (being merely identical with it in fact);
(c) But one and the same object cannot have contradictory
properties (cannot both be A and not be,4);
(d) Therefore the Morning Star and the Evening Star are
different objects.
(iivcn nry system the solution of this difficulty is very simple.
'l'lrc inlcrence is wrong, becausethe premisses(a) and (D) are not
I r rrc itncl cannot be asserted,so that the conclusion (/) cannot be
irrli'r'rr:clfrom (a) and (D) in spite of the fact that the implication
t;Qt){:(h)(d) is correct (the third premiss may be omitted being
tlrrr'). 'l'hc aforesaid implication can be proved in the followi rrg w :ty:
l,r'l r <l<:notethe Morning Star, andT the Evening Star; then
(,t) it l..'/xx, (r) ir NLl2x which is equivalent to NLJxy, as
irllrrtity is :t symmetriial relation, and (d) is NJx2. We get thus
f lrr li,r'rrrrrf:rOLJxxCNLJx2NJx2 which is a correct transformaItorr ol rl rt' tnrc thesi s(l ).
'l'lrr rxrrrnplt:given by
Q;rine can now be verified by our fourv' rfrrl rl trr;rl t' i xthus: i f ' x' ar 'd'7' have t he sam e m eaning as
,
f rt= frrrr'thcn
r; hence LJxx : LJr l:
Lr : 2,
.fxx : Jrl :
| | f,'rrrr,l tlrrr t'xlrn;>lc in the mimeographed, Logic.lfotes, 16o, edited by the
$
lh l"u lri rrt 'l l)lrilrsoplry of the Canterbury University College (Christchurch,
N /, ), rrr,l rrrt to rnc lry ProfessorA. N. Prior,
r72
LO G I C
$so
Mro
Mrr
r 73
TW IN PO SSI BI LI TI ES
\' ,r
rurrl l fior.3.We get from M9 the matrix Mtz, and by rearrangenr('nt ol- the middle rows and columns of Mtz, 'the matrix MI3.
r23o
I
r2 3o
rr3 3
2
z
o
o
I2I2
IIII
3
3
r23o
r32o
J-
r23o
II33
I2I2
o
o
IIII
r32o
I122
o
2
I3I3
IIII
3
o
3
o
Mr3
Mrz
and
7Z. WM p,
t 74
74. CMMpMp
and
LO G I C
$sr
75. CWWpWp
AN D TH E FOU R - VAL U ED
and
52. CK6p6NpDq,
which is a transformationof our axiom 5r, we get the following
consequences:
Bo. CsKMpMNpDTp.
This result is confirmed by the matrix method. Accepting the
usual definition of Kpq:
u. CbNCpNqDKpq
g.;z CONTINGENCY
Forp:
Mt4,
r75
and we have:
tz KMpMNp:
,, f : 2:
r !: 3i
,, | : o:
SYSTEM
ss
,,
,,
KMrMNT : KtMo:
Kr3:3
w. c\KwpMNfirp.
r76
T HE
SYST EM
OF M ODAL
L OGIC
$sz
KtWo:
Krz :
z; Tr :
KW:ITINT :
KrIVo :
Kry:
3.
KtW3 :
Kr r :
t; T z:
KWzM Nz:
K zM3:
K q:
o.
K3 Wz:
K3 z:
o; T3:
KW3 M N3:
K tMz:
K rt :
t.
KJW| :
K3r : 3; fo:
KWoMNo:
KzMt
Kzt :
z.
88. CKMpMqMKfq
whichis asserted
in our system.c. I. Lewisin someof hismodar
Mr5
84. XKWpWNp
and
systcmsacceptsthe formula:
TIq. CMKPqKMPMq,
85. f KMpMNp.
and
@) rp : XNp : NXp.
86.NKXprp
and
87.Hxprp.
"''1"1;,
r78
LO G I C
$sz
reader will see this at once and some reader will not see this at
once' is obviously also true. It is, of course, not the same reader
who will see this and not see this at once. The example given by
Lewis does not refute formula BB; on the contrary it supports its
correctness.
It seems, however, that this example has not been properly
chosen. By the addition of the words 'at once' the premisses have
lost the character of contingency. Saying that the reader will see
this, or not, 'at once', we refer to something which is decided at
the moment of seeing. The true contingent refcrs to undecided
events. Let us take the example with the coin which is of the same
sort as Aristotle's example with the sea-fight. Both examples concern events that are undecided at present, but will be decided in
the future. Hence the premisses 'It is possible to throw a head'
and 'It is possible not to throw a head' may at present be both
true, whereas the conclusion 'It is possible to throw a head and
not to throw a head' is never true. We know, however, that contingency cannot be defined by the conjunction of Mp and MNp,
but either by Mp and WNp or by Wp and MNp, so that the
example quoted above does not fall under the thesisBB. It cannot
therefore disprove it. This was not known to Lewis and the other
logicians, and on the basis of a wrong conception of contingency
they have rejected the discussedthesis.
$:,:I
SOME FURTHER
PR OBL EM S
t79
s+. QMMpMp
rz J 4 5 6 Z o
rr3 3 5 5 77
3 r2 r2 S 6 S6
4 rrrr5 5 5 5
r2 3 4 r2 34
6 rr3 3 rr3 3
I
7
o
5
4
3
q
I2I2I2I2
IIIIIIII
3
3
5
5
7
Mr6
lrigrn'rr rlcnotcs,asusually,truth;o falsity;and the otherfigures
iu'e irrtclrrrcrliirtt:values between truth and falsitv. If we
t 8o
THE
SYST EM
OF
M ODAL
L OGIC
53
attentively consider the matrix Mr6 we shall find that the second
row of C isidenticalwith the column of M. This row consequently
representsthe matrix of possibility. In the same way all the other
rows of C, except the first and the last, represent some kinds of
possibility. If we denote them by Mrto Mr, we can state that
Mrfor z ( i ( 7 satisfiesall the axioms of possibility, viz.
gS.CpMt?,
*96. CMnpp,
*g7. M#.
CHAPTER
A RI S T O T L E ' S
VIII
MOD AL
SYL L OGIST IC
| ,ln
l) t,y tl
l l l l t,r
( ll
'
t 82
ARISTOT LE' S
M O DAL
SYLLO G I STI C
$s+
$:,4
M O O D S WI T H
PR EM ISSES
r83
t o5. CCAcbAcaCLAcbLAca,
irn<llrom ro4 and ro5 there follows the consequence:
ut6. CLAbaCLAcbLAca,
which is equivalent to ror. All the other syllogistic moods with
two apodeictic premissescan be proved in the same way without
rrr:wnxioms, laws ofconversion, reductioad absurdum,or arguments
lry ccthesis.
\ ,r,'. Moods with oneapodeiaic and oneassertoricpremissl
Syllogistic moods of the first figure with one apodeictic and one
rrsscrtoric premiss are treated by Aristotle differently according
to which premiss, the major or the minor, is apodeictic. He says
that when the major is apodeictic and the minor assertoric we
l{(:t :rn apodcictic conclusion, but when the minor is apodeictic and
thr: major assertoric we can have only an assertoric conclusion.2
'l'lris difl'crence will be made clear by the following examples
of
t lrr:mood Barbara. Aristotle assertsthe syllogism : 'If it is necessary
tlrrrt cvcry D should be an a, then if every c is a b, it is necessary
tlrrrt cvcry c should be an a.' He rejects, however, the syllogism:
'f f't:vcry D is an a, then if it is necessarythat every c should be a b,
it is ncccssary that every r should be an a.' In symbols:
(e) CLAbaCAcbLAca
(() CAbaCLAcbLAca
is asserted,
is rejected.
t84
ARISTOTL E' S
M O DAL
SYLLO G I STI C
$ss
$s:,
r 8s
ARISTOTLE'SMODAL SYLLOGISTIC
$sS
necessarilyA, i.e. by a permanent necessityof its own nature;
while what they do show is only that so long as all C is B, it is A,
not by a permanentnecessityof its own nature, but by a temporary necessityarising from its temporary sharing in the nature
of B.'
This argument is a metaphysicalone, as the terms 'nature of
a thing' and 'permanentnecessityof its nature' belong to metaphysics. But behind this metaphysical terminology a logical
problem is hidden which can be solvedby our four-valuedmodal
logic. Let us now turn to the syllogismrejectedby Aristotle.
186
premiss
andlne assertoric
moodswith oneapodefutic
$ 56. Rejected
Syllogism(() is as evident as syllogism(e). It is strangethat
Aristotle rejectsthe syllogism
(() CAbaCLAcbLAca,
though it is clear that this syllogismis on the samefooting as the
assertedsyllogism(e). In order to showits evidencelet us employ
the samepicture asbefore. If LAcbmeansthat everyc is connected
by a wire with a D,and every Dis an a, i.e. Aba,it is evidentthat
everyc is connectedby a wire with an a, i.e. LAca. Speaking
generally, if every 6 is an a, then if every c is connectedwith a D
in any way whatever,it must be connectedwith an a injust the
sameway. This seemsto be obvious.
The"most convincing argument that syllogism (() is sound
results from its deductive equivalence with the problematic
mood Baroco of the secondfigure :
(0) CAbaCMOcaMOcb,in words:
'If every D is an a, then if it is possiblethat somet shouldnot be
an a,it is possiblethat somec shouldnot be a 6.'This can be
illustrated by an example.Let us turn to our box from which five
numbers have been dra'fon, and let us supposethat every even
number drawn from the box (6) is divisible by Z @), i.e. Aba.
From this factual truth we can safely infer that, if it is possible
that somenumber drawn from the box (c) should not be divisible
by 3, i.e. MOca, it is also possiblethat somenumber drawn from
the box should not be aneaennumber, i.e. MOcb.This syllogism
seemsto be perfectly evident. In spite of its seemingso Aristotle
$16
r87
syllogism
(e) CLAbaCAcbLAca.
'fhis was seen by Theophrastus and Eudemus who refute (e)
using in another order the same terms which were applied by
Aristotle for disproving ((). Let b mean 'man', d-'animal', and
r-'being in movement'. They agree with Aristotle that the proposition 'Every man is an animal' is necessarily true, i.e. LAba,
ltnd they accept as factually true that 'Everything in movement
is :r man', i.e. Acb. The premissesof (e) are thus verified, but it is
obvious that the conclusion 'Everything in movement is an
:rnimal', i.e. Aca, is not necessarily true.z This example is as
I An.
ltr. i. g, 3o'28 En xai tx r6v 6pov Savepdv 6tc oix Eotan rd opnipaopa
,itayxatov, otov ei td piv A eitl xivqots, rd 6i B (Qov, d{'<! 6a rri I dv|panos' {Qov
ylv ydp 6 dv|panos i{ d.wiyxqs doti, xwettan 6i td {,iov oir 2( dvdyxls, oJ6' 6 dv0punos.
I Alt:xandcr
l z4.z I ril)ri xai ?zi rfs rills EewvJouor toAro EXovoinas , . . z4 td yi.p
rBB
$S 6
unconvincing as the corresponding one in Aristotle, for we cannot admit that the premiss Acb is factually true.
We can give a better example from our box. Let 6 mean 'number divisible by 6', 4-'nqslbs1 divisible by 3', 4nd 6-'sysn
number drawn from the box'. Aristotle would accept that the
proposition 'Every number divisible by 6 is divisible by 3' is
necessarilytrue, i.e. LAba,but it can be only factually true that
'Every even number drawn from the box is divisible by 6', i.e.
Acb, and so it is only factually true that 'Every even number
drawn from the box is divisible by 3', i.e. Aca. The propositions
Acb and Aca are clearly equivalent to each other, and if one of
them is only factually true, then the other cannot be necessarily
true.
The controversy between Aristotle and Theophrastus about
moods with one apodeictic and one assertoric premiss has led us
to a paradoxical situation: there are apparently equally strong
arguments for and against the syllogisms (e) and ((). The controversy shown by the example of the mood Barbara can be
extended to all other moods of this kind. This points to an error
that lurks in the very foundations of modal logic, and has its
source in a false conception ofnecessity.
$ 57. Solutionof the controuers2
The paradoxical situation expounded above is quite analogous
to the.difficulties we have met in the application of modal logic
to the theory of identity. On the one hand, the syllogisms in
question are not only self-evident, but can be demonstrated in
our systemof modal logic. I give here a full proof of the syllogisms
(e) and ({) based among others on the stronger L-law of extensionality known to Aristotle.
The premisses:
3.c L p p
fi. CCpqCLpLq
24. CCpqCCqrCpr
gg. CCpCqrCqCpr
toz. CAbaCAcbAca.
(Qov novti d.v|p<iny i(
(Qov rovrL xcvovp(v<p i(
,ivriyxrls, 6 dv9ponos
dvdyxrls.
SOLUTION
5s7
'I'hc deduction:
OF TH E C ON TR OVER SY
r89
rB . pl A ba, qfAcaxr oT
rc7. CCAbaAcaCLAbaLAca
gg. plAba, qfAcb, rf Acax Ctoz-ro8
rc9. CAcbCAbaAca
24. pl Acb, qlCAbaAca,rlCLAbaLAcax CroB-Cro7-ro9
rcg. CAcbCLAbaLAca
33. plAcb, qlLAba, rlLAcax Crog-r ro
(.)
rrc. CLAbaCAcbLAca
rB . pl A cb, ql Acaxt r r
t r r. CCAcbAcaCLAcbLAca
24. pl A ba, ql CAcbAca,r lCLAcbLAcaxCr oz- Cr r r - r r 2
(().
tlz. CAbaCLAcbLAca
We see that the syllogisms (e) and (() denoted here by r ro and
r12) are assertedexpressionsof our modal logic.
On the other hand, we get the thesis r 13 from r ro by the substitution bfa, and the thesis r14 from rrz by the substitution blc
and commutation of the antecedents:
try. CLAaaCAcaLAca
rt4. CLAccCAcaLAca.
navrl
xwoup(va
inepyira'
oJx,irc rd
r9o
ARTSTO TLE' S
M O DAL
SYLLO G I ST I C
$sz
rr3. xC*rrG-*rr5
*tr6. LAaa.
The apodeicticAristotelian law of identity must be rejected
like the apodeicticprinciple ofidentity LJxx.This is conformable
to our general view according to which no apodeictic proposition
is true. The consequentof t t 3, i.e. CAcaLAca,
cannotbe detached,
and the incompatibilitybetweenthe acceptanceof true apodeictic
propositions and the assertion of the stronger L-law of extensionalityis solvedin favour of the law of extensionality.I do not
believe that any other systemof modal logic could satisfactorily
solvethis ancient controversy.
I mentioned earlier that Aristotle tries to refute the syllogism
(() not only by examples,but alsoby a purely logical argument.
Asserting that the premissesAba and LAcb do not give an apodeictic conclusionhe says: 'If the conclusionwere necessary,
there would follow from it by a syllogismof the first or the third
figure that someD is necessarilyan a; but this is false,because
b may be such that possiblyno Dis an o." Aristotle refershere to
the apodeicticmoodsDarii and Darapti, sincefrom (() combined
with either of these moods we can derive the consequence
CAbaCLAcbLIba.The proof from Darapti runs :
r 17. CCpCqrCCrCqsCpCqs
rlz. CAbaCLAcbLAca (0
ttB. CLAcaCLAcbLIba (Darapti)
o
,r7. plAba,qlLAcb,rlLAia, slLlbaxCrn-CtrB-I rg
try. CAbaCLAcbLIba.
The proof from Darii gives the same consequence,but is more
complicated. Aristotle seemsto disregard the premissLAcb, and
interpretsthis consequence
as a simple implication:
*rzo. CAbaLIba,
which is obviously false,and must be rejected.Or perhaps he
thought that LAcb could be made true.by a suitable substitution
for c and dropped. If so he was wrong and his proof is a failure.
We seebesidesby this example how difficult it is to confirm the
validity of suchtheses,as I Ig, I I2, or r to, through termsyielding
I An. pr. i. g,
3ooz5 (continuation ofn. z, p. rB3) ei Trip Eott, oupBfioerar rd A
nvi rQ B indpyecv d( d,vd.yxt1s
6rd re toa rp<itrou xci 6rd ro0 rpirou oytipatos. toOro 5d
,!ei6os"iv6{6tat
yd.p rorcAtov elvor td B Qt lyTupet 16 A pqtev| indpyecv.
$sz
SOLUTION
OF TH E C ON TR OVER SY
rqr
r 92
ARISTOTLE' S
M O DAL
SYLLO G I STI C
$SB
CMAbaMIab
and
tzz. CMIbaMIab.
ry. CCpqCMpMq.
The same theorem, i.e. the stronger M-law of extensionalitn
enables us to establish the whole theory of syllogisms with possible premisses. By means of the classical calculus of propositions
we get from t9 the formulae:
CCpCqrCMpCMqMr
and
n5. CCpCqrCpCMqMr.
M O O D S WI T H
POSSIBL E PR EM ISSES
r93
moods. So, for instance,we get according to r24 from the assertoric mood Barbara by the substitution plAba, qlAcb, rlAca the
syllogism:
tz6. CMAbaCMAcbMAca.
Formula rz5 yields moods with one assertoricand one possible
premiss,it doesnot matter which, e.g.
tz7. CAbaCMAcbMAca
:zB. CMAbaCAcbMAca.
It is tacitly assumedthat particularly-negative possible propositions are not convertible.' We seefrom this that the laws of conversion of possible propositions are somewhat negligently treated
by Aristotle. He apparently does not attach any great importance
to the concept of possibility.
Formulae r2r-3 are correct and are easily deducible from the
analogous laws of conversion for assertoric propositions by means
of the theorem:
n4.
$s8
t3o. CMAbaCLAcbLAca
which is contrary to the peioremrule acceptedby Theophrastus
and Eudemus.
I think that Aristotle would have accepted-not, of course,
the last syllogisticmood-but the moodswith possiblepremisses,
in particular rz6 and re8. There is, indeed,in the PriorAnal2tics
an interestingintroductory remark to the theory of problematic
syllogismswhich, in my opinion, rrlay be applied to possibility as
well as to contingency.Aristotle saysthat the expression'Of anything, of which 6 is predicated, a may be predicated' has two
meaningsthe besttranslation of which seernsto be this: 'For all a,
if everycisa 6, then everyc may be ana',and 'For all c,if everyc
may be a 6, then every r may be an a'. Then he adds that the
cxpression'Of anything, of which D is predicated, a may be
predicated'meansthe sameas 'Every b may be an a'.I We have
thus two equivalences:'Every b rliraybe an a' meanseither ,For
all c, if every c is a b, then every c may be an a', or 'For all c, rf
cvery d may be a D, then every c may be an a'. If we interpret
'may' in the senseof possibility,we get the formulae:
I An. pr. i. 13,3zbz7 t6 ydp,'xe?'
o0 rd B, i A 2v}iyeoflaf toitav oqpaivet
0drcpov, ff 'xa|' o0 Atyetat i B' i 'xa|' o0 2v6lyetar Alyeolar' . rd D{ , xol, ot i B, td
A iv6(yeo0oi i'navri rQ B td A iyyapeiv'oJEtv 8rc{lper.
rg4
ARISTOTLE' S
M O DAL
SYLLO G I STI C
$sB
propoitiorc
of contingent
| 59. Laws of conaersion
Continuing his exposition of the laws of conversion of modal
propositionsAristotle saysat the beginning of the Prior AnaQtics
that universally-negativecontingent propositions are not convertible, whereasparticularly-negativeonesare.t
This curious statementdemandscareful examination.I shall
first discussit critically not from the point of view of my modal
system, but from that of the basic modal logic accepted by
Aristotle and all logicians.
According to Aristotle, contingency is that which is neither
necessarynor impossible. This meaning of the contingent is
clearly implicit in the somewhat clumsy definition of Aristotle,
and is expresslycorroborated by Alexander.2 Let us repeat in
order to ensurecomplete clearness:'/ is contingent-means the
sameas-1 is not necessaryandp is not impossible',or in symbols:
a8. QTpKNLpNLNp.
This formula is obviously equivalent to the expression:
5o. QTpKMpMNf,
i.e. the contingent is both capable of being and capable of not
being.
Formulae 48 and 50 are quite general and applicable to any
propositionp. Let us apply them to the universally-negativepropositionEba. We get from 5o:
t 33. QT EbaK M EbaA(J,IE ba.
As NEba is equivalent to lba, we also have:
I An. pr, i.
3, z5bl4 (continuation of the text quoted in n. I, p. r9z) 6oa 6i zr! <,is
inizd ro)'J xai tQ te$uxtvor \iyetu 2v3i76o0oc,. . . oJX ipoios (er iv teis ueplflxais dmoapo.rcis, dl)' fi piv xo06Aouorepqtu)1 rpdtao6 oix dmntpi$eq i Ed dv
pipet d,vttotp&fet2 See above,
$ +S, in particular nn. 3r p. I54 and tr p. t55.
$ sg
L A WS O F C ON VER SION
t9 5
ry4. QTEbaKMEbaMIba.
Now we can derive from the laws of conversion:
tzg. CMEbaMEab
and
nz.
CMIbaMIab
r96
ARISTOTLE' S
M O DAL
SYLLO G I ST I C
$rs
ry7. QTNpKMpMN\.
From 5o and r37 there resultsthe consequence:
ry1."WpTNp,
and applying this consequenceto the premissEbawe get:,
rgg. QTEbaTNEba
or
r4o. QTEbaTIba,
as NEba means the same as lba. We see that QTEbaTIba rs
justified by the definition of contingency,but that QTEbaTAbais
not. This last formula hasbeen acceptedby Aristotle by a mistake.
We shall understand tlds error better if we examineAristotle's
I An. pr. i. 17,
36b35 nptizov oiv 6erxr(ov 6tt oik dvrnrp!{er td 2v tQ iv6lyeo0et
orepqrrxdv, otov ei ti A iviiyetat p16evi rQ B, oix dl,iyq rai zd B iviiTeoiat
p1}evi tQ A. xeio0o yd.p toito, xoi iv}eyio9a i B pq}ev| tQ A ird.pyew. oJxofiv
inei dwtmpd$ovou of iv tQ iviiyoflot xaraSd.oec rais d,no$d,oeoqxat ai ivavtiac xoi
at dmueipeaq
rd 5t B tQ A iv}lyerac pl}evi Jmdpyew, $avepdv 6n xei nawi Ev
iviiyocro rQ A irdpyecv. ro0ro 6l ry'e06os.ori yd.p ei il6e tQ6e nawi ivilyctaq
xai
.rriEe zrp6e dvayxaiov. ,iot' oix ,iwtmp($et rd neprytmdv.
!ss
L A WS OF C ON VER SION
r97
r98
ARISTOT LE' S
M O DAL
SYLLO G I STIC
$ sg
Qt) QhrTAabHLOabLIab
which, again, is not justified by 48, whereas the correct formula
ru n s:
r44. QNTAabHLOabLAab.
From ()) and (pc)Aristotle may have deduced the equivalence
QNTAabNTEab, and then (c), which is not justified by his
defi nition of contingency.
$ 6o. Rectifcation of Aristotle's mistakes
Aristotle's theory of contingent syllogisms is full of grave mistakes. He does not draw the right consequencesfrom his definition
of contingency, and denies the convertibility of universallynegative contingent propositions, though it is obviously admissible.
Neverthelesshis authority is still so strong that very able logicians
havc in the past failed to sec these mistakes. It is obvious that if
somebody, Albrecht Becker for example, accepts the definition
aB. QTpKNLpNLNp
with p as propositional variable, then he must also accept the
formula:
t 4r. QTEabKNLEabNLNEab
which is derived from 48 by the subsritution plEab. And
since Qy valid logical transformations formula r4t yields the
"
thesis
r43. QNTEabHLEabLIab,
he must also accept r43. Yet Becker rejects this thesisin favour of
'structural lbrmulae'-a product of his imagination.r
The remarks of the foregoing section were written from the
standpoint of basic modal logic which is an incomplete systcm.
Let us now discussour problem from t-he point of view of fourvalued modal logic.
From the Aristotelian definition of.contingency we obtained
the consequence r3B, QTpTNp, from which we may deduce
the implication:
r See A . B e c k e r , l o c , c i t., p . r 4 , wh e r e fo r m u la T r r :4 8
wri tten i n another
symbolisrn, but with the propositional variable p, is accepted, and p. e7 where
formula r43 is rcjected.
$6o
RECTIFICATION
OF AR ISTOTL E'S
M ISTAKES
I9 9
t45. CTpTNp.
Now we get from the premisses:
(axiom of the C-"1/-6-1-system)
5r. CDpC6Np6q
(principle of Frcge)
r46. CCpCqrCCpqCpr
the consequences:
5r. 3lT'x t47
r+7. CTpCTNpTq
rag. QTpTq.
From r49 we get by substitution first the law of conversign r36
QTEbaTEab, then formula (r) QTAbaTEba which Aristotle
asserts,and formula (x) QTAbaTAaD which he rejects. We can
now determine where the flaw in Aristotle's disproof of the law of
conversion is : Aristotle is wrong in rejecting (rc).
Formula Qfpfq shows that the truth-value of the function Tp
is independent of the argumentp, which means that Tp is a constant. We know, in fact, from $ 52 that KMpMNp which is the
defniensof Tp has the constant value j, and therefore Zp also has
tlrc constant value 3 and is never true. For this reason Tp is not
suitable to denote a contingent proposition in Aristotle's sense,
sincc he believes that some contingent propositions are true.
f1r must be replaced by Xp or Tp, i.e. by the function 'p is X-continscnt'or its twin 'p is T-contingent'. I shall take into consi<lt'r:rtionmerely X-contingency, as what is true ofX-contingency
rvill :rlsobe true of I-contingency.
lf ir sl, I should like to state that the convertibility of universallyrrlr' ;rI ivt' r:ontingentpropositionsis independent of any definition
r rl r r rnl ins<'n<:y.
As Eba is equivalent to Eab, we must accept the
l , rrrrrrrl ;r
t,tt. O,\l ,.ha6E ab
;rrr,rrlirrl; (o tht: principle of extensionaliryCqpqc6p64, which
rl srrl l s l i orrr orrr:rxi om 5r . Fr om r 5o we get a t r ue st at em entf or
:rrry r,:rl rrcol ' 8, Ircnccal so f or E/ X':
2 oo
ARISTOTLE' S
M O DAL
SYLLO G I STI C
06o
r5t. CXEbaXEab.
Alexander reports that Theophrastus and Eudemus, unlike
Aristotle, acceptedthe convertibility of universally-negativecontingent propositions,Ibut saysin another passagethat in proving
this law they used reductioad absurdum.z
This seemsdoubtful, for
the only correct thing Aristotle had done in this matter was to
refute the proof of convertibility by reductio,a refutation which
cannot have been unknown to his pupils. Redurtio
can be usedto
prove, from CLIbaLIab, the convertibility of universally-negative propositions when they are possible (that is, to prove
CMEbaMEaD),but not when they are contingent. Another proof
is given by Alexander, continuing the former passage,but he
scarcely formulates it clearly enough. We know that Theophrastusand Eudemusinterpreted universally-negativepremisses,
Eba as well as Eab, as denoting a symmetric relation of disconnexion betweenb and a,t and they may have argued accordingly
that if it is contingent for b to be disconnectedfrom a, it is also
contingent for a to be disconnectedfrom ,.4 This proof would
conform with the principle of extensionality.At any rate, Theophrastus and Eudemus have corrected the gravest mistake in
Aristotle's theory of contingency.
Secondly, it follows from the definition of X-contingency:
Bz. CDKMpI4/NqDX7
that the so-called 'complementary conversion'cannot be admitted. QTpfNp is true, but QXpXNp must be rejected,because
its negation,i.e.:
ry2. NQXpXNp
is assertedin our systemascan be verified by the matrix method.
It is therefore not right in our systemto convert the proposition
t Alexander zzo. g @e6$paotosplvtot xai Eiiqpos . . . ,iwtmpi$ew
Qaoi xai rlv
xs06\ov &roSatwilv (scil. e'vDeXopivry) ditfi, Sonep d.wlotpeSe xai fi itd.pyouoe
xai ri dvayxaia. 4
xo4d\ou izoSatcri
2 lbid. zz3. g 66{et noi 6ui' ye rffs eis &6ivatov &nayoyffs 6$voo0at 6etxwo0er i7
xa06\ov droSonxl
ivieyoplry dworpi{ouoe.
fi oJrff 6e/fer rci oi taipor o&toA
xiypqmau
t See ibid. gr.
4-ro.
a lbid. zeo. rz dzr 5t dmrcrpi$eq \euvAow oirus' ei i A tQ B iv}iycrat
p16cvt, xai i B rQ A 2v6i7ptat p16oi. daei yd.p 2vitTetar i A tQ B p16et, 6te
dviiyctet pr16evi,tdte dviiyerat dzefe0y9ecrd A ndltav t6w roi B'.ei 62 roAt' , Eorct
tdre xoi td B rc6 A drefevypfuov' ei Et rooro, xoi rd B tQ A dv6476rerpq}evl
5 6o
RECTIFICATION
OF AR ISTOTL E'S
M ISTAKES
2ol
2 S een. t, p. I34.
2O 2
ARISTOT LE' S
M O DAL
SYLLO G I STI C
$6r
$6'
MOOD S
WITH
C ON TIN GE N T
P R E MIS S D S
2oq
,,i ,( f,\
i r i \t
yr tl u 'r r o t
ivieToplvq i
in'
' ,\fr x;rrrrl.r rlr.1 r r6t ydp ,is ini rd n\eiorov dro$otcxQ
i ) ,r t r ,r . a,',,r ,1,,'r ,^i 'r ' i Lr tor p( 6a.
ro J ro u 6 i x e t l t (v o v o u \ l o y rc p d s p t v E o t a 4 o i
-5
.
1,,)y S1,ri,'r1t,iLtr iy,,tr',,,is .,Jr<is nputne. Dtd xai ipoApcv zorjrcs rds ov(vyios
2o4
ARISTO TLE' S
M O DAL
SYLLO G I S T I C
$6t
16o. CXAbaCAcbMAca.
Comparing the rejected moods 154 and r55 with the asserted
moods r5g and 160,we seethat they differ only by the substitu- \)
tion of M for X in the conclusion. If we examine the table of
Aristotelian syllogistic moods with problematic premisses,given
by Sir David Ross,t we shall find it a useful rule that by this
small correctton, M in the conclusion, instead of X, all those
moods become valid. O-nly the moods obtained by complementary conversioncannbt be corrected,and must be definitively
rejected.
&yp/,mous te xai d,n),,Aoyiotous etvau -to ious Dt rci crizds toito i{optipevos clte
'i oi yivetac ouLAoyrr1tris'.Cf. W. D. Ross's paraphrase of this passage, loc. cit.,
"i
p.
- i326.
W. D. Ross, loc. cit., facing p. 286; in the conclusion the index c should cverywhere be replaced by P.
0 6e
T M P L I C A TION S
OF M OD AL
L OGIC
2o5
"\
20,6
ARISTO TLE' S
M O DAL
SYLLO GI S T I C
06e
$6e
I M P L I C A TION S
OF M OD AL
L OGIC
2o7
208
ARISTOTL E'S
M O DAL
SYLLO G I STI C
562
that nothing exists today which would Prevent there being a seafight tomorrow. If truth consists in the conformity of thought to
reality, we may say that those propositions are true today which
conform with today's reality or with future reality in so far as that
is predetermined by causes existing today. As the sea-fight of
tomorrow is not real today, and its future existence or nonexistence has no real cause today, the proposition 'There will be
a sea-fight tomorrow'is today neither true nor false. We can only
say: 'There may be a sea-fight tomorrow' and 'There may not
be a sea-fight tomorrow'. Tomorrow's sea-fight is a contingent
evnt, and if there are such events, determinism is refuted.
INDEX
,4, constant functor, means 'all-is'or'belongs
to all',pp. r4,77.
Aaa, axiom, p, 88; syllogistic law of identity independent of other theses,p. 45;
compared with the propositional law of identity, p. 48 ; used by Aristotle in a
demonstration but not stated explicitly, p. r49, n. r.
Aab, rneans 'all a is b' or '6 belongs to all a', p. 77.
ab csscad posscaalet cowcqucntia,known to Aristotle but not formulated explicitly,
pp. 135-6, n. r.
ab oporbrcad csseualct consequcntia,
known to Aristotle but not formulated explicitly,
p'r35'
adfakum scquitur quodlibet,p. t79.
d\ivarov, impossible, p. r34.
A enesi demus,pp.58,59, n. r.
affirmation, 'stronger' and 'weaker', pp. eo5-6.
A l exander, on defi ni ti on of the prem i s s ,p.4,n.4i
on i ndefi ni te premi s s esp.5,
,
n. 2 ; on variables, p. 8, n. z ; validity of moods not dependent on the shape of
vari abl es,p.g, n. 2; hi s proofofc onv ers i on ofthe E -premi s s ,p. to, n. r; on
non-methodically conclusive arguments of the Stoics,p. l5 n. I on formulations
of the syllogismswith 'to belong' and 'to be', p. 17, n. 3 i on the formalism of
the Stoics, p. 19 n.; knows the law of identity Aaa, p. zo,n. r ; quotes syllogisms as rules of inference, p. 2 r n. ; on Theophrastus' addition of five moods
to the first figure, p. 27,n.2; his definition ofthe first figure different from the
Aristotelian, p. 27, n.4; does there exist in the second figure a major and a
minor term $rjoet?, p.3r, nn. t-2; his polemic against Herminus' definition
of the major term, p. 3 r, n. 3 ; his own definition of the major term, p. 32, n, I i
I).2O,J,n.2.
rittttnts tptttors, rrr irnrnediate premiss.
Amrr,rrirrs, rrr r<.1:rri.nof logic to philosophy, p, r3 n.; scholium preserved with
l ri s l i agrrrcnts,p. j g.
2t O
INDEX
IN D E X
2rr
little known, p. t33; his modal syllogistic has many faults, p. t33; it presupposes a modal logic of propositions, p. 133 ; his four modal terms, p. t 34 ;
mistakenly assertsthat possibility implies non-necessity, p. r34 n.; accepts that
necessity implies possibility, p. r94; gives correctly the relation of possibility
to necessity, p. r 35, n. 3, and that ofnecessity to possibility, p. r 35, n. 4 ; knows
two scholastic principles of modal logic but does not formulate them, pp.
t35-6; presumes existence of asserted apodeictic propositions, pp. ry6-7, r43;
his laws ofextensionality for modal functors, p. r38, nn. 11; his proofofthe
M-law of extensionality, p. r 40 n. ; his definition of contingency, pp. I4o, r54,
n. 3; distinguishes between simple and conditional necessity, p. r44, n. r ;
mistakenly says that nothing follows necessarily from a single premiss, p. r44,
n.3; omits the sign of necessity in valid moods, p. 146; his doctrine concerning the necessary connexion between terms, pp, r48j;
his principle of
necessitn pp. r5r, n. r, r52, n. 2; his defence of indeterministic view, p. t55,
nn.2-3; two major difficulties in his propositional modal logic, p. I57; the
difficulties of his modal syllogistic can be explained on the basis of the fourvalued modal system, p. 169; his acceptance of asserted apodeictic propositions in the Iight of the four-valued system of modal logic, pp. 169-7o; his
acceptance of asserted contingent propositions in the light of the four-valued
system of modal logic, pp. r74-7;his modal syllogistic lessimportant than his
assertoric syllogistic, p, rBr ; states laws of conveision for apodeictic propositions, p. t8t, n. r; his syllogisms with two apodeictic premissesanalogous to
those with two assertoric ones, p. r82, n. r; his doctrine concerning moods
with one apodeictic and one assertoric premiss, pp. rB3-8, and its criticism by
Theophrastus and Eudemus, pp. 184-5, 187-8; his controversy with Theophrastus in the light of the accepted modal system, pp. r88-gr ; negleqts moods
with possible premisses, p. rgr; distinguishes two meanings of iv}ixeo0oq
p. rgr, n. a I treats laws ofconversion for possible propositions with negligence,
p. rg2; his introductory remark to the theory of problematic syllogisms,
p. t 93 n. ; denies convertibility ofuniversally-negative contingent propositions,
p. r94, n. r; his doctrine of 'complementary conversion', p, lg5, n. t; his
definition of contingency entails the,convertibility
of universally-negative
contingent propositions, p. t96; his doctrine concerning the convertibiliry of
contingent propositions criticized fronl the point of view of the basic modal
logic, pp. lg4-g; his moods with contingent premisses and conclusion are
wrong, pp. zor-z; his moods by'complementary conversion'should be rejected, pp. 2o2,2o4i erroneously disregardssingular propositions, p. eo4; his
propositional modal logic, in contradistinction to his modal syllogistic, important for phitosophy, p, 2o5; tacitly accepts the principle of bivalence,
p. 2o5; comes near to the conception ofa many-valued logic, p. zo5; his views
on necessity disastrous for philosophy, p. 2o5; his definition of contingency
wrong, p. zor, but his concept ofcontingency fruitful, p. zo7.
rri tlrrnctical interpretation of syllogistic, pp. r 26-9.
erithrrrctical laws, compared with syllogismsby the Stoics, p, r5.
rl pyrf,l ruri c truth, p.44.
nfierti()n, irrtrrxluced by Frege, accepted in Principia Mothcmatba, p, 94.
rrrrrlorii: llrupnsitions, defined, p. r34.
amrx'intive Inw of addition, without brackets, p. 78.
Averrorl, on (ialcn's fourth figure, p. 38.
lxiourr, of tlrc thcory of deduction, p. Bo; of thesyllogistic, p.88; of basic modal
k rgir',p. r 117; of tlre theory of identity, p. r 49 ; of the C-"1\f7.system,verified by a
rrretrix, p. t',(); ()l' rhc C-./V-6-1-system, p. 16z; of the C-O-ry-system,
p, t{ir rr,; ol thc four-valued system ofmodal logic, pp. 167-8.
212
INDEX
IN D E X
213
ofverifying its expressions,p. 163; its single axiom, P' t62; its rule ofsubstitu'
tion, pp. r6I-z; its rule ofdefinitions, pp. I63-6'
how to verify its expressions by means of the matrix method,
C-.4f7+ysiim,
pp. tS8-S; sec also classical calculus of propositions'
C-O-07-system, its axiom, P. 162 n.
commutation, law of, PP. Bz, 89' Io7.
commutative law of conjunction, p.6l; formulated in symbols, p' 84'
the
compound law of trans-position,inown to Aristotle, pP' 55-57; proved by
Stoics as rule ofinference, p. 59' n. I.
by
compound syllogismsof four termsl investigated by Galen, p' 39, n' 3; divided
B o e h n e r , P h . , p . I9 7 , n .3 .
brackets, notation without, pp. 78-79.
24 n''
B.a-aniip, thesis, p. 9e; caliid by Aristotle dvteotpopp(vos ou\)\oytop6s' PP'
n.
26
by
him,
proved
z5;
P.
p. 78; its two-valued matrix, p' I5B; its fourC,- sign of implication'if-then',
-valued
matrix, pp. 16o, 168; its eight-valued matrix, p' t79'
Camnes, thesis,p. 93; proved by Aristotle, p. e6 n'
Camenop, thesis,p. 93'
thesis, p. 93; formulated by Aristotle with transposed premisses' p' 34'
C.^"rt.ir,
n. 6.
Camestrop, thesis,P. 93.
'"ogito, ergo sum', not a principle but an inference' P' 2 I '
Crrte.ian'i.in"ipi.,
categorical system' P. 99.
Celarent, thesis,p. 9z; perfect syllogism' p' 44'
Celaront, thesis' p. 93.
Cesare, thesis,p' 92.
ir'
Cesaro, thesis,P. 93'
chain, p. Ie4.
Chrysippus, p. 8z n.
Cicero, p. 8e n.
logic' p' 167;
Jar.ical'"alcrrt,rs of propositions, should be preserved in any modal
t7B-9;
some of its principies oppo..d at first then universally accepted' PP'
sce also theorY of deduction.
pp' Bo' I65'
Clavius, commentator on Euclid, p. Bo; law or principle of,
p' I b3 ; mcmo<r
C-.ff-6-p-system, explained, pp. | 60-3 ; some of its important theses'
t8t. n. t.
t30'
corru.rrion of the,4-premiss, thesis,p.9r; mistakenly regardecl aslvrong' P'
p' t o'
conversion of the .E-piemiss, thesit, p. g i; proved syllogistically by Alexander'
p' 6o'
convenion q1 dr6 1-premiss, thesis, pi 9l-; proved by Aristotle by ecthesis'
n. r ; proof by i*i.tential q.tnttiifiit , pp' 6r-62 ; the latter proof in slurbols'
PP. 84-85.
conversion of the O-premiss, invalid, p' It' n. I'
conversion of the syllogism, P. 57.
C opl eston,Fr., S .J., P p. I' n. I, 12.
Couturat, L., p. rz6 n.
law of identity, different ftom Aaa, p' 48; deduced within the
Cee, pt.i*iii"nal
C-"lf-07-system, pp. 16z-3'
Cpg, implication means 'if p then C', P. 78.
values cxplained'
E, variable functor of one propositional variable, its range of
pp. r6t-2.
may be proved
nur.pti, thesis,p. gz; proved by Aristotle by ecthesis,P' 63, n' t ;
pP.
63-64.
quantifiers,
by cxistential
with transI)arii, rhcsis, p. 9r i perfect ryi"gir;-t, p. 44; formulated by Aristotle
poseclpremisses,p. 34, n. 5.
3.4',n 3i
l)utisi, axionr, p. BB;-formulated by Aristotle *ith-transposed Pt:Ttt:t:'p'
ol L and
E-tl.firiitions, explained, pp. r63-6; 8-definition of H, p' t64;8'definitions
M, p. r6{l; E-definitionsof X and T, p. t75'
ofdeduction'
<lecisi,,n, the pioblcm of, solved for the Cl.lf-flsystem of the theory
pp. l lr-it|; for the syllogistic, pp. rzo-6'
de<htction of syllogistical laws' pp. 9t-94.
r"l ati ue-i o.-om.-thttes , p' I07; defi ned' p' Ito; di fferent
deducti vc
"q,,i uo1",t.,.,
f.om c,rilina.y equivalence, p. I Io; requires rejection, PP' r09-ro'
214
I NDEX
IN D EX
2r5
four-valued system of modal logic, its primitive terrrr, pp. 167-8; its axioms,
p. 168; is rulcs of inference, p, 168; its adequate matrix, p. 168; some of its
odd coruequences,p. r78; a method of extending it into higher sysrems,pp.
r 7gF8o.
Frege, G., founder of modern propositional logic, p. 48; introduced assertion into
logic, p. 94.
Fresison,thesis,p. 93; proved by Aristotle, p. 25, n. 2.
functorial propositions, have no subject or predicates, p. r32.
functors, of syllogistic, 77; modal, r34; variable, introduced into propositional
logic by Ledniewski, p. r6r; the meaning of the simplest expression with a
variable functor of one propositional argument, pp. 16l-2.
Galen, divided compound syllogisms of four terms into four figures, pp. 3B-4o.
Gerhardt, p. t5r, n. 3.
Gohlke, P., his hypothesis concerning the composition of the Prior Analytics, p.
r33, n. r.
Il, sign of alternation, 'either-or', its definition, p. r64; its E-definition, p. 165.
Hermintu, modiFes the Aristotelian definition of thc major term, p.3r, n.3; misunderstands rcjection, p. 70, n. r.
homogeneous term, required by the syllogistic, p. 7,
ritr1, matter of the syllogism as opposed to its form, p. r4.
iroBdilew, term used by Philoponus for substitution, p, B.
hypothetical syllogism, law oll known to Aristotle, p.49, n.4; formulated, p.5r;
in symbols, p. 79.
1, constant functor, 6g2ns '566s-is'or
'belongs to some', pp. r4,77.
Iaa, law of identity, axiom, p. BB.
Iab, means 'some a is 6' or 'D belongs to some a' , p, 77.
identity, Iaws of, syllogistic Aaa and laa, p. 88; propositional, p. 48; principle otl
p. t 49 ; apodeictic principle of r {g ; axioms of the theory of, p. r49; the law otl
analytic, p. r4g; the law of, used by Aristotle in a demonstration, p. r49, n. z.
imnrediate premiss, d.peoosnp6raots, without a middle term betrveen its subject
and predicate, p. 44.
impcrfect syllogisms,moods of the second and third 6gure, p. 43.
i rrrpfi cati on,'i f p, then C ',p.78; defi ned as truth func ti on by P hi l o of Megara,
pp. 83, I46, I 58 ; its relation to the corresponding rule of inference, p. 22.
i rnportati on, l aw ol , pp. B 6, l B l .
irrrfclirrite Jrrcmiss,pp. 4-5i treated as particular, p. 5, nn. r-2.
itrrferrrrrnstr:rlrlepropositions, dvan66e*roq p. 49.
i trrl errrorrrtrrrl rlsyl
c l ogi smsof the S toi c s ,fi rs t, p. l 9; s ec ondand thi rd, p.58.
rrr,leprrrrlr.rrrr., prrxrli r:f independence of the axioms of syllogistic, pp. B9-go.
rrrrxIr tnrrr, r,l A ri stotcl i an l i l rmul ati ons , p. t8, n. r.
Ittl rtrrrr r, rrot ;r ;l roJxrsi l i ()n,p. 2 t.
rrl uul rl y trr,rny-v;rl rr<rl
rnocl alsy s tem,p. rB o.
i l rl rt ptrl i rl ton rrrri ;rl rl cs,Jr. t 7O.
l ol rrn"l l l nl rrr, ;r, .l (rrn l .
A , rrgrt ol r orri rrrrrti orr ';rnrl ', p. 7t|; i ts f< rur-v al uedmatri x , r75.
INDEX
216
I491
n ' z;itsa n a lyticch aracter,p'
A ris t o t l e b u t n o t s t a t e d e xp licitly,p .r 4 g ,
.double contingency'' p' I78; of contradiction and excluded middle for
of
X-contingency'and f-contingency, p. 176' , Leibniz, C. W., tti. arithmetical interpretation of the syllogistic, pp' I z6-9 ; quotes
a formulation of the principle of necessity, p' r 5 r '
Leiniewski, S., a thesis of his prbtothctic, p. I 56 ; introduces variable functors into
proporitiorral logic, p. Ibr; his rule for,verifying expressions.with -variable
ir,niao., of prop6sitional arguments, p' I63; his method of writing definitions,
P . 2o 5 n .
IN D E X
2r7
does not understand the implication 'if not-p, then p', p. 50; accepts AIexander's interpretation of proofs by ecthesis, p. 6o, n.4; does not understand
proofs ofrejection, p. 68.
majoi term, predicate of the conclusion, p. 3z ; wrongly dehned by Aristode, p. zB,
n. l; Aristotle's definition modified by Herminus, P. 3I, n. 3; Alexander's
opinion on this subject untenable, pP. 3t-32; classical definition given by
Philoponus, p. 32, n. 2.
material implication, defined by Philo of Megara, pp. t46-7.
matrix, two-valued, for C--lf7-system, p. r 58 ; four-valued, for same' p. t 6o I twovalued, for the four functors ofone argument, p. r63; four-valued, adequate,
for C, N, M, L, p. r 68 ; four-valued., for W, p. r 7z ; four-valued, for K, p', 75 ;
four-valued, for X and T, p. t76; eight-valued, for C, N, M, P- ,79.
matrix method, explained, pp. I58-6o; known to Lukasiewicz through Peirce and
Schrtider, p. r66; method of 'multiplying' matrices explained, pp. I5gF6o'
Meredith, C. A., on number of figures and moods for n terms, P' 42 ; on extended
systemsofthe propositional calculus, pP. t6o' I62 n'
middle term, wrongly defined by Aristotle for the first figure, p. 28, n. r ; rightly
defined for all figures, p. 29 n'
minor term, subject of the conclusion, p. 3a; wrongly defined by Aristode, p. e8'
n. z 1 classicaldefinition given by Philoponus, p. 32, n. 2.
M-law of extensionality, stronger, enables us to establish the theory of syllogisms
with possible premisses, p. rgz.
modal functions, p. rZ+.
modal firnctors, p. I 34 ; different from any of the four functors of the two-valued
calculus, p. I66; alt combinations of, reducible to four ineducible combina'
trons, p. I79.
modal logic, of propositions, presupposed by any modal logic of terms, p. 133 ; its
fundamental formulae, pp. t34-5; two scholastic principles of, pp. 135-6;
basic, p. I37; four-valued system ol, developed, pp. 166-9; three-valued
system oq unsatisfactory, pp. 166n., 167; eight-valued system of, outlined,
p. r79; infinitely many-valued system oll p. I8o'
modal syllogistic, less important than assertoric syllogistic, p. r8r; contains mistakes, p. r33; should be rebuilt, p. eoI.
modusponens,frrst indemonstrable of the Stoics, p. r 9; rule of detachment' pp. I6, 8I.
moods, with two apodeicticpremisses, pp. tBI-3; with one apodeictic and one
assertoric premiss, pp, 183-6; with possible premisses, neglected in favour of
moods with contingent premisses, P. r9l ; with one problematic and one
apodeictic premiss, yielding apodeictic conclusions, p' t93; with contingent
premisses, not likely to find a useful application, p. eot ; with problematic
premisses, a method of correcting them, p. zo4; obtained by complementary
conversion, must be rejected.
Mutsc*rmann, p. 5g, n. t.
.rtf,sign of ncgation 'it is not true that'or 'not', p. 78.
ne( cisilry connexions, of propositions, pp. I43-6 ; of terms, r4B-9.
rrcrcsity, its relation to possibility expressed symbolically, p. I35; simple and
r orxl i ti orral ,pp. r44, n. t, t5r-2; hy potheti c al ,p, l 5z ; A ri s totl e' spri nc i pl e of,
pl,. rr,l 4; prirrciplc of, interpreted as rule, pp. I5z-3; Aristotle's views on,
rlirrrrtrorn l'rrr plrilosophy, p. 2o5; Jz syllogistic necessity,
rregnti orr,prol xrri ti on:rl ,tl t:noted by oJ X ,i bythe S toi c s ,p.78, n. r.
ncgnti vr terrri , cxi hrrl crl by A ri s totl e from s y l l ogi s ti c ,p. 72.
rrrrrrrl rcr,l ryl krgi rti t' l i rrl ns :rnd v al i d moods , p. 96.
rrrrrrrllcrol rrrrrlctirlrrlrlc cxllrcssions,infinite without Slupecki's rule, p. ro3.
2rB
I NDEX
IN D EX
219
22O
INDEX
IN D EX
221
probably defined the first figure differently from Aristotle, p. z7; makes
conections to Aristotle's modal syllogistic, p. r 33 i on the meaning of necessity,
p, r5r, n. z1 makes explicit the distinction between simple and conditional
necessity, pp, r5I-2; his doctrine concerning moods with mixed premisses,
pp. I84 n., I85, IB7-8, rgr ;his peioremrule violated by a modal mood, p. r93;
acceptstheconvertibilityofuniversally-negative contingent propositions,p. zoo,
nn. I-4.
theorem of reduction, proved for the theory of deduction, pp. I I l-r5; for syllogistic, pp. r r8-zo.
theory ofdeduction, the most elementary part ofthe logic ofpropositions, pp. 49,
7gr83; invented by the Stoics as a system ofrules ofinference, p. 48; founded
in modern times by Frege, p. 48; placed at the head of mathematics in Principia Mathematica,p. 48 I reasonsfor introducing rejection into this theory, p. I o9.
theory of identity, axioms of, p. r49; difficulties resulting from the application of
modal logic to the theory ofidentity explained, pp. r70-r.
theory of probability, may have a link with modal logics, p. rBo.
therefore, sign of inference, pp. 2, 2I.
Oiors,order ofterms adopted by Aristotle for the three figures, p.33, nn. 3-5.
thesis, true proposition of a deductive system, p. zo; different from a rule of inference, p. zr; relation ofan implicational thesis to the corresponding rule of
inference, p. ez.
Thomas, Ivo, O.P ., p. r4 g, n. 2.
traditional syllogism, a rule of inference, pp. 2 r -23 ; different from the Aristotelian,
p. zr; neither true nor false, only valid or invalid, p. zt; weaker than the
Aristotelian syllogism, pp. 22-29.
transposition, law of, known to Aristotle, p.49, n.3; its symbolic form, p. Bg;
compound law of transposition, proved by the Stoics, p. 59, n. I.
Trendelenburg, F. A., does not distinguish the Aristotelian syllogism from the
,
n,2; on the pri nc i pl e of
tradi ti onal , p.22; on the order of premi s s esp.33,
division of syllogismsinto figures, p. 36.
twin contingencies, p. t76.
twin necessities,p. r7+,
twin possibilities,explained, pp. r72-4.
Ueberweg, Fr., pp. 36, 39.
undecidable expressions,p. rclo; infinite in number, p. ro3.
universal premiss, p. 4.
universal term, p. 4.
unumquodque,
quandocst, oporletcsse,a principle of necessity, p, I5t.
ulraquesi praemissanegetnil inde sequctur,connected with Slupecki's rule of rejection,
p.ro3'
V :ri l ati , C ., p. 50, n. 4.
v;rl i rl i ty, propcrty ofi nfere nc es and rul es ofi nferenc e, p. z I.
vurinlrlr.s,intrtxlucecl into logic by Aristotle, pp. 7-B; truth of syllogismsdoes not
rl eperrrlorr shap<'ofva ri abl es p.
, g, n. z ; i denti fi c ati onofv ari abl es not k now n
to A ri stotl r',p. ry; thei r ex tens i onalrel ati onsc annot be determi ned, p. 29.
vcti l i r,rti otr ol ;i -rxl )rcssi ()nsex
, pl ai ned, p. I63.
utrum vqnitur arl '1uillihl, p. r79.
vorr Wri gl rt, (l l l ,, l ). I.)1 l l .
l /, r orr:t.i l rt l i rrrrtrrr, i ts l l rrr-v ;rl rrc rlmatri x , p. r7e; i ts rel ati on to i ts tw i n func tor
Il , pp, r 72 .l i rl $ r,rl c i rr tl c l i ni ng c onti ngenc y ,pp. t75-6.
thetradisv'es1sm-rro1
*, .igJl?1lr,t:"*
iil,.,,*., p.vii;adocs
for changing the
Apuleius
censuretr
n'
p'
24
;
criticisi,
to<tuai
tional, p. ze ;
order of Premisse,P. 33' n' l'
Wallies, M., P. 39.
fi-,, seePrircifu Matlunatica'
i{nit.tt."a,-4.
x.constantfunctorritsfour-valuedmatrixrp.IT6;itsMefinition'p'r75;its
-' -i.r.tio"
to ia twin functor f ocplaincd' PP' 175-7'
f-constantfirnctor,itsfour-valuedmatrix'P'q')its&definition'p'r75'its
-' -*r"ti""
t iu trrin functor x ocplained' pp' t75-7'
Zcllcr.,E.'P.49.