Jan Lukasiewicz Elements of Mathematical Logic
Jan Lukasiewicz Elements of Mathematical Logic
PURE A ND A P P L IE D M A T H E M A T IC S
G e n e r a l E d iitt o r s : I. N. Sn e d d o n and M. St a r k
E x e c u t i v e E d iitt o r s : J. P. K a h a n e , A. P. R o b e r t s o n and S. U l a m
VOLUME 31
ELEMENTS
OF MATHEMATICAL LOGIC
JAN LUKASIEWICZ
ELEMENTS
OF MATHEMATICAL LOGIC
by
OLGIERD WOJTASIEWICZ
PERGAMON PRESS
OXFOR D • LONDO N ■EDINB URG H ■NEW YORK
TO RO NT O • PARIS • BRA UN SCH W EIG
Copyright 1963
by PA
PANS
NSTW
TWOW
OW E W YD
YDAW
AW NI
NICT
CTW
W O NA UKOW
UK OW E
(PWN — POLISH SCIEN TIFIC PUBLISHERS
PUBLISHERS))
WARSZAWA
Original Title:
Elem
El ement
entyy lo
logik
gikii mat
matem
ematy
atyczn
cznej
ej
WARSZAWA, PWN
Second Edition 1958
Librar
Lib raryy o f Congress Catalog Car
Cardd N o. 63-10013
Printed in Poland
(1487/64)
CONTENTS
P re
r e ffaa ccee tto
o t h e S eecc o on
n d E d i t i o n ......................................................... v ii
A u t h o r ’’ss P r e ffaa c e tto
o t h e F i r s t E d i t i o n ............................................ ix
I. In
Intro
trodu
ducti
ction
on......
.............
.............
.............
..............
.............
.............
.............
.............
..............
.............
.............
.............
.............
.........
.. 1
1. Trends in Mathematical Logic. Mathematical Logie
V e rs
rs u s P h il
il o so
so p h
hii c aall L o g i c ................................................ 1
2. Theorems and Rules of Inference. The Sentential
Logic and the Term Logic ................................................. 9
II.
II . Th
Thee Se
Sent
nten
enti
tial
al C a lc u lu s ...................................................................... 22
3. Th e Pr im it itiv
iv e Ter ms an d th e A x iio o ms o off th e Sen ten ti tial
al
C a l c u l u s .......
.............
.............
.............
.............
..............
.............
.............
..............
.............
.............
.............
.............
.........
.. 22
4. Definitions and Rules of Inference in the Sentential
C a l c u l u s ......
.............
.............
.............
..............
.............
.............
..............
.............
.............
.............
.............
..............
.........
.. 31
5. T h e or
ore m s o off t h e S e n t een n t iiaa l C a l c u l u s ............................... 41
m . Sele
Selected
cted Problems from the M
Metho
ethodolo
dology
gy o f the Senten
Sentential
tial C
Calc
alculu
uluss 67
6. The Consistency and the Independence of Axioms
o f t h e S e n ttee n ttii a l C
Caa lc
lc u
ull u ss.. M a n y
y-- v aall u eed
d Lo
oggic. . . . 67
7. T h e C oom
mp pll e t e n e s s o f t h e S e n ttee n ttii a l C aall c u lu s . . . . 81
92
8. Quanti
Quantifi
fiers
ers.. Rules o
off Infer
Inference.
ence. T h e s e s .......................... 92
V. Aris
Aristotle
totle’’s S y l l o g i s t i c ...
......
......
.......
.......
......
.......
.......
......
.......
.......
......
.......
.......
......
......
.......
.......
......
.......
.......
......
.....
.. 103
9. A xi
x i o m ss.. D e f iin
n iitt iio
o n ss.. R u llee s o f I n f e r e n c e ...................... 103
10. Th eses of A ris to tle ’s S y l l o g i s t i c .. ....
....
....
....
....
....
....
....
....
....
....
....
....
....
....
....
....
....
....
.. 107
119
The List of Works Quoted ................................................................... 122
PREFACE TO THE SECOND EDITION
system
as form of axioms
ulated of the
b y .Dr sentential
Tarski (ef . pp. calculus
(ef 49 and based
98
98)). on implication,
I owe most, however, to the scientific atmosphere which has
developed in Warsaw University in the field of mathematical logic.
a u t h o r ’s pr e f a c e t o t h e f ir s t EDITION XI
1. George
George Boole,
Bool e, an E nglishnglish m athem atician atician who li li ved
in the mid-19th century, is considered the founder of
m at h em at ical
ical l o g ic.
ic. H i s f u n d am en t al w o rk r k , p u b li
l i sh ed in
in
1854,
185 4, is e n titled
titled A n I n v e s t i g a t i o n o f t h e L a w s o f T h o u g h t [2].
I n h i s an al y si s B o o l e st ar t ed f r o m t h e o b ser v at i o n t h at
the general laws of thought, with one exception, are
strictly
stri ctly analogous to to th e lawlaw s of m athem atical atical algebra.
algebra.
L e t u s c o n s id id e r t h e m a th t h e m a ti
t i c a l l a w o f c o m m u tata
tiv ity of m ultip ultip li lica
ca ti
tion
on , w hich Boole sym sym boli
bolizes as:
soy = y x \ i n c o n f o r m i t y w i t h t h a t l a w , t h e p r o d u c t o f a n y
two num bers is is n o t changed w hen th th e order of its elem ents ents
is reversed. The letters x a n d y w h i c h a p p e a r i n t h e l a w
o f co m m u t at atii v i ty
t y ar e v ar iab i ab l es wh o se s e v alu
al u es ar e ex
p re s s io n s t h a t s t a n d f o r a n y n u m b e r s , f o r t h a t la w is
correct for all numbers. Boole also uses variables, but
th e ir values are expressiexpres sions ons stan din g for clas cl asses
ses of ob jects.
I n t h u s d ef i n i n g t h e r an g e o f t h e v ar i ab l es, B o o l e i n t er
p r e t s t h e e x p r e s s io n x y as denoting the class of objects
t h at b el o n g b o t h t o t h e cl ass x and to the class y . If, for
instance, x is the class of white objects, and y is the class
of sheep, then in Boole’s interpretation x y is the class
of those objects which belong both to the class of white
objects and to the class of sheep, and thus is the class
of w hitehite sheep.
sheep. By interp retin reti n g va ri riab
ab l es and m ultipli
ultipli
cat i o n i n t h i s way B o o l e n o t i ced t h at t h e l aw o f co m m u
t a t i v i t y : x y ~ y x remains valid if we apply it to classes
of objects. Eor the class of those objects which belong
b o t h t o t h e c las la s s x and to the class y is identical with
2 I. INTRODUCTION
bclass
o t h txo. Thus,
t h e c las
lae.g.,
s s x the
an d class
t o t h eofclthose
ass x objects
, an d h en ce fo
which fo rm
rbelong
m th e
b o t h t o t h e c las la s s o f m e n a n d t o t h e c la lass s o f m e n is t h e
clas
cl asss of m en. Y et in m athe m atical atical algeb
algeb ra th th e law
law :
x x = x is not true for every value of the variable x . W e
k n o w t h a t t h e e q u a t i o n x 2 = x , as an equation of the
second degree, has only two solutions, in our case the
values 0 and I. Taking this fact into account Boole con-
cluded that in the algebra of logic all those laws are
v a l i d w h ichich ar e t ru r u e i n m at h em at icalical alg
al g eb r a w h en th
th e
values are limited to the values 0 and 1. For with this
r est r i ct i o n t h e l aw x x — x is tru e for aU values of th e
variable x , since we have: 0 *0 = 0 a n d 1 * 1 = 1 .
TRENDS IN MATHEMATICAL LOGIC 3
x ( 1 —«c) = 0 .
If, fo r instan
instan ce , x is the class of men, then this law states
th a t the clas
classs of th
th e objects
objects bel
bel onging
ongi ng b o th to the class
class
4 I. INTKOUUCTION
works
lived inthat the the
second German half of logician
the 19th Ernst Schroder,
century (d. 1902), who
b a s e d h is r e s e a r c h e s ; h e is t h e a u t h o r o f t h e m o s t c o m
p re h e n s iv e w o rk o n m a t h e m a tic ti c a l lo g ic so f a r , t h e th r e e -
volume study entitled Vorlesungen iiber die Algebra der
L o g i k [28],
Sch roro d er ter
ter m i n at es t h a t t ren r en d i n m at h em ati at i cal lo gig ic
which was based on the applications of the algebraic
m e t h o d x. F o r a lo g ic ic ia
ia n c o n n e c tete d w i t h t h a t t re
re n d m a t h
em ati
at ics was the m odel of how to proceed in research, resear ch,
an d som eti etim es even an au x il iliary
iary discipli
discipline.ne. Boole
Boole em ployed
fairly
fair ly diffi
dif ficult
cult m athem atical atical theorem
theorem s in order to to prese nt
and prove some of the results he obtained in his logical
research.
res earch. E x terna lly lly th e algeb
al geb ra of logic ogic used m athem atical atical
symboliism. Problem
symbol Problem s w ere ere form
f orm ulated
ulat ed in a m athem atical atical
w ay, e.g.e.g.,, m any references
references w ere m ade in the algebra of
logic to solving logical equations.
2. The founder an d rep resen tative tat ive o f the othe r tr tren
en d
i n m athat h em ati
at i cal lo g ic ic was th t h e G erm erm an m ath at h em atiat i cian
ci an
Gottlob Frege, who Kved in the second half of the 19th
and in the early 20th century. In 1879 he published his
first w ork
or k on m athe m atical logic,
ogic, en ti
titl
tled
ed B e g r i f f s s c h r i f t [3].
TRENDS IN MATHEMATICAL LOGIC 5
m atics,
atics, for Fre ge ’s l ogic w as to to serve
ser ve ab ov e all to lay
th e foun da t ions of arith arith m etic; consequen t ly, the use us e of
arith
arit h m etical ssym ym boli
bolism in logi logicc w ould
ould l ead to an am -
b i g u i ty o f s y m b o ls.
ls . T h is is .th e f i r s t d if
iffe
fe re n c e b e tw e e n
t h e t r en d r ep r esen t ed b y Fr eg e an d t h e al g eb r a o f l o g i c.
losoph
ogic
ogi c iw hich
hi chlogic
cal we ha isven olearned
is t a hom inogeneous
seconda rydisci
disschoo
sc hool
cipli l. P bh u
pline,
ne, il-
t
contains issues of diverse content. In particular, it en-
croaches upon psychology when it refers not only to sen-
tences in the logical sense of the word, but also to those
p s y c h ic p h e n o m e n a w h ich ic h c o r r e s p o n d t o s e n teten
nces a n d
which are called *‘judg m en ts” o r “propo sit sit i ons” . Com-
b in in g lo g ic w i t h p s y c h o lo g y is a r e s u l t o f a n e r ro n e o u s
inte rp reta tio tio n of th e sub j ect m a tter of logical ogical res e arc h a.
I t is often said th a t logi logicc is is the sci science ofof th e law law s of
thought, and since thinking is a psychic act, therefore
logic should form part of psychology. It might as well
b e a r g u e d t h a t a r ith it h m e t i c is a p s y c h o lo g ic a l d isiscc ip lin
li n e
b e c a u s e i t is c o n c e rn e d w ith it h a d d in g a n d m u ltip lt ip ly in g
n u m b er s an d r ai si n g t h em t o p o wer s, an d t h er e i s n o
d o u b t t h a t ad d i titi o n , m u l ti
ti p l icat
icat io
io n an d r aisi
aisinn g t o a p o wer
are psychic acts. T e t no one clai claim
m s tha t, arit
arith h m etic
eti c isis
p a r t o f p s y c h o lo g y . L ik e w isisee , lo g ic is n o t p a r t o f p s y c h o l-
ogy. The psychological issues connected with the process
o f t h i n k i n g m u st b e i n v est ig
ig at ed b y q u i t e d i ff
ff eren
eren t m eth
eth o d s
from those used in logic.
Philosophical logic also includes certain epistemological
2 *
8 I. INTRODUCTION
p r o b le m s , e .g ., t h e p r o b le m o f w h a t is t r u t h , a n d w h e th e r
t h er e isis an y cr it it er io
i o n o f t r u t h . T e t th th ese m at ter
t er s als
als o
do not belong to logic: as we shall see later, it is possible
t o b u i l d w i t h m ax im i m u m p r ecisi
ecisio o n lo
l o g i cal sy
s y stem
stem s i n w h ich
ich
n o ref
refereren
en ce w h at ev e r wil wi ll b e m ad e t o t r u t h an d f alse
alseh h o o d.
d.
The problem of truth belongs to those epistemological
issues w hichhich a re ex trem trem ely difficu
difficu lt to solve,
solve, hav e so far
b e e n r i d d e n w i t h o b s c u r ity
it y , a n d p r o b a b ly w ill
il l n o t b e
solved soon.
If we remove from philosophical logic all those issues
which belong to psychology, epistemology and philosophy
i n g en er al , t h en wh at r em ai n s wi l l co n st i t u t e wh at i s
called ffo o r m a l l o g i c , containing logical issues proper. And
these issues of philosophical logic do not differ from
t h e iss
issu u es o f m at h em at ical
ical lo g ic,
ic, b u t t h ey ar e t r ea t ed b y
p h ilo
il o s o p h e r s w i th m u c h les
le s s p r e c is io n t h a n b y m a t h e m a t -
ical logicians.
ogicians. P hiloso hiloso ph ical logic, from th e beginning
of m odern ph i l osophy up to ou r tim tim es, has suff suff ered
er ed
a serious
serious declidecline. If one m ay sp eak o f a kinsh ip of m ethod et hod s
used in i n form
for m al l ogic
ogi c an d in m athem atical atical logic,
ogic, this can
only refer to ancient logic. The ancients created certain
l ogical
ogi cal system
syst em s, stillstill ve ry im pe rf rfect
ect b u t which ce rt rtainly
ainly
can be considered the first stages in the development of
con tem po rary syst s ystem
em s of m athe m atical logic. ogic. Cons
Co nse-e-
qu en tl tly,
y, if m athe m atical logic is opposed to t o philosophical
philosophical
logic, this pertains principally to modern and most recent
t i m es. In fac t, the re are n o t t w o logics ogics,, m athem atical
atical
and philosophical; there is only one logic, founded by
Aristotle, completed by the ancient school of the Stoics,
and pursued, often with great subtlety, by medieval
logicians, and it is that logic which is developed by
m athem atical atical logic.
ogic. The reali realiza
za tition
on of th a t u n it ity
y of logic
ogic
is already gaining ground, and some authors cease to use
th e term “ m athem atica atica l l ogic”
ogi c” . The rec r ec en t {1
{1928) book
b y D . H i l b e r t a n d W . A c k e r m a n n b e a r s t h e t i t l e Grundziige
der theoretischen LogiJc [ 6 ] and con tains tains a n exp ositi
ositi on of
THEOREMS AND RULES OF INFERENCE 9
m athe m atical logic. ogic. If the p rese nt lectures lect ures 3 are e n titl
titled
ed
P r i n c i p l e s o f M a t h e m a t i c a l L o g i c , this is only in order
t o em p h asi as ize w h a t w il l h e t h e i r t rren en d an d m et h o d 4.
Al l m en ar e m o r t al ,
All Poles are men.
Th erefor
ereforee a ll Po l es a re m ortal.
Aristotle of Stagira, a Greek philosopher who lived
in th e fo u rth ce n tury B.O. (d. 322 322 B. C.)C.), isis considered
considered
the founder of logic and, in particular, the author of
th e syllogi
syllogismsm qu oted ab ov e ®. A risto
risto tle
tle w as in fa c t th e
author of a logical theory which might be called the
theory of syllogism and which, as we know today, is only
a sm all frag m en t of th e whole of logic. ogic. Philoso
Philoso ph ers,
how ever,
ever, w ere ere so fascinated
fasci nated b y A ri ristot
stotle’
le’ss w ork th a t
the y often
oft en asserted
assert ed th a t the w hole
hole of logicogic was con- con-
tained in the theory of syllogism and that that theory
was a complete and perfect discipline. Such a view of
A ristotl
ristotle’
e’ss syll
s yllogis
ogisttic was held by Im m anu el K an t. These
facts testify to the great authority enjoyed by Aristotle,
b u t a t t h e s a m e t im e to t h e d e c lin e o f lo g ic
icaa l th in k in g
in the case of modem philosophers. Aristotle’s work is
v er y r em ar k ab l e; i n h i s o wn t i m e i t was t h e p r o d u ct
of a genius, yet it is but a tiny fragment of what we
know about logic today.
10 I. INTRODUCTION
Pr an t l , wh o l i v ed i n t h e m i d - 1 9 t h cen t u r y .
The difference between the two forms of syllogism,
as given a bov e, is is ve ry esse ntial. A risto
risto tl tle’
e’ss syl
sylllogism
ogism (II )
is a conditional s entence , wh i ch h as an an t eced en t an d
a co n seq u en t : t h e an t eced en t i s co n t ai n ed b et ween t h e
words “if” and “then” and consists of two clauses con
nected by the word “and”, and the consequent follows
t h e wo r d “t h en ”. T h u s t h e en t i r e sy l l o g i sm f o r m s a single
sentence, a complex sentence. On the other hand, the
traditional
b u t c o n s ists syllogism
is ts o f t h r e e(I)s edoes
n te n c not
e s : tform
h e f iar s single
t tw o sentence,
s e n te n c e s
ar e n o t co n n ect ed b y t h e wo r d “an d ” i n t o a si n g l e wh o l e,
an d t h e ex p r essi o n “t h er ef o r e” d o es n o t , as d o es t h e
expression
expressi on “if ... ... th e n ” , com c om bine
bine t w o sentences
sentences into
a com plex
pl ex sentence.
sentence. W h at is is tht h e diff
dif f erence
ere nce betw een th th e
expressi
expres sions
ons “ therefo re” a nd “if .. .. . tth
h en ” ? T he express
expressiion
“t h er ef o r e” i s u sed wh en we d r aw co n cl u si o n s. I n t h e
exam ple of syll syll ogism
ogism I , as given above , from from the sentences
sentences
“ A l l m e n a r e m o r t a l” l ” a n d “ A l l P o le le s a r e m e n ” w e
d ed u ce t h e sen ten ten ce “ A ll Po les les ar e m o r t al” al ” . T h e i n
ference is considered correct only if the sentences from
which we start—the premises—are considered correct.
THEOREMS AW'D RULES OF INFERENCE 11
I f i n sy l l o g i sm I we su b st i t u t e “m an ” f o r M , “ p l a n t ”
f o r P , an d “ Po l e” fo
f o r S , we o b tain th e foll
follow ing syl
sylllogism
ogism :
Al l m en ar e p l an t s.
All Poles are men.
a rule of i nference.
nfer ence. F o r us, th a t d iff
fference
erence is of an essential
essenti al
n at u r e, an d i n t h e f u t u r e we sh al l em p h asi ze i t m o st
strictly in our considerations.
5. A fter
ft er A ristotl
ristotle,
e, logic
ogic in a n ti tiq
q u it
ityy w as devel-
oped in the school school of o f th e S toics 8. Its found er in th e
3rd century B.C. was Zeno of Edition (Citium), and its
most outstanding representative was Chrysippus. The
writings of the Stoics have not been preserved until our
t im es, a nd only fragfr ag m en ts of Stoi
Stoicc logi
logicc ha ve reac hed us.
Th e Stoics
Stoics also
also fo
fo rm u lated
lat ed ce rtain syll
syllogisms,
ogisms, an exam plepl e
of which is the following formula:
I f p j then g.
Ill Kow p.
Therefore g.
Like the traditional syllogism, the syllogism formulated
above is a scheme of inference. In all probability it was
p r e c ise
is e ly u n d e r t h e in flu
fl u e n c e o f t h e S to ic s y llo
ll o g is
ismm th a t
trad itio
itio n a l logic use d to form ulate A risto risto tle’
tle’ss sylsylllogisms
ogisms
as schemes of inference and forgot about the original
Aristotelian form of the syllogism. The rule of inference,
the scheme of which is the Stoic syllogism as given above,
T H E O R EM
EM S A N D R U L E S O F I N F E R E N C E 13
w ould
ould be: w hoever r ecogni
ecog nizes
zes sentences
sentences of th t h e ty p e “I f p ,
t h e n 3 ” and “p ” , is en ti
titl
tled
ed also
also to
t o r ecognize
ecognize the sentence
sentence
of the typ e “ g ” . Th i s rulerule is
i s w ha t is call
cal l ed the rule of
det achment (or: m o d u s p o n e n s — T r .) , o n e o f t h e s im p le s t
rules
rul es of i nference, to b e m et in e ve ry logical logical system
system .
The following scheme is an example of the application
of that rule:
I f t o d ay i s Fr i d ay , t h en t o m o r r o w i s Sat u r d ay .
N o w t o d a y is F r i d a y .
Then tomorrow is Saturday.
I t is possi
possibl
blee to
t o form ulate a logical
ogi cal t heorem w hichhich
w ould
ould be in a sim i l ar rela tio
tio n to the said rule
r ule as A ri
ristotl
stotle’
e’ss
syllogism is to traditional syllogism. The theorem in
question is:
IV I f (if p , t h e n q) a n d p , t h e n q.
This theorem is a conditional sentence, as is syllogism II.
I t s an t eced en t o b v i o u sl y i s “( i f p , t h en q) a n d p ” , i t s
consequent, q. T h e an t eced en t i s a co m b i n at i o n i n t o o n e
sentence, by means of the word “and”, of two sentences,
the first of which is in turn a conditional sentence.
W ha t is i s the diffdiffer
erence
ence b etwetw een syl sy llogism
ogism I I and
syllogism IV? In both cases variables do occur in the
syllogisms: M } P , 8 i n t h e f o r m e r , a n d p , q i n t h e l a t t e r .
The essential difference as between these variables per-
tains to the values which th t h ey can assume.
as sume. In A ri ristotl
stotle’
e’ss
syllogism only t er ms can be values of th e variables; variabl es;
m oreover,
oreover , this pe rtainrt ain s only to gen eral nam es, i . e., such
as m ay ser v e as p r ed i cat es t o m o r e t h an o n e o b j ect . T h ey
m a y b e s u c h te te rm
rm s a s “ a P o l e ” , “ a p l a n t ” , b u t n o t
individua l term ter m s such as “A ristot
ristotle
le of
o f S tagira” , or em pty
term
ter m s, i.
i. e., which
whic h can no t sserve
erve as predicates
predicat es to an y object,
e.g.,, “ chim era” , “ a squa re circl
e.g. circle”
e” , etc.
et c. O n th
th e other han d,
t h e v al u es o f t h e v ar i ab l es i n sy l l o g i sm I V m ay n o t b e
t er m s. Sh o u l d we su b st i t u t e f o r t h e v ar i ab l es p an d q
14 I. INTOODUCTIOK
s o m e t er m s, e.g
e.g .,
. , “ a m an ” an d “ a p l an t ”, r esp
e sp ecti
ecti v ely
el y ,
we would obtain:
If (if a man, then a plant) and a man, then a plant.
This exp ressi
re ssion
on w onld be n either tru e n o r fal false;
se; m oreover
or eover,,
it w ould
ould no t be a sentencesent ence a t a l l ; it w onld
onld be a m eani
ean ingles
nglesss
expression. Only sentences m a y b e t h e v a l u e s o f t h e
va riab
riab l es in syl
s ylllogism
ogism IY . As in in scheme
scheme I I I , in syll
syllogism
ogism IV
w e m a y s u b s t i t u t e f o r p t h e sen t en ce “t o d ay i s Fr i d ay ”,
an d f o r q t h e sen t en ce “t o m o r r o w i s Sat u r d ay ”, an d we
obtain the following true sentence:
If (if today is Friday, then tomorrow is Saturday)
an d t o d ay i s Fr i d ay , t h en t o m o r r o w i s Sat u r d ay .
Terms and sentences are quite different categories of
expressions,
expressi ons, so th a t in in those cases
cases where we use a term term
m eaningful
eani ngfullly, we m ay n o t use a sentence sentence m eaningful
eaningfullly,
and w here
her e we use a sentencesentence m eaningful
eani ngfullly, we m ay n o t
use a term m eaningfully.
eaningfully. T hus, A ri ristotl
stotle’
e’ss the o ry is con-
cerned w ith ith express
expr essiions in w hichhich term va ri riab
ab l es occur,
occur,
and the logical theory originated by the Stoics is con-
cerned with expressions in which only sentential varia-
b le s o c c u r.
In the light of the difference now under discussion
the logic of the Stoics and the logic of Aristotle are two
different logical theories: the former is a logic of sentences,
and the latter is a logic of terms . This difference is stressed
here because philosophical logic absolutely does not
realize this fact: Stoic syllogisms are usually presented
there as a sort of complement of Aristotle’s syllogisms.
In th e syllsyll ogisti
ogistic of the StoiSt oics
cs no term s occu r a t all, all,
w hereas in in A ristotle’s
ristotle’s syll
syllogist
ogistiic we hav e to do w ith ith
sentences, although sentential variables do not appear
there . W e shall see see la te r th a t th
th e syll
syll ogisti
ogistic of th e Stoics
Stoics
l ogicall
ogicall y precedes
precedes th a t of A ristotl
ristotle:
e: in jus tifyin
tifyin g theorem
theor em s
of th e logi
l ogicc of term s we m us t base oursel
ourselves
ves on theorem s
from the logic of sentences.
THEOREMS AND RULES OF INFERENCE 15
A ristotl
ri stotle’e’ss syll
syll og istic
stic is a sm all fragm en t of a m ore general
theory founded by Professor S. Le^niewski and called by
h i m o n t o l o g y 7. T he theo rem s of on tolog tolog y w hich are
ap p lil i cab le
l e t o m athat h em at ics
ics ar e m ain
ai n ly
l y th
t h eo r em s n o t i n -
cluded in A ristotle’ ristotle’ss syllogist
syllogistiic.
6 . To illustrate the issues raised here I shall give the
p r o o f o f a m a t h e m a t i c a l th e o r e m a s a n e x a m p le . I n t h a t
p r o o f I s h a ll a v a il m y s e lf o f o n e a r i t h m e t i c a l th e o r e m ,
an d of logical t heo rem s I shall use only onl y tw o, bo th belongingbelonging
to the sentential calculus; I shall make no reference to
th e the o ry of th e A ristoteli ri stotelian
an syll
syllogism.
ogism. In this exam pl plee
I shall use certain rules of inference, which will give us
an opportunity to become directly acquainted with the
difference between a theorem and a rule of inference, as
emphasized above. The example to be given now will be
a m o d el of o f a co m p let
l etee m at h em at ical
ical p r o o f , sats atii sfy
sf y i n g t h e
cond i t i ons of precisipreci sionon form ulated b y F rege.
I sha l l m ake use of t w o rules rules of i nference:
nfer ence: the rule rul e
o f d e t ach m en t an d t h e r u l e o f su b sti st i tu
tu t io
i o n . T h e ru ru l e o f
d e t ach m en t was f o r m u l ated at ed ab o v e i n co n n ecti ecti o n w i t h
Stoic syllogism III. Let the symbol G b e u sed so t h at
the expression C p q i s an ab b r ev i at i o n o f t h e co n d i t i o n al
16 I. INTRODUCTION
s e n t e n c e w i t h t h e a n t e c e d e n t p a n d t h e c o n s e q u e n t q.
T h e r u l e o f d e t ach m en t en t it it les
les n s t o accep t a sen ten ten ce
o f t h e t y p e q on the strength of acceptance of sentences
o f t h e t y p es C p q a n d p .
The role of substitution more or less corresponds to
the principle which in traditional logic was called d i ct u m
de omni { {aa st atem
at em en t ab o u t ev er y th t h i n g ).
) . I n L at in
i n i t g oe
oe s :
q u i d q u i d d e o m n i b u s v a l e t , va l et et i a m d e q u i b u sd a m et d e
s i n g u l i s , w h ic ic h in
i n a n i n f o rmr m a l t r a n s l a ti
ti o n m ig h t b e p u t a s :
wh a t h o l d s o f a l l t h i n g s o f a cert a i n h i n d , also holds of some
a n d o f s in n g s o f t h a t h i n d . W h a t is
i n g l e t h iin is va li lid
d , e .g.,
.g., of all
all
m en, i s also als o v alid of A risto risto tltlee of Stag ir ira.
a. T he ru r u le of
su b st i t u t i o n p er m i t s u s, o n t h e st r en g t h o f a g en er al l y
r eco g n i zed t h eo r em wi t h v ar i ab l es, t o accep t as t r u e
a sen tenten ce o b t ai n ed f r o m th t h i s t h eo r em b y r ep laci
l acinng
va riab
riab l es w itith
h some o the r expressions,
expressions, b u t th t h e expressi
expres sionsons
r ep laci
lacinn g t h e v ar iab
i ab l es m u st b e o f t h e sam e categcat eg o r y as
the variables concerned: sentences are to be substituted for
sentential variables , a n d t e r m s f o r t e r m v a r i a b l e s .
In philosophical logic the principle d i c t u m d e o m n i was
considered the main principle of deductive inference.
This led to the conclusion that deduction always starts
from general sentences and leads to certain less general
sentences.
sent
in ences.
de du ctive T oda
ctive y we know
i nference we from
fr
haomve m toathem
use atica
ati ca l logic
o ther ogi
rulcesth
rules t h aast
w ell
ell as th e rule of s u b stitu stitu ti
tioo n , e.g.,
e. g., th e rule of de-
tach m en t. If these rules rules a re com bined, bined, thethe n, as we shallshall
soon see, we may obtain quite new results, not contained
i n th
t h e p r em
e m i ses.
se s. C o n t rar
r ar y to
t o w h a t i s o f t en t h o u g h t , d e-
duction is not just explanation or realization of those
laws w hich hich w e previou
previou slysly kn ew in some some im plicitplicit w ay.
D edu ctive
ctive inference
inference is a ve ry pow erful erful m ethod of reason-
ing and leads to new discoveries. All mathematics resorts
to that method of inference, and it is well known how
i m p o r tan
t an t m ath
at h em ati
at i cs is
i s fo
f o r t ech n o lo
lo g y an d t h e n at u r al
sciences.
T H EO
EO R E M S A N D R U L E S O F I N F E R E N C E 17
1 G G p q G G q r G p r.
T h i s l aw i s a co n d i t i o n al sen t en ce t h e an t eced en t an d
the consequent of which are marked by braces below;
t h e an t eced en t an d t h e co n seq u en t o f t h e co n seq u en t
are m arked by braces abov e. Theorem 1 is is usually
usually appliedapplied
when we have two recognized sentences of the type C p q
a n d Ggr. W e f i rst r st m ak e ap p r o p r iat
i at e su b sti
st i t u t io
i o n s in
i n T h eo -
r em 1 . Nex t , o n t h e st r en g t h o f t h e r u l e o f d et ach m en t —
in view of the recognition of the antecedent of Theorem 1,
n am el y a sen t en ce o f t h e t y p e C p q — —w w e o b t a i n a s e n te n c e
o f t h e t y p e C C q r G p r ; he re ag ain, in i n view of th t h e recog nition
nition
of its antecedent, namely a sentence of the type G qr , we
o b t a i n b y d e t a c h m e n t a s e n t e n c e o f t h e t y p e Gpr.
Before symbolizing the second logical premise we shall
i n t r o d u ce an ab b r ev i at i o n o f t h e sen t en ce “i t i s n o t t r u e
t h a t p ” j which will be symbolized N p . The premise will
b e w r itte n as
2 C G N ppp.
W e ha ve symbolized,
symbolized, w it ith
h recourse
recour se toto abb reviati
reviati on s
already adopted, the following sentence: “If (if it is not
t r u e t h a t p , t h e n p ) , t h e n p " . Theorem 2 is a conditional
sentence th th e an tece de nt of w hich hich aga in is
is also
also a c ond i t i on al
sentence with an antecedent which is the negation of the
consequent. To understand the sense of Theorem 2 let
us note that it enables us to start from a sentence of the
t y p e G N p p and to obtain in conclusion, on the strength
of the rules of substitution and detachment, a sentence
o f t h e t y p e p . I n f act , a sen t en ce o f t h e t y p e p m u s t
here be true ; should shoul d it no t be true , the n its its nega ti on,
1 8 I . IN
IN T R O D U C T IO N
d i v is
is ib
i b l e b y tth
h e p r i m e n u m b e r n , t h e n tth
he natural num ber b
i s d i v i s i b l e b y t h e p r i m e n u m b e r n . It follows from this
theorem that if the product of two natural numbers is
d i v i si b l e b y t h e p r i m e n u m b er n , then the elements of
that product cannot both be not divisible by n . For the
p u r p o s e o f t h e s y m b o licli c n o t a t i o n o f t h i s th e o r e m w e
shall introduce, apart from logical abbreviations, the
f oll
ollowing arith arit h m etical ab brev i ationation : sentences
sent ences of th e typ e
**a iiss divisi
divisibl blee b y th e prim
prim e n um ber w” w” w il l be w ritten
ritten as
“ ( a s P n ) ” 8, an d th e sen t enc e “ a is not divisible by the
p r im e n u m b e r n ” , b ei n g eq u i v al en t t o t h e sen t en ce “i t
i s n o t t r u e t h a t a is divisible by the prime number w”,
willl be w ritten
wil rit ten as “ N ( a e P n ) ” . C o n seq u en t l y t h e t h eo r em
o f t h e ar it i t h m et ic
ic o f n a t u r a l n u m b ers
er s ref
r ef err
er r ed to
t o ab o ve
ve
will have the following form:
3 C (a - b e P n ) G N (a s P n ) (b e P n ) .
p ly in g o n ly tw o r u le s o f in f e r e n c e : t h e r u l e o f s u b s t i t u t i o n
an d t h e r u l e o f d et ach m en t , we sh s h al l p r o v e t h e fo
f o ll
llo wi n g
theorem:
G ( a • a eP n ) ( a e P n ) .
4 G (a *a e P n ) G N ( a e P n)
n ) (a e P n ) .
Xex t we ap p l y t o T h eo r em 1 t h e r u l e o f su b st i t u t i o n .
We perform a substitution such that the antecedent of
t h e s e n te
t e n c e t o b e o b t a in
i n e d w il
i ll h a v e t h e s a m e f o r m a s
sentence 4.
1 p j ( a *a e P n ) , q / G N (a e P n ) (a e P n ) , r j ( a e P n ) * 5,
5 GG (a • a eP n ) G N (a e P n ) ( a e P n )
G G G N ( a e P n ) a e P n ( a e P n ) C (a a e P n ) a e P n ) .
( ) * (
The accepted sentence 5 is a conditional sentence the
an t eced en t o f wh i ch i s eq u i f o r m wi t h t h e accep t ed
20 I. INTRODUCTION
6 0 0—Oj V( a e. P n ) (a e -------
-
P n ){a e P n ) 0 (a • a e P u ) ( a e P n ) .
---- - ----------- ------ ------ - ----- ------ ------ -----■ — -- ------- - ----------- ------ ------ - ----- ------ ------ *
T o T h eo rem
r em 2 we ap p ly l y t h e su b s t i tu
tu t io
i o n i n su ch
ch a way
t h a t we o b t ai n a sen ten
ten ce eq u if
if o rm
r m w i t h t h e an t eced en t
of sentence 6 :
2 p j(a e P n ) * 7 ,
7 0 G N (a e P n ) ( a e P n ) ( a e P n ) .
8 0 (a
(a • a e P n ) ( a e P n ) .
Sen t en ce 8 i s t h e t h e o r e m t h a t w a s t o b e p r o v e d .
T he proof of of Theorem 8 as given given abo ve i s an exam ple of
a com plete
plete proof.
proof . In th a t proof,
proof, th t h e recog
r ecog niti
niti on of every
sen t en ce i s j u st i f i ed b y a cer t ai n r u l e wh i ch was ad o p t ed
iant e da d
; vt ahne c seu. bEs ta
tvaenr tyi a tsio
itoenp i si nto
t ot hbee pf or o
uon fd icna nt h baet li
lsi nueb sot fa nt ht ie-
p r o o f w h ic h p r e c e d e s e v e r y s e n te n c e re c o g n iz e d i n t h e
p ro o f.
T h e p r o o f g i v en ab o v e m i g h t b e car r i ed o u t wi t h o u t
the use of symbols, but then it would seem more com-
p l i c a t e d a n d les le s s c le a r . T h e s y m b o ls w e h a v e a d o p t e d
ar e sh o r t er t h an t h e co r r esp o n d i n g wo r d s i n ev er y d ay
language and enable us to see at a glance how a given
theorem is co nstruc nstr uc t ed . M oreov oreover er,, sym bolibolic no tatio tatio n m akes
easier a complete formalization of the proof. The proof
m i gh t b e checked q uite uit e m echanical
echani calll y. A person w ho did
n o t k n o w t h e m ean in i n g o f t h e sym sy m b o ls ls we h av e u sed wo u ld ld
THEOREMS AND RULES OF INFERENCE 21
b e i n a p o s itio
it io n to c h e c k t h e c o r r e c tn e s s o f t h e p r o o f
if he only knew the rules of inference.
The proof given above is a model of scientific precision.
W h o ev er
e r h as u n d er sto
st o o d i n w h at t h e p r eci ec i sio
sio n of
o f su ch
ch
a formalized proof consists will use different standards
w hen m easu ring ring th e ^pr ^ preecis
cis ion of
of th e proofs he fi finds
nds in
o ther discidiscipli
plines:
nes: m athem atics, atics, physics,
physics , th e n a tu ra l sci- sci-
ences. Not every discipline can today reach such a level
of scienti
scientifi ficc precisi
preci sion
on as h as been achieved
achieved b y m athem atical atical
l o g i c. B u t i t i s a g o o d t h i n g t o h av e a h i g h st an d ar d o f
scientific precision, for we can then properly evaluate the
p re c isio
is io n o f o t h e r p r o o f s a n d s t r i v e t o in c r e a s e i t . T h is
is one of th e g rea test achievem achi evem ents of m athem atica ati ca l logic:
ogic:
it has created a new standard of scientific -precision , so f a r
u n e q u a l e d i n g e n e r a l b y m a t h e m a t i c s , a n d a fo rt iori by other
rtiori
d i sci p l i n es.
II. THE SENTENTIAL CALCULUS
It is theory,
a given also notfor possible
the proofto prove
of any allsentence
the sentencesis based of
on the truth of other sentences. Consequently, at the
ou tset of every de duc ti tive
ve the ory w e m ust reco r ecogni
gnize ze w it
itho
ho ut
p r o o f c e r t a i n s e n te n c e s w h ic h a r e c a lle
ll e d t h e a x i o m s o f t h at
theory. In philosophy the term axioms often means sen
tences which, besides being adopted without proof are
directly self-evident. This was Aristotle’s interpretation
of the term “axiom”. On the other hand, the Stoics called
all sentences axioms. In our interpretation, axioms are
sentences which are recognized without proof, but need
not be self-evident. Yet it serves the purpose well so to
ch o o se t h e ax i o m s o f a t h eo r y t h at t h ei r t r u t h i s cl ear
PRIMITIVE TERMS AND AXIOMS 23
wi t h o u t p r o o f . Mo r eo v er , wh at i s an ax i o m i n o n e d e
ductive system, that is a sentence which in that system
i s accep t ed wi t h o u t p r o o f , m ay i n an o t h er sy st em o ccu r
as a theorem and he provable in that system.
The system of the sentential calculus which is to be
ex p o u n d ed b el o w co n t ai n s t wo k i n d s o f p r i m i t i v e t er m s:
symbols of negation IF and symbols of the conditional
sentence
sent ence O. In th e sen tential calcul calculus,
us, sm all letters of th e
Latin alphabet will be used as sentential variables, i.e.,
variables which can take any sentences as their values.
Capital letters, such as IF a n d C , w i l l b e t a k e n t o b e c o n
stants, i.e., symbols for which no other expression may
bee s u b s t i t u t e d .
b
T h e ex p r essi o n o f t h e t y p e IF p i s t h e n eg at i o n o f t h e
t r u e: i f t h e sen t en ce p i s t r u e, t h en t h e sen t en ce N p m u s t
b e f a ls e , a n d i f t h e s e n te n c e p is false, then the sentence
N p is true. Usually we symbolize a false sentence as “ 0 ” ,
a n d a t r u e s e n te
te n c e a s “ 1 ” . W e m ay th t h er ef o r e w r it
it e d o wn
i n sy m b o l i c n o t at i o n t h e f o l l o wi n g eq u at i o n s: N O — 1 ,
N X = 0 , w h ic ic h a r e t o b e r e a d : the negation of a fals e s en
tence is a true sentence , the negation of a true sentence is
a fcilse sentence.
T h e f u n c t i o n C p g iiss a c o n d i t io
io n a l ssee n ttee n ccee ( i m p l i c a t io
io n )
w i t h t h e a n t e c e d e n t p an d t h e co n seq u en t g ; i t i s r ead
“if p , th e n <?” . T he fu n c to r G iiss w r it i t ten
ten b ef o r e t h e an t e
cedent p a n d t h e c o n s e q u e n t q of the i m plicati plication on . In
E n g l i sh , t h e f u n ct o r G h as i t s co u n t er p ar t i n t wo wo r d s,
“if” and “then”. In that respect, too, both Greek and
L at i n co m e cl o ser t o t h e n o t at i o n we h av e ad o p t ed , f o r
in those languages the symbol of the conditional sentence
co n si st s o f o n e wo r d an d st an d s at t h e b eg i n n i n g o f t h e
conditional sentence.
In ou r logic
logicalal sym
sym boli
bol ism we shall alw alw ays w ri rite
te fun
fun ctors
at t h e b eg i n n i n g o f t h e f u n ct i o n s i n q u est i o n . I n t h i s
w ay we av o id i d t h e n eed t o w r itit e t h e p ar en th
t h eses. A sim si m i l ar
n o t ati
at i o n co u ldl d j u s t as w ell
ell b e u sed i n ar it i t h m et ic.
ic. S h o u ldld
w e w r it it e d o w n tht h e s um
u m o f t w o n u m b e rs
rs “ a - b 6” a s “ + 0 6 ” ,
t h e n we co u ld
l d w r it
i t e th
t h e l aw o f asso c i at iv
iv i ty
ty
« +(+ (& + < ? ) = { a + b ) + c
i n t h e p ar en t h esi s- f r ee n o t at i o n as
- \ - a - { - b c = -t--{-a&c
I n r e ad
a d in
i n g t h e l a s t li
li n e w e m u s t b e a r in
in m i n d t h a t e v e ry
ry
symbol f o rm
r m s a s u m t o g e th
t h e r w i t h t w o n u m e ri
ric a l
ex p r essi o n s t h at st an d t o t h e r i g h t o f i t . T h ese n u m er i cal
expressi
expres sions
ons m ay in tu rn be eithe eithe r va ri riables
ables or sums. W e
should read the conditional sentences, such as those given
i n 6 , Section 1.2, in the same way.
PRIMITIVE TERMS AND AXIOMS 25
i s nIont oirndheer
r en
t o tb eec
to in
c o tmh ee bm
e ean
te ri n
t te a cgq u
o af i n
t hte
t eed sen tthent ce
w i th Cpq.
he m e a n in
in g
of the sentence C p q let us discuss the cases in which that
sentence is true or false. Retaining the symbols “0” and
“1” as standing, respectively, for false and true sentences,
we have to analyze, according to the falsehood or truth
of the arguments of the implication, the following four
cases:
<700, <701, <710, <711.
F irs t of all,
all, le t us no te th a t <710 = 0 , th a t is, th a t a n
i mp l i ca t i o n wi t h a t ru e a n t eced en t a n d a f a l se co n seq u en t
i s f a l se. For should, e.g., the implication “If Warsaw lies
26 II. THE SENTENTIAL CALCULUS
o n V i s tut u l a th
t h e n 2 - 2 = 5 ” b e t r u e , t h e n b y r e co c o g ni
n iz in
in g
t h e t r u e sen ten ten ce “W ar saw s aw li l ies o n V i st stu
u l a” we co c o u ld
ld
p r o v e , o n t h e s t r e n g t h o f t h e r u l e o f d e ta c h m e n t, t h e f a lse
ls e
s e nt
n t e nc
nc e “ 2 - 2 = 6” .
In orde r to to didiscus
scusss tht h e rem aining
aining eases
eases let us analyze
the folfo llowing arithm
arithm etical theorem w hich hich is is an i m plicati
plication on :
If a; is divisible by 9, then x is divisible by 3.
Th is im plicati
plication
on is tru e for all
al l the values of th e nu m er
ical variable x . Hence on substituting a?/16 we should
o b t ai n a t r u e sen t en ce. T h e su b st i t u t i o n y i el d s:
If 16 is divisible by 9, then 16 is divisible by 3.
We h av e t h u s o b t ai n ed an i m p l i cat i o n wi t h a f al se
an t ece d e n t an d a f alse
alse co n seq u en t . I n v iew iew o f su ch ch
exam ples we agree t h a t <700 = 1, i.e. i.e.,, th a t a n i m p l i c a t i o n
with a false antecedent and a false consequent is true.
By substituting: o?/15 we obtain:
If 15 is divisible by 9, then 15 is divisible by 3.
Ho w t h e an t eced en t i s f al se an d t h e co n seq u en t t r u e.
W e th
th er ef o re
r e ag ree
r ee t h a t C 01 = 1 , i .e.
.e. , th
th a t a n i m p l i c a t i o n
wi t h a f a l se a n t eced en t a n d a t ru e co n seq u en t i s t ru e.
By substituting: jz / 18 we o b tain a n im
im plicati
plication
on w i t h
I f 2 * 2 = 5 , t h e n W ar saw li
l i es o n V i stu
stu la,
l a,
I f 2 * 2 = 4 , t h en W ar saw
s aw l i es o n Vi stu
stu la.
l a.
1 GGpqGGqrGpr,
2 G G N pp p ,
3 G pG N pq.
A p art from
fr om variables,
variables, these axioms
axi oms include
include only
onl y two kinds
of the primitive terms discussed above. The first two
axioms are those sentences which we have resorted to in
Section 1.2 to prove arithmetical theorems. Axiom 1 is
one of tht h e forms of the lam o f hypoth etical s yllogism , forms
wh i ch were
wer e k n o w n t o A r ist
i sto
o t le.
le. T h at l aw m ay ap p ear
more intuitive in the form:
G R G p q G q rG pr .
CGKpqrGpCqr .
p r e c is e ly i n t h i s w a y , b y a s s u m i n g t h e s e c o n d f o r m of
pr
the law of the hypothetical syllogism. By substituting in
the law of exportation: p / Cpq, qjCqrf rjCpr, we obtain:
C C K C p q C q r C p rrC
C C p q C C q rrC
Cpr .
GCp G q rCK p g r .
fand
er enemphasized
ce b ased o n its Ax istrange
o m 2 b ecamstructure.
e p o p uThe
l ar am modeo n g of in
Jesu it
scholars owing to Clavius. In the early 18th century the
Italian Saccheri published his book JJE E u c lid
li d cs ab o m n i
n a e v o v i n d i c a t e s , i n wh i ch h e en d eav o u r ed t o p r o v e
Euclid’s parallel axiom—an issue which long absorbed
t h e a t t en t i o n o f m at h em a t iciici an s Sacch ere r i w an t ed to t o b ase
as e
h i s p r o o f o n Ax i o m 2 an d t o d em o n st r at e t h at E u cl i d ’ s
axiom follows from its negation. Today we know that
such a proo f is no t possi poss i ble.
bl e. T e t S accheri’
accheri’ss investigations
were not lost: by drawing conclusions from the negation
of the parallel axiom he gave rise to non-Euclidean
geometries.
30 ir. THE SENTENTIAL CALCULUS
To exp lain
lain th e sense
sen se of Axiom
Axiom 3 le t ns su bs ti titute
tute for p
an y t r u e sen tent en ce,
ce , sy m b o li
l i zed b y “ 1 ” . T h e ax io
io m m i l
t h en y i el d : C l C & l q .
The rule of detachment will give CNX q . B u t w e k n o w
t h a t N 1 — 0 , so s o t h a t we h av e: GOq, Thus by means of
Ax i o m 3 we m ay asser t an i m p l i cat i o n wi t h a f al se an t e
cedent and an arbitrary consequent. This is in agreement
w ith
it h previous exp lanations
lanati ons concerni
concerning
ng the fu n cto r C,
fo r we ha ve : (700 — 1, 001 = 1.
Axiom 3 can be deduced from the law of exportation
and a certain theorem that was known to the Franciscan
B un s Scotus,
Scotus, one of the m ost em inent m edieval philos philos
ophers (late
(l ate 13th and ea rly rl y 14th century). ScotSc otus
us asserted
asserted
t h at i f t wo co n t r ad i ct o r y sen t en ces wer e b o t h t r u e, t h en
everything would be possible, for it is not possible that
two c on tradic tory sentences should b oth be true . S cotus’
theorem correspon
corresponds
ds to th e f oll
oll owing
owi ng law
la w in the sentential
calculus:
G K p N p q.
4 . D efinitions
efinitions and Rules o f Inference in
in the Sentential Calculus
Calculus
b i l i t y of d e fin in g a ll t h e t e r m s o f a t h e o r y , a n d t h e n e -
cessity of adopting certain primitive terms.
Apart from the properties described above, definitions
m u st h av e an o t h er essen t i al p r o p er t y . I f t h e d ef i n i en d u m
o ccu
cc u rs r s iin
n a t r u e sent
sen t en ce, t h e n t h e sen ten
ten ce o b t ain
ai n ed f ro
ro m
t h e f o r m er t h r o u g h t h e r ep l acem en t o f t h e d ef i n i en d u m
b y t h e a p p r o p r i a t e d e f in i e n s o u g h t t o r e m a i n t r u e . F o r
instance, if it is true that the diagonals of a square cross
at right angles, then it is also true that the diagonals of
a parallelogram with equal sides and angles cross at the
rig h t angles.
angles. A nd vice ve rsa, if the definiens definiens occurs in i n a tru e
sen ten ten ce, t h e n t h e r ep l acem en t o f t h a t d ef ef in
in ien
i en s b y t h e
ap p r o p r i at e d ef in in i en
e n d u m o u g h t t o y i eld
el d a t r u e sen
s en ten
ten ce.
c e.
32 IT. THE SENTENTIAL CALCULUS
L et i t b e n o t ed , h o wev er , t h at t h e wo r d “o r ” can
al so h av e o t h er m ean i n g s t h an h as t h e f u n ct o r A . I n t h e
sen t en ce “I sh al l g o t o t h e r i g h t o r I sh al l g o t o t h e l ef t ”
we want to exclude the possibility of the simultaneous
truth of the sentences “I shall go to the right” and “I
shall go to th e left” . In th is sens se nsee “ either
eit her ... or” would
p e r h a p s b e m o re a p p r o p r ia t e . B u t o u r d e fin itio n does
n o t i m p ar t su ch a sen se t o t h e f u n ct o r A . Hence, in con
form ity w ith o ur definiti
definition,on, the f oll oll owing
owing symbol
symbolii c equ al
ities are satisfied:
A 0 0 = C N 0 0 = CIO = 0 ,
A 0 1 = C A fO l = O i l = 1 ,
A 1 0 = C N 10 = €00 = 1 ,
A l l = CAT! 1 = 0 0 1 = 1 .
T h u s we see t h at t h e f u n ct i o n Ap q , ca l l ed a l t ern a t i o n ,
i s f a l se
s e o n l y i f i t s b o tth
h a rg u m en t s a rree f a l se, a n d i n a l l o tth
h er
er
cases it is true .
Th e second definition
definition of which we sh all ava il oursel ourselves ves
i n t h e sen t en t i al cal cu l u s, st at es t h at t h e ex p r essi o n K p q
means the same as the expression A fG p A lq . T h e f u n c t o r K
AfG
co r r esp o n d s t o t h e wo r d “an d ” i n ev er y d ay l an g u ag e,
aThe
n d texpression
h u s i s th
t h e sdefining t h e c o n j u n c t iis
y m b o l o f conjunction o n of two sentences.
a negation of the
expression CpAlq. T h e t r u t h o f t h e l ast - n am ed ex p r essi o n
excludes the possibility of the simultaneous truth of the
sentences p a n d q. F o r i n s t a n c e , f r o m t h e t r u t h o f t h e
sen t en ce “i f Pet er i s i n t h e o f f i ce, t h en Pau l i s n o t i n t h e
offf i ce”
of ce ” it fol
fo l l ows th a t th e sentences
sentences “P e ter is in i n th e off
off i ce”
and “Paul is in the office” cannot be simultaneously true.
H e n c e t h e f u n c t i o n K p q , being the- he- neg ationati on of th e ex
prr e s s i o n GpAfq, is true only if the sentences p a n d q d o
p
n o t ex cl u d e o n e an o t h er b u t ar e si m u l t an eo u sl y t r u e.
This is in agreement with the current sense of the word
“and”, for the sentence “Peter is in the office and Paul
DEFINITIONS AND RULES OF INFERENCE 35
K 0 0 = N C O N O = N C0
C01 = N 1 = 0 ,
K O I = K C 0 K 1 = HCOO = H I =- 0 ,
m o = H C1C1 H 0 = H C 11 = H I = 0 ,
m i = h c ih i = n rc i o = h o = 1 .
T h u s we see t h at t h e f u n c t i o n K p q i s ttrr u e o n l y i f b o th i ts
ts
a rg u men t s a re t ru e , and in all other cases it is false .
T h e t h i r d d ef i n i t i o n st at es t h at t h e ex p r essi o n D p q
has the same meaning as the expression C p N q . T h e
f u n ct o r D j which also is a sentence-forming functor of
two sentential arguments, is called the symbol of n o n -
c o n j u n c t i o n (or alternative denial). Ho co n j u n ct i o n i n t h e
grammatical sense of the word corresponds in English
t o t h e f u n c t o r D . No t e t h at t h e co n j u n ct i o n o f t wo sen
tences is i s d efined
efi ned as the ne ga tion tion of the expression w hich
defines non-conjunction. Hence the expression K p q m i g h t
b e d e f in e d a s h a v i n g t h e s a m e m e a n i n g a s N D p q . R e f
e re
r e nc
n c e h a s a lr lr e a d y b e e n m a d e to t h e f a c t t h a t t h e t r u t h
of the expression C p N q excludes the possibility of the
sifmt huel t an
o f u neo
c tuosr tDr uis
t h more
o f t hclearly
e sen t en ces p a nby
explained q. The
d the sense
following
equalities:
m o = c o h o = coi = 1 ,
d o i = c o m = coo = i ,
m o = c ih o = c i i = i ,
D l l = C 1H
1 H 1 = CIO — 0 .
p ro p e rty t h a t i t c a n s e r v e as t h e o n l y p r i m i t i v e t e r m of
the sentential calculus. This has been demonstrated by
the American logician H. M. Sheffera. In our system of
the sentential calculus there are two primitive terms:
C a n d N , but there is an axiom system in the sentential
calculus which has the functor T> as its only primitive
term ; all all the othe r functors can in th a t system system be defi defi ned
b y m e a n s o f t h e f u n c t o r J>.
The fourth, and the last, definition to be introduced
now states that the expression E p q has the same meaning
as the expression N C C p q N O q p . The functor E is called
the symbol of equivalence. To realize its meaning let us
refer to the definition of conjunction. When in the ex-
prr e s s io n t h a t d e f in e s c o n j u n c t i o n w e s u b s t i t u t e G pq for p ,
p
02 K p q -- N G p N q ,
03 E p q — C pN q ,
04 E p q — N G G pqN C qp .
DEFINITIONS AND BULES OF INFERENCE 37
T h e sy m b o l “ = ” i n th th ese def
d efii n it
i t i o n s st at es t h a t t h e ex
prr e s s io n s o n i t s t w o s id e s h a v e t h e s a m e m e a n i n g .
p
11. Expressions of the sentential calculus include the
variables p t g, r , .. .. . , an d co nstan ts, prim itive itive or defidef i ned,
wh i ch t o g et h er wi t h sen t en t i al ar g u m en t s ag ai n f o r m
sentences. Every expression which is formed of variables
and which is a sentence, will be called a m e a n i n g f u l e x
p r e s s i o n . This term is left undefined, but the following
theorem will enable us to decide about every expression
formed of variables and of constants of the sentential
calculus, whether it is a meaningful expression or not.
T h e e x p r eess s iio
o n x i s a m e a n i n g f u l e x p rree s ssii o n i f a n d o n llyy
i f o n e o f t h e f o l l o wi n g co n d i t i o n s i s s a t i s f i e d :
1 ) a? is a sm all le tte r,
2) x is the negation of a meaningful expression,
3) x i s an imp li
licati
cation
on w it
ith h a rgum ents which are
meaningful expressions,
4) x i s an al t er n at io
io n w i th
t h ar g u m en t s wh i ch ar e
meaningful expressions,
5) x i s a conjunction w it ith h argum ents which are
meaningful expressions,
6 ) x i s a non -conjunction
-conjuncti on w itith
h argum ents which are ar e
meaningful expressions,
7) x is an equivalence
equivalence w itith h argum ents which are
meaningful expressions.
In conformity with this theorem, if an x is a meaningful
expression, then one of the seven conditions given above
is satisfied. And conversely: if one of the seven conditions
given above is satisfied} then x iiss a m eaning ful expression.
expression.
L e t Z stand for any meaningful expression. The following
symbolic equalities are then satisfied:
~NZ = Z , CZZ = Z , AZZ = Z , KZZ = Z ,
D ZZ* Z , B ZZ= Z .
Let us consider an expression formed of variables and
constants of the sentential calculus, e.g., G N p A K p H q r .
4
38 U . THE SENTENTIAL CA
ALLC
CUU LU
LU S
I t f o ll
ll o ws
w s fr
f r o m t h e t h e o r e m a b o v e t h a t e v e ry
ry s m a ll
l l l e t te
te r
is a meaningful expression. We therefore replace in the
ex p r essi o n n o w u n d er d i scu ssi o n ev er y sm al l l et t er b y Z
an d ap p l y t h e sy m b o l i c eq u al i t i es g i v en ab o v e:
C N Z A K Z N Z Z = G Z A K Z Z Z = C Z A ZZ = G ZZ = Z .
We have thus demonstrated that the expression under
discussion is a meaningful expression.
Let us now suppose that we have to examine the ex-
p r e s s i o n N p K D q r . B y p r o ceed i n g i n an an al o g o u s way
w e o b t a i n N Z K D Z Z = Z K Z . I t i s cl ai m ed t h at t h e ex -
p r e s s i o n u n d e r d i s c u s s i o n is n o t a m e a n i n g f u l e x p r e s s io n .
I n f act , w ere er e i t a m ean i n g fu f u l ex p res
r essi
sioo n , t h e n i n co n f o rm
rm i t y
w ith
it h the theorem above a t lea l ea st one of the seven conditi condi tions
ons
would have to be satisfied. As can easily be ascertained,
none of these conditions is satisfied.
Pr o ceed i n g i n t h i s way we m ay d eci d e ab o u t ev er y
ex pre ssion . th a t consistconsistss only of variables an d con stants
of the sentential calculus whether it is a meaningful ex-
prr e s s i o n . F o r i n s t a n c e , w e c a n m a k e s u r e t h a t t h e e x -
p
prr e s s i o n s
p
N pC qqK p , CNqCr, JBpqKpr
o b t a in
i n e d t h ro
r o u g h t h e s u b s t i tu
t u t io
io n q j G S p q , O n t h e o t h e r
hand, the expression
(£') CCpCNpqGCqrCpr
are
io n theses
t io th tohfethe
w i th an tsystem
syst
ece dem
en tand
eq uthe
tif
iheo r express
f or expr
m w essio
th ion
i th nt ha en
is
i s an
we imp
m ayli
lica-
ca-
re -
cognize as a thesis of the system any expression y which
is equiform with the consequent of the implication a .
4 *
T h e r u l e o f r e p l a c e m e n t : if an expression a is a thesis
of the system
system , an d an expressi
expr ession on is p a rt of express
expressio ion n a
an d is equiform
equif orm w it ith
h th e rig h t side
si de of one of th e defi
def i nit
ni t i ons
given
give n ab ove or one of its correct su bstituti bstitution
on s, the n we m ay
recogn
re cognii ze as a thesis of the system an y expressi expr ession
on y which
is obtained from expression a t h r o u g h t h e r e p l a c e m e n t
of expression /? by an expression equiform with the left
side of the same definition or by its corresponding correct
su b st i t u t i o n o f t h at l ef t si d e.
T h e r u l e o f r ep l acem en t m ak es u se o f t h at p r o p er t y
of the definition that whatever is true about the definiens
(the right side of the definition) is also true about the
definiendum (the left side of the definition). Note that
o u r r u l e o f r ep l acem en t d o es n o t st at e an y t h i n g ab o u t
r ep l aci n g t h e d ef i n i en d u m b y t h e d ef i n i en s. I t h as b een
deliberately given a weaker formulation, since even in
th a t version it suffisuf fices
ces to m ake a full use of th e definit definitions
ions..
T h e r u l e o f r ep l acem en t en ab l es u s t o m ak e u se b o t h
of definitions and of their correct substitutions. Starting,
e.g., from Axiom 3:
GpCNpq
A p q ™ GTfpq
an d p r o v e t h e t h esi s:
CpApq .
GGNppp
an d use th e foll
following
owing correct su bs titutio
tit utio n of Definition
Definition 01
01::
A p p = G T lp p
an d p r o v e t h e t h esi s:
CAppp .
THEOREMS OF THE SENTENTIAL CALCULUS 41
5 . Theorems
Theorems o f the Sentential
Sentential C al
alcul
culus
us
p a r t of t h e p r o o f l i n e w h ic h fo llo
ll o w s t h e a s t e r i s k i n d i c a t e s
t h at t h e su b st i t u t i o n o f T h esi s 1 , o b t ai n ed i n t h e way
indicated above, has the form of an implication whose
antecedent is equiform with Thesis 1, and whose con-
sequent is equiform with Theorem 4, now being proved.
T h u s, b y ap p l y i n g t h e r u l e o f d et ach m en t , we m ay p r o v e
Theorem 4.
T h e n u m b er s o f t h o se t h eses wh i ch ar e n o t j u st au x -
iliary, but are for some reasons interesting in themselves,
will be underlined. The axioms are repeated below:
1 G G p q G G q r G p r,
2 G G N ppp ,
3 G pG N pq.
We p r o v e T h eo r em 4 :
1 p j C p q , q j C G q r C p r , r j s * 01 — 4,
4 GCGCqrGprsCCpqs.
T h e ab b r ev i at i o n i n t h e p r o o f l i n e can b e ex p an d ed q u i t e
mechanically. By carrying out the indicated substitutions
in Axiom 1 we obtain
GGGpqGGqrGprGGGGgrCprsGCpqs .
T h e an t eced en t o f t h e su b st i t u t i o n o b t ai n ed i s i n f act
equiform with Thesis 1, and hence we may recognize
Thesis 4, which is equiform with the consequent of the
su b st i t u t i o n o b t ai n ed .
We now prove the next theorem:
4 q f G q r , rf C sr , sfGG sqG pC sr * G4 p f s , s/G pG sr — 5,
5 GGpGqrCGsqGpGsr.
W e m ay w r it
i t e t h e p r o o f i n g r eater
eat er d et ail
ai l . T h e su b st it
i t u t io
io n
of Thesis 4, indicated in the first part of the proof line,
h as t h e f o r m
C G C G G q r C s r C p C s r C C s q C p C s r C G p G q r C G s q C p C s r.
THE0EEM3. OF THE SENTENTIAL CALCULUS 43
T h e an t eced en t o f t h i s su b st i t u t i o n i s eq u i f o r m wi t h t h e
following substitution of Thesis 4, indicated in the second
p a r t o f t h e p r o o f lin
li n e :
CGCCqrGsrGpCsrGGsqGpCsr .
H enc e w e m ay recognize recognize Thesis Thesis 5, w hich is equiform equiform w ith ith
t h e co n seq u en t of of t h e f i rst
r st su b st it
i t u t io
i o n . I n t h i s p r o o f we
t wi ce ap p l y t h e r u l e o f su b st i t u t i o n , an d o n ce t h e r u l e
of de t ach m en t . T hesi hesis 5 i s im p o rt rtanan t because on its it s
strength, if we have a recognized sentence of the type
GpC qr a n d a n i m p l i c a t i o n o f t h e t y p e Gsq, i n t h e f i r st
sen ten
ten ce we m ay r ep lace l ace t h e sen tenten ce q b y t h e sen t en ce s
a n d a c c e p t t h e s e n t e n c e o f t h e t y p e GpCsr.
W e sha l l n o t h erea fter ft er exp an d th e proof li nes in in detai
detaill .
W h a t is is w r iitt t e n d o w n in in t h e p ro
r o o f l i n e c a n a lw lw a y s b e
ch eck ed q u i t e m ech an i cal l y b y m ak i n g su r e t h at t h e
expression symbolized by the first part of the proof line
i s equifor
equiform m w ith ith th e express
expre ssiion sym boli bolized by the second se cond
p a r t.
4 s f G C C p r s C C q r s * C lp fG q r , q fC pr , rfs — 6 ,
6 C O p q G C C p r s G O q r s.
5 p j G p q } q f C C p r s , rfC C q rs , s jt * C6 — 7 ,
7 CCtCCprsGGpqGtGCgrs.
7 tjC p q , p j q , r fs 1s /G p s , qjr * C l r js — 8 ,
8 CCqrCCpqCCrsCps.
9 GGCJSfpqrGpr.
Thesis 9 would become more intuitive if we applied to it
Definition 0 1 on the strength of the rule of replacement.
We wo u l d t h en o b t ai n t h e t h eo r em
CG ApqrCpr .
1 0 p j C G N p p p * G2 — 0 2 p j G G N p p p — 1 1 ,
11 GCqGGNpppCGNppp.
I n t h e s eco
ec o n d p a r t o f t h e l as t p ro
r o o f l i n e ab o v e, th
th e d o u b le
le
ap p l i cat i o n o f t h e r u l e o f d et ach m en t h as b een m ar k ed ,
9 p j t , q[
q[GG G N p p p , r j G G N p p p * O i l q f N t — 12 ,
12 GtGGNppp.
7 p j N p , r / p , s j p * 0 1 2 — 13 ,
13 0 GNpqGtCGqpp .
1 p [G N pq } q jG t C G g p p * 013 — 14 ,
qjG
14 GGGtGCqpprGCNpqr.
14 t j N G G q p p , r [ G G q p p * 02 p j G G q p p — 15 ,
15 G G N p q G C q p p.
THEOREMS OP THE SENTENTIAL CALCULUS 45
p
t hear tta ii n
n i no g
u r to t eem
sy stem
st r m st.h A
e tltaw
e n t ioofni dis
e ndt it
irtaywref
rnef h
eresr et ot osen
ers setnhten
teenfces.
a cs.t
ce
I t can al so b e f o r m u l at ed i n a st r o n g er f o r m , n am el y as
the thesis: B p p . T h e llaw aw o f i d e n t it i t y in i n t h e f o rmrm o f T h esi esis
1 6 isi s o ft ftenen crit
crit i cized.
ci zed. I t i s clai
cl aim m ed th a t th e law la w of ide n ti tity,
ty,
as a tautolog y, is i s of no im i m po rtanc
rtanc e w ha t eve r; th e sentence sentence
“ i f t o d a y is i s W e d n e sd sd a y , th
th e n t o d a y i s W e d n es e s da
d a y ’*
’* is
o f n o u se i n an y i n f er en ce t h at wo u l d b e o f i n t er est . I t
would in fact be so if we wanted to avail ourselves of
Thesis 16 in proving a sentence p b y m e a n s o f t h a t
sentence p . Thesis Thesi s 16, how ever, ever , m ay o ccur in reasoning
as a prem i se. W e m igh t , for for ins
ins tance , assum e only Thesis Thesis 15 15
and Thesis 16 in order to prove our Axiom 2. The proof
line of such a proof would run:
1 5 q j N p * <716 pjJSTp — 2 .
I n t h i s w ay t h e law
l aw o f i d e n t it
it y can p l ay an essen
ess en ti
t i al r d le
le
in proofs.
9 r J C C q p p * <7
<715 — 17 ,
17 CpGCqpp.
5 p l q , q j O N p q , r j q , s f p * G 17 p j q , q j N p — C
C33 — 18 ,
18 CqCpq.
46 II. THE SENTENTIAL CALCULUS
18! CpGpCrCsr.
We prove:
1 8 x p j O p G p C r C s r * C l 8 X— C18X—
C18X— 182 ,
182 CrCsr.
Th esis
esis 183 differ
differss from Th esis esis 18 on l y b y th e shape of
th e v ariables, a n d iiss tth
h ere fore also
also th e law of sim
sim plifi
plificat
catii on.
We prove farther:
182 rj CrCsT j sj q * O l 8 2 — 1 8 s ,
183 G q C r G s r.
jG q C r G s r , s j p * 0 1 8 3 — 1 8 4 ,
182 r jG
18* GpCqCrCsr.
1 8 . q ]p * 1 8 . ,
18J C pC pC rG a r .
b u t a t t h e s a m e t im e T h e s is 1 8 4 is m o re g e n e r a l t h a n
Th esis
esis 18x
18x.. Y et b y assum ing on l y T hesis hesis 18x
18x we m ay,
b y r e s o r t in g t o t h e r u l e o f s u b s t i t u t i o n a n d t h e r u l e o f
de tachm en t , prove Thesi Thes is 184
1 84.. T hus we see see th a t by com-
T H E O R E M S O F T H E S E N T E N T I A L C A LC
LC U LU
LU S 47
b illi
il lin
n g t h e r u l e o f s u b s t i t u t i o n w ith
it h t h e r u l e o f d e ta c h m e n t
we m ay r each co n cl u si o n s t h at ar e m o r e g en er al t h an t h e
p r e m i s e s 3. T w o s u c h th e s e s a s 18 18x x a n d 1 8 4, o n e o f w h ic ichh
can be p roved only i f th t h e o the r i s assumassum ed, an d conversel
conversely, y,
t h e o t h er can b e p r o v ed o n l y i f t h e f i r st i s assu m ed , ar e
called inferentidUy equivalent. I t also also folfolllows fromfrom our
exam ple th a t th e l aw of sim si m pli
plifificat
catii on is inferen
inferen ti tiall
allyy
equivalent to Thesis 18x.
3- P H , * 01
188 — 19 ,
19 CCGpgrGqr.
T h e su b st i t u t i o n p
pjJ S fp in Thesis 19 would yield
jJS
GGGNpqrGqr
19 p j N q , q j p , r jC
jC G p q q * 0 1 5 p f q t q j p — 20 ,
20 GpGGpqq.
T h esi
esis 2 1 i s t h e v e r y i m p o r tan
t an t l a w o f c o m m u t a t i o n . From
t h e th
t h e o re
re m “ I f x is divisible by 2 , then (if x is divisible
b y 3 , t h e n x iiss divisi
divisible
ble b y 6 )” we m ay , o n t h e str st r en g t h
o f t h e l aw o f co m m u t at i o n , o b t ai n t h e t h eo r em “I f x
is d ivisi
ivisible
ble b y 3, th e n (if (if a? is divisible by 2, then x is di
visible by 6 )” .
2 1 p ( G p q , q j G q r , r j G p r * 01 — 22 ,
22 G G q r G G p q G p r.
48 II. TUB SENTENTIAL CALCULUS
23 CCCqCprsCCpCqrs.
23 q [ N p , r j q , a j C G G p q p p * 015 qjGpq — 0 3 — 24
24 ,
24 G G G p q p p.
2 6 r j q * 27 ,
27 GCGpqqGGqpp.
versa.
al t er n atIti o nis wi
connected
t h t h e ai dwith
o f t hthe possibility
e t er of defining
m 0 alone:
A p q = i G C pqq.
2 8 e( GG p rr * 027 p j r , q \ p — 29 ,
e(GG
29 C C C p q r C C p r r.
T H E O R E M S O F T H E S E N T E N T I A L C A L CU
C U L US
US 49
Thesis 29 i s im
Thesis i m p o rtan t because, as A. T arski ha s shown,
when combined with Thesis 1 and Thesis 18 it forms
a system of thre e sentences th a t is is suffi
suff i cient
ci ent to
t o p rove
ail those possible theses of the sentential calculus which
co n t ai n O as t h e o n l y co n st an t . P. B em ay s n o t i ced t h at
T h esi
es is 2 9 can b e r ep laced
laced i n t h a t sy
s y stem
st em b y t h e sim
sim p ler
ler
Thesis 24.
2 9 r j G p q * 016 p f C p q — 30 ,
30 C C p C p q G pq .
losopher
W e shall who nowlived prov
about A.D. 200.
e several t heorem s w hich hich m ay
b e r e g a r d e d a s le m m a s i n t h e p r o o f o f T h e s is 3 5 .
7 tjG G pq r, s jr t qjs * 0 2
299 — 31,
31 GGpsGGGpqrCGsrr .
21 p j C p s , q j G G p q r , r j G G s r r * 031 — 32 ,
32 G G G p q r G G p s G G s r r.
21 p j G p s , qj C s G qC pr } r jGqG
j GqG pr * 033 — 34 ,
34 C Gs C qGpr C Gps GqGpr .
21 q f N p , r j q * <73 — 3 6 ,
36 CNpCpq.
pjJSfp j
1 pj * 036 — 37 ,
37 CGGpqrGNpr.
27 p ( l ) f p , q j p * 0 2 — 38 ,
38 GCpSfpJHp .
37 p j N p , q l p , r j p * 02 — 39 ,
39 CJSrUTpp .
9 q / N N - p , r j N S f p * 038 p j N p — 40 ,
40 GpNNp .
T h ese
e sess 39
39 an d 4 0 f o r m t h e v er y i m p o r t an t law of double
negation. The following types of inference are based on
t h i s l aw: i t i s n o t t r u e t h at C o p er n i cu s was n o t a Po l e,
therefore Copernicus was a Pole; Copernicus was a Pole,
t h er ef o r e i t i s n o t t r u e t h at C o p er n i cu s was n o t a Po l e.
1 p f N N p , z i p , r j q * (739
(739 — 41 ,
41 GCpqCNNpq.
1 p j C p q , q j GHf Np q * (741
(741 — 42 ,
42 CGGNNpqrCCpqr.
42 r j G G q N p N p * 015 p / N p — 43 ,
43 GCpqCGqNpNp .
5 p j G p q , q j G q N p , r ( N p * 043 — 44 ,
44 GG sGqNp pG
GG pq qG
GsNp .
5 p f G N p q , q j G q p , r f p * 03 5 — 45 ,
45 CGsGqpCCNpqGsp .
THEOREMS OF THE SENTENTIAL CALCULUS 51
4 4 s \N
\ N q * (736 p f q , q f N p — 46 ,
46 GGpqGNqNp .
47 GGpNqGqNp .
45 s j N q * 036 p f q , q j p — 48 ,
48 GGNpqGNqp .
45 s f q , q f N q * 03 p f q , q j p — 49 ,
49 GG NpNqGqp .
Sin ce i t is
Sin i s d e m o n str
st r ated
ated i n t h e p r o o f t h a t C N T W , w e
a p p l y t h e r u l e o f d e t a c h m e n t a n d o b t a i n C N W T . Since
t h e a n t e c e d e n t N W of the last implication is accepted,
we again
again app l y th e rule of de t ach m en t and ob t ain thesi thesiss T .
1 p / C N p q y q l G N q p * 04 8 — 50 ,
50 CCCNqprCCNpqr.
22 q jC
j C q r y r j C N r N q * 046 p f q y q j r — 5 1 ,
51 GCpCqrCpGNrNq.
22 q jC j C r N q * 047 p ( q y q j r — 52 ,
j C q N r , r jC
52 GGpCqNrGpCrNq.
50 r jC
j C C p q q * 015 p j q , q j p — 53 ,
53 GCNpqCCpqq.
21 p j G N p q , q j G p q y r j q * 053 — 54 ,
54 GGpqGGNpqq .
Theses 53
Theses 5 3 and 5 4 are rem arkable in th a t the y pe rm i t us
to recognize the sentence q on the strength of two recog-
nized implications of the types C p q a n d C N p q (with
equiform consequents and contradictory antecedents).
Consequently, a sentence implied by two contradictory
sentences is true.
Theses 18, 2 1 , 2 2 , 30, 3, 54 appear as axioms of the
sen tential
tential calcul
calculus
us in
in an articl
art iclee b y D. H ilb e rt6.
rt6. One of
t h eo r ems o f t h e s e n t e n t ia l c a l c u l u s 53
55 0 CpqCCpNqNp .
Thesi s 55 pe rm its
Thesis its us to recognize
recognize a sentence of the typ e
N p o n t h e st r en g t h o f sen t en ces o f t h e t y p e G p q a n d
C p N q , T hus a sentence w hich i m pli pl i es twtw o. co ntrad icto
icto ry
sentences is false. The apagogic reasoning based on Thesis
5 5 was know n in i n an ti
tiqq u it
ityy . T he C hrist
hri stii an a u tho r O r igenes
ge nes,,
wh o li li v ed ini n t h e t h i r d cen t u r y A .D ., g iiv v es a n ex am p le,
l e,
seemingly of Stoic origin, of the following consequence:
i f y o u kn k n o w t h a t y o u a r e d e a d , t h e n y o u a r e d e a d ; if if
ya o
ndu kc o
nno se
swe qtuheant tl
tl yy oyuo ua r ed o d n
e aodt , ktnhoewn tyhoaut ayroeu naorte ddeeaadd;.
The first premise is based on the assumption that all
knowledge is true, and the second, on the assumption
t h a t if
if o n e k n ow o w s so m eth eth in
i n g th t h e n o n e i s n o t d ead . I n
conformity with the conclusion drawn, no one can know
t h a t h e is is d ead . W e d i rect r ect th t h e r ead er ’s
’s at ten
t en t io
io n t o
Thesiss 55 because it is often
Thesi oft en claiclaim m ed th a t tw tw o sentences
sentences
of the types G p q a n d C p N q cannot both be true. This
errr oneous view
er view resu l ts from from the fac t th a t people peopl e forget
forget
t h at a t r u e i m p l i cat i o n m ay h av e a f al se an t eced en t .
1 p f G N p q , q jG G p q q * <753 — 56 ,
56 GCGGpqqrCONpqr .
1 p J G j f p r , q jC G p q G C q r r , r f s * C57 — 58 ,
58 C G G C pq C GqrrsC GN p r s ,
58 sJCGqrGGpqr * (721 p j G p q , qfGqr — 59 ,
59 GGqrGCp qr .
G G N pr GGqrGCpqr
5
22 q j C N p r , r fC
f C C q r C C p q r , p j s * 059 — 60,
60 CCsCXfprC$CCqrCCpqr.
6 0 s jC p r j pfJifp
pfJifp * 0 4 1 q j r — 6 1 ,
61 C C p rC qrC C N p q r .
r C C qr
Thp esis
jy esiasn d61p differ
dif
arfers
e sr ep
from Thesis
Thesi
l aced s ect
r esp 59 ion
v ellyy in
b yt hpa ta th
n de Nsentences
sent
p . ences
1 q j N N p , r jq * 0 4 0 — 6 2 ,
62 CCNNpqCpq.
21 r j p * 018 q { p , p j q — 6 3 ,
63 CqCpp.
4 8 p / g , 2 / G p p * 063 q l ^ q — 64,
64 GN C ppq.
6 1 p / g , r / g , q jN
j N G p p * 016 p j q — 0 6 4 — 6 5 ,
65 CCNqNCppq.
66 GNGpqp.
46 P/2> 2 / 0 p g * 0 1 8 — 6 7 ,
67 CNCpqNq.
THEOREMS OF THE SENTENTIAL CALCULUS 55
Theses 6 6 an d 67 d em o n str
st r ate
ate t h a t th
th e fal
f alse
sehh o o d of
o f an
implication entails the truth of the antecedent of that
i m plicati
plication
on an d th e falsehood
falsehood of th e consequent.
4 8 p f q , q /C
/ C p N q * (718 q f N q — 68,
68 CNCpNqq,
Thesis 6 8 dif
differ
ferss from
from Thesis
Thesis 67
67 only in
i n th a t the sen
tences q a n d N q are replaced, respectively, by the con
tradictory sentences N q a n d q.
51 q j G p q , rj q * (72
(720 — 6 9 ,
69 GpGNqNGpq.
Th esis
esis 70 differ
differss from
fr om Thesis
Thesis 69 only in
i n th a t sentences
N q a n d q are replaced, respectively, by sentences q
and N q.
70 p j G p p , qjGqq * (716
(716 — (716
(716 p f q — 7 1,
1,
71 N G G ppN G qq.
Thes is 71 i s a n ex am ple
Thesi pl e of a theorem th a t begins begins w i t h
the functor N .
15. W e n o w g iviv e a n u m b er o f t h eo r em s i n w h ich
ich t h e
symbols of alterna ti
tio
o n occur alongsi
alongsidede th e p ririm
m it
itive
ive t erm s.
First we recall the definition of alternation.
Ol A pq — G N pq .
3 * 01-72,
72 O pA p q .
5*
Theses 73, 74, 75, 76, 78 form the axiom system of the
sen tential
tenti al calcul
calculusus prese nted in P r i n c i p i a M a tth i e a [35
h e m a t ie [35].
].
That axiom system is preceded by the following defini-
tion of implication: C p q = A N p q , f o r t h e p r i m i t i v e t er m s
o f t h at sy st em ar e A a n d JJO OT. I n t h i s w a y a d e fif in e d t e r m
occurs in the axioms themselves. Thesis 78 can be proved
b y m e a n s o f t h e r e m a in in g a x io m s , a n d a s s u c h is s u p e r -
fluo
fl uo us as a n axiom 9.
9 * 01*79,
79 CC ApqrCpr.
19 p j W p * 01*80,
80 CCApqrCqr.
61 * 01*81,
81 G C p rC
rC C q r C A p q r .
Thesis 81 enables
Thesis enabl es us to acc ep t , on the stren g th of sen-
tences of the type: C p r a n d Cqr, a s e n t e n c e o f t h e t y p e
C A p g r . Theses 7 79
9 , 80 and 81 m ay be ad op ted as axiom axiom s
of the sentential calculus if we adopt A and 27 as the
p r i m i t i v e t e r m s a n d a d m i t t h e o c c u r r e n c e o f d e f in e d te r m s
in axioms. The said theses are structurally related, for
37 r ( q * 01 8 3 ,
83 CCCpqqApq.
Theses 82
Theses 82 and 83 dem on strate,
strate, as m enti
entione
one d above
(cf.
cf. the rem ark to Thesis
Thesi s 27),
27), the ad m issibil
issibilit
ity
y of the
the
following definition of alternation: A p q = G C p q q .
1 6 p j C N p q * 011 *84 ,
84 CApqCNpq.
58 n . TH E SENTENTIAL CAL
LCCU
ULLU
USS
16 p j G N p q * 0 1 1 1 - 8 5 ,
85 CCNpqApq.
41 * 01 p /iy p - 8 6 ,
86 G C p q A P f p q.
62 * 01 p l& p •87,
87 CANpqCpq.
Theses 86 a n d 87 d em o n st rat
rat e t h e ad m i ssib
ssib i li
li t y o f a d e
finiti
fi nitio
on of i m plica
pli ca t ion such as is ad op ted in P r i n c i p i a
M a t h e m a t i c a ((cf
cf.. th e rem ark to Thesis 78 78 above).
C p q * 087 — 8 8 ,
±6 p f A N p q , q jjC
88 GNGpqNANpq.
46 p j C p q , q j A P f p q * 086 — 80,
89 GNANpqNGpq.
85 qilifp * 016 p j N p — 9 0 ,
90 A p lS fp .
t h eo r ems o f t h e s e n t e n t ia l c a l c u l u s f>9
W ed n esd ay o r t o d a y is i s n o t W ed n esd ay ” is
i s an a p p l icat
icatii o n
of Thesis 90.
16. Th e foll
follow ing seriseries of theorem s includes, in a d d i
t io
io n to
t o t h e f u n ct o r s w h ich
ich h av e alr
alr ead y o ccu r red
red , also
also t h e
f u n c t o r K . The definition of conjunction is repeated here:
02 K p q = N G p N q .
70 * 02-91,
91 CpCqKpq.
21 r j K p q * C91
C91 — 92 ,
92 GqGpKpq.
68 * 02-94,
94 CKpqq.
Thesiss 95 an d th e su b stitu
Thesi stitu ti
tioo n of Thesis
Thesi s 94, q / p , give the
law of tautology for conjunction-, it might be symbolized
as one thesis: E K p p p .
1 p fK
fK p q , q fp * 0 9 3 — 9 6 ,
96 GGprGKpqr.
1 p fK p q * 094 — 97,
97 CCgrGKpqr.
60 II. THE SENTENTIAL CALCULUS
5 p fG K p q r , q fC q K p q , r jC q r , s jp
* 022 q j K p q , p j q — 0 91
91 — 9 8 ,
98 qrr .
CG KpqrCp Gq
21 p fC K p q C q r , q j C K p q q , r j G K p q r * 095 p j K p q — 0 9 4 — 9 9 ,
99 C G K p q G q r C K p q r.
1 p j O p r , q jC K p q r , r js * 096 — 100,
100 0 0 G K p q r ssG
G G p r ss..
100 r jC
j C q r , ss// G K p q r * 099 — 101,
101 0 C p Cq
Cq rG K p q r .
101 p j G p q , q jG q r , r f G p r * 01 — 102,
102 CKGpqCqrCpr.
101 p j C q r , q j C p q , r j C p r * 0 2 2 — 1 03
03 ,
103 r G p q C p r.
G K G q rG
T h e law
law o f i m p o r tat
tat io
io n en ab les
les n s t o g iv
i v e t o t h e l aw o f
th e syll
syllogism
ogism th e form of Thesis Thesis 1 0 2 or Thesis 103.
101 g j C p q , r jjq
q * 0 20
2 0 — 1 04
04 ,
104 GKp Gp q q.
called m o d u s p o n e n s .
101 r j K q p * 092 q j p , p f q — 1 0 5 ,
105 G K p q K q p.
THEOREMS OF THE SENTENTIAL CALCULUS 61
108 q j p * 0 16
1 6 — 1 09
09 ,
109 N K pN p.
Th esis
esis 109
1 09 is a sym bolic bolic form ulation
ulation of thth e law of con-
tr adiction , which states that two contradictory sentences
cannot both be true. The sentence “it is not true that
( to
to d a y is
i s W e d n e s d ay
a y a n d t o d a y i s n o t W e d n e sd
sd a y )”
)” i s
an application of Thesis 109.
88 q / N q * 02 *110 ,
110 CKpqNANpNq.
8 9 q f N q * 02 *111,
111 CNANpNqKpq.
Thes es 110
Theses 110 an d 111
111 d em on st
strat
ratee th e adm i ssibil
ssibilii t y of the
following definition of conjunction: K p q — N A N p N q .
47 p j K p q , q f A N p A f q * 0 1 1 0 — 1 1 2 ,
112 CANpNqNKpq.
48 p j A N p N q , q j K p q * O l l l — 1 13
13 ,
113 CNKpqANpNq.
Theses 112 and 113 are d e M o r g a n ' s l a w s , wh i ch st at e
62 II. THE SENTENTIAL CALCULUS
t h a t t h e r e i s a b i lat
lat er a l i m p l icat
icat io
io n b et ween t h e n e g at io
io n
of the conjunction of two sentences and the alternation
of the negations of those sentences.
65 * 02 q j l Sg-114,
114 G N C p qK p N q .
107 p f N p * 01 *115,
115 C K N p N q N A pq.
114 p / R p * 01-116,
116 G N A p q K N p iN
iN q .
t h a t t h e r e is
i s a b i llat
at er a l im
im p li
l i cati
cat i o n b etw
etw een,
een , t h e n eg ati
at i o n
o f t h e al t er n at i o n o f t wo sen t en ces an d t h e co n j u n ct i o n
of the negations of those sentences.
17. T he foll
follow ing seri series of theo rem s w ill also also includ e
S h ef f er’ s symb o l , or symbol of a l t ern a t i ve d en i a l . Its defini
tion is now recalled:
03 D p q = G p N q .
38 * 03 2/P-117,
GDppNp.
117
11 7
18 q f N p * 03 q j p -118,
118
11 8 GNpDpp.
These s 117
Theses 117 and 118 118 de m on str
strate
ate th
t h e ad m i ssibil
ssibilii t y of the
following definition of negation by means of the symbol
o f al t er n at i v e d en i al :
N p = D pp.
47 +03-03 p ) q , g / p - 1 1 9 ,
119 G D p q D q p.
Thesis 119 is the l a w o f c o m m u t a t iv
i v i ttyy of a lltt eerr n a ttii v e
denial.
denial.
55 * 03-120,
120 GGpqCBpqNp.
120 * 03 p j D p q , q i p ' 121 ,
121 OCpqDDpqp.
1 p f G p q , q lD
l D D p g p * (7121 — 122,
122 C G D D p q p rC
rC C p g r .
122 r j D p D p q * (7119 p j D p q , q f p — 1 2 3 ,
123
12 3 C C p q D p B p q.
68 * 03-124,
124 GNBpqq.
22
q!NDpq<s rjq * (7124 — 1 2 5 ,
1 25 CGpNDpqGpq.
125 * 03 q f D p q - 126 ,
126 CDpDpqGpq,
Thes es 123
Theses 123 an d 126 12 6 d em on strat
st ratee th
t h e adm i ssibil
ssi bilii t y of the
f ol
olllow ing d efinit
efini t ion of im plicati
plication on b y m eans of th t h e sym bol
o f al t er n at i v e d en i al al o n e:
G pq = B p D p q .
S h e ff
ff e r h a s s h o w n 11 t h a t a l l t h e t e r m s o f t h e s e n t e n t i a l
cal cu l u s can b e d ef i n ed b y m ean s o f al t er n at i v e d en i al .
I t c a n b e se s e en
e n fr
f r o m t h e r e su
s u l ts
ts o b t a in
in e d a b o v e th
th a t th e
t er m s o f t h e sen t en t i al cal
c alcu
cu llu
u s w h ich
ich ap p ear i n o u r sy stemstem
can b e d ef i n ed b y m ean s o f t h e sy m b o l o f al t er n at i v e
d en i al:
al: f o r n e g at io i o n an d i m p l icat
icat io
io n t h i s ca n b e seen seen
d irectly fromfrom Theses 117, 118, 123 an d 126; a ltern ltern ation ,
co n j u n ct io
io n an d eq u i v alen
alen ce ar e d ef in in ab l e b y m ean s o f
n eg at io
io n an d i m p l icat
icat io
io n , w h ich
ich can easil
easil y b e red
red u ced t o
alternative denial.
T h e Fr en ch l o g i ci an J. Mo o d g av e a si n g l e ax i o m
of the sen tential
tenti al calcul
cal culus,
us, w itith
h altern ative den i al as
64 I T . T H E S E N T E N T I A L CA L CU L U S
t h e o n ly
ly p r iim
m i t i v e t e rm
r m 12 K icod’s
icod’s axiom
axi om is is ve ry com
p lic a te d a n d n o t v e r y in tu itiv e . I n o u r n o ta tio n i t c a n h e
w ritten
ritten dow n as ffol olllows:
D D p D qr D D tD ttD D s q D D p s D ps .
I n st ea d o f t h e u su a l r u le
le o f d et ach m en t , f o r m u l ated
at ed w i t h
resp ec t to im plicati
plicationon , K i cod’s
cod’s system
system con t ains ai ns th e rule
r ule
w h ich
ich p e r m i t s u s t o a ccep t t h e ex p r essi ess i o n y o n t h e
stren g th of th e recognized
recognized expressi
expression on D a D f i y a n d t h e
recognized expression a.
18..
18 T he la st seriseries of t heo rem s of th e se n ten ti tial
al cal
cal
cu lu
lu s in
in clu
clu d es t h eo rem
r em s t h a t co n t ain
ai n t h e sy m b o l o f e q u i
valence, i n t r o d u ced ab o v e b y Def i n i t i o n 0 4 :
04 E p q = N G G p q N G q p .
1 6 p fN G G p q N G q p * 041*02 p f G p q , q fG q p 11*127,
T h eses
es es 12
1 2 7 a n d 1 2 8 sh
sh ow
o w w h a t h as a l r ead y b een p o i n ted
t ed
out above, namely that the following definition of equi
v a le
le n c e m i g h t b e u s e d :
B pq = K G pqG qp,
66 p f G p q , q f N C q p * 04*129,
129 GEpqGpq.
6 8 p fG p q , qfGqp * 04-130,
130 C Ep qC qp.
T h eses
ese s 1 29
29 an d 1 30
3 0 p e r m i t u s to
t o accep t , o n th
t h e st r en g t h
of an accepted equivalence of two sentences, the impli
cat i o n b et ween o n e o f t h ese t wo sen t en ces an d t h e o t h er .
7 0 p f G p q , q f G q p * 04*131,
131 CGpqGGqpEpq.
THEOREMS OF THE SENTENTIAL CALCULUS 65
Thesis 131
Thesis 1 31 pe rm i ts us to acce pt the equivalence
equivalence of t w o
sentences on the strength of two implications holding in
t w o d i recti
recti on s betw een t he se tw o sentences.
sentences. W hen Thesis
Thesis
1 3 1 i s ap p l i ed t o t h e t h eo r em s p r o v ed ab o v e, a n u m b er
of law s are ob tainetaine d w hich
hich hav e th e form of equivalequivalences.
ences.
131 q j p * 0 1
166 — 0 16
1 6 — 1 32
32 ,
132 Epp.
The sis
sis 132
132 is th
th e l a w o f i d e n t i t y i n t h
hee f o rm o f a n eq u i vva
a len
l en ce
ce..
131 q j l f N p * 0 40
40 — 0 4
499 — 1 3 5,
5,
135
13 5 EpN N p.
131 p j C p q , q j C N q N p * 0 4 6 — 0 4 9 p f q , q j p — 1 36
36 ,
136
13 6 E C p q G H fq N p .
131 p j G p q , q f A N p q * 0 86
8 6 — 0 87
8 7 — 1 3 7,
7,
137
13 7 EG pqAN pq.
131 p j G p G q r j q j G K p q r * 0 10
1 0 1 — 0 98
9 8 — 1 38
38 ,
T h e laws o f i m p o r tat
tat io
io n an d ex p o r tat
tat io
io n are
ar e w r it
it ten
ten d own
o wn
in one sentence, namely Thesis 138.
131 p f N p , q j D p p * 0 11
1 1 8 — 0 1 1 7 — 1 39
39 ,
139 jW N p D p p .
131 p f C p q , q jD
j D p D p q * 0 12
1 2 3 — 0 1 26
2 6 — 1 40
40 ,
140 E C pqJD pD pq.
5 p j C N C p q r , q jC
j C N q N C p q , r jC
j C N q r , ssjj p
* 022 q jN
j N C p q , p j N q — 069
06 9 — 142,
142 G C J tf C p q r G p C N g r .
G N G p q G N q r, q j C N G p q N q , r jC N C pqr
2 1 p jjG
* 035 p j N C p q , q j N q — 0 6 7 — 1 4 3 ,
143 0 G N C p q C N q rC N C p q r.
2 5 p f N G p q , r j C J P q r , s f G N G p q r , q j p * 01
0 1 43
43 — 0 66
66 — 1 4 4 ,
144 GGp C N q r G N C p q r .
22 qjGq r, rI
rIGC
GC rs Cqs * 01 p f q , q j r , r j s — 1 4 5,
rsCqs 5,
145 CCpCqrCpCCrsCqs.
C p C C rrss C q s , r j C C r s C p C q s
l p j G p C q r } q JJC
* 0145
0 145 — 0 21 , q ( G r s , rjCqs — 1 4 6 ,
146 CCpCqrCCrsCpCqs.
19. I n the n ex t tw
19. tw o secti
secti ons w e shall he concerned
w i t h p r ob
o b le
le m s t h a t d o n o t b el
e lo n g t o t h e s y st
ste m o f t h e
sen tential calcul
calculusus itsel
itself,
f, b u t are p r o b l e m s i n w h i c h th e
s ent ent i al cal cul us i s an obj ect of i nves t i gat i on, and t hus
belong to the methodology of that system. These issues,
t h em selv
selv es o f g r ea t i m p o r tan
tan ce , h av e n ev er b een r aised ai sed
in philosoph
philosoph i cal logi logicc an d ha ve developeddevel oped en ti tirely
rely in
conn ectiect i on w i th m athe m ati atica
ca l l ogic.
ogic. O ur analysis
analysis will will n o t
t ak e t h e f o r m o f f o r m al i zed an d co m p l et e p r o o f s, as wer e
u sed ab o v e i n p r o v i n g t h eo r em s o f th t h e sen t en t ial
i al calcu
calcu lulu s.
T h e p r o o fsfs t o b e p r esen t ed b elo elo w m i g h t b e fo fo r m ali
al i zed
w i t h i n so
s o m e a x io
i o m a ti
t i c s y s te
te m , b u t t h a t w o u ld ld b e e x -
where a w o u ld ld d if
i f f er
e r f r o m a t t h e m o st b y h av i n g a cer t ain
ai n
definie
defi niendum
ndum replaced by the correspondi corresponding ng defi
definiens
niens.. B u t
no defined
defined term s w ould oul d occur in th e proofs of sentences sentences
o f t h e f o r m a an d N a . Thus to prove the consistency of
our system
system it suf su ff ices
ce s to to de m on strat
st ratee th a t the definit
definitii on-
free system of the sentential calculus is consistent. Such
a system
system differdifferss from
from o u r system
system only in in- th a t it includes
ncl udes
n o r u l e o f r ep l acem en t , an d t h e r u l e o f su b st i t u t i o n i s
restricted to meaningful expressions that contain no de
fined terms.
Th e ba sic ide a of a proof of c onsistencyonsistency of th e d efinit
efinitiion-
free sentential calculus consists in constructing a certain
p r o p e r t y <p0 which satisfies the following three conditions:
1) property <pa is an attribute of every axiom;
2) if an expression has property <p0> t h e n e v e r y s u b
stitu ti
tioo n of th a t expressi
expression (containing
(containing no defined
defined term
term s)
h a s p r o p e r ty
ty <p0; if any two expressions have property <p0,
t h e n t h e e x p re re ss
s s io
io n o b t a in
in e d f ro
ro m t h e m o n t h e s tr
tr e n g t h
o f t h e r u l e o f d et ach m en t al so h as p r o p er t y <p0',
3) two contradictory expressions, i.e., of the forms a
a n d JO fa, respe ctive
JOfa, ctive ly, c an no t b o th h av e p ro p e rty <p0.
C ondit
ondi tion 2) can be form f orm ulated
ulat ed m ore briefl
bri efly
y b y statin
statin g
t h a t p r o p e rt
r t y <p0 is hereditary with respect to the rules of
70 111. m e t h o d o l o g y o f t h e s e n t e n t ia l c a l c u l u s
0 0 1 N
0 I 1 1
1* 0 1 0
The symbols
symbols in the first column
column of th e tab le are the values
o f t h e ar g u m en t o f n eg at i o n o r t h e v al u es o f t h e f i r st
argum ent of imp li licati
cation;
on; th e values of th e secon second d argum en t
of implication are in the first row of the table. The four
values of imp licati lication
on corresponding
corres ponding to th e respective com
b in a ti o n s o f t h e v a lu e s o f t h e a r g u m e n ts a re t o b e fo u n d
in the two lower rows of the two middle columns, and the
values of negation, in the last column of the table.
I n th e p r o o f o f c o n s i s t e n c y w e n e e d n o t tr e a t th e s y m b o l s
“ 0 ” a n d “ 1 ” a# falsehood
falsehood an d tru th . F o r us u s they are symbols
whose meanings are reduced to the role assigned to them
CO N S I S T E N CY O P A X I O M S . M A N Y - V A L U E D L O G I C 71
to the reader.
W e now consider condition
condit ion 2 ): property <jjpp0 is
is he red it
itary
ary
with respect to the rules of inference of the definition-free
sentential calculus. Suppose that the expression W h a s
6*
72 1 11
11 . M E T H O D O L O G Y O F T H E S E N T E N T I A L CA L CU
CU L U S
p r o p e r t y <p0 a n d t l i a t t h e s u b s t i t u t i o n p j a is performed,
where a is a meaningful expression that contains no
d ef i n ed t er m s. Su p p o se f u r t h er t h at t h e r esu l t i n g ex -
prr e s s i o n P d o e s n o t h a v e p r o p e r t y <p0j
p 0j i.e., that after
a cer t ai n su b st i t u t i o n i t ch an g es o n r ed u ct i o n i n t o t h e
sy m b o l “0 ” . A f ter t er th
t h i s su b st it
i t u t i o n t h e ex p ress
ressii o n a changes
o n r ed u ct io i o n i n t o a cer t ai n symsy m b o l. l . L et u s no
n o w su b st i tu tu t e
for p in th e expressi expres sion on W th e symbol into which a has
changed, and for the remaining variables, such symbols
r esp
es p ect iv iv el y as w e h av e su b st i t u t ed i n t h e ex pr p r ess
e ssii o n P .
For such a substitution the expression W wou ld also al so have
to change into th e sym bol “0” , w hich i s impossib imposs ible le.. Hence
ex p ress
ressii o n P can n o t ch an g e i n t o “0 ” f o r an y su b st i tu t u t io
io n
whatever. Thus, every substitution of an expression that
h a s p r o p e r t y tpQ also possesses that property.
Suppose now that certain expressions of the form
G a p an d a h a v e p r o p e r t y <p0. Should expression p n o t
h a v e p r o p e r ty
t y <pQ, t h en f o r a cer t ai n su b st i t u t i o n i t wo u l d
change into “ 0 ” . F or a correspondi
corr esponding ng sub stitution
sti tution a would
change into the symbol “1”, since it has property <p9.
Consequently, the expression C a p would change into “ 0 ”
in conform ity ity w ith
it h ou r table (O 10 = 0 ). T ha t, however,
is not possible, since the expression G a p h a s p r o p e r t y <pQ.
1) pproperty
2) r o p er t y ^px isi s hereditary
< an a t t r i b uwith
t e o frespect
Ax io
io m to
s 2theanrules
d 3;
of inference of the definition-free sentential calculus;
3) property rpx is not an attribute of Axiom 1.
74: H I. METHO
ODD O L O G Y O P T H E S E N T E N T I A L C A LC
LC U LU
LU S
0 0 1 2 IV
0 1 1 1 1
0 1 0 0
2 1 1 0 2
O G N 2 2 2 = CC
CC22
222
2 = C01 = 1 .
F o r Axiom
Axiom 3 we ha ve to chec k 32 — 9, su b stitu tion s.
Fo r i n st an ce, t h e su b st i t u t i o n p / l , q f2 yields:
G 10
1 0 N 12
12 = G1 G0 2 = 0 1 1 = 1 .
c 0 1 TV
0 1 1 0
1* 0 1 0
76 III. METHODOLOGY OP THE SENTENTIAL CALCULUS
G p C N p q = C pC O q = G p l = 1 .
€ 0 1 nr
0 1 1 1
1* 0 1 1
CO N S I S T E N CY O F A X I O M S . M A N Y - V A L U E D L O G I C 77
GGWOOO = C C 10 0 = 0 0 0 = 1 ,
GGN111 = 00111 = O il = 1 .
I t can al so easi l y b e seen t h at p r o p er t y <pz is hereditary
with respect to the rules of inference. On the other hand,
Axiom 3 does not have property <pZ Zii si
since
nce th e sub stituti
sti tution
on :
p j l , qjO yields
G i c m o = o i o io
io = o i o = o .
W e h a ve t h u s d emo n st ra t ed t h e i n d ep en d en ce o f A xi o m 3
f r o m A x i o m s 1 a n d 2.
fr
This com pletes
pletes th e proo f of of indep end ence of ou r
system of axioms: n o a x i o m i n o u r s y s ttee m o f tth
h e s e n ttee n ttii a l
calculus is a consequence of the remaining axioms.
21. The proof of the independence of the axioms of
the sentential calculus included the use of a table with
three values: “ 0 ” , “ l ” , “ 2 ” . I n p r o v in
in g th
t h e in
i n d ep
e p e nd
n d e n ce
ce
of the various theses of the sentential calculus one often
h as t o u se t ab l es t h at co n t ai n t h r ee o r m o r e d i f f er en t
values. Attention has been drawn to the fact that in
p r o v i n g c o n s i s t e n c y a n d i n d e p e n d e n c e i t is n o t n e c e s s a r y
t o t r eat t h e sy m b o l s “ 0 ” a n d “ 1 ” as standing for false
and true sentences, respectively. However, one may wish
t o k n o w wh et h er t h e t h i r d sy m b o l u sed i n t h e p r o o f s o f
independence, can also be interpreted logically, as can
the symbols “ 0 ” a n d “ 1 ” .
I n car r y i n g o u t t h e p r o o f o f i n d ep en d en ce we h av e
demonstrated that every thesis of the sentential calculus
h a s p r o p e r t y <p0 0ll which we consider to be the charac
teristicinvestigation.
under property of For the attruethesentences
root of the of logic
the calculus
we use
t h er e i s t h e assu m p t i o n t h at ev er y sen t en ce al way s h as
one, and only one, of the two logical values: falsehood
an d t r u t h . T h i s assu m p t i o n i s u su al l y n o t f o r m u l at ed
explicitly, but is a basic assumption made in logic. This
prr i n c i p l e o f t w o v a l u e s i n o u r lo g ic c o r r e s p o n d s t o t h e
p
p rin c ip le of c o n tra d ic tio n a n d t h e p rin c ip le of t h e e x
cluded middle interpreted as follows: no sentence is both
true and false (the principle of contradiction), and every
sentence is either true or false (the principle of the ex
cluded
cl uded m i ddle).ddl e). I t is only
onl y in th a t se
sens
nsee th a t these princi
principlples
es
may be considered basic laws of logic.
The principle of two values offers us a criterion for
checking meaningful expressions of the sentential cal
culus without proving them by means of axioms. For
in conformity
conformity w ith it h th a t principl
principle,e, tot o check
check the t he general
genera l
truth of a meaningful expression we have precisely to
determine w he ther all the sub stitutions stitutions of th a t expres expressi sion,
on,
in which the variables adopt one of the two values, false
h o o d o r t r u t h , “ 0 ” or “ 1 ”, change into true sentences.
In other words, in order to check whether a meaningful
ex p r essi o n i s t r u e we h av e t o m ak e su r e wh et h er i t h as
p r o p e r t y y 0.
We m i g h t , h o wev er , ad o p t a st an d p o i n t at v ar i an ce
w ith
ith th e princi
principle
ple of two values in log logii c. W e m ight assume
that a sentence, in the logical sense of the term, might
h av e v al u es o t h er t h an f al seh o o d an d t r u t h . A sen t en ce,
of which
which we do n o t know w hethe r it i s fal false
se or true, m ight
have no value determined as truth or falsehood, but
might have some third, undetermined, value. We might,
for instance, consider that the sentence “in a year from
now I shall be in Warsaw” is neither true nor false and
has a third, u ndeterm ined, value, which whi ch can be symbol
symbolii zed
as W e m ight go still still fu rthe r an d ascribe
ascribe to sentences
sentences
infinitely many values contained between falsehood and
th
t h ee mcorrespondi
corr
et hesponding
o d o f png
r o vnum
i n g bers
t h e iof values.
val
n d ep enues. I ohav
d en ce f t eh eses
developed
devel
o foped
the
sentential calculus precisely in connection with the study
of many-valued logic.
In three-valued logic we would have to give a table
for implication and negation, analogous to the one we
have in two-valued logic. The following table seems the
most intuitive:
0 O i l N
0 1 1 1 1
* i l l i
1* O i l 0
c c N m = c c m = C ll** = * .
I t f o l l o ws f r o m t h e t ab l e ab o v e t h at ev er y t h eo r em o f
three-valued logic also is a theorem of two-valued logic
(but, of course, not vice versa). Thus three-valued logic
is a 'proper part of two-valued logic.
K pq = N A N p N q ,
B pq — KGpqCgp .
These definiti
definitions ons of altern ation an d equivalence equivalence hav e
b e e n d is c u s s e d a b o v e . T h e d e f in i t i o n o f c o n j u n c t i o n is
b a s e d o n D e M o r g a n ’s law la w s .
The logic of infinitely many values is a proper part
of two-valued logic; in most cases those theorems of
two-valued logic on which are based certain forms of
geom etrietries
es an d m any -valued
-val ued logi
lo gics
cs are co nsistent
nsistent system
syst em s,
al t h o u g h t h ey d i f f er f r o m E u cl i d ean g eo m et r y an d t wo
v al u ed l o g icic r esp ect iv
iv el y . W i th
th o u t p r eju
eju d i ce t o t h e i ssu
ss u e
w h ich
ich lo g ic,
ic, i f an y , i s t ru
r u e, we m ay p o i n t o u t t h a t t w o
v al u ed l og
o g ic
ic h as t h e ad v an t ag e o f b ein
ei n g m u ch simsim p ler
l er t h a n
are m any -valued logics ogics.. B u t, in an y case, case, m any-valued
any-valued
logics
ogics hav e prov ed useful usef ul b y developing
devel oping th th e m ethod
et hod o f
i nv estiga
estiga ting
ting independen ce, a m ethod et hod w hichhich I could
could dem
o n strate here only onl y in a v ery lim lim itited
ed w ay 3.
an ex p r essi oCp
expression n qwh i ch d o es n o t h av e p r o p er t y <po, e.g., the
. O n s u b s t i t u t i n g p j l , qjO, we o b t ai n :
CIO = 0. B y app l ying th e rule of sub stituti stitution
on , we can
can
easily obtain from the expression under consideration
ofo tthe
n h a vsystem.
e p r o p e Thus
t y <p0 we
r ty see that
on being an expression
joined which
to the system, does
enables
u s t o ar r i v e at a co n t r ad i ct i o n wi t h i n t h e sy st em .
By following this example we can easily demonstrate
i n g en er al t h at i f ev er y ex p r essi o n h av i n g p r o p er t y <pQ
is a thesis of the system, then every meaningful ex-
prr e s s io n ( w i t h o u t d e f i n e d t e r m s ) w h ic h is n o t a t h e s i s
p
of th t h e system
syst em , on b eing joined to the system syst em , enabl
enab l es us
to arrive at a contradiction. It follows directly that the
converse holds tru e as well: well: if every m eaningful expression
expression
(w itho
it ho ut defined term s) which is is no t a thesis of the system
syst em ,
on being joined to the system, enables us to arrive at
a c on tradic tion, th e n eve ry expression w ith pro p er ty <j30
is a thesis of the system. For should an expression with
p r o p e r t y <p„ n o t be a thesis of th e system, th e n on being being
jjo
o i n e d t o t h e s y s t e m i t w o u ld h a v e t o r e s u l t i n a c o n -
tradiction; but we know from the proof of consistency
t h at n o ex p r essi o n wi t h p r o p er t y <p0 can in our system
yield a contradiction.
It follows from the above that the answer in the
affirmative to the question raised above is equivalent to
th e foll
fol l owing theorem : ev eryy m ea ni n gf u l expr es ssii on (w ithout
ever ithout
defined terms) eit either
her is a tthesis
hesis o f our system of tthe he senten tial
calculus, or}
or} w hen jo ine d to that system , enab
enable
less us to
arrive at a contradiction. If this theorem is true then we
say that our system of the sentential calculus is a complete
s ys t em.
The first proof of the completeness of the sentential
(a) ,
(b) &
(a )
(a) C a G f i y ^ C f i C a y, (2 1 )
(b))
(b a C N a N C pp , (3, 65)
(c) C N N ay ~ C ay , (6 2 , 4 1 )
D etail
etail ed proofs
proofs of th
t h e first an d th
t h e last of these
these eq uiv-
alences
al ences w ill be
equivalences aregive n here; th e proofs of th e rem aining
analogous.
B y s u b s t i t u t i n g p i a, qj
qjff i , r j y in Thesis 21, and then
p/j
p /j8, qja, r(y in th e sam sam e thesis,
thesis, we sta st a te th a t the foll
ollowing
owing
two implications:
are theses;
Th i s, w it
ithh D ef. la , lead
lead s to e quivalence
quivalence (a).
a).
~Now let the following substitutions be made in Theses
37, 19 and 59: p/a, g/£, r f y . Thus the implications
are the
the ses. This, w it
ithh D ef. lb , lead
lead s to eq uivalence (e)
(e)..
L .2 a, I f
(1 ) a~/3 and P~y
then
(2 ) a ~ y .
P roof. I t foll
ollows from
from assum ptions
ptions (1 ) th a t th
t h e i m pli
pl ica-
tions
Cap, Gfictj Gf3y aan
nd <7y/S
Gay and G ya
are theses. Hence, equivalence (2) is true.
L. 2b. I f
(1 ) a'--'
a'--'/?
/? and P~Ynyt
t h en
(2) a ~ y XTy %
%..
Proof. If f oll
oll ows from assum ptions
pti ons (1
(1) th a t th e implica
impli ca
tions
(3) Cap, Cfia, CPyx, C0y2, and CyxCy
(3) Caxp^Ca^y.
I t fol
f olll ows from
from assum ption (1
(1 ) an d from
from Def. la
that the implications
(4) Cfiy and Cyfl
are theses.
7
Hen ce t h e i m p l i cat i o n s
are theses.
these s. W e again su b stitute in ThesisThesis 22: q! q!Gak
Gak Cak
Cak_ _ x„.
Gax
axp,
p, rlG<xk Ca
Cak_1..
k_1...G k+ltt a n d n e x t : qjGak, Cak_x...
.G al y , p l a k+l
Gax
axy,
y, rlC ak Gak_x...
Gak_x... Ga
Gaxfi,
xfi, p j a k+ x. On ap p l y i n g t h e r u le
k+x. le o f
d et ach m en t t o t h e ex p r essi o n s t h u s o b t ai n ed an d t o
expressions (5) we state that the implications
GGak+1 Cg^ . . . G a i^G a k+1 Gak ... Gaxy ,
Gaxy
G G a k+1 Ga
Gakk ...
...CC al yG ak+x C
ak+ Caa fc...
.. . Ga
Gaxx /?
(1) Gai i C a
aii t . .... G a iin
nP ~ G a x G
Gaa 2. ..
.. C a n f } .
Pr o o f . I n t h e p r o o f o f t h i s l em m a t h e f o l l o wi n g t h eo r em
f r o m t h e t h eo r y o f p er m u t at i o n s wi l l b e u sed :
B y p e r f o r m i n g i n th e s e q u e n c e 1 , 2 multiple
adjacent transpositions we can obtain any permutation of
the numbers of that sequence 6.
L e t & b e a n a t u r a l n u m b e r less t h a n n . F r o m e q u i v -
alence (a) of Lemma 1 it follows that
Ga k+1 Gak <?«* +2• • • G an
Gak+1 an P ~ G a
ak
k ®ak
ak++l < ? < * *+ 2 “ * *
T h i s eq u i v al en ce an d t h e p r eced i n g l em m a l ead t o t h e
equivalence
Gax ... Ga k_ x Gak
Gak+
+1 Ca k Cak+2... C an fi
~ C a x..
x.... Gak_
Gak_ 1Gak
Gak Cak+
Cak+1.„ .
T h i s, L . 2 a, an d t h e co m b i n at o r i al t h eo r em q u o t ed
above easily lead to equivalence (1 ).
23. The following lemma is of particular importance
f o r f u r t h er an al y si s:
L . 5 a. I f
(1 ) 0 ^ 0!, 03
a n d n ei t h er § x n o r 0 2 i s i n d e p e n d e n t t h e n e x p r e s s i o n a i s
not independent.
Pr o o f . On l y p a r t b o f t h e l eme m m a wi ll
l l b e p r o v ed , the
p ro o f o f p a r t a b e in g le f t to t h e re a d e r.
Fr om t he assum pt i on t hat expr essi ons 0Xand 02 ar e
n o t i n d ep en d en t i t f o l l o ws t h at ei t h er b o t h o f t h em ar e
t h eses o r t h at at l east o n e o f t h em , wh en j o i n ed t o the
system, leads to a contradiction.
F r o m D ef.
ef . l b an d (1
(1) i t f o ll
ll o ws
w s i m m ed i atel
at el y t h a t
in the former case expression a is a thesis and thus
is not an independent expression. It also follows from
Def . l b an d (1
(1) t h a t the j o i n in
in g to t h e sy stem
st em of
of
7*
expression a en t ai l s t h e j o i n i n g t o t h e sy st em o f b o t h
expressions & and /?2. Thus, if the joining of one of these
expressions leads to a contradiction in the system, then
t h e j o i n i n g t o t h e sy st em o f ex p r essi o n a also entails
a c o npossible
two t r a d i c t i ocases,
n i n t hexpression
e s y s t e m ; ah einsc en oitn itnhdeepl aen
t tde en
r ot .f t h e
E v e r y m e a n i n g f u l e x p r e s s io n o f th e s e n te n tia l c a lc u lu s
having the form
I CaxCal ...CanNCpp
w ill b
bee cal d an exp r es s i on o f f or m I . T h e e x p r e s s i o n s
calll eed
al}} Oa,..., an w ill be called the anteceden ts o f exp ression I .
al
I t f o ll
llo ws f ro
r o m eq u iv
i v alen
al en ce ( b ) o f L em m a 1 t h a t
L . 6 . E v e r y m e a n i n g f u l e x p r e s s i o n o f th e s e n te n ti a l c a lc u lu s
i s equi val ent t o a cer t ai n expr es s i on of f or m I .
Def. 2. A n e x p r e s s i o n o f f o r m I i s c a l l e d s i m p l e i f a n d
o nly i f eac
eachh o f its antecedent is a single variable or th
thee n ega tion
ti on
of a single variable.
For instance,
GpCNqNCpp, CrCsCtNCpp, GNqCqNGpp
expression G p p , an d f o r ev er y n eg at ed v ar i ab l e wh i ch
occurs in these antecedents, the expression N G p p . I t c a n
easi l y b e seen t h at sn ch a su b st i t u t i o n can b e m ad e.
On ap p l y in
in g r ep eat ed l y t h e r u le
l e o f d et ach m en t t o t h e
expression thus obtained and to Theses 16 and 141 we
obtain one of the following three expressions:
N G pp, J S fG G p p G p p , N C LfC p p N G p p .
90 H I . M E T H O DO
D O L OG
OG Y O P T H E S E N T E N T I A L C A L C
CUULU
USS
2 GGNppp,
3 CpGNpq,
a n d i n wh i ch t h e ru l es o f su b st i t u t i o n a n d d et a ch men t a re
v a l i d , is a complete system.
Pr o o f . I t w ill b e sho
sh o wn t h a t ev ery er y m ean in in g f u l ex
e x p r ess
e ss
i on w riritt
tten
en exclusi
exclus i vely
vel y w i t h variables
variables an d th e symbols C
a n d T l either is a consequence of Axioms 1, 2, 3, or, when
jo in e d t o t h e s y s te m , r e s u l t s i n c o n t r a d ic to r y e x p r e s s io n s
i n t h a t sy stem
stem ; h en ce, we sh all al l s h ow
o w t h a t n o m ean in in g fu
fu l
expression is an independent expression.
Suppose that contrary to what we intend to prove,
independent expressions exist. If this is so, then by L.6
an d L . 5 a t h er e al so ex i st i n d ep en d en t ex p r essi o n s o f t h e
f o r m I . I t fof o ll
llo ws f r o m L . 7 t h a t t h ey can n o t b e si s im p le
le
expressions. Thus the assumption of the existence of
inde pe nd en t express
expressii ons en tail
tail s th e exist
exi stence
ence of indep end
e n t express
expre ssiions of form for m I w hichhich are n o t sim sim ple
ple ex
pre
p re s s io n s .
N o te f u r t h e r t h a t t h e e x is te n c e o f i n d e p e n d e n t e x
p re s s io n s o f fo r m I . e n ta ils
il s t h e e x iste
is te n c e o f t h e s im p le s t
of such expressions, i.e. such that none of these ex
prr e s s io n s is s im p le r t h a n i t . F o r i n e v e ry n o n - e m p ty s e t
p
of expressi
expressi ons the re is
is an expressi
expression
on th a t is
is w ritten
ritten w it h
a n u m b er o f sy m b o l s wh i ch i s n o t g r eat er t h an an y o t h er
expression of that set. Among the expressions of form I
w r it
i t te
t e n w i th
th t h e s am
a m e n u m b e r o f sy
s y m b o ls
ls th
th e r e m u s t
b e o n e w h ic h h a s a n u m b e r of a n te c e d e n ts g r e a t e r t h a n ,
or the same as, the remaining expressions.
T h e n l e t <p b e an i n d ep en d en t ex p r essi o n o f f o r m I
which is not a simple expression, and let no expression
s i m p l e r t h a n <p b e an i n d ep en d en t ex p r essi o n . B u t b y
L . 8 expression <p i s eq uiva lent to t o one or two simpler
express
expr essioions.
ns. This, w it ith
h L .5 a an d L. 5b, sho shows ws th a t the
expression <p i s n o t i n d ep en d en t . T h u s t h e assu m p t i o n
or the existence of independent expressions leads to
a co n t r ad i ct i o n . Hen ce t h e t h eo r em i s t r u e.
IV. THE SENTENTIAL CALCULUS
WITH QUANTIFIERS
meaningless.
I n t h e m ean i n g f u l ex p r essi o n f j p G p q those variables
which are equiform with the variable that directly follows
th e q uan tifier,
tif ier, are called
called variables bound b y t h a t q u an ti t i f ier
ier .
A v ar iab
i ab l e t h a t is
i s n o t b o u n d i s call
call ed p e e . I n t h e m e a n in in g -
ful expression G f J p G p q p n o t al l t h e v ar i ab l es t h at ar e
equiform with p are bound: the last variable equif orm
w i t h p is frfree,
ee, becau se it does no t belong to the m eaningful
expression C p q that directly follows the expression f j p .
If in an expression containing a quantifier there is still
a free variable, it can in turn be bound by a quantifier.
H en ce t h e ex p ress r essii o n fJ
f J p G J J p G p q p i s m ean ini n g f ul
ul . I n t h a t
expressi
expres sion
on the re are four bo un d variables variables equifor
equi form m w it ith h p.
B u t t h e f i r st an d t h e f o u r t h o f t h ese v ar i ab l es ar e b o u n d
b y th e . f i r s t q u a n t i f i e r , b e lo n g i n g t o t h e e x p r e s s i o n i n
q u est i o n , wh i l e t h e seco n d an d t h e t h i r d ar e b o u n d b y
the second quantifier. The expression under consideration
also includes one free variable, q, w h i c h m a y b e b o u n d ,
yielding the meaningful expression [ J q J ~ [ p G f l C p q p .
The meaningful expression G q f j p p contains only one
free va riable g, g, so
so th a t th e expression
expressi on f j q G q f J p p i s m eaning-
ful. Yet the expression f ] p C q [ ] p p is meaningless, for the
f i r st q u an t i f i er d o es n o t b i n d an y o t h er v ar i ab l e t h an t h e
one that follows it directly. In a meaningful expression
ev er y q u an t i f i er m u st b i n d at l east t wo v ar i ab l es. T h e
expressions f j p , f ] p q , [ J p I I p P 31 6 no* meaningful.
316
In order to decide decide wh ether an expressexpressii on is a m eaning-
ful expressi
expres sion on of the sen tential
tenti al calcul
calculusus w it
ith
h th e universal
univer sal
G f j p p p — CKOlp — COp .
fJ p G p O = K C 0 0 C 1 0 = # 1 0 =
fJ 0 .
L et u s n o w ex am i n e t h e ex p r essi o n C p f jp j p p : on substi-
t u t i n g f o r t h e f r ee v ar i ab l e p ( 0 we have
G O f J p p = C0 # 0 1 — COO = 1 .
On su b st i t u t i n g p j l w e h a v e
G l fj p p = G 1K 01 = CIO = 0 .
# 0 = 1, # 1 = 0 .
T h u s t h e sy m b o l o f n eg at i o n can b e d ef i n ed b y m ean s
of implication and the universal quantifier, in the follow-
ing way:
N p — C p fjp p .
^TJPPiP) “ (0 ) 9 (1 ) = X-?^
X-?^93
93(0
(0)^
)^9?
9?(l
(l)) = £ p N * p { p ) .
t h e r u l e o f su b st i t u t i o n p er m i t s u s t o su b st i t u t e m ean i n g
ful expres
expressi sions
ons w ith unive rsal quan ti tifier
fiers,
s, b u t su bstitution
bstitution s
m ay be m ade for free fr ee vari
variables
ables only.
only. Thus, on sub stitutingstituting
p I C q r t M v e o b t ai n f r o m t h e ex p r essi o n
Gflppp
the expression
crippGqfjqq-
C r ip
i p C P M = C K COC O qC
q C lq
l q q = O K l q q = Gqq .
The expression C[~JpCpqq is thus universally true. Let us
s u b s t i t u t e i n i t q j Gq p . This will yield the expression
G f J p G p C q p G q p which is not universally true, for on
substituting for the free variables: pjQ p jQ , q /1 we obtain
G f ] p G p G l p C 1 0 = GKC0G10C1G11G10
= GK
KCCO
OOOC
CUU O = G K 1 1 0 = G 10 = 0 .
B y su b st i t u t i n g q j Gq p we h av e p assed f r o m t h e t r u e ex
prr e s s i o n Gj~JpGpqq to the false expression C f j p C p C q p C q p .
p
T h i s h as b een d u e o n l y t o t h e f act t h at a cer t ai n f r ee
variable of the substituted expression Oqp, n a m e l y t h e
variable equiform with p , has become a bound variable
after the substitution. In order to avoid the possibility
of transition, on the strength of the rule of substitution,
from a true sentence to a false sentence, we introduce
a restriction on the rule of substitution, such that every
rvariable
em ai n sowhich
af t er ist hfree
e su in
b st the
i t u t isubstituted
o n h as b een expression
m ad e. must
A p a r t fr
fr om
o m t h e r u les
les o f su b st it i t u t io
i o n an d o f d et ach m en t
we a do pt two rules
rules for han dling the universal qua ntifi
nti fier.
er.
(D) N p — Cp[[pp .
T2 GGCpqpp,
T3 CGpqGGqrGpr,
T5 G Gp G qrGqG pr ,
T6 G Cq rG Cp q Cp r.
I n t h e p r o o f li
li n e ab o v e, t h e ast
aster
er isk
i sk i s p reced
r eced ed b y t h e
following sentence derived from T2 by substitutions
G G G pf [p p pp .
T4 p IU p p * BO •T 8,
T8 C flp p p .
T 6 q l f j p p , rjq * CT8 p j q — T 9 ,
T9 GGp [ J p p G p q .
I n t h i s p r o o f t h e r u l e o f d et ach m en t h as b een ap p l i ed
to the following substitutions of T6 and T8:
T9 * D • T 1 0 ,
T10 GNpGpq.
T 5 p j N p , q j p , r j q * CT10 — T i l ,
T il GpGNpq.
jjo
o in in g t h e u n i v e r s a l q u a n t if i e r a t t h e b e g in n in g . B y w a y
of example, we shall demonstrate this for the thesis G pp.
T 1 q j G p p ^ p j q * CT4 — T1 2,
T12 G g C p p.
T12 * BJ-T13,
T13 <7g//p G p p .
T1 qjG qC pq, p jr * C T 1 — T 1 5
5,,
T15 CrCqCpq.
T15*RJ-T16,
T 16 CrfJqCqCpq.
T16 * 35J T 1 7 ,
T17
T1 7 G r n v fl^ G p q -
T17 rjC p p * C
CT4
T4 — T 18,
T 18 [I p I hG qC pq.
Q U A N T IF
I F IIE
E R S . R U L E S O F IN
IN F E R E N C E . T H E S E S 101
t h e u n i v er sal q u an t i f i er s st an d i n g at t h e b eg i n n i n g o f
a thesis. Thus expressions of the forms <p{p) a n d [ ] p < p (p )
are inferentiaUy equivalent within our system of the
sentential calculus with the universal quantifier.
Th e expres
expressisions
ons f} f } q C p q a n d GpJJqq, t h e l a t t e r o f w h icic h
i s d er i v ed f r o m t h e f o r m er t h r o u g h t h e sh i f t i n g o f t h e
q u an t i f i er st an d i n g at t h e b eg i n n i n g , t o t h e co n seq u en t
of that expression, are not only inferentiaUy equivalent
b u t s i m p l y e q u i v a l e n t . T h i s w ill
il l b e d e m o n s t r a t e d b y
p ro v i n g T 24 a n d T 27. F o r t h i s p u r p o s e w e s h a ll u se t h e
following two theses of the ordinary sentential calculus,
wh i ch wi l l n o t b e p r o v ed h er e:
T19 CG pC qrC N C p N q r .
T20 C C N C p N qr C p C q r .
T 4 p I F I q Cp z * s o *r a i ,
T21 G f Jq
Jq C p q C p q .
T 1 9 p l l J a C p q , q j p , t f q * CT21
CT21 — T2 2,
T22 GNCYl9.Gpq.Npq.
T22 * R J - T 2 3 ,
T23 G N G fJ q C p q N p f ] q q .
T h e v ar i ab l e q o ccu r s i n t h e an t eced en t o f T 2 2 , b u t i t
i s b o u n d , so
s o t h a t r u le
l e B J m a y b e a p pl
plie d .
T 2 0 p j f ] q C p q , q l p , r f f ] q q * CT23
CT23 — T 24 ,
T24 G f Jq C p qG pf l qq .
8
102 I V . TH
T H Jf i S Jf
Jf i N T
Tii f i N T
Tll A U C A L C U L U S W I T H Q U A N T IF IE S
T 6 q j[ jq q t r jq * CT25 — T26,
T26 w p flq q C p q *
T26 * B J • T 2 7 ,
T27 C G p fJ q sH iC p q .
9. Axiom s. Defini
Definitions.
tions. Rule
Rules
s o f Inf
Inference
erence
104 V . A RI S T O T L E ’ S S Y L L O G I S T I C
The p ri
rimm it
itive
ive term s given above occur in the f oll
oll owing
owing
four axioms of our system:
SI Uaa.
S2 la a .
S4 C K X fm blm ala h .
I n o u r sy st em we ad o p t t wo d ef i n i t i o n s, wh i ch d ef i n e
t h e f u n ct o r s O a n d Y (these are sentence-
sentence-forming forming func
f unc tors
o f t wo n am e ar g u m en t s) :
El O ab — N U a b .
E2 Yab = m a b .
T h e ex p r essi
ess i o n o f t h e f o rm
r m Oab, call
called
ed a p a r t i c u l a r n e g a t i v e
sentence , is read: “some a is no t 6” 6” ; th e expressi
expres sion on of
the form Taft, called a univer s al negative s entence , is read:
1 06 V. AKISTOTI/E’S SYLLOGISTIC
“ n o a is 6” 6” . These definiti
defini tions
ons becom e iin n tuitiv e w hen
ap p l i ed t o ex am p l es: t h e sen t en ce “so m e m en ar e n o t
Po l es” m ean s t h e sam e as t h e sen t en ce “i t i s n o t t r u e
t h at al l m en ar e Po l es”, an d t h e sen t en ce “n o ci r cl es
t h e s e s o f a k x s t o t l e ’s s y l l o g is t i c 1 07
Thl Cpp.
Th2 G C p q G G q r C p r.
Th4 GGpNqOqNp.
Th5 G G N p q G N q p.
T h6 G G K p q r C p G q r.
T h7 GG K p q rC q G p r.
T h8 GCKpqrCKpNrNq.
Th9 GGKpqrGKNrqNp.
ThlO G C K p q r C G sp G K s qr
Thll CCKpqrGCsqGKpsr.
Thl2 GGKpqrGGrsGKqps.
108 v . a k i s t o t u e ’s s y l l o g is t ic
of
n amthe
el y tsquare
h e p a r t of
i cu lopposition;
icu ar af fi
f i rm ivthe
r m at iv se nparticular
e sen t en ce an d tsentences,
ten h e p a r t ic-
i c-
the sentences Y a h a n d J a b c a n n o t b o t h b e t r u e o r b o t h
bee f a ls e .
b
T h e r e l a t i o n o f s u b a l t e m a t i o n holds between a sentence
o f th e f o rrm
m l a b a n d a s e n te n c e o f th e f o rrm m Uab. The sen-
tence TJab implies the sentence l a b , but not conversely.
Like
Li kewis
wise, e, the relation of sub altem ation holds betwe en the
sentence O ab a n d th e s e n te n c e Y d b . The relations of
subalternation will be proved as theses from S13 to S16,
inclusively.
T h e relation of contrariety holds between universal
sentences, i.e., sentences of the form U a b a n d Y o b . E a c h
of these sentences implies the negation of the other, but
n o t c o n v e r s e ly . T h u s c o n tr a r y s e n te n c e s c a n n o t b o th b e
true, but can both be false. The laws of contrariety will
b e p r o v e d a s th e s e s S17 a n d S18.
T h e r el at i on of s ubcont r ar i et y holds between particular
sentences, i.e., sentences of the form l a b a n d OaJ>. T h e
negation of each of these sentences implies the other
sentence, but not conversely. Subcontrary sentences can
th u s b o th b e tr u e , b u t c a n n o t b o th b e f a ls e . T h e la w s
of subcontrariety will be proved as theses S19 and S20.
We repeat the axioms and definitions of Aristotle’s
syllogistic and then pass on to proofs.
SI Uaa.
S2 Ia a .
S3 GKU mb Ua
amm Uab.
S4 C K U m b lm a la b .
D1 O ab — N U a b t
D2 Y a b = 2s l a b .
T h l pjJ
p jJ S fU a b * D 1 1 ♦S5,
S5 C OabJT Uab.
T h l p fN U a b * D 1 H • S 6.
S6 ONUabOab.
110 V . A RI S T O T L E ’ S S Y L L O G I S T I C
S5 — S 7 ,
T h 4 p j O d b , q j U a b * 0 S5
87 GUabNOab.
Th5 p j U a b , qjOab * 0 S6
S6 — 8 8 ,
S8 G N O a b U a b.
*S 9 ,
T i l l p j N I a b * D2 I *S
89 CYabNIab.
T h l p j N I a b * D2 II *S10
*S10 ,
810 GNIabYab.
Th4 p / Y a b , q j l a b * OS9 — S l l ,
S ll GlabNYab.
Th5 p j l a b , q j Y a b * 0 8 1 0 — 8 1 2 ,
S 12 GNYablab.
Th7 p j J J a b , q j l a a ,
r j l a b * 084 m j a — OS2 — S13 ,
S1.3 GUablab.
Th3 p j J J a b , q j l a b * OS13
S13 — 8 14 ,
S14 GNIdbNUab.
S14 * D2 *D 1 *
*S
S 15 ,
815 GYabOab.
Th3 p j Y a b , q jO a b * 0S15 — 816,
S16 GNOabNYab.
T h e l aws o f su b al t er n at i o n h av e b een p r o v ed .
S14 * D 2 • S 1 7,
817 CYabNUab.
Th4 * p / Y a b , q j U a b * 0 8 1 7 — SI 8 ,
SI 8 CUabNYab.
T h e l aws o f co n t r ar i et y h av e b een p r o v ed .
S l4 * D1 *S19,
*S19,
SI 9 CNIdbOab.
Thesi s S21
Thesi S21 perm its
it s us to con ve rt th e p artic u lar affirm
affir m ative
ati ve
sentences.
Th2 p j U a b , q f l a b , r f l b a * CS13
CS13 — GS2
GS21 — S2 2,
522 GUablba.
112 v. a e i s t o t l e ’s s y l l o g is t ic
2 9 . We n o w p ass t o t h e p r o p er p ar t o f Ar i st o t l e’ s
syllogistic, namely to s yl l ogi s ms . Syllogisms are certain
meaningful expressions which belong to the system under
discussion and have the form of implications. The con
sequent
four of suchU an
functions, implication consists of one of the
a b , l a b , Y a h , O a b , and its antecedent,
of a con junction of two. two. such functions.
functi ons. A ny two functions
functi ons
which occur in a given syllogism have one, and only one,
eq u i f o r m ar g u m en t , so t h at t h r ee, an d o n l y t h r ee, d i -
versiform variables occur in a single syllogism which
contains six variables.
The consequent of a syllogism is called its conclusion,
an d t h e f u n ct io
io n s o ccu rr
r r in
in g i n t h e an t eced e n t ar e call
call ed
t h e p r e m i s e s of that syllogism. That premise which
contains the variable which is equiform with the predicate
of the conclusion always is the first argument of the
conjunction that forms the antecedent of the syllogism.
Ou r Ax i o m S3 :
G K XJmb TJa
TJam
m U ab
m ay ser v e as an ex am p l e o f a sy l l o g i sm . T h at v ar i ab l e
i n t h e sy l l o g i sm wh i ch h as n o eq u i f o r m co u n t er p ar t i n
the conclusion, is called the m i d d l e t e r m . T h e v ar i ab l e
equiform with the predicate of the conclusion is called
t h e m a j o r ttee rrm
m , a n d t h e v a r ia i a b l e e q u if
i f or
o r m w i th
th t h e s u b j e c t
of the conclusion is called the m i n o r t e r m . T h e l a s t t w o
n am es m ay b e j u sti st i fi
f i ed o n l y i n t h e case
cas e o f o u r Ax io i o m S3,
S3,
where in conformity with the interpretation by means of
Euler’s circles the name a i s as i t wer e co n t ai n ed i n t h e
n a m e b.
T h at p r em i se s e o f t h e syl
sy l l o gi
g i sm wh i cch h i n clu
clu d es t h e m aj o r
t er m i s call
cal l ed t h e m a j o r p re r e m i ssee , an d t h at wh i ch i n cl u d es
t h e m i n o r t e r m , t h e m i n o r p r e m i ssee .
I n t h e t e x t t h a t fo
fo ll
ll o ws
w s th
t h e m i d d l e t e r m w il
i l l a lw
lw a y s
b e e q u i f o r m w i t h m , t h e m i n o r t e r m , w i t h a , t h e m aj o r
t e r m , w i t h b. All syllogism are classed into four figures,
T H E S E S O F A RI S T O T L E ’ S S Y L L O G I S T I C 113
according
accordi ng to
t o w he t he r the m i ddle term term occuroccurss as su bject
or as predicate in the premises. The first figure includes
t ho se syll
syllogisms
ogisms in w hich hich tthh e m i ddle term
term is th e sub j ect
i n t h e m a jo
j o r p re
r e m is e,
e , a n d t h e p r e d i c a te
t e i n t h e m in o r
prrhe ich
p
w im
chise
is eth
t h. eT m
h ei d sdele
l ce oter
tnerd mf igi su rteh einpcrlu
eddiecate
s teh oi ns eb os yt hllopgrem
cat rism
is
em m isses.
seis.
n
The third figure includes those syllogisms in which the
m i d d lel e t er m i s t h e su b j ect in i n b o t h p r em
e m i ses.
se s. F i n al ly ly , t h e
fo u rth figu figu re i ncludes tho se syl sy llogisms
ogisms in w hich hi ch th e m i ddle
t er m i s th t h e p r ed i cat e in i n t h e m ajo aj o r p rem
r em i se an d t h e su b j ect
in the minor premise. The classification of the syllogisms
into figures is shown by the following scheme of the
p o s itio
it io n o f te r m s in t h e p re m ise is e s :
I mb II bm III mb IY bm
am am ma ma
I f th t h e m a joj o r te
te r m , t h e m i d d le
le a n d t h e m i n o r t e r m
are in all al l syll
syllogisms
ogisms equiform
equifor m w it ithh b , m , a , respectively,
then it can easily be seen that every figure includes 64
diversiform syllogisms. By joining to each combination
of variables one of th t h e four fun ctors w e o btain 42 = 16,
combinations of premises, and to each of these 16 com-
b i n a t i o n s w e m a y j o i n o n e o f t h e f o u r c o n c lu s io n s . I n t h i s
w ay we o b tain in all 16 *42 = 256 256 diversiform
diversiform syllsyllogism
ogism s.
Y et only 24 24 of them , six in in each figure,
figure, a re tru e syll
syllogisms.
ogisms.
These 24 syllogisms will be the theses of our system.
Since two syllogisms, one belonging to Figure I, and the
o t h e r bel
b elo
o n g in
in g to
to F i g u r e I I I , h av e b een ad o p t ed as ax io
io m s,
S3 and S4 respe ctive ctive l y, th e re a re 22 22 syll
syl logisms
ogisms to b e proved.
Each of the 24 true syllogisms has its name, coming
from traditional logic. Further, in traditional logic the
letters a, i, e , o, are used as symbols of functors, instead
of th e lette rs 27, J , Y , O, resp ec tive
tive ly, as use d in this bo ok.
T he nam es of syll
syllogisms
ogisms are form
form ed sos o th a t th
t h ey con t ain
three vowels equiform with the traditional symbols of
f u n ct o r s as t h ey o ccu r i n t h e m aj o r p r em i se, t h e m i n o r
p r e m is e , a n d t h e c o n c lu s io n , i n t h a t o r d e r , o f t h e s y llo
pr ll o g is
ismm
in question. Thus, our Axiom S3 is called B a r b a r a , and
Axiom S4, D a t i s i . The traditional names will be given
in parentheses following the syllogisms concerned as they
T h 8 p j V m b , q j l m a , r jjll a b * OS4 — S 27 ,
527 G K U m b N Ia b N Im a .
T h l l p jX Im b , q j N I a b , r j N I m a , s j Y b a
* CS27 — CS24 ajbj bja — S28,
528 GKUmbYbaNIma.
T h l 2 p jU a m , q jY m b , r j N I a b , s j Y a b
* OS28 m j a , b j m , a
ajj b — C S 1 0 — S29,
529 G U Y mb Uam Yab ( Gelarent).
Th2 p j K Y m b U a m , q j Y a b , rjOab
* CS29
CS29 — GS15
GS15 — S 30,
530 CKYmbUamOab {Gelaront).
T h 2 p j K Y b m U a m , q j Y d b , rjO a b
* CS34-— CS15 — S35,
535 GKYbmUamOah ( Cesaro ) .
T h l 2 p j Y a m , q j V b m , r j Y b a , s jjY
Yab
* CS34 6/a, a f b — GS25 a/6, b f a — S 30
30 ,
S3 0 O K V b m Y a m Y ah
ah ( Gamestres ) .
Th2 p j K U b m Y a m , q / Y a b , r/Oab
* CS36 — CS15 — S37,
S3 7 C K O bm Y am O
Oaab (C a m e s t r o p ) .
ThlO p j Y m b , q j l a m , r j O a b , s l Y b m
* CS33 — GS25 a j b , b j m — S38,
T h l l p l U m b f q l l m a , r f l a b , s fU m a
* GS
GS4 _ GS1
GS13 a f m , 6/a
6/a — S 41,
541 O K U mb
m b U m a la
la b ( D a r a p t ii)) .
116 v. a k is t o t l e ’s s yl l o g is t ic
T l i l l p j Y m b , q j l a m , r jO a b , s j U m a
* CS33
CS33 — OS22
OS22 a j m , b
bjj a — S42,
T h l 2 p j U m a , q j lm
l m b , r j l b a , s fl
fl a b
544 G K K Uab V a m N U m b .
T l i l l p f Y m b , q j l a m , rjO a b , s j l m a
* CS33
CS33 — CS21
CS21 a f m t b jja
a — S46,
ThlO p j l m b , q j U m a , r j l a b , s j U b
bmm
* OS43
OS43 — CS22
CS22 aj b, bj m — S47,
547 O K U b m U m a lla
ab ( B a m a l iip
p ))..
M i l l p jU b m , q fY a m , r }Y a b , sjY m a
* CS36 — 0S25 a j m , bbjj a — 848,
548 CKUbmYmaYab {Oalemes).
Th2 p J K U b m Y m a , q j Y a b , r jO a b
* 0848
08 48 — CS15 — S49,
849 O K Ubm Y7
7nna
aOOa
abb {Calemop).
T H E S E S O F A B I S T O T L E ’ S S T I X O G 1STIC 117
ThlO p j l m b , q j X J m a , r j l a b , s j l b m
* OS43
OS43 — CS2 1 a j b , b j m — S 50
50 ,
550 GKIbmXfmalab (Dimatis).
T h l O p j Y m b , q { X fm a , r j O d b , s j Y b m
* CS42 — CS25 a j b , b j m — S 51
51 ,
551 C K Y b m JJ
JJmaOa
maOab
b (JPe
JPe sap
apo)
o),,
ThlO p j Y m b , q j l m a , r j O d b , s j Y b m
* CS46 — CS25 a j b , b j m — S 5 2,
2,
552 GKYbmlmaOdb (Fresison).
Author’
Author’s
s Pr eface to the Firs t Edition
120 NOTES
Chapter I
1 In the years th a t f ol
olllowed the pu bli
blicati
cation
on of the first edit
editiion
of the Ele
Elem m ents
en ts algebraic methods again came to be used in research
on logic.
3 A cam paign ag ainst p sychologi
sychologismsm in llogic
ogic was w aged b y
Lukasiewicz from the very beginning of his activity as a scientist.
For detailed arguments against psychologism see, e.g., the lecture
og ic and Psychology , delivered in 1908 [9].
Log
L
3 I.e., the lectures whose notes becam e the first editi edition
on of the
Elem
E lem en
ents
ts.
4 The relat
relationsh
ionsh ips bet
betww een m athem atical logic and phil philosophical
osophical
logic were often dealt with by Lukasiewicz in his articles from the
p e ri
rioo d 19 2 9 -1
-199 3 7 [1
[14]
4],, [1 9 -2 1 ].
s Lukasiewicz worked as intensively o d A ristotle’s ristotle’s syllogisti
syllogisticc as
on thth e se nten titial
al cal
calculus
culus.. H e w rot rotee a comprehens
comprehensiive m onogr
onograph
aph on
th at su b ject [ 2 3 ] .
* Stoic logilogicc w as di discussed
scussed by Luk asi asiew
ew icz inin g rea ter d eta il
in [18],
7 Le^niewski’
Le^niewski’ss system is descri describedbed in [31]
31]..
8 T he sym bol e is th e p rim itive te rm of Le Le..4n
4niiews
ewski
ki’’s ontology [31].
Chapter II
1 T he role of definit
definitions
ions in de du ctictive
ve system s is discus
discussed
sed b y
Lukasiewicz in greater detail in [13].
2 I n [29].
3 F o r m ore d etailed rem arks se seee [1
[17]
7]..
4 Cf. [5].
8 Th e si
sim
m pli
plifi
ficati
cation
on o f syst
system
em s of axioms given b y o the r autho rs
was discussed by Lukasiewicz in [12].
8 Cf. [5].
7 Cf
Cf.. n o te 5 in th is C hap ter.
and 3neg
T he
ati axioms
ation
on of prim
as iits
ts th e se
it ntentterm
itive
ive ti
tial
ermal s,
calcul
calculus
andusw which
hich ha sgive
hich are altern
given ation
n above
on pp. 55-57, have a similar structure.
9 Cf
Cf.. n o te 4 in th is C hap ter
ter..
10 T he sy stem base d on thes e axiom s iiss a naly sed in [1
[16]
6]..
NOTES 121
11 Cf. [25].
“ Cf
Cf.. [29]
[29]..
13 These theses a re n o t given in th e first ed ition h e Elem
ition of tth E lemen
ents.
ts.
Chapter XU
1 Cf. [ J ] .
* A n a xiom ati aticc system of three-va lued logic w as b u ilt by
M. W ajsb erg . Cf Cf.. [34]
[34]..
3 T he is issues
sues rai
raised
sed here are ana lysed b y Luk asi asiew
ew ic
iczz m or
oree
comprehensively in [15] and [24].
* P o st’
st’ss proof is given in [27 27]], T arsk i’s
i’s proo f has n o t been
p u b li
liss h e d .
5 I t can easil
easily
y be sseen
een th a t eq uivalen t expr
express
essions
ions are inferenti
inferentially
ally
equivalent, but not conversely {the concept of inferential equivalence
was defined on p. 47). For instance, the expressions p an d q are
inferentially equivalent, but they are not equivalent.
6 Cf.
Cf. [30], p p . 4 a n d 5.
Chapter IV
Chapter V
1 A rist
ristotle’
otle’ss syllogi
syllogist
stic
ic is extensively de alt w ith b y Lukasi
Lukasiewicz
ewicz
in [22] and [23].
THE LIST OF WORKS QUOTED
[16
16]] J . L ukasiewicz, “ E in V oll
ollstandigkei
standigkeitsbew
tsbew eis des zwei
zweiw w ert
ertiigen
Aussagehkalkuls”. Spr Spraw
awozd
ozdania
ania z pos
posiedzen
iedzen Towarsystwa
Tow arsystwa HHJJaulco-
wego Warszawshiego, Wy &z. I ll, X X I V , 1 9 3 1 .
[17
17]] J . Lu kasi
kasiew
ew icz,
icz, “ Uw agi o aksjom acie Nicoda i ‘‘ded
ded ukc ji uogol
uogol--
niaj^c ej’ ” [Notes on N ieod’
ieod’ss Axi
Axiom
om an d o n G en eralizing D e
d u c tion
nego, 1]. Ksiqga pamiqtkowa Polskiego Towarzystwa FUozofiez-
1931.
[18
18]] J . Lukasiewicz, “ Z M stor storii
ii logi
logiki
ki zd ari” [Fr
[From
om th e H ist
istory
ory of
the Logic of Propositions]. Przeglqd Filozoficzny, X X X V I I ,
1934.
[19
19]] J . Luk asi
asiew
ew icz,
icz, “ Z naczenie ana lizy lizy logi
logicznej
cznej d la p oz nan ia”
[The Meaning of Logical Analysis for Cognition]. Przeglqd
Filozoficzny, X X X V I I , 1 9 3 4 .
[20
20]] J . Luk asi
asiew
ew icz, “ L og ist
istyk
yk a a fil
filozofi
ozofia”
a” [Logis
[Logisttic an d Philosophy].
Przeglqd Filozoficzny , X X X I X , 1 19936.
[21
21]] J . Lukasiewicz, “ W ob ronie log istyk i” [In D ef efence
ence of Lo gist
gistic]
ic]..
22]] Stadia
[22 Gnesnensia,
J . L ukasiewicz, “ OXV, 1937.
sylogis
sylogistyce
tyce A rystote lesa” [On A rist ristotle’
otle’ss
Syllogistic]. Sprawozdania Polshiej Akademii Umiej&nosci,
XLIV, 1939.
[23] J. Lukasiewicz, A Aris
risto
totle
tle's
's Syllog
Sy llogistic
istic from
fro m the S tan ta n d p o int
in t of
Modern
M odern FormFo rm a l Logic, Oxford 1951. (The second, enlarged edition
of this book appeared in 1957J.
[24] J. Lukasiewicz, A. Tarski, "Bhdania nad rachunkiem zdad”
[Researches on the Sentential Caleulus]. Sprawozdania z posie
dzen Towarzystwa Naukowego Warszawshiego, W y d dzz . I l l , X X I IIII ,
1930.
[2 5 ] J . N icoicod d , “ A R ed u cti ctio
o n in th e N u m b er o f th e P r im im i tiv
tiv e P r o
p o s it
itio
io n s o f L o g ie ie”” . Proceedings of Cambridge Philosophical
Society, X IX , 19 1917
17..
[26
26]] SS.. Ch. Pe ir ce, “ On th e A lgebra of Logic” . A
irce, Amm erica
er ican n Jo u rnrna al
of Mathematics, V II, 18 1885
85..
[27] E. L. Post, “Introduction to a General Theory of Elementary
Propositions”. A Am
m er
erica
icann Jo u rn a l of M athe
athemm atics , X L III, 19 19221 .
[28] E. Schroder, Varies Variesungen
ungen iiber die Algebra der Logik, Leipzig,
B d. 1 — 189 1890,0, B d. 2 — 18 189191,, B d. 3 — 18951895..
[29
29]] H . M. SheffSheffer er,, “A S et of F ive Indep end ent P ostu lat lates
es for Boole
Boolean an
A lgebr
lgebraa w it ith
h A ppli
pplicati
cation
on to Logical C on stant s” . Transactions
stants”
of American Mathematics, XIV, 1913.
[30] W . S ierpihsk i, Z Zas
asaa dy algebry w yzsze
yz szejj [The Essentials of Higher
A lgebr
lgebra], a], W yd. 2, W arszawa-W rocl roclaw
aw 195
1951.
[31] J . Slupecki, “ S t. Lesniew ski’s
ski’s C alc ulus of N am es” . Studia
alculus
Logica
Log ica, H I, 19
1955
55..
124 T H E L I S T O P W O B K S Q U O T ED
ED
[32
32]] A . T arski, «
«*
*0 w yrazi
yraziee pierw otnym logistyk i” [On th e P rim itiveitive
Term of Logistic]. Przeglqd Filozofiezny, X X X I, 1923.
3] G. V a ilati, Scritti. L eip zig —F ire n z e 1911.
[33]
[3
[3 4 ] M. W ajajsberg,
sberg, “ A ksjom atyzacja troj trojw
w ar
arttosci
osciow
ow ego rachun ku
zdari” [An Asdomatization of the Thiee-valued Sentential
Calculus]. Spra/wozdawia z posiedzen Towarzystwa Naukowego
Warszawskiego, W y d z . I l l , X X I V , 19
19 3 1 .
[35 ussell,, Principia Mathematica. Second
35]] A . W hitehead , B . B ussell
edition, Cambridge 1925.