Beruflich Dokumente
Kultur Dokumente
METAMATHEMATICS
PAPE RS FROM 1923 TO 1938
BY
ALFRED TARSKI
T B A N SL A T K B BY
J. H. W O G D G E R
OXFORD
AT TH E CLAREN D O N PRESS
1956
PRINTED IN GREAT BRITAIN
T R A N SL A T O R ’S PREFACE
I. ON T H E P R I M I T I V E T E R M OF L O G IS T IC 1
II. F O U N D A T I O N S OF T H E G E O M E T R Y OF SO L ID S 24
V. F U N D A M E N T A L C O N CEP T S OF T H E M E T H O D O
L O G Y OF T H E D E D U C T I V E S C IE N C E S 60
V I. ON D E F I N A B L E SE TS OF R E A L N U M B E R S no
V II. L O G I C A L O P E R A T I O N S A N D P R O J E C T I V E SETS
(by Casimir K U R A T O W S K I and Alfred T A R S K I ) 143
V III. T H E C O N C E P T OF T R U T H I N F O R M A L I Z E D
LANGUAGES 152
Introduction 152
§ 1. The Concept of True Sentence in Everyday or Colloquial
Language 154
§ 2. Formalized Languages, especially the Language of the
Calculus of Classes 165
§ 3. The Concept of True Sentence in the Language of the
Calculus of Classes 186
§ 4. The Concept of True Sentence in Languages of Finite
Order 209
$ 6. The Concept of True Sentence in Languages of Infinite
Order 241
§ 6. Summary 265
§ 7. Poateoript 268
IX . SOME O B S E R V A T I O N S ON T H E C O N C E P T S OF
cu-CO N SIST E N CY A N D ^ -C O M P L E T E N E S S 278
X. SOM E M E T H O D O L O G I C A L I N V E S T I G A T I O N S ON
T H E D E F I N A B I L I T Y OF CONCEPTS 296
XL O N T H E F O U N D A T I O N S OF B O O L E A N A L G E B R A 320
X III. ON T H E L I M I T A T I O N S OF T H E M E A N S OF
E X P R E S S I O N OF D E D U C T I V E T H E O R I E S
(by Adolf L J K D E N B A U M and Alfred T A R S K I ) 384
xiv CONTENTS
X IV . ON E X T E N S I O N S OF I N C O M P L E T E SYSTEMS
OF T H E S E N T E N T I A L C A L C U L U S 393
X V I. O N T H E C O N C E P T OF L O G I C A L C O N S E Q U E N C E 409
A B B R E V IA TIO N S 455
B IB L IO G R A P H Y 456
SUBJECT I N D E X 463
I N D E X OF N A M E S OF P E R S O N S 468
I N D E X OF S Y M B O L S 470
I
§ 1. F u n d a m e n t a l T h e o r e m
T h . 1. 0 1 .to{p) (Def. 1)
T h . 2. 0 ] : [g] = tr(q) . o p
4 ON T H E P R IM IT I V E TER M OF LOGISTIC 1 .5 1
Proof.1 [p~\: . H p. 0 :
(1) p == .[g].fr(g):
Cn (1, Th. 1)
T h . 3. \ p ,q\ :p ^ .p = tr(q)
Proof. [p ]:H p .o.
(1) tr{q) (Th. 1)
Cn (Hp, 1)
T h . 4. M ••[?]•.? = M a) •= (Th. 2, Th. 3)
III
Hi
T h . 5.
is
u
Dp . a ] " [ / ] s :[d-3> =/(*■)•
2
2
fTV
r—l
£2j
Proof.
u
(Th. 4)
&
(3)
III
II!
(4) p ~ .p ^ q : (1. 2, 3)
(5) (4)2
III
II!
(6) p=zp
Cn (6, 6)
T h . 6. [»]• ~ (Isi-p = « (a ))
Proof. Dp I-
(1) ~ (p = ~ ( p )}.
(2) ~ [ [ q ] . p s s g ). (1)
~ ([«?] ^ 33 « (e )) (1, Def. 2)
T h . 7. [p . g ] : [r] .p = as(r ) . s . [r ]. q — as(r)
1 In the proofs of theorems which have the form of a conditional sentence,
the symbol *Hp' stands for the hypothesis of the theorem, and the symbol
lCn' for its conclusion.
3 I pass from (4) to >;o) by making use of the following theorem which was
kindly communicated to pae by J. Lukasiewicz:
iP, 2 , r ] :. p s . g sj.sr.
This theorem, the proof of which is quite easy and is here omitted, expresses
an interesting property of equivalence which is analogous to the associative
property of logical addition and logical multiplication. -
X. §1 ON TH E P R IM IT I V E TER M OF LOG ISTIC 5
Proof. 0 ,g ] :
T
s
(Th. 6)
IT
¥
a.
in
( 1)
•
(2) ~ ( [ r ].2 = 05(r)): (Th. 6)
\f\.p — as(r). — ,[r ].8 = as(r) (1 .2 )
T h . 8. CP*ff] : : [ / ] : - s : W -P = / W - s - M - q = f ( r ) : . o p
Proof. [ p , q ] : : H p : . o :.
( 1) = : [r ].p =. as(r). = .\r\.q = a s (r ):.
Cn ( 1, Th. 7)
T h . 9. [p » 8] : ; [ / ] :•? = : M-:P =/(»•)• = -W -J =
z . p . q (Th. 8, Th. 5)
T h . 10. [p »?>/3 3 s ~ f ( r ) . =s .[r ].g s / ( r )
Proof. ! > , 8 , / ] " - f f p 3 :.
( 1) P
(2) 1 (Hp)
(3) jP = ? (1,2)
i—
HI
III
(3)
II!
(4)
(5) [ r ] :p s / ( r ) . = .q = f { r ) : (4)
(6) [r\.p = /(»• ). = .[r ].g = = / » : . (5)
On ( 1, 6)
T h . 11. \jp,q\v.p.q== : . [ f ] : . p = :[r].j> = / ( r ) .
= . [ r ] . q = f ( r ) (Th. 10, Th. 9)
§ 2. T r u t h - f u n c t io n s a n d t h e L a w o f S u b s t it u t io n
Whitehead and Russell, in their work mentioned above, refer
to a function / as a truth-function1 if it takes sentences as argu
ment values and satisfies the condition
(a) 0 , 8] 3 /(g ).
The sentence
(A) [p,q,f] :p = q,f(p ) . 3 /(8 ),
which expresses the fact that every function / (taking sentences
a$ argument values) is a truth-function, will be called the 'law
of substitution\
1 A. JST. Whitehead and B. Russell (90), vol, 1, p. 659 ff.
6 ON TH E P R IM IT I V E TERM OF LOGISTIC I, § 2
D e f . 5. Sb = .[f ].6 p { f )
T h . 12. [ / ] : . 8p{f} = -[p,q]:p = g.D ./(p ) = /(g ) (Def. 4)
T h . 13. 8b == : [ p , q j ] :p = q-f(p).of{q) (Def. 5, D ef. 4)
T h . 14. 8b = :[p , q,f] :p q. o ,f(p) ==/(g)
(Def. 5, Th. 12)
T h . 15. 8b = : . \ p , q , f ] : p . q . ? -f(p) s s fiq ) : .
[p,q>f ] ■~ (?)• ~ (?)• 3 -f(p) = /( ? )
(Th. 14)
The theorem just stated shows that the law o f substitution
is equivalent to the logical product o f two sentences, the first
o f which could be called the law of substitution far true sentences,
and the second one the law of substitution for false sentent&s.
I am unable to solve the problem whether either o f these two
sentences alone is equivalent to the general law o f substitution.
T h . 16. [ p , q , f ] : p . q . O .f(p) = /( g ) : D :.[p ,g ] :.p .g . e :
[ / ] -P » f(P)
I, §2 ON TH E P R IM IT IV E TER M OF LOGISTIC 7
Proof. H p : o :.:
( 1) 4 :.
(a) p.q:
(6' [ / ] • /( ? ) = /(?)• '• (Hp,a)
(e) [ / ] : p = ./(p ) a / ( g ) : . : (o, 6)
**>
••
••
III
III
to)
•
(e) P = -M p ) = tr{q) : to)
to) P: (e ,/)
(A) p = .as(p) == a s(g ): (d)
••
S'
III
III
•«
W
( j) p = p .s= q : (i )
(*) ?• 0 ‘)
(*) P -?:--* (?>*)
<7» (1- c , 2 - Z )
T h . 17. S&O :.[ p ,g ] : .p .g . a : [ / ] : p a ./(p ) a / ( g )
(Th. 15, Th. 16)
T h . 18. ~ (p )- ~ (?)• ^ * /(p ) s / ( 3 f ) : ^ •••[>>?]:•
~ (p) •~ (?) • = : [ / ] : ~ (p) a ./(p ) a / ( g )
(Th. 1, Def. 2)
I am omitting the p roof o f Th. 18 which is entirely analogous
to that o f Th. 16.
T h . 19. [ p . ? , / ] : ~ (p ). ~ to), o -f(P) ^ / ( ? ) ••3 •••[>.?]:•
p v g . a : [ 3 / ] :p a ./(p ) a f(q) (Th. 18)
T h . 20 . Sbo :.[ p , g ] : . p V g . a : [ 3 / ] : p a ./(p ) a / ( g )
(Th. 15, Th. 19)
The converses o f Ths. 16 and 19 can easily be established.
It is a direct conclusion that the sentence
!>><?] =-P -?- = : [ / ] :P s •/( p ) = / ( ? )
8 ON TH E P R IM IT I V E TERM OF LOGISTIC 1, § 2
not only follows from the law o f substitution for true sentences,
but is equivalent to it. Similarly the sentence
[ p , q ] : . p v q . s : [ 3 f ] : p = ,f(p) ==f(q)
is equivalent to the law o f substitution for false sentences, and
the logical product o f these two sentences is equivalent to the
general law o f substitution.
§ 3. Independence of th e Law of S u b s t it u t io n o f t h e
A x i o m s o f L o g is t ic ; t h e L a w o f t h e N u m b e r o f F u n c t io n s
T o the question whether every function / (having a sentence
as argument) is a truth-function, A . N. Whitehead and B. Russell
give a negative answer. Their answer is based exclusively on
intuitive considerations and does not appear to be convincing .1
On the other hand it seems quite clear that the law o f sub
stitution can be neither demonstrated nor refuted in any o f the
systems o f logistic hitherto known. Moreover , it is even possible
to prove the independence o f this sentence o f the known systems
o f axioms o f logistic, e.g. the system o f W hitehead and Russell,
by using the method usually applied in proofs o f independence,
i.e. by means o f a suitable interpretation. W ithout giving any
details we m ay mention that such an interpretation can be
found in a system o f logistic based upon the three-valued
sentential calculus constructed by Lukasiewicz .2
In any case, anyone who regards the sentence (A) as true
and wishes to incorporate it in the system o f logistic, must
either admit it as an axiom or introduce another axiom which,
when added to the axioms o f the system, implies the sentence
(A). The theorems which will be established in the sequel can
have the same interest in the construction o f such a system o f
logistic as, for example, theorems concerning the equivalent
forms o f the axioms o f Euclid have for researches on the
foundations o f geometry.
Proof. 1
(1) p == Tr. v .p = FI: (Th. 25)
(2) p = T r .D /(p ): (Def. 4, Hp)
(3) p == FI. o f ( p ) : (Def. 4, Hp)
Gn (1, 2, 3)
T h . 28. [ f ] : e P{f}.f { T r ) .f ( F l ) .^ = {f,tr}
Proof. [f]:.H p .o:
(1) [p]-f(p)- (Th. 27)
(2) [p]-f(p) = H p ) ■ (1, Th. 1)
Gn (Def. 8, 7)
T h . 29. [ / ] : W ) Ji.Tr). ~ (f(Fl)). o — {/, a*}
Proof. [fV.'.Hp.D:.
(1) W :
(a) P D.
(<*) p = Tr. (Th. 22)
03) f(p )' (Def. 4, a, Hp)
(b)
(y) p = P i. (Th. 22)
(S) (/(*>)): (Def. 4, y, Hp)
(«) P = /(p )- (a—j8, b— 8)
(d) <w(p) —fip) (Def. 2, c)
Gn (Def. 8, 1—d)
T h . 30. [ f ] : e P{ f } . ~ ( f ( T r ) ) . f ( F l ) . D = { f
(Th. 22, Def. 4, Th. 24, Def. 8)
I omit the proof which is analogous to that o f Th. 29.
T h . 31. 0 ] . ~ (flip)) (Def. 5)
T h . 32. [ p j ] : W }• - (/(T r)). ~ {f{FI)), d - (/(p ))
(Th. 25, Def. 4)
The proof is analogous to that o f Th. 27.
T h . 33. [ /] : W } - - (f(Tr)). ~ (/(J 7 )). d = {/,./*}
(Th. 32, Th. 31, Def. 8)
The proof is analogous to that o f Th. 28.
I, §3 ON THE P R IM IT IV E TERM OF LOGISTIC 11
= {f,M- o ¥ J )
Proof. [f]:H p .o .
( 1) = { f , t r } 3 6P{ f } (Th. 39, Th. 35)
( 2) = { / . ^ } D 0p { / } (Th. 39, Th. 36)
(3) = { / , ~ } d BP{ f } (Th. 39, Th. 37)
W - U J} 3 W f) (Th. 39, Th. 38)
Cn (Hp, 1, 2, 3, 4)
T h . 41. [ / ] •H I ) s •- { /, tr) V = { /, a ,} V - { /, - } V
= (Th. 34, Th. 40)
T h . 42. 8h ~ . [ / ] . = { / , tr} V = { / , as} V = { / , V
§ 4, T h e L a w o f D e v e l o p m e n t
*n
(Th. 24, Def. 4)
A
i—i
/"•s
T
3
Th . 46.
*
Th . 47. ! > , / ] :. M / } -f(Tr) -P ■V .f(Fl) . ~ (p) : z>f(p)
(Th. 45, Th. 46)
Th . 48. [ / ] : : Op{f}o : . [ * ] : -f(p) s if(T r).p . V .f(Fl) . ~ (p )
(Th. 44, Th. 47)
T h. 49. [f}::[p]:.f(p)
m ;f ( T r ) . p . V .f(Fl) . ~ (* ):. a 6p{f}
Proof. U ]:.:H p :.o ::
(1) [p,q\-..p s q.f(p ) . 0 :
<*) P = ?•/(?) =
(b) /(T r ).p . V .f(Fl). ~ i p ) : (Hp, a)
Proof.
a) ~ (/(2 V )). ~ (/( * * )). 0 - M - ~ ( / ( ? ) ) : (Th. 32)
(2) P r i./(P )-3 -/(2 V )v /(^ ): (1)
(3) /(T V J v /fF Q .D .p p j./C p ):
Cn (2, 3)
T h . 54. [ f ] : . 0P{f}z> : b ] :f{Tr).fKFi). of(p) o .f ( T r ) v f ( F l )
(Th. 52, Th. 53)
T h . 55. ::[ /] :!> ] • /( ? ) • 25 -f(Tr).f{Fl) :.g(Tr,Tr).
. flr(-2V, F i ) . ?( Fi, T r ). g( FJ, FJ) : . o g(q, r)
Proof. [q,r,g]::E p:.D :
(1) [p].g(Tr,p). ~ .g(Tr, Tr).g(Tr, FI):
( 2) [p].g(Tr,p): (1, Bp)
(3) g(Tr,r): ( 2)
(4) [ p ] . g ( F l , p ) ~ .g(Fl,Tr).g(Fl,Fl)-. {Bp)
(5) [p].g{Flrp): (4, Hp)
( 6) g(Fl,r): ( 6)
(?) {p\.g($,r). == ,g{Tr,r).g{Fl,r): {Bp)
(8) b>]-g{p,r)- (7, 3, 6)
Cn ( 8)
T h . 56. [ / ] :{p].f(p). = .f(Tr).f(Fl) :o
Proof. H p : o ::
( 1) [/]:•
(a) Tr ~ Tr.f(Tr). i f ( T r ) :
(6) ~ (T r == F i ) : (Th. 21, Th. 23)
(c) Tr ~= FL A Tr ) . ::,f(Fl): (6)
(<*) FI s Tr J (FI). j f { T r ) : (b)
(«) F l ~ FI,f (FI), o f (FI):.
(/) [p ,q}:p z~ q.f(p).of(q):: (Th. 55, Hp, a, c, d, e)
Cn (Def. 4, 1—/ )
T h . 57. Sb = : [ f ] : [ p ] .f ( p ) . = .f(Tr).f(Fl)
(Th. 52, Th. 66)
16 ON THE P R IM IT I V E TERM OF LOGISTIC 1,5 6
T h . 66. E : [ ? ] : [ 3 p ] . / ( p ) . - • / ( ? ) v / ( ~ (q))
T h . 67. [ / ] : J p {f) 3 =[P> ?] •'/<?) • / ( - (?)) •3 m ^ •/(?)
v / ( ~ (2))
T h . 68. Sb = :[q,f]:[p].f(j>). s ,/(<?) • / ( - (q)\
T h . 69. Sb = :[q,f]:[3p].f(p). = .f(q)V / ( ~ (q))
Th. 70. 8b == :[p,q,f] ♦/(— <2))- ^f(p)^ -/(2) v / ( ~ <2))
Proof. U p : d :::
(1) [ 2 ./] :.:
(«) P 2] : :
(«)2 |> ] : -2(3>) = : ~ (p) o .f(p) = f ( F l )
(J3) g(Fl) ~ : ~ (FI) o .f(Fl) = f ( F l ) :. («)
(y) f(Fl) = f ( F l ) :
(8) ~(Fl)o.f(Fl)==f(F l) (y)
(«) g(Fl):. 08,8)
a) g(g(Fl)) == : - (g(Fl)) o .f(g(Fl)) = f ( F l ) : . («)
( V) ~(g(Fl))o.f(g(Fl))=sf(Fl): («)
m
w I> ]- 2 ( P ): (S p , 2)
(*) 2 (2 ):• : (0
1 Cf. L. Couturat, (14a), § 28 (Remarque).
* The auxiliary definition which I introduce at this place and of which
I make use in the proof, may seem superfluous. But I have adopted this as
a device for making the proof clearer.
1.1 6 ON T H E P R IM IT I V E TERM OF LOGISTIC 19
Proof. Up : d ::
(1) [}y>q . f ] : . p S £ g ./(p ).3 :
(a) P = q-j'(P) ■
(b) p.q. V . (p). ~ (q): (“ )
(c) p.q .ofiq ): (Th. 77, U p , a)
(d) - ^ ( p ) . ~ (q). (Th. 75, U p , a)
(e) /( ? ) :: ip, c, d)
On (Def. 4, 1—e)
Tn. 79. ,% hh : [ / ] :{p].f(p). rzf{f(Fl))-.[3p].f(p).
~ W T r ) ) (Ths. 71, 72, 78}
T h . 80. *b m ,[p,f].f{f(Fl)) o f ( p ) - f ( f ( T r ) ) {Tli. 79)
N ote II. O n F u n c t io n s o f w h ic h t h e A r g u m e n t s
are not Se n ten c e s
Analogous problem s present themselves in the study o f logis
tic functions o f which the arguments are not sentences but
functions.
I shall restrict m yself to the consideration o f only a single
case, to be specific that o f a function o f one argument which is
itself one o f the functions studied in §§ 3-6.
B y analogy with the term inology o f W hitehead and Russell,1
we call such a function <f> an extensional function if it satisfies
the condition:
(**) [/> s ] ■ = {/. 9} • 3 •
The sentence
(b2) =
which attributes to every function <f> the property (a2), is
probably independent o f the axiom s o f logistic, even if we add
to them the sentence (A ). Nevertheless I do not know o f a
p roof o f this.
It is possible to form ulate a series o f theorems (analogous to
those o f the preceding sections) which express the necessary and
sufficient conditions which a function (f> must satisfy if it is to
be extensional or which provide equivalent form s for the sen
tence (A 2). However, the proofs o f these theorems require that
the sentence (A) be adm itted as hypothesis. Otherwise they are
quite like the proofs o f §§ 3 -6 ; but the role analogous to that o f
Th. 25 is here played by the sentence:
[/]• * = {/» « « } V = - {/ ,$ ,
which we already know to be equivalent to our hypothesis (see
Th. 42 o f §3 ).
I here give the m ost characteristic sentences which are
equivalent to the sentence (A 2):
(C2) [/:<£]:.<£{/} = : == {/, tr).<f>{tr}. V . = {/, as).J>{as). v .
= {/> -}.# -}• v . =
P 2) M :[/]•#/}• s
1 Whitehead and Ruasell (90), vol'. I, p. 22.
I ON TH E P R IM IT I V E TER M OF LOGISTIC 23
FO U N D A TIO N S OF TH E GEOMETRY
OF SO LID S!
solids o f the first m odel and those o f the second in such a way
that if X ,Y , Z are any solids o f the first m odel, and X\ Y\ Z'
the corresponding solids o f the second m odel, we have:
(i) X is a sphere i f and only i f X ' is a sphere;
(ii) Y is a part o f Z i f and only i f Y' is a part o f Z '.
T heorem B . The postulate system of the geometry of solids,
with the postulates of mereology included, has a model in ordinary
three-dimensional Euclidean geometry. To obtain such a model
we interpret spheres as interiors of Euclidean spheres, and the
relation of a part to a whole as the inclusion relation restricted to
non-empty regular open setsJ1
Conversely, the postulate system of three-dimensional Euclidean
geometry has a model in the geometry of solids. Such a model is
obtained by interpreting points and the relation of equidistance in
the way indicated in Defs. 6 and 7.
Consequently, the consistency problems for the two postulate
systems.are equivalent.
In conclusion, when we com pare the results which have been
summarized with those o f W hitehead and N icod, the follow ing
m ay b o stated: The procedure which has enabled us here to
form ulate definitions and postulates (especially D efs. 6 and 7
and Post. 1) can be regarded as a special case o f the method of
extensive abstraction developed b y W hitehead. N icod has already
drawn attention to the equivalence o f the problem s o f con
sistency for the tw o system s o f geom etry : that o f the geom etry
o f solids and that o f ordinary point geom etry. In m y opinion
what is to be regarded as a new result is the precise, m ethod o f
establishing the m athem atical foundations o f the geom etry o f
solids w ith the help o f a categorical system o f postulates con
taining only tw o prim itive notions: the notion o f sphere and
that o f being a part.
1 This fact has an interesting consequence formulated in terms o f Boolean
algebra; cf. X I, p. 341, note 2.
Ill
ON SOME F U N D A M E N T A L CONCEPTS
OF M E T A M A T H E M A T IC Sf
T heorem 2. I f X + Y £ S, then
1 This means that expressions (sentential functions) with free variables are
not regarded as sentences.
1 cf. rv, § 2.
34 ON SOME F U N D A M E N T A L CONCEPTS m
and if the formula X e 903 does not hold); y(X) •— 2 if and- only
if X e ffi.93; y(X ) > 2 if and only if X e SB— 93.
Finally we introduce the follow ing concepts:
D efin itio n 6. A set X of sentences is called independent, in
symbols X e U, if X £ 8 and if Y — X always follows from the
formulas: T X and Y £ X .
D efin itio n 7. A set Y of sentences is called a basis o f the set
X of sentences, in symbols Y e SB(X), if X and Y e H.
D efinition 8. A set Y of sentences is called a finite axiom
system, or for short an axiom system^of the set X o f sentences,
in sy m b o lsY eV x (X ),ifX Y and Y < X 0.
DEFINITION 9 . A set X of sentences is said to be finitely axioma-
tisable, or for short axiomatizable, in symbols X eS l, if
*x(X ) # 0.
T heorem 15*. X e U if and only if X S and for every y e X
the formula X —{y}-f{n (y)} 6 SB holds.
T heorem 16. I f X s S and % < X0, then there exists a set
7 G, X such that Y e © (X ); i.e. every finite set of sentences contains
a basis as a subset.
T heorem 17*, I f X £ S, then © (X ) *£ 0; i.e . every set of sen
tences possesses a basis.
1 Cf. the remarks concerning these notions in article V* at the end of $ 7-
36 ON SOME F U N D A M E N T A L CONCEPTS m
1 7 1 = X0 and = 1 = 2**.
1 Lindenbauin was the first to draw attention to this fact (in connexion
with the sentential calculus), thus indirectly suggesting the notion of axio-
matizability; cf. IV , § 3.
Q Introduction to a form of general analysis, New Haven 1910, p. 82.
1 Sheffer, H. M. (63), p. 32.
m OF M E T A M A T H E M A T IC S 37
§ 1. G e n e b a e Concepts
I t is our intention to refer our considerations to the conceptual
apparatus which was developed hi the preceding article (see I II ).
t BrouoaBAPHicAL N oth:. This joint <’emmnnioation of J\ Lukasiewicz and
A. Tarski was presented (by Lukasiewicz) to the Warsaw Scientific Society on
27 March 1930; it was published under the title 4Untersuohungen iiber den
Ausaagenkallriil ’ in Oomptes Rendus des stances de la SocteU des Sciences ei des
Lettres de Vcrzovie, vol. 23, 1930, cl. iii, pp. 80-50.
% To avoid misunderstandings it should be stated that the present article
does not contain results discovered by both the authors jointly, but is a com
pilation of theorems and concepts belonging to five different persons. Each
theorem and conoept is scribed to its respective originator. Theorem 3, for
instance, is not a theorem of Lukasiewicz and Tarski, but a theorem of
Lindenbaum, Nevertheless, some scholars mistakenly referred to both authors,
Lukasiewicz and Tarski, the many-valued systems of logio ascribed in the
article to Lukasiewicz alone. In spite of a correction which appeared in 1933
in the Journal of Philosophy, vol. 30, p< 364, this mistake persists till today. 2t
clearly follo ws from § 3 and notes of this article that the idea of a logio different
from the ordinary system called by Lukasiewicz the two-valued logic, and
the construction of many-valued systems of logic described here, are entirely
due to Lukasiewicz alone and should not be referred to Lukasiewicz and Tarski.
IV, J I S E N T E N T IA L CALCULUS 36
h(c(x,y)) =f(h(x),h(y)y,
t The results discussed in the last paragraph of irv> text were improved
after the original publication of this article. I d fact Lukasiewicz found in 1032
a single noil-organic axiom consisting of 29 letters: see Sobocuis&i *60 c),
especially pp. 181 f. In 1936 on the ground of a result of Sobociiiski ho pub
lished without proof a single organic axiom of 23 letters in J. Lukasiewicz p?2),
p. 121, note 10. The shortest hitherto known single organic axiom consisting
of 21 letters was found in 1952 bj7C. A. Meredith; see his article, *Single axioms
for the systems (C, N), {O, O), and {A, N) of the wo-valued propositional
calculus'. The Journal of Computing Systems, voi, 1 (1953), pp, 155-64.
X See B. Sobocihski, ‘Z bad an nad teorja dedukcji’ (‘Some investigations
upon the theory of deduction1), Frzeglqd Filozoficzny, voi. 36 (1932), pp, 178 ff.
46 I N V E S T I G A T I O N S IN T O T H E IV, § 2
f Wajsbarg’s proof of Th. 15 is given at the end oi his paper *S7 cf). Another
proof of the result discussed can be obtained by th\r use of the method de
veloped in the note of A, H . Diamond and J. G <k McKinley, "Algebras and
their subalgebras5, Bulletin of the American Mathematical Society, vol. 53
(1947), pp. 968-62. For another proof of that part of Th, 16 winch concerns
the whole system L, soe also S. Jankowski, ‘ Trois contribution.® au calcul des
propositions bivalent*, Shjdia Societatis Sdentiarum T w nensis, section A,
vol. 1 (1948), pp. 3-15, in particular pp. 9 f.]
13 I N V E S T I G A T I O N S IN T O T H E IV, §3
| In May 1930 while the original printing of this article was in progress,
Th. 21 was improved and the problem of the degree of completeness was
•olved for systems L n with an arbitrary natural n ; this was a joint result of
members of a proseminar conducted by Lukasiewicz and Tarski in the Univer-
ttty of Warsaw. A proof of Th. 21 and its generalizations appeared in print
reoently; see A. Rose, 'The degree of completeness of m-valued Lukasiewicz
propositional calculus’, The Journal of the London Mathematical Society,
▼ol. 27 (1952), pp. 92-102. The solution of the same problem for has been
given in A. Rose, ‘ The degree of completeness of the N0-valued Lukasiewicz
propositional calculus’, The Journal of the London Mathematical Society,
▼oL 28 (1953), pp. 176-84.
60 IN V E S T IG A T IO N S IN TO T H E TV, f 3
§ 4 . T h e R e s t r ic t e d S e n t e n t ia l C a l c u l u s
t Th© original proof of Th. 29 has not been published. But a proof of
this result can easily be obtained by means of a method developed in M.
Wajsberg, ‘ Metalogisehe Beitr&ge ’, Wiadomotci Matematyczne, vol. 18 (1936),
pp. 131-68, in particular pp. 154-7; the derivations which are needed for
applying Wajsberg’8 method can be found, for example, in W . V. Quine,
System of Logistic, Cambridge, Mass. (1934), pp. 60 ff.
J More recently Lukasiewioz has shown that the sentence ‘ CCCpqrOOrpCsp *
can also serve as a single axiom for system L+ and that there is no shorter
sentence with this property. See J. Lukasiewicz, ‘ The shortest axiom of the
implicational calculus of propositions ’, Proceedings of the Royal Irish Academy,
stfotion A , vol. 52 (1948), pp. 25-33.
54 IN V E S T IG A T IO N S IN TO TH E IV, J 4
§ 6. T h e E x t e n d e d S e n t e n t ia l C alcu lu s
B y the extended sentential calculus we understand a deduc
tive discipline in the sentences o f which there occur what are
called universal quantifiers in addition to sentential variables
and the im plication sign.x F or the universal quantifier Lukasie
w icz uses the sign ‘J J ’ whioh was introduced b y Peirce.2 W ith
this notation the form ula ‘JJ pq’ is the sym bolic expression o f
the sentence, ‘for slip , q (holds)’ . The operation which consists
in putting ths universal quantifier ‘ J J ’ with a sentential variable
x in front o f a given sentence y is called universal quantification of
the sentence y with respect to the sentential variable x, and is
3 In (46) Leibjevf.ki has described the outlines of a deductive system,
called by him Protothetic, which, compared with tho extended sentential
calculus, goes still further beyor.d the ordinary sentential calculus in the
respect that, in addition to quantifiers, variable functors are introduced. (In
the sentence ‘ Gpq ’ the expression *0* is called a Junctor, and *p* and ‘ g* are
called the arguments. The word functor we owe to T. Kotarbidski. In both the
ordinary and the extended sentential calculus only constant functors are used.)
In addition to this principal distinction, there are yet other differences between
ihe extended sentential calculus and the protothetic as it is described by
Le&niewski. In contrast to the extended sentential calculus, in the protothetic
only those expressions are regarded as meaningful sentences in which no free,
but only bound (apparent) variables occur. Some new operations (rules of
inference or directives) are also introduced by means of which consequences are
derived from given sentences, such, for example, as the operation of distri
buting quantifiers, which is superfluous in the extended sentential calculus.
Finally it must be emphasised that LeSniewski has formulated with the utmost
precision the conditions whioh a sentence must satisfy if it is to be admitted
as a definition in the system of the protothetic, whereas in the present work
the problem of definitions has been left untouched. Article I belongs to proto-
thetio. A sketch of the extended sentential calculus is given in Lukasiewicz, J.
(51), pp. 154-69; this sketch rests in great part on results of Tarski (cf. loc.
oit. Preface, p. vii). The two-valued logio of Lukasiewicz (52 a) has many points
of contact with the extended sentential calculus. Finally, there are many
analogies between the extended sentential calculus and the functional calcu
lus of Hilberi and Aokermarm (see Hilbert, D ., and Aokermann, W . (30),
especially pp. 84-85).
• The expression ‘ quantifier* occurs in the work of Peirce (58 a), p. 197,
although with a somewhat different meaning.
f This last sentence expresses the views of the author at the time when
this article was originally published and does not adequately reflect his present
attitude.
V ,§ 1 M ETHODOLOGY O F D E D U C T IV E S C IE N C E S 03
t Compare the discussion of related problems in Y in, pp. 174 and 184.
V, §1 M E T H O D O L O G Y OF D E D U C T IV E SCIENCES 65
gC M X ) s < * .( £ 4 or s flO H Z ).
/ ) =
Proof, (a) A ccording to A x. 2,
A + B £ A + C n {B ) £ Cn{A)+G n(B) £ 8,
whence b y Th. 1 a
(1) C n (A + B ) £ Cn{A+C n(B)) £ Cn(Cn(A)+Cn(B)).
A gain according to Th. 1 a and A x. 2 we have
Cn(A) £ C n (A + B ) £ 8 and Cn(B) £ C n (A + B ) £ 8,
thus also On{A)-\~Cn(B) £ Cn(A-{-B) £ 8 and therefore
(2) Cn{Cn{A)+Cn(B)) £ Cn(Cn(A+B)).
F inally, from A x. 3 it follow s th at
(3) Cn(G n(A+B)) = G n(A +B ).
The form ulas (1) to (3) give im m ediately:
C n (A + B ) = Cn(A+G n{B)) = Cn(Cn(A)+Cn(B)), q.e.d.
(b) is proved in an analogous manner.
I f A £ 8, 0 e (£, and G £ Cn(A), then there
T h e o r e m 3.
exists a set B which satisfies the formulas B e d , B £ A , and
0 £ Cn(B).
Proof. B y the hypothesis and A x. 4, a set G(x) oan be corre
lated uniquely w ith every elem ent x e C, in such a w ay that the
form ulas
(1) x e Cn(G(x)), G{x) e <£, and G(x) £ A for x e C
are satisfied. (Since the set G is finite, the existence o f such a
66 F U N D A M E N T A L CONCEPTS OF V, § 1
(3) £ -2 <?(*).
XGC
(1) z e C n Q g X ).
Thus we have shown that the formula (1) always implies (5},
accordingly the following inclusion holds:
(«> Cn{ 2 X) s T Cnpq.
\Xeft ' Xsft
On the other hand we have 7 £ T I £ 5, whence accord-
mg to Th. la Cn{Y) £ Gni T X^i for every set F e conse-
'w?vs /
quentiy
,7) £ < * * > s < * (£ * ).
The formulas (6) and (7) give
0n( i / ) ~ L 0 n m - P * - 4!
Tins corollary is often applied to the class of all terms of an
increasing sequence of sets of sentences.
T heorem 6. Lei- B + C £ 8, and pvt
F{X) = C.Cn(X-t-B)
for every set X £ 8 (and in particular F(X) ~ Cn{X+B) in
case C ~ S). We then have:
(a) 6 < K0;
(b) if A £ Gs then A £ F(A) £ 0:
(c) if A £ 0, then F(F(A)) - F(J),
(d) if A £ G, then F{A) = J F(X\.
xetifto.e
68 F U N D A M E N T A L CONCEPTS OF V, § 1
{In other words, Axs. 1-4 remain valid if 'S' and 'Cn are every
where replaced in them by *C’ and (F' respectively.)
Proof. First let it be noted that in case 0 = S we have, b y
A x. 2, Cn(X-\-B) £ C for every X £ Sy so that the function
F(X) = C . Cn{X-\-B) reduces indeed to
F(X) = Cn[X+B).
(а) follow s im m ediately from A x. 1.
(б) is easily obtained from A x. 2.
(c) B y A x. 2 and Th. 1 a we have
C . C n { A + B ) + B £ Cn(A-uJB)+B £ £
and accordingly
G »(C . C n ( A + B ) + B ) £ Cw(Cn(.4+ £ ) - } - B);
in view o f Th. 2 a
Cn{Cn(A + B) + B) = On((A -j-.Z?) + i3) - (7n(A+B).
From this it follow s that
G\Cn(C.Cn{A + B ) + B ) £ 6bC%(A + iJ );
thus b y the hypothesis
F(F(A)) £ F (A ).
Since the inverse inclusion F(A) £ JF(F(A)) results im m e
diately from (b) (if we replace ‘A* in it by ‘ F (A )’ ), we finally
obtain the desired form ula F(F(A)) = F (A ).
(d) B y A x. 4:
(1) C n (A + iJ ) = y Cn(X).
C n(A +B ) = y C n { X + B },
and thus
O .C n (A + B )= y C .C n (X + B ).
JTeCg.iP (A)
F {A )= y F(X), q.e.d.
X ed M *U )
T heorem 10,
8 e <S and 8 — T X. [D e l 1, A x. 2]
.X5--0
8 is thus the largest o f all system s.
T heorem 11. (a) I f A e 5 and. £ e <3 , th en A. B e S.
(6} In generala if it sl: 3 and S\ 0, ik e n ^ ^ X e <5.
£ x * M £ r )-
V, §3 M E T H O D O L O G Y OF D E D U C T IV E SCIENCES 73
F inally, let
(4) 7t be the smallest ordinal number with which the conditions (2)
and (3) do not correlate any number
W e put
(5) xv = y^ fo r v < n .
I f 7r were less than to, then, b y com paring the statements (2),
(3), and (10), we should obtain A' — A^, which contradicts the
condition (4). Consequently, on the basis o f (6),
(11) 7t = to.
In accordance w ith Th. l a and w ith reference to (l)-(3 ) we
have Cn^ E{ji < c Cn^ E[ji < 7r]^ for every v < tt. W e
thus have b y (10) e Cn(E[fi < v]^ for v < w and in particular
1 'VA '
V, § 3 M E T H O D O L O G Y OP D E D U C T IV E SCIENCES 76
since b y (3) (for v = v2) y\Vt e Cn^ E [/x < v2]j, the numbers
AVi and AVl cannot be identical. B y com bining the last form ula
with the second inclusion we obtain
to„£Cb( % < 4
The form ulas (6), (7), and (15) state that the sequence o f
sentences xv satisfies all conditions o f the conclusion.
In the p roof above we have used a m ethod o f reasoning which
is repeatedly em ployed in set-theoretical considerations. F or
the idea o f applying it to m etamathematieal problem s we are
indebted to Lindenbaum , who em ployed it in the p roof o f
Th. 56 given below.
A sequence o f sentences which satisfies the condition (a ) o f
Th. 16 could be called cardinally independent; if at the same time
the form ula (/?) is satisfied, then this sequence is to be called an
76 F U N D A M E N T A L CONCEPTS OF V, § 3
*M & *)*°-
Proof. B y Th. 22 it follow s from the hypothesis that
78 F U N D A M E N T A L CONCEPTS OF V,§4
N“
Ul
(1)
(2) Fee,
aud
(3)
Prom (1) and (2) it is easily inferred that there is a class
f i e ® . *$(&) which satisfies the form ula f g V I , Since
Xe2
b y hypothesis the condition (a) o f Th. 4 (or o f Cor. 5) is satisfied,
it follow s that there is a set Z e SL which includes the set T X
^ 0, q.e.d.
and
Since E[ji < v] £ 8, we obtain from (5) with the help o f Th.
(1) A 6 S — 21.
B y applying Ths. 16 and 25 (and taking in to account D ef. 1)
w e infer from (1) that a sequence o f sentences xv o f type to exists
w hich satisfies the form ulas
(2 )
and
(3) E[v < a»] e 2tq(A).
3b
B y T h. 18 a from (1) and (3) we obtain
(4)
V, §4 M E T H O D O L O G Y OF D E D U C T IV E SCIENCES SI
W e pu t
(5) V < <Jt).
Feft.aq(j\r),
then b y (10) and (14) w e should have 7 e @ . $ q (A ) and A e S ,
whioh b y Th. 18c gives Y = A e ft; but the last form ula is in
contradiction w ith (10) and (11) (since the sum o f all terms o f
an increasing sequence o f sets o f type u> contains every term
as a proper part). Consequently
(16)
b y com bining this form ula w ith (14) we at once obtain (1).
W e have thus shown that the existence of a sequence of sett
described in (10) forms a necessary and sufficient condition for
formula (1), q.e.d.
From tho last tw o theorems the follow ing corollary is easily
obtained:
COROLLARY 28. 6 . % < X0.
Proof. A ccording to a well-known theorem o f set theory
A x. 1 has the consequence that the class (£. ty(S) is at most
denum erable. B y Th. 26 the function On establishes a m any-to-
one correlation between the m embers o f this class and those
o f the class S . 31; accordingly this latter class is also at most
denum erable, < X®, q.e.d.
C orollary 29. (a) I f A e <5—% then ?P(A). S . 31 = X0.
(b) I f © - « =£ 0 (or I p ( /S ) - « # 0), then W .1 = X0.
Proof, (a) B y Th. 27 the hypothesis gives iP (A ).<5.3l > X0;
since the inverse inequality follow s im m ediately from Cor. 28,
we finally have fp (A ). ®. 3t = X0;
(b) results directly from (a) and Cor. 28 (with the help of
Ths. 18 a and 20 c there is n o difficulty in showing that the
second premiss, Sp(3) — 51 # 0, im plies the first, S — 91 ^ o).
T heorem 30. Hither 1 < < X0 or X-0 < <s < 2*'.
V, §4 M E T H O D O LO G Y OF D E D U C T IV E SCIENCES 8S
L et X be any subset o f A .
B y the use o f Th. 2 a and w ith the help o f (2) we obtain:
C n { ( A - C n { X ) ) + X ) = Cn {(A -C n (X ))+ C n (X ))
= Cn(A+Cn(X)) = C n ( A + X ) = Cn(A),
and accordingly b y D ef. 2, (A — (7 »(X ))H -X e 93(A ).5tq(A ).
From this, b y virtue o f D ef. 4 and w ith the help o f (1), we infer
that ( A — Cn(X ) ) + X — A and consequently.4 . ( Cn(X)—X ) = 0.
Thus b y (2) we have
(3) A .Cn(X) £ X £ S for every set X £ A.
B . W e assume next the condition (3). W e consider any two
sets X and T which satisfy the form ulas X + Y £ A and
Cn(X) — Cn(Y). It follow s from (3) that
A.Cn(Y) = A .Cn (X) £ X ;
since further (3) gives the inclusion (2), we have b y A x . 2
Y s A.Cn{Y).
Consequently Y £ X . In an exactly analogous manner we
reach the inverse inclusion X £ Y, so that finally X = Y. W e
have thus shown that
<'4) the formulas X -j-F £ A and Gn{X) = Cn(Y) always imply
X — Y, and in addition (2) holds.
C. Finally, let (4) be given. A ccording to D ef. 2 every set
X e 93(A ).2tq(A ) satisfies the form ula Cn(X) == Cn(A)\ hence,
i f in (4) w e put Y = A , w e obtain X = A . Thus we have
93(A). $ q (A ) £ {A }; bu t since b y Th. 13 a the inclusion
{A } £ 93(A ).5tq(A )
also holds, we reach the identity 93(A). SSq(A) = {A }, w hich by
D ef. 4 gives the form ula (1).
A ccording to the above argum ent, (3) follow s from (1), (4)
from (3), and (1) from (4). The conditions (1), (3), and (4) are
thus equivalent, q.e.d.
T heorem 32. In order that A e JI, it is necessary and sufficient
that z e 8 — Cn(A—{« }), for every x e A .
Proof. A . L et us assume that
(1) A e It,
V, §5 M E T H O D O L O G Y OF D E D U C T IV E SCIENCES 85
Mid apply Th. 31. According to the condition (y) o f this theorem
it follows directly from (1) that
(2) A £ 8.
By putting X — A —{x} in condition (/J) o f the same theorem
we further obtain A . C n ( A —{x}) c A —{x}, whence
{x }.A . Cn(A—{x}) — 0.
Under the assumption that x e A the last formula gives
{x}. Cn(A—{x}) = 0 and finally, by virtue of (2),
(3) x e 8 — Cn(A — {«}) for every x e A.
B. We now assume formula (3) and note initially that from
this the inclusion (2) immediately follows. Let us assume that
there exists a set X £ A which satisfies the formula
A .C n (X )-X # 0 .
Let for example x e A . Cn(X)—X and accordingly X £ A —{x},
which by Th. l a gives the inclusion Cn(X) £ Cn(A —{2 });
since then x e A . Cn(X), we infer at once that x e Gn{A—{x}),
which contradicts formula (3). Our assumption is thus dis
proved; consequently, in view o f (2), we must assume that
(4) A . Cn(X) £ X £ S for every set X £ A .
B y Th. 31 formula (1) follows from (4).
We have thus established the equivalence o f the formulas
(1) and (3) and thus proved the theorem.
From the last theorem we obtain immediately
Corollary 33. (a) OeU; [Th. 32]
(6) in order that {* } eVL, it is necessary and sufficient that
x e S—Cn(0). [Th. 32]
T heorem 34. I f A e U, then ?P(A) £ U. [Th. 31]
T heorem 35. I f A e U , then <P(A).2l = ip(A).<£.
Proof. According to Th. 32 (or else 31) the hypothesis gives
(1) A £ S.
86 F U N D A M E N T A L CONCEPTS OF V, § 5
S 6 -3 1 = 2*.
[Th. 36, Cor. 28, Th. 30]
88 F U N D A M E N T A L CONCEPTS OF V ,§ 6
(3)
1 Poet, E. L. (60), p. 177.
92 F U N D A M E N T A L CONCEPTS OF V, J 6
and
(4) X e $tq(.4).
Prom (j8) and (3) it follow s at once that X e 933; according
to Th. 136, (4) is equivalent to the form ula A e 9tq(X). Conse
quently b y virtue o f Th. 46 b we obtain the form ula A e 933,
w hich coincides w ith (a) and contradicts the assum ption (1).
W e have thus shown that (/?) is a sufficient condition for (a),
and with this the p roof is com plete.
C. £ 9B;
q.e.d.
whence b y D ef. 7 a
(8) ®nt(A ) £ Y ® nt(X ).
XeSR3t).«
On the other hand it follow s from Th. 506 that
® nt(X ) £ ®nt(A)
90 FUNDAMENTAL CONCEPTS OF V,§
fo r every set X e . <£, whence
& (A ). 2B £ S q (A );
Finally, let
(4) it be
the smallest ordinal number with which the conditions (2)
and (3) correlate no number A^.
N ow we pu t
(6) X 0= A, X v+1 = A + E \ji < v] for v < rr
and
(6) X = X 0-f- 2 Xy+V
v<ir
The conditions (2 )-(4 ) give at once
(7) w < w.
From (4 )-(6 ) we obtain
(8) A s X,
and in general
(9) Xp —X for (i < v < ir.
F rom (2 )-(5 ) w e infer w ithout difficulty that
(10) X 0 6 28 and X y+16 28 for v<n.
L et ft — (X 0}-f- E \v < «•]. B y (9) and (7) the class St
Xy+\
satisfies the condition (a) o f Cor. 5; by (10) the inclusion ft S 8B
holds. Taking in to account the form ula S e 2t assumed in the
hypothesis we see that all premisses o f Th. 49 are satisfied.
A ccordingly we have Y e 2B, or, b y (6),
(11) Xe2B.
From (4 )-(6 ) we obtain the form ula
(12) X~A+E[ii<ir].
*a^
B y an indirect argum ent (analogous to the one used in refuting
the assum ption (9) in the p roof o f Th. 16) w® easily infer from
100 F U N D A M E N T A L CONCEPTS OF V, $ 7
(2 )-(5 ) that for every number A < ' co which is distinct from all
numbers A^ w ith /x < it either X 0+ { x y} e 2B holds or there is a
num ber v < n w hich satisfies the form ula
§ 8 . C a r d in a l and O r d in a l D e g r e e op Co m p l e t e n e s s
In order to obtain a classification and characterization o f in
com plete sets o f sentences, we introduce here the concept of
the degree o f completeness o f a set o f sentences, and we do this
in tw o ways, nam ely b y correlating a cardinal number and an
ordinal num ber w ith every set o f sentences. The cardinal degree
t Nor can they be defined in terms of those notions which are discussed
in xn.
V, §8 M E T H O D O L O G Y OF D E D U C T IV E SCIENCES 101
where A £ S .
P r o o f. L et a num ber £ be given such that
inclusion
Gn(A + E [fi < v]) S G n { A + ( X - { x y}))
8(-4) < Kw
(6) B y Th. 57 the hypstlissje im plies that
(5) A c? S,
and that, w ith every number «r < ta (thus < y{A)), a sequence
o f sentences o f typ e v can be correlated so that
(6) x f 's 'Sf—CvJ,A4- E[n < y]} for v < w < -a,
W e now p u t
(7) Xj,'* = Cn^A+JSJjx, < v]j fo r v < ir < <a,
and let
(8) ft = E Jy < it < » ].
(10) ft = X 0.
In view o f D ef. 8 a the form ulas (9) and (10) give the required
inequality ^ > K
conclusion follow s: y(A) < g(^4). Since b y Th. 61 and the hypo
thesis y{A) < Q, all possible cases have been dealt with and so
the theorem is proved.
It remains undecided whether this theorem can be extended
to the case y(A) = 12.
The follow ing theorem is o f a more special nature.
L et us put
(4) = 2 x v.
V < TT
sets (o f type 7 r + l) satisfying the form ulas (5) and (6) contra
dicts the assum ption (1). W e must have therefore
y(A) tt+1, q.e.d.
The results obtained here which concern the notions g(J.)
and y{A) are rather fragm entary. Only by res dieting ourselves
to those deductive disciplines which presuppose the sentential
calculus are we able to obtain m ore com plete results. In parti
cular we can then show that, for every set A o f sentences, g (4 )
is either finite or equals 2**, and sim ilarly yUl) is either finite
or equals £2.
In general, when developing the metamatb.ematies o f deduc
tive disciplines which presuppose the sentential calculus, we
chiefly concentrate upon the same notions which have been
discussed in the present paper. Since, however, the develop
m ent is based upon logically stronger (though more special)
assumptions, various results obtained here can he supplemented
and im proved.
VI
ON D E F I N A B L E SETS OF R E A L
NUMBERS!
variable ‘x $ \
The sentential functions are those expressions which can be
obtained from the prim itive functions b y applying to them , in
any order and any (finite) num ber o f tim es, the five fundam ental
operations. In other words the set o f all sentential functions
is the smallest set o f expressions which contains a? elements all
the prim itive functions and is closed w ith respect to the above
operations. The follow ing are examples o f sentential functions:
2 c(x,.x't Xf )t XT ((•*'' £ r,.)-[-(*, e *»)), ^ Tj (*•■» s xm).
W ithin this style o f notation (which clearly departs from the
sym bolism ox Principia Mathematica1), we introduce in practice
m any sim plifications. Thus we shall use as variables o f the
three lowest orders the signs ‘X ® ’ , and respectively.
In the place o f V ', V ’, V ” , V * '’ we write V , ‘y\ V , V ,
and sim ilarly for the tw o follow ing orders. As negations o f the
prim itive sentential functions w e write
* i W . W * " . a**)*. and '*(**>,30>,**>)>-
Finally, sotting aside the m echanical w ay o f using parentheses
exem plified above in the construction o f sentential functions,®
we omit, parentheses everywhere so long as no nfisrmderstandmg
w ill arise.
W e can classify sentential functions according to the order
o f the variables w hich occur in ' hem. The function which con
tains at least one variable o f order » , but no variable o f higher
order, is called a sentential function o f order n; thus In the
exam ples given above we have functions o f orders 3, 2, and 3.
1 On the other banc? our natation a g with that o f Sehrdder, K, (02).
* This method Is doe to Lewis {of1, L-swis, O, L (4fi), p 3£7). By using
the Ida*. o f Lukasiewicz it la possible so cfd ihe nse of parentheses completely
in this system: for this purpose it su£k:.e*. use tha dcspxfission* s scX \
*V&y\ {crxyz \ *4 p q %an d4.pq\ i m it t i oi 1 g X ) \ 1v(* i . L;*■{*>y) \ i a{xty Tz) h
>+<?)% and •{*.*)’ IV).
1X6 ON D E F IN A B L E SETS OF R E A L NUMBERS VI, § 1
funotion
1, 2,..., i.e. the reconstruction can be carried out for each natural
number separately.
The idea o f the reconstruction is quite simple in principle.
W e notice that every sentential function determines the set o f
all finite sequences which satisfy it. Consequently, in the place
o f the m etam athem atical notion o f a sentential function, we can
make use o f its m athem atical analogue, the concept o f a set o f
sequences. I shall therefore introduce first those sets o f sequences
which are determined b y the prim itive sentential functions. Then
I shall define certain operations on sets o f sequences which
correspond to the five fundam ental operations on expressions.
Finally, in im itation o f the definition o f sentential function,
I shall define the concept o f definable set o f sequences o f order n.
This notion w ill lead us easily to that o f definable sets o f indivi
duals o f order n.
The whole construction w ill be carried out in detail for the case
n = 1 and in its main features for n — 2. I believe that after
this explanation the m ethod o f construction for higher values
o f n will be clear, f
M ost t)f the sym bols to be used are com m only found in
works on set theory. In particular, the sym bols ‘ O’ and
({x9y>—9&Y denote respectively the null set and the finite set
com posed o f the elements x , z. The sym bol ‘E<f>(xy denotes
X
the set o f all objects x which satisfy the condition <f>. The
sym bol ‘N t9 denotes the set o f all natural numbers (zero in
cluded) and the sym bol lRV that o f all real numbers. Further,
when I have need to refer to the considerations o f the preceding
section, I shall em ploy the logical and arithm etical signs which
have there been explained.1
The principal instrum ent o f these investigations will be form ed
b y finite sequences o f real numbers and sets o f such sequences.
In order to avoid all possible m isunderstanding the notion o f
finite sequence w ill first be considered more closely.
Let r be any binary relation. B y the domain of the relation r9
in sym bols D(r), I understand the set E {there exists a y such
X
that xry). The counter domain (or range) d{r) is. defined b y the
form ula <T(r) = E {there exists an x such that xry). The relation r
v
is called a one-many relation (or function) i f for all x} y, z the
form ulas xrz and yrz always im ply the equality x = y .f
E very function s, whose counter dom ain is a finite subset
o f Nt I call a finite sequence. The set o f all finite sequences
w ill be denoted b y cSf\ The unique x which satisfies the
form ula xsk for the given sequence s and natural number jfc,
will be called the k-th term of the sequence s9 or the term with
the index k of the sequence s9 and denoted b y ‘sk\ It is not at
all necessary (contrary to the custom ary interpretation o f the
notion o f a finite sequence) that the set d(s) should be a
1 Thus the symbols *+* and V are used in several different senses: namely
as logical signs, as signs of the theory of sets, and as signs of arithmetic. I do
not believe that this will occasion any error within the limits of this article.
(p) a{S)
belong to the set 8 . The set 8-%-T is the set o f all sequences
o f real numbers with the counter dom ain Q (S)+Q (T) which
contain am ong their subsequences either a sequence o f the
set S or a sequence o f the set T (or both ); sim ilarly the set
8 ? T is the set o f all sequences w ith the counter dom ain
Q{S)Jr G{T) which contain am ong their subsequences both
a sequence o f the set 8 and a sequence o f the set T. Thus
3 is the set o f all sequences s com posed o f three real
numbers sv s2, and sz such that we have 8± # 1 or s2 < s3,
and M1>2? M23°S3AA is the set o f all sequences 8 w ith four term s
8V s2, and s4 satisfying the form ula s^ < s2 < s3 = 2.s4.
The operations o f com plem entation, addition, and m ultiplica
tion just introduced approxim ate to the corresponding opera
tions o f the algebra o f sets and offer m any analogous form al
properties, especially in the dom ain o f hom ogeneous sets. For
exam ple, they satisfy the commutative and associative laws, the
— o— .a .2.
tw o distributive laws, the law of De Morgan, S~\~T = S ? T , the
form ulas
54-0 = 5, -S?0 = 0, 59$ = 0,
and m any others.
This correspondence is im paired only in a single detail,
nam ely, there does not exist any set having exactly the same
form al properties as the universal set 1 o f the algebra o f sets,
J3.
and there exist m any different sets S such that $ — 0 (am ong
hom ogeneous sets all sets o f the type RN have this property),
o
while 0 is a special set, nam ely B0, com posed o f a single element,
the null relation. Consequently the form ula
o JL 0.2.
5 + 5 = T+T
is not in general satisfied; the law of double complementation
dr -a.
5 = 5 fails in the case where 5 = 0; the second law of De
Morgan, „ 0 * _o
S °.T = B + T ,
requires the hypothesis S°- T + 0 ; etc. From the practical
point o f view this fact does not involve m uch inconvenience;
VI, §2 ON D E FIN AB LE SETS OF REAL NUMBERS 125
.O
in the place o f the set 1 we can usually em ploy 0 , which pos
sesses a series o f analogous properties, e.g.
and
D efin itio n 7. (a) 'f, 8 — Rocg^a,}. E (there exists a sequence
K 8
t e Ra(g) satisfying the form ulas tjd(s) — s and t e 8),
o
(b) J ^ S = •E (for all sequences t e Ba(g) the form ula
with the set 8. If, how ever, k e d(8), then ^ 8 is the set o f
all the sequences whioh are obtainable from those o f the set 8
o
b y the om ission o f the it h term s, and the set J j 8 is com posed
terms s1 = s2; JX Mlfi is the em pty set, and J J -?-& ■>«) is the
2 3
set o f all sequences s with tw o terms where 31 =
126 ON D E F I N A B L E SE T S OF R E A L N U M B E R S VI, § 2
t p - t p , t P ^ P ’
(this last form ula fails for the case where S — O).*1
The analogy between the laws ju st discussed and those o f
logic is n ot at all a m atter o f chance. I t is easy to show that
it is possible to set up a very strict correspondence between the
fundamental operations on sentential functions studied in § i,
and those on sets o f sequences introduced in Defs. 6-7. This
can be done in the follow ing w ay: let f lt /*>••• be any senten
tial functions (o f order 1) and Sv 8Z,,.. the sets o f sequences
determ ined b y them : every function obtained b y one o f the
fundam ental operations when applied to the given functions
determines the set o f sequences whioh can be obtained with the
help o f the appropriate operation when applied to the sets
corresponding to these functions. A certain departure from this
general phenom enon only appears in the case where the func
tion considered is obtained b y the negation o f a function whioh
determines the null set. Thus, for exam ple, to the function
z*t xf" ) . 5{%', x ”, z!*)' corresponds, to be sure, the set
tU lA — -^ L ,3 - % 8l&» — ^1,2,2,
If, how ever, k dots n ot belong to the counter dom ain o f the
j
set S o f sequences, we have j S — 8', e.g.
if
if ft /.
128 ON D E F IN A B L E SETS OF B E A L NUM BERS VI, § 2
X
the free variable ‘y ’ for the free variable V we obtain
‘A y , y ) - 1 o { x , y , z ) \
X
(1) A = E jm .
(2) A = D(S),
where in the place o f ‘S 9there is a com posite sym bol, the struc
ture o f which shows at once that it denotes a set o f sequences
o f the fam ily £&f with counter domain consisting o f a single
transform ing this form ula in the way just described we obtain
A = D(Sltl'j), so that A e 2 .
2. L et A be the set o f all positive numbers. As is easily
established, we have A = E {x =£ and there exists a y such
X
A = E(o { x , x, x ). J,{ti(y,x).a{y,y,y))\,
x ' y 1
jS. o x
A s 2$.
3. Finally let A — E (0 < x < 1). W e transform this form ula
X
successively as follow s:
A — E (ithere exist y and z such that y < x, y = y + y 9
X
x < z, and z = 1)
= ^ 2 2 (My.*) •°(y>y. y) •M*»*) •u(2))
x y z
E( x < a), and E( a < x < 6),2 where a and b are tw o arbitrary
X X
1 Sum and produot may here be understood rather in the sense of Def. 6
(and the condition of the common counter domain is then superfluous) than
in the ordinary sense of the algebra of sets.
* And, if necessary, Buoh other analogous types as E(x < a), E(a < * < & ) ,
* X
eto., but this is not indispensable here.
IS4 ON D E F IN A B L E SETS OF R E A L NUM BERS VI, § 2
may then contain sets which are quite complicated from the
point o f view of analytic geometry, e.g. the so-called projective
sets of arbitrarily high classes.1
In order to deprive the notion o f elementary definability (of
order 1) o f its accidental character, it is necessary to relativize
it to an arbitrary system of primitive concepts or—more pre
cisely—to an arbitrary family o f primitive sets of sequences.
In this relativization we no longer have in mind the primitive
concepts o f a certain special science, e.g. o f the arithmetic of
real numbers. The set Rl is now replaced by an arbitrary set
V (the so-called universe of discourse or universal set), and
the symbol Sfis assumed to denote the set of all finite sequences
8 such that the domain o f a is included in F ; the primitive sets
o f sequences are certain subsets o f Sf. We can even abstract
from the type of objects which constitute the set F, and we
can treat the terms occurring in the definition which we are to
construct as ‘systematically ambiguous’2 terms, intended to
1 Cf. V H . I would point out that it seems profitable from the practical point
of view to base arithmetic on ‘strong* systems of primitive notions, for it is
convenient to have a sufficiently large category of arithmetical concepts which
do not require definitions of order greater than 1.
# Cf. (90), vol. 1, pp. 39-41.
The sets Uk, M%tl, S%i>m, and Ekl are regarded as primitive
sets of sequences, and the family of all these primitive sets is
denoted by
We now define 2 f % as the family o f all sets X such that
X * e 2 m ) . The definition o f 2 %is obtained from Def. 10
by providing the symbols '2 ' and ‘2 f ’ with subscripts ‘2’ ; we
could also define 2 t as the family o f all sets X such that
{X } 6 2(& r0). To convince ourselves that the definition just
outlined is materially correct we prooeed as in the oase o f 2
(cf. the remarks following Def. 10).
In a similar way we define the notions 2 f n and 2 n as well
as the relativized notions 2 f n(& ) and 2 n{SF) for every natural
number n. We can show that each o f the families 2 n (or 2 f n),
is contained as a part in *^»+l (or 2 f n+1y, moreover, by means
VI, 5 2 ON D E F IN A B L E SETS OF B E A L NTTMBEKS 141
1 This notation is due to Lebesgue. If, for example, y, z) stands for the
equation z = x -ty , the set E y f z) is the plane given by this equation; if
mjt
the set E <j>{xt y) is the upper part of the X V plane determined by the
mi
diagonal x — y.
3 A set of points is called protective, according to Lusin, when it is obtained
from a closed set by applying, any finite number of times, two operations:
(1) orthogonal projection, (2) passage to the complement.
* It is a question of explicit (cf. § 4) and arithmetical (or elementary) defini
tions in the sense established in V I, Dfs. 9 and 12, pp. 128 and 136. Cf. here
the theorem on p. 141 of the latter article, which is formulated without using
the concept of sentential function.
§ 1. L o g ic a l N o t a t io n . T r a n s f o r m a t io n F o r m u l a s
I f a represents a sentence, then a' represents the negation o f
this sentence; if a and /? represent two sentences, then a+/J
(read ‘ a or /3’ ) represents the logical sum, and a.j8 (read ‘a and
j8’ ) represents the logical product o f these sentences.
I f <f>(x) represents a sentential function, then 2 4>(x) 18 read
X
(5 ) =
X x
1 The definable non-projective Bets are then of the order n > 2 in the sense
of VI.
* For example, H 2 *tates that for every x there exists a y such
« v
that x < y. The condition for a function f(x) to be bounded is expressed
*o e e
x y
2 <£(*, y) = 1y y ) = 2y Lf (*o> y) s xy y)lJ
and this last sentenoe asserts that there exists a. point having
the abscissa xQwhich belongs to the set E<f>(x, y); in other words
xy
that x0 belongs to the projection of this set onto the X axis.
Examples
1. Let A be the set of all integers. Let d>{x) be the largest
integer which does not exceed x; in symbols
& = ^(*)] S ( y e A ) . ( y < x).{x < y + 1).
Hence, by formula (9),
E[y = <?(*)] — Ely e A) . E{ y < *). E(x < y + 1 ).
xy xy xy xy
We thus see that the graph of the equation y = &(x) is the
common part o f the three sets: (1) the set of horizontal straight
lines with integer ordinates, (2) the half plane y < x, (3) the
half plane x < 1.
2. Evidently we have (x > 0) == £ (x = y2). Consequently
v
the set of non-negative numbers = E(x ^ 0) = E 2 = y2)
X x y
= the projection parallel to the Y axis o f the parabola E(x = t/2).
xy
3. Let us express in symbols the fact that, if a; is a rational
1 The case n = 0 ia included; in this case $(x) becomes a sentence and,
denoting by 0 and 1 its logical value (i.e. ‘ false’ or ‘ true’ ) and employing the
same symbols to denote the empty set and the space of real numbers respec
tively, we have
(a ie O js O , (® s 1) s 1, E 0 = 0, £ 1 = 1.
(C sc
V II,§ 2 LO G IC A L O P E R A T IO N S AND P R O J E C T IV E SETS 147
REM ARKS
(<f>(x))' is projective.
(2) Let^(z1,...,*„) = ^(xlh,...,x kl) + w here^,...,k},
h>—> lm ^ » ;3 if the functions <f> and x 9X6 assumed to be
1 See, for example, N. Lusin, L egons sur les ensem bles analypiques (Paris,
1980), pp. 270-7.
* The set E<j>(x) is obtained by passing a vortical straight line through each
wv
point of the set E
»
* e.g. 4>(x, y, z) e s xf,(x, y)+x(v, *)•
V n ,§ 3 LOGICAL OPERATIONS AND PROJECTIVE SETS 149
E X A M P L E S AN D NOTES
Let <f>(x, y) be a projective sentential function o f two variables.
The set M = E <j>(x, y ) is then a plane projective set. Let Q be
xy
the set formed by the union o f all the straight lines contained
in Jf. In symbols
( x ,y ) e Q == {{a x + b y = c).(a 2+ 6 a # 0).
case for the greater part o f the operations which are considered
in mathematics. In order to convince oneself of this it suffices
to write their definitions in logical symbols.
Regarding the formulation o f the theorem o f § 3, it is to be
noted that if, instead o f supposing that the given sentential
functions are projective, we make more restricted hypotheses,
the function which is obtained may also be characterized in a
more specific manner. To give an example let us call every
sentential function linear if it is obtained by addition and multi
plication from sentential functions of the form f(x v ...,x n) = 0
or > 0 , where / is a polynomial o f degree 1 with integral co
efficients . Then the property of being a linear sentential function
proves to be invariant under the five logical operations coil-
sidered. In particular, the sets o f real numbers defined by means
o f linear functions prove to coincide with finite sums of intervals
(closed or open) with rational end points.1
On the other hand important examples o f classes of sentential
functions are known which are invariant, not under all, but
under some o f the logical operations discussed. Such is, for
instance, the class o f all functions corresponding to closed sets
or to Borelian sets, etc.; see Kuratowski, C. (41), pp. 168-9
and 246.
§ 4 . I m p l ic it D e f in it io n s
Hitherto we have supposed that the 'unknown’ function a is
obtained from a system o f given functions by perform
ing upon them logical operations; the type of this definition is
admits one and only one solution (for a), we can say that this
equation defines a implicitly.
A very common type of implicit definition is represented by
definitions by induction (finite or transfinite).
By means o f implicit definitions we are able to pass out of
the domain o f projective sets. They lead to a new class o f sets,
implicitly protective sets which it would be interesting to study.
VIII
T H E C O N C E P T OF T R U T H IN
F O R M A L IZE D L A N G U A G E S!
iNTBODTTOTIOir
T he present' article is almost wholly devoted to a single prob
lem— the definition of truth. Its task is to construct—with
reference to a given language—a materially adequate and
formallv correct definition' of the term Hrue sentence*. This prob
lem, which belongs to the classical questions of philosophy,
raises considerable difficulties. For although the meaning o f
the term 'true sentence’ in colloquial language seems to be
quite clear and intelligible, all attempts to define this mean
ing more precisely have hitherto been fruitless, and many in
vestigations in which this term has been used and which started
with apparently evident premisses have often led to paradoxes
and antinomies (for which, however, a more or less satisfactory
solution has been found). The concept o f truth shares in this
respect the fate of other analogous concepts in the domain o f
the semantics o f language.
The question how a certain concept is to be defined is cor
rectly formulated only if a list is given o f the terms by means
o f which the required definition is to be constructed. I f the
definition is to fulfil its proper task, the sense o f the termB in
this list must admit o f no doubt. The question thus naturally
arises: What terms are we to use in constructing the definition
o f truth ? In the course o f these investigations I shall not neglect
to clarify this question. In this construction I shall not make use
t B ib lio graphical ISTote. This article was presented (by J. Lukasiewicz
to the Warsaw Scientific Society on 21 March 1931. For reasons beyond
the author’s control, publication was delayed by two years. The arada
appeared in Polish in Tarski, A. (73). A German translation was published
under the title ‘ Der Wahrheitsbegrif? in den formalisierfcen Sprachen*, in
Studia Pkilosophica, vol. 1 (1930) (reprint dated 1935), pp. 201-405; it is
provided with a Postscript in which some views which had been stated in the
Polish original underwent a rather essential revision and modification. The
present English version is based upon the German translation. For earlier
publications and historical information concerning the results of this work see
p. 154, footnote, p. 247, footnote, and the concluding remarks of the Postscript.
vm CONCEPT OF TRUTH IN FORMALIZED LANGUAGES 153
1 Cf. KotarbiAski, T. (37), p. 126 (in writing the present article I have
Hpeatedly consulted this book and in many points adhered to the terminology
there suggested).
154 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES VIII
place o f the symbol *p* in this scheme any sentence, and in the
place of V any individual name o f this sentence.
I f we are given a name for a sentence, we can construct an
explanation o f type (2 ) for it, provided only that we are able
to write down the sentence denoted by this name. The most
important and common names for which the above condition is
satisfied are the so-called quotation-mark names. We denote by
this term every name o f a sentence (or of any other, even mean
ingless, expression) which consists o f quotation marks, left- and
right-hand, and the expression which Jies between them, and
which (expression) is the object denoted by the name in question.
As an example o f such a name o f a sentence the name 8‘it is
snowing” will serve. In this case the corresponding explanation
o f type (2) is as follows:
( 3 ) ‘it is snowing* is a true sentence if and only if it is snowing.1
Another category o f names o f sentences for which we can
construct analogous explanations is provided by the so-called
structural-descriptive names. We shall apply this term to names
which describe the words which compose the expiession denoted
1 Statements (sentences) are always treated here as a particular kind of
expression, and thus as linguistic entities. Nevertheless, when the terms
‘expression*, ‘statement*, efco., are interpreted as names of concrete series of
printed signs, various formulations which occur in this work do not appear
to bo quite correct, and give the appearance o f a widespread error which
consists in identifying expressions of like shape. This applies especially to the
sentence (3), since with the above interpretation quotation-mark names must
be regarded as general (and not individual) names, which denote not only
the series of signs in the quotation marks but also every series of signs of like
shape. In order to avoid both objections of this kind and also the introduction
of superfluous complications into the discussion, which would be connected
among other things with the necessity of using the concept of likeness of
shape, it is convenient to stipulate that terms like ‘ word’, ‘ expression\ ‘sen
tence*, etc., do not denote concrete series of signs but whole classes of such
series which are of like shape with the series given; only in this sense shall
we regard quotation-mark names as individual names of expressions. Cf.
Whitehead, A. N ., and Russell, B. A. W. (90), vol. 1. pp. 661- 6 and— for other
interpretations of the term ‘ sentence’— KotarbiAski, T. (37), pp. 123-5.
I take this opportunity of m e n t i o n i n g that I use the words ‘ name’ and
‘ denote* (like the words ‘ object’, ‘ dates’ , ‘ sr-l&tic?''} not in on?, but in many
distinct senses, because I apply there both to d dect;-. in the narrower tense
(i.e. to individuals) and also to all kinds of dosses and relations, etc. From
the standpoint of the theory of types expounded in Whitehead.. A . N ., and
Russell, B. A . W . (90) (vol. 1, pp. 139-68) these expressions are to be regarded
as systematically ambiguous.
vm . § 1 C O N C E P T O F T R U T H IN - F O R M A L IZ E D L A N G U A G E S 157
only four constants: the negation sign the sign of logical sum
{disjunction) the universal quantifier TI\ and finally the
inclusion sign ‘I .3 I regard these signs as being equivalent in
1 Cf. Schroder, E. (62), vol. 1 (especially pp. 160-3) and Whitehead, A. N.,
and Russell, B. A. W. (90), vol. i, pp. 205-12.
2 By making use o f an idea of Lukasiewicz I avoid introducing any technical
signs (like brackets, dots, etc.) into the language, and this is due chiefly to
the fact that I always write the functor before the arguments in every
meaningful expression; cf. Lukasiewicz, J. (51), especially pp. v and 40.
3 Usually many other constants occur in the calculus of classes, e.g. the
existence sign, the sign of implication, of logical product (conjunction), of
equivalence, of identity, as well as of the complement, the sum, and the
product o f classes (see p. 168, note 1); for that reason only a fragment of the
calculus o f classes can— formally speaking—be constructed in the language
under consideration. It is, however, to be noted that all constants of the
calculus o f classes could be introduced into this language as defined terms,
if we complete its formalization by making the introduction of new signs
possible by means of definitions (see p. 166, note 1). Owing to this fact our
fragmentary language already suffices for the expression o f every idea which
can be formulated in the complete language o f this science. I would also point
out that even the sign of inclusion *V can be eliminated from our language by
interpreting expressions of the type 4xy ’ (where any variables occur in the place
o f *«’ and 4y ’) in the same way in which in the sequel we shall interpret the
expression
VIH , § 2 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES 169
one—ofthestructureofthemetalanguageandofthemetatheory.
I shall restrict myself to the two most important points: (1) the
enumeration of all the signs and expressions which will be used
in the metalanguage, without explaining in more detail their
importance in the course of the investigation, and (2) the setting
up of a system of axioms which suffices for the establishment of
the metatheory or at least will form a foundation for the results
obtained in this article. These two points are closely connected
with our fundamental problem; were we to negleot them, we
Bhould not be able to assert either that we had succeeded in
correctly defining any concept on the basis of the metalanguage,
or that the definition constructed possesses any particular con
sequences. But I shall not attempt at all to give the metatheory
the character of a strictly formalized deduotive science. I shall
content myself with saying that—apart from the two points
mentioned—the process of formalizing the metatheory shows no
specific peculiarity. In particular, the rules of inference and of
definition do not differ at all from the rules usedin constructing
other formalized deductive sciences.
Among the expressions of the metalanguage we can distin
guishtwokinds. To thefirstbelongexpressions of a general logical
character, obtainable from any sufficiently developed system
of mathematical logic.1 They can be divided into primitive
expressions and defined expressions, but this would be point
less in the present case. First we have a series of expressions
which have the same meaning as the constants of the science
we are considering; thus ‘not’ or ‘ii is not true that’,2 ‘or’, fo r dll’,
and ‘is included in ’—in symbols ‘ s ’. Thanks to this circum
stance we are able to translate every expression of the language
into the metalanguage. For example, the statement ‘for all a
(or for all classes a) a £ o’ is the translation of the expression
sr r x, Ixt x,\ To the same category belongs a series of analogous
ru<*rHu+i4>. nx (‘•
ia iu) )>
n i ( , l A + ti A + ‘ i A + ( tW + ( ‘ x , i + tx . i ) + (ti A + tl ,x ) ) )
n i ( li A + ( ti A + tL l ) "fr* ( h . i + h . i ) )
theorems, although this is not usually done. In the course of this work I shall
have several occasions to return to the problem of the mutual relations of
these two concepts: of theorem and of true sentenoe.
188 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES VUE, § 3
class f i satisfies this function in the former sense, i.e. if for alt
classes b, we haveft £ 6. In an analogous w ay the infinite sequence
f of classes satisfies the sententialfunction t2g if and only if the classes
/ s and / 8 satisfy the function in the previous sense, i.e. if f %£ / 8.
Ih is process m ay be described in general term s as follow s:
W e consider the follow ing sohem e:
The sequence f satisfies the sentential function x if and only if f
is an infinite sequence of classes and p. I f we have a sentential
function from the calculus o f classes, then in the above we replace
the sym bol V b y an individual (struotural-descriptive) name o f
this function form ulated in the m etalanguage, bu t ‘p ’ b y a
translation o f the function in to the m etalanguage, where all free
variables vk, vlt eto. are replaced b y corresponding sym bols
‘fk> ‘f i , etc.
W e shall us© a recursive m ethod in order to form ulate a
general definition o f satisfaction o f a sentential function b y a
sequence o f classes, w hich will include all partial definitions o f
this notion as special cases w hich are obtained from the given
scheme in the w ay described above. F or this purpose it will
suffice, bearing in m ind the definition o f sentential function, to
indicate which sequences satisfy the inclusions ik l and then to
specify how the notion we are defining behaves when the three
fundam ental operations o f negation, disjunction, and universal
quantification are perform ed on sentential functions.
The operation o f universal quantification calls for special
consideration. L et x be any sentential function, and assume
that we already know which sequences satisfy the function x.
Considering the m eaning o f the operation o f universal quan
tification, we shall say that the sequence / satisfies the func
tion f\kx (where h is a particular natural num ber) only if this
sequence itself satisfies the function x and does not cease to
satisfy it even when the Jdih term o f this sequence varies in any
w ay; in other words, i f every sequence which differs from
the given sequence in at m ost the &th place also satisfies the
function. For exam ple, the function PI2li ,2 satisfied b y those,
and on ly those, sequences / for which the form ula f x £ f 2 holds
w ithout regard to the w ay in which the second term o f this
V m , § 3 CONCEPT OP TRUTH IN FORMALIZED LANGUAGES 193
The follow ing are exam ples o f the application o f the above
definition to concrete sentential functions: the infinite sequ en ce/
satisfies the inclusion ih2 if and only if f x £ / 2, and the function
*2,3+13,a if and only if /a the functions f t 2 *1,2 a:ad fl2*2,s
are satisfied b y those, and on ly those, sequences / in which f t
is the null class and / 3 the universal class (i.e. the class o f all
individuals) respectively; finally, every infinite sequence o f
classes satisfies the function tlfl and no such sequence satisfies
the function t1>2. t1>2.
The concept just defined is o f the greatest im portance for
investigations into the sem antics o f language. W ith its help the
m eaning o f a whole series o f concepts in this field can easily be
In the p roof the follow ing lemma, which follow s from Defs.
11 and 22, plays an essential part:
L em m a A . I f the sequence f satisfies the sentential function x,
and the infinite sequence g of classes satisfies thefollowing condition:
for every k ,fk = gk if vk is a free variable of the function x; then the
sequence g also satisfies the function x.
As an im m ediate consequence o f this lemma and D ef. 12 we
obtain Lemm a B which, in com bination with Defs. 22 and 23
easily leads to Th. 1 :
L emma B. I f x e S and at least one infinite sequence of classes
satisfies the sentence x, then every infinite sequence of classes
satisfies x.
T heorem 3. I f X ^ Tr then Cn(X) c= Tr; thus in particular
Cn(Tr) £ Tr.
This theorem is proved b y strong induction based chiefly
on Defs. 15, 16, 22, and 23; the follow ing simple lemma is also
useful in this connexion:
L em m a C. I f y is a universal quantification of the sentential
function x, then in order that every infinite sequence of classes
should satisfy x , it is necessary and sufficient that every infinite
sequence of classes satisfies y.
The results contained in Ths. 1-3 m ay be summarized in the
follow ing (obtained with the help o f Defs. 18-20):
T heorem 4. The class Tr is a consistent and complete deductive
system.
Th eo rem 5. Every provable sentence is a true sentence, in other
words, Pr s Tr.
This theorem follows im m ediately from D ef. 17. from Th. 3,
and from Lemma D, the p roof o f which (on the basis o f Def. 13
and Lemm a C am ong others) presents no difficulty.
L emma D . Every axiom is a true sentence.
Th. o cannot be inverted:
Theorem 6. There exist true sentences which are not provable,
in other words, Tr Pr.
VIH, § 3 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES 199
x ~ flfc+i ^ + 1 • r u + i( r w 2 cA+i,ft+2+cfc+i,&+t*,fc+i)*
D efin itio n 29. x = a if and only if
W ith the help o f Defs. 24 and 25 the Ths. 1-6 and Lemmas
A -D can be generalized b y replacing the expressions cinfinite
sequence of classes', ‘the sequence . . . satisfies the sentential func
tion . . 'true sentence\ and so on, b y cinfinite sequence of sub
classes of the class a\ cthe sequence . . . salisfies the sentential
function . . . in the individual domain a\ *correct sentence in the
individual domain a\ and so on, respectively. As a consequence o f
Th. 8 the results so obtained can be extended to sentences which
belong to the classes Gtk. in this w ay we reach, am ong other
things, the follow ing generalizations o f Ths. 4 -6 :
T heorem 9, For every cardinal number k the class Ctk is a
consistent and complete deductive system.
T heorem 10. For every cardinal number k we have Pr c Gtk,
but Ctk £ Pr.
In reference to Th. 10 the follow ing problem presents itself:
how is the list o f axiom s in D ef. 13 t-o be com pleted, so that the
class o f all consequences o f this extended class o f axiom s m ay
coincide with the given class CtjJ Ths. 11 and 12 which follow
im m ediately below contain the solution o f this problem and also
prove that— with respect to the language o f the calculus o f classes
— the definition o f a correct sentence in a domain with k elements
(D ef, 28) can be replaced b y another equivalent one which is
analogous to the definition o f provable sentence (Def. 17) and
therefore has a structural character.
T heorem 11. I f k is a natural number, and X the class con
sisting of all the axioms together with the sentences a and yk, then
Ctk = Cn(X).
T heorem 12. I f k is an infinite cardinal number, and X the
doss consisting of all the, axioms together with the sentence a and all
sentences yl (where l is any natural number), then Ctk - - Cn(X).
The p roof o f these theorems is based chiefly on Ths. 9 and 10
and the three follow ing lemmas:
L emma H . For every cardinal number k we have a e Ctk.
L emma I. I f k is a natural number and l a cardinal number
distinct from k, then yk e Ctk and yk e Gt}, but yTk e Ctk and yk £ Ctv
204 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES V m , § 8
w ith k elem ents and in no dom ain w ith any other cardinal num
ber. On the other hand, every sentence which is correct in one
infinite dom ain is also correct in every other infinite dom ain
(w ithout reference to its cardinal num ber) as well as in certain
finite dom ains. From this we infer that the language in question
allows us to express such a property o f classes o f individuals as
their being oom posed o f exactly k elements, where k is any
natural num ber; bu t we find in this language no means by which
we can distinguish a special kind o f infinity (e.g. denum erability),
and we are unable, either with the help o f a single or o f a finite
num ber o f sentences, to distinguish tw o such properties o f
classes as finiteness and infinity.1
B y means o f Ths. 9, 11, and 12 we can prove
names. The first sign o f such a com plex is always the name o f a
class or a relation or a corresponding variable, and is called a
(sentence forming) functor of the given primitive sentential func
tion ? the remaining signs are called arguments, nam ely 1st,
2nd,..., ifcth argument— according to the place they occu py.
F or every constant and variable o f the language studied— with
the exception o f the constants o f the sentential calculus and the
universal and existential quantifiers— a prim itive function can
be constructed which contains this sign (the sentential variables,
even when they appear in the language, do not occu r in the
prim itive functions as functors or arguments, bu t each is re
garded as an independent prim itive function). N ext we introduce
the fundamental operations on expressions b y means o f which
com posite expressions are form ed from sim pler ones. In addition
to the operations o f negation, logical addition and universal
quantification, which we have m et with in § 2 (Defs. 2, 3, and 6),
we consider here other analogously defined operations, such
as logical m ultiplication, form ation o f im plications and equiva
lences, as well as existential quantification. Each o f these
operations consists in putting in front o f the expression con
sidered, or in front o f tw o successive expressions (according to
thekind o f operation), either one o f the constants o f the sentential
calculus w hich belongs to the language, or one o f the tw o quanti
fiers together w ith the variables im m ediately follow ing it. The
expressions which we obtain from the prim itive functions b y
applying to them any num ber o f times and in any order any o f
^ >6
where k, l, and m are any natural numbers (l =a to) and y any
sentential function in which the free variable Vk does not occur.
Considering their intuitive m eaning the axiom s o f the last
category m ay be called pseudodefinitions.1
1 This term we owe to Le&mewski, who has drawn attention to the necessity
of including pseudodefinitions among the axioms of the deductive sciences in
those cases in which the formalization of the science does not admit the
possibility of constructing'suitable definitions (of. p. 166, footnote). Pseudo
definitions can be regarded as a substitute for the axiom of reducibilUy of
Whitehead, A . N ., and Bussell, B. A . W . (90), vol. 1, pp. 55 ff. It would not
be difficult to show the connexion between these sentences and a group of
axioms adopted in Neumann, J. v. (54), p. 18.
224 CONCEPT OF TO U T# IN FORMALIZED LANGUAGES V33I, § 4
the new one. B y virtue o f this new interpretation all the vari
ables o f the language now belong to one and the same semantical
category, not indeed from the form al but from the intuitive
point o f view ; they represent words o f the same 'part o f speech’ .
Consequently the language we are considering can be investi
gated b y exactly the same m ethods as all languages o f the 1st
kind; in particular, satisfaction can be treated as a two-term ed
relation between sequences o f relations and sentential functions.
A t the same tim e a com plication o f a technical nature— although
an unim portant one— presents itself. Since tw o free variables o f
different orders but the same indices, e.g. vl and m ay occur in
the same sentential function, it is not clear without supplemen
tary stipulations which terms o f the sequence are to correspond
to the variables o f the 1st, and which to those o f the 2nd order.
To overcom e this difficulty we shall stipulate that to every
variable vk a term o f the sequence with an uneven index 2. 1 k—
Vk
corresponds, and to every variable a term with even index 2 . k
corresponds. F or exam ple, the sequence F o f relations satisfies
the function if and only if there are individuals a and b
such that a stands in the relation F%k to 6, 1 = a*, and
F^m^x = fe*. A part from this detail the definitions o f satisfaction
and o f true sentence differ in no essential point from the defini
tions given in § 3.
The tw o m ethods described can be applied to all languages o f
the 2nd kind.1 I f the variables o f the language studied belong to
n different semantical categories, we regard satisfaction— under
the m ethod o f m any-rowed sequences— as an ft-fl-term ed
relation holding between n sequences o f the corresponding
categories and the sem antical functions, or as a two-term ed
relation whose dom ain consists o f n-rowed sequences (i.e. ordered
1 This holds even for languages in which variables occur which are not
included in the classification onp. 218 (cf. p. 218, note 2). I shall not deal with
certain (not particularly important) difficulties which may ocoui- here. But
I take this opportunity of mentioning that sentential variables, en if they
occur in the language, do not complicate the construction at »il;, and that,
in particular, it would not be worth while to include them in the process of
semantical unification. Sentences which contain such variables can be ex-
eluded by correlating with each of them, in one-many fashion, an equivalent
sentence which does not contain sentential variables (cf. Hilbert, D., and
Aekermann, W. (30), pp. 84-85).
230 CONCEPT OP TRUTH IN FORMALIZED LANGUAGES VH I, M
means o f this m ethod does not, o f course, add much to our know
ledge, since it is based upon premisses which are at least as strong
as the assumptions o f the science under investigation.1 N ever
theless it seems to be w orthy o f note that such a general m ethod o f
p roof exists, which is applicable to an extensive range o f deduc
tive sciences. It will be seen that from the deductive standpoint
this m ethod is not entirely trivial, and in m any cases no simpler,
and in fact no other, m ethod is kn ow n.f
In those cases in which the class o f provable sentences is not
only consistent but also com plete, it is easy to show that it co
incides with the class o f true sentences. If, therefore, we identify
the tw o concepts— that o f true sentence and that o f provable
sentence—we reach a new definition o f truth o f a purely struc
tural nature and essentially different from the original semantical
definition o f this notion.2 E ven when the provable sentences
t In connexion with the problem discussed in the last three paragraphs see
the recent publications: Mostowski, A . (53 e) as weU as Wang, H. (87 c). From
the results of these authors it is seen that in some cases, having succeeded
in constructing an adequate definition of truth for a theory T in its meta
theory, we may still be unable to show that all the provable sentences of T
are true in the sense of this definition, and hence we may also be unable tc
carry out the consistency proof for T in M , This phenomenon can roughly
be explained as foUows: in the proof that all provable sentences of T are
true a certain form of mathematical induction is essentially involved, and the
formalism of M may be insufficiently powerful to secure the validity of this
inductive argument . Hence a certain clarification of the assumptions (on pp.
174 ff.) concerning foundations of the metatheory may be desirable. In
particular the phrase ‘ from any sufficiently developed system of mathematical
logic* (p. 170) should be understood in a way which does not deprive the
metatheory of any normally applied modes of inference. I f the theory T is
of finite order our purpose will be fully achieved if we decide to provide the
metatheory M with a logical basis as strong as the general theory of classes
discussed in the following section.
23$ C O N C E PT O F T R U T H IN F O R M A L IZ E D LA N G U A G E S VU C, $ 4
1 Cf. the remarks on pp, 207 f. and 221; T shall return to this problem in
$ 6 (cf. p. 264, footnote).
* 290; note 2.
240 C O N C E PT O P T R U T H IN F O R M A L IZ E D L A N G U A G E S V IU , § 4
1 In the cnee of the lower functional calculus this problem, which is raised
in Hilbert, D., and Ackermann, W. (30), p. 68, has recently been decided by
Gddel, see Gftdel, K. (20).
VIII, § 4 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES 241
read; 'the class X (of n + 1th order) has as an element the object
Y (of »th order)’, or ‘the object Y has the property X \ For the
designation o f the primitive functions we employ the symbol
setting ~ Fg+1^ Fj*. The farther development of the
science differs in no essential way from that o f the logic o f two-
or many-termed relations. The quantifications o f the sentential
functions x with respect to the variable V% are denoted by the
symbols x ’ and U* •c - The axioms consist of (1) sentences
which satisfy the condition (a) o f Def. 13 o f § 2, which are thus
derived from the axioms o f the sentential calculus by substitu
tion, sometimes also followed by generalization; (2) pseudodefini
tions, i.e. statements which are quantifications o f sentential
functions o f the type
which state that two classes which do not differ in their elements
do not differ in any o f their properties and are thus identical.
In order to obtain in this science a sufficient basis for the estab
lishment o f various parts o f mathematics and in particular o f
the whole o f theoretical arithmetic, we mu3t add to the above
still one more axiom: (4) the axiom of infinity, i.e. the sentence
U K U I 4 * •n f R x + U I W U - f l i ( ei,i-r4,x) •U M ,1 •4 M
which guarantees the existence o f infinitely many individuals.1
In the derivation o f consequences from the axioms we apply
the operations o f substitution, detachment, and the intro
duction and removal o f the universal quantifier, analogous to
the operations described in conditions (y}-(£) of Def, 15 in § 3.
When we try to define the concept of satisfaction in connexion
with the present language we encounter difficulties which we
cannot overoome. In the face o f the infinite diversity o f seman-
1 la adopting the axiom of infinity we admittedly give up the postulate
aocording to which only the sentences which are correct in every individual
domain am to be provable sentences of logio (cf. p. 240).
244 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES VIII, § 5
had chosen as the object of his studies, which he called the ‘ system P ’, was
strikingly similar to the general theory of classes considered in the present
section. Apart from certain differences of a ' calligraphicaT nature, the only
distinction lies in the fact that in the system P, in addition to three logioal
constants, certain constants belonging to the arithmetic of the natural numbers
also occur (a far-reaching analogy also exists between the system P and the
system of arithmetic sketched in V I (see pp. 113-16)). Consequently the results
obtained for the system P can easily be carried over to the present discussion.
Moreover, the abstract character of the methods used by G<5del renders the
validity of his results independent to a high degree of the specific peculiarities
of the science investigated.
1 Cf. Fraenkel, A . (10), pp. 48 ff.
8 I f we analyse the sketch of the proof given below we easily note that an
analogous reconstruction could be carried out even on the basis of colloquial
language, and that in consequence of this reconstruction the antinomy of
the liar actually approximates to the antinomy of the expression ‘hetero-
logic&r. For a rather simple reconstruction of the antinomy of the liar in this
direction see Tarski, A. (82), note 11, p. 371. It seems interesting that in this
reconstruction all the technical devices are avoided which are used in the proof
of Th. 1 (such as interpretation of the metalanguage in arithmetic or the
diagonal procedure). In connexion with the last paragraph of the text cf.
the concluding remarks of $ 1, pp. 164 f., and in particular p. 165, note 1.
VHI, § 5 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES 249
Li ^ n?(4i.U i H I H 8 ( 4 i - (43+4i+4«))+
+ < 1 •n i U ! U i ( 4 i + . 4.1 . S ) ) .
A general recursive definition o f the sequence o f functions ik
within the metalanguage presents no great difficulty.
As I have already pointed out in § 2 (p. 184) a one-one corre
spondence can be set up w ithout difficulty between the expres
sions o f the language and the natural numbers ; we can define in the
metalanguage an infinite sequence <j>o f expressions in which every
expression o f the language occurs once and only once. W ith
the help o f this correlation we can correlate with every operation
on expressions an operation on natural numbers (which possesses
the same form al properties), with every class o f expressions a
class o f natural numbers, and so on. In this way the m eta
language receives an interpretation in the arithm etic o f the
1 For the sake of simplicity we shall in many places express ourselves as
though the demonstration which follows belonged to the metatheory and not
to the meta-metatheory; in particular, instead of saying that a given sentence
is provable in the metatheory, we shall simply assert the sentence itself. In
any case it must not be forgotten that only a sketch of the proof is given here
and one whioh is far from complete.
1 See p. 233, note 1.
250 C O N C E PT O F T R U T H IN F O R M A L IZ E D L A N G U A G E S V H I, { 5
The fact that the language studied and the deductive science
carried out in this language are form alized has brought about an
interesting phenom enon; it has been possible to reduce to struc
tural-descriptive concepts certain other notions o f a totally
different kind, which are distinguished from the form er both in
their origin and in their usual meaning, nam ely the concept o f
consequence together with a series o f related notions.1 It has
been possible to establish what m ay be called the logic of the
given science as a part o f m orphology.
Encouraged b y this success we have attem pted to go further
and to construct in the metalanguage definitions o f certain
concepts belonging to another dom ain, nam ely that called the
semantics of language— i.e. such concepts as satisfaction, de
noting, truth, definability, and so on. A characteristic feature
o f the sem antical concepts is that they give expression to
certain relations between the expressions o f language and the
objects about which these expressions speak, or that by means
o f such relations they characterize certain classes o f expressions
or other objects. W e could also say (making use o f the suppositio
materiaMs) that these concepts serve to set up the correlation
between the names o f expressions and the expressions them
selves.
For a long tim e the semantical concepts have had an evil
reputation among specialists in the study o f language. They have
resisted all attem pts to define their meaning exactly, and the
properties o f these concepts, apparently so clear in their content,
have led to paradoxes and antinomies. F or that reason the
tendency to reduce these concepts to structural-descriptive ones
must seem quite natural and well-founded. The following fact
seemed to favour the possibility o f realizing this tendency:
it has always been possible to replace every phrase which con
tains these sem antical terms, and which concerns particular
1 The reduction of the concept of consequence to concepts belonging to
the morphology of language is a result of the deductive method in its latest
stages of development. When, in everyday life, we say that a sentence fol
lows from other sentences we no doubt mean something quite different from
the existence of certain structural relations between these sentences. In the
light of the latest results of Godel it seems doubtful- whether this reduction
has been effected without remainder.
V m , § 5 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES 253
and also that all prim itive sentences o f the science investigated
belong to the class o f true sentences. Th. I l l could be extended
to the axiom system enlarged in this w ay.3 B ut we attach little
im portance to this procedure. P er it seems that every such
enlargem ent o f the axiom system has an accidental character,
depending on rather inessential factors such, for exam ple, as the
actual state o f knowledge in this field. In any case, various
objective criteria which we should wish to apply in the choice o f
further axiom s prove to be quits inapplicable. Thus it seems
natural to require that the axiom s o f the theory o f truth, together
with the original axiom s o f the m etatheory, should constitute a
categorical system .8 I t can be shown that this postulate co
incides in the present case with another postulate, according to
which the axiom system o f the theory o f truth should un
am biguously determ ine the extension o f the sym bol ‘ Tr’ which
occurs in it, and in the follow ing sense: if we introduce in to the
m etatheory, alongside this sym bol, another prim itive sign, e.g.
the sym bol iTr” and set up analogous axiom s for it, then the
statem ent ‘ Tr --- Tr” must be provable. B ut this postulate
cannot be satisfied. F or it is n ot difficult to prove that in the
contrary case the concept o f tr uth could be defined exclusively
b y means o f term s belonging to the m orphology o f language,
which w ould be in palpable contradiction to Th. I . F or other
reasons o f a m ore general nat ure there can be no question o f an
axiom system that w ould be com plete and w ould consequently
suffice for the solution o f every problem from the dom ain o f the
theory under consideration. This is an im m ediate m ethodo
logical consequence o f Th. I applied n ot to the language o f the
general theory o f classes but to the richer language o f the meta
theory and the theory o f truth, (cf. the remarks on p. 254).
There is, how ever, quite a different w ay in w hich the founda
tions o f the theory o f truth m ay be essentially strengthened.
1 For this purpose we must nevertheless to some extent* sharpen the pre
misses of the theorem by assuming that che class of all provable sentences
of the metatheory is not only consistent, but also consistent in the sense
of Godel, K. (22), p* 187, or in other words, that this class remains consistent
after a single application of the rule of infinite induction, which will be dis
cussed below.
a See p. 174, note 1.
V E X § 5 CONCEPT OF TRUTH IN FORMALIZED LANGUAGES 259
The fact that we cannot infer from the correctness o f all sub
stitutions o f such a sentential function as ‘x e T r or x e T r ’ the
correctness o f the sentence which is the generalization o f this
function, can be regarded as a sym ptom o f a certain im perfection
in the rules o f inference hitherto used in the deductive sciences.
In order to make good this defect we could adopt a new rule,
the so-called rule of infinite induction, which in its application
to the m etatheory m ay be form ulated somewhat as follow s: i f a
given sentential function contains the sym bol V , which belongs
to the same sem antical category as the names o f expressions,
as its only free variable, and if every sentence, which arises
from the given function b y substituting the structural-descrip
tive name o f any expression o f the language investigated for the
variable (x\ is a provable theorem o f the m etatheory, then the
sentence which we obtain from the phrase for every z , if x is an
expression then p y b y substituting the given function for the
sym bol (p\ m ay also be added to the theorems o f the m etatheory.
This rule can also be given another form ulation which differs
from the foregoing only b y the fact that in it, instead o f speaking
about expressions, we speak o f natural numbers; and instead o f
structural-descriptive names o f eg ression s, the so-called specific
sym bols o f natural numbers are dealt with, i.e. such sym bols
as *0J, ‘ l 5, ‘ 1 + 1’ , ‘ i + H - r , and so on. i n this form the rule o f
infinite induction recalls the principle o f com plete induction,
which it exceeds considerably in logical power. Since it is possible
to set up effectively a one-one correspondence between expres
sions and the natural numbers (of. the p roof o f Th. I) it is easy to
see that the tw o form ulations are equivalent on the basis o f the
m etatheory. B ut in the second form ulation no specific concepts
o f the metalanguage occur at all, and for this reason it is applic
able to m any other deductive sciences. In the case where we are
dealing with a science in the language o f which there are no
specific sym bols for the natural numbers this form ulation re
quires certain external m odifications. For example, in order to
form ulate the rale for the general theory o f classes, instead o f
substitutions o f a given sentential function we must operate
with expressions o f the type ^here, in the place o f
260 CONCEPT OP TRUTH IN FORMALIZED LANGUAGES V m , 5 6
‘p ' the function in question occurs and the sym bol ‘tfc’ has the
same meaning as in the p roof o f Th. I .1
On account o f its non-finitist nature the rule o f infinite in
duction differs fundam entally from the norm al rules o f infer
ence. On each occasion o f its use infinitely m any sentences must
be taken in to consideration, although at no m om ent in the
developm ent o f a science is such a num ber o f previously proved
theorem s effectively given. I t m ay well be doubted whether
there is any place for the use o f such a rule w ithin the lim its o f
the existing conception o f the deductive m ethod. The question
whether this rule does not lead to contradictions presents no less
serious difficulties than the analogous problem regarding the
existing rules, even if we assume the consistency o f the existing
rules and perm it the use o f the new rule n ot only in the theory
bu t also in the corresponding m etatheory and in particular in
any attem pted p ro o f o f consistency. Nevertheless from the in
tuitive standpoint the rule o f infinite induction seems to be
as reliable as the rules norm ally applied: it always leads from
true sentences to true sentences. In connexion w ith languages
o f finite order this fa ct can be strictly proved b y means o f the
definition o f truth constructed for these languages. The fact that
this rule enables m any problem s to be solved which are not
solvable on the basis o f the old rules is in favour o f the accept
ance o f the new rule, n ot only in the theory but also in the m eta
theory. B y the introduction o f this rule the class o f provable
sentences is enlarged b y a m uch greater extent than b y any
supplem entation o f the list o f axiom s.2 In the case o f certain
elem entary deductive sciences, this enlargem ent is so great that
the class o f theorem s becom es a com plete system and coincides
1 I have previously pointed out the importance of the rule of infinite in
duction in the year 1926. In a report to the Second Polish Philosophical Con
gress, in 1927, I have given, among other things, a simple example of a con
sistent deductive system which after a single application of this rule ceases to
be consistent, and is therefore not ^-consistent (cf. p. 258, note 1; see also IX,
p. 282, note 2). Some remarks on this rule are to be found in Hilbert, D.
(29), pp. 491-2.
* Thus, for example, if we adopt this rule in the metalanguage without
including it in the language, we can prove that the class of provable sentences
of the science is consistent, which previously was not possible. In connexion
with this problem cf. Gfidel, K . (22), pp. 187-91 and 196.
V m , § 5 CONCEPT OP TRUTH IN FORMALIZED LANGUAGES 2*1
§ 6 . Su m m a r y
The principal results of this article may be summarized in the
following theses:
A. For every formalized language of finite order a formally
correct and materially adequate definition of true sentence can be
constructed in the metalanguage, making use only of expressions of
a general logical kind, expressions of the language itself as well as
terms belonging to the morphology of language, i.e. names of lin
guistic expressions and of the structural relations existing between
them.
B. For formalized languages of infinite order the construction
of such a definition is impossible.
§ 7. P ostscript
In writing the present article I had in m ind only form alized
languages possessing a structure which is in harm ony with
the theory o f sem antical categories and especially w ith its
basic.principles. This fact has exercised an essential influence on
the construction o f the whole w ork and on the form ulation o f its
final results. It seemed to me then that 'the theory o f the sem an
tical categories penetrates so deeply into our fundam ental
intuitions regarding the meaningfulness o f expressions, that it is
hardly possible to im agine a scientific language whose sentences
possess a clear intuitive m eaning but whose structure cannot be
brought into harm ony with the theory in question in one o f its
form ulations’ (cf. p. 215). T oday I can no longer defend d e
cisively the view I then took o f this question. In connexion with
this it now seems to me interesting and im portant to inquire
what the consequences w ould be for the basic problem s o f the
present work if we included in the field under consideration
form alized languages for w hich the fundam ental principles o f the
theory o f sem antical categories no longer hold. In what follow s
I w ill briefly consider this question.
A lthough in this w ay the field to be covered is essentially en
larged, I do not intend— any m ore than previously— to consider
all possible languages which som eone m ight at some tim e con
struct. On the contrary I shall restrict m yself exclusively to
languages which— apart from differences connected with the
theory o f sem antical categories— exhibit in their structure the
greatest possible analogy w ith the languages previously studied.
In particular, for the sake o f sim plicity, I shall consider only
those languages in which occur, in addition to the universal
and existential quantifiers and the constants o f the sentential
calculus, only individual names and the variables representing
them , as well as constant and variable sentence-form ing functors
with arbitrary numbers o f arguments. A fter the manner of
the procedure in §§ 2 and 4 we try to specify for each o f these
languages the concepts o f prim itive sentential function, funda
m ental operations on expressions, sentential function in general,
V in , § 7 C O N C E PT O P T R U T H IN F O R M A L IZ E D L A N G U A G E S 269
A x io m 1. v, t, tt e A , where v # i, v ^ n, and i n.
I f k , l e Z f —{ 0}, then <j>lk e A , where <f>lk =£ v, <f>lk ^ t,
A x io m 2.
and <f% ^ n; if, moreover, kx, lx e N t—{ 0} and fc kx or l ^ lx,
then 4>{ ^
77 e A , then £^17 6 A, where
A x io m 3. / / £, # v, £^77 ^ t,
^ tt, and £^77 ^ $ ./o r any k, l e Nt—{ 0}.
A x io m 4, / / £, 77, S, £ e A , <Aen formula: £^77 = AoWs
{ / and cwfo/ t / eifAer £ — S and 77 ~ g, or if there is a r e A such
that £ =s S^r and | = r^rj, or finally if there is a r e A such that
S = r~> and 77 =
A xiom 5. (JAe principle of induction). Let X be any set which
satisfies the following conditions: ( 1) v, 4, 7r e l ; (2) i/& , Ze ^ —{ 0},
2Aen £ Z ; (3) t / r] e X , then £^77 e Z . Then i c j ,
It is not difficult to prove that the above axiom system is cate
gorical,1 has an interpretation in the arithmetic of the natural num
bers awl consists of mutually independent statements.2
In order to give the further developm ents a simpler form a
series o f sym bolic abbreviations is now introduced into the
metalanguage.
k , l e Nt-~{0}
such that £ = <f>\\
(b) £ = Vo—Vn (£ i8 an expression consisting o f the successive
expressions tj0, 7jn), i f n e N t . »?0, ijj,..., r)n s A and either
» = 0, £ = i}0 or n > 0, £ — ( ’n o ' ^ - ^ V n - i P V n -
o»d£ = n f c ~ n f c *
284 TH E CONCEPTS OP ^-C O N S IS T E N C Y IX
k , l , m e Nt —{0},
and if £ and q can be represented in the form
t - ~ s n, v-
where (1) n e N t , and S0, |0, 8ls 8„, e {v, c, * } + V ; (2) if
fif* F q, then <f>%°F l.; (3) if i e Nt, i < » and (he formula F q
i i i
does not hold, then Zi == £t.
1Cf. rv.
* Cf. article V o f the present work whore the terms * £ ’ and *Cn' occur a s
the only undefined concepts and the parte (a), (ft), (d) of Th. 1 belong to the
axiom system. In connexion with Ths. 2 and 3, cf. H I.
286 T H E CONCEPTS OF «>.C O N SISTE N C Y IX
Cn{X) £ On(Y) ;
(d) let X £ toen in order that £ e Cn(X) it is necessary and
sufficient that there exists a finite set Y £ X such that £ e Cn(Y);
(e) i f -£ » £ X n+1 for every n e Nt, then
Gn( f X n) = f Cn(Xn).
ti «»0 7 n «®0
wo-ru-r&c
for £ e S — where «$£,, ^ . . . . , are all free variables o f th e
sentence £ (the order in which we carry out the operations o f
(juantifioation is indifferent, provided that it is established once
and for all for any sentences ^ e S —Sf). The function obtained
1 See IV , p. 48.
280 T H E CONCEPTS OF ^.-CON SISTENCY IX
/( 0 - 1 - / ( 0 .
/(£■>■’y) — i —/(£ )• (!—/ ( ij»
(in other words/(£ 17) — 0, if/(£ ) = 1 and/(i?) — 0, and in the
IX AND « ’ COMPLETENESS 291
m '(«n+l)) - /< # * • ) ) = o,
whence an+l, a® 6 8*. Consequently we have
* » « * ,« • I 0 » ( £ {* * }),
w hich was to be proved.
T ebokbm 6. (a) Tw e S — 23w; (6) Tme S .2 B .—-28..,.
Proof. From Th. 1 a, b, and D ef. 14a and b we obtain
C n( ! («* )) = f o » (I w );
1 3 * may be called the set of all sentences which are generally valid in every
individual domain of n - f 1 elements.
202 T H E CONCEPTS OF &>-C O N SIST E N C Y IX
(7) r me SB,.
By virtue of (3) and (5}~(7) the two formulas desired,
T^e <3—33, and !T ^ e S .33— are proved.
In conclusion, I should like to draw attention, to the system
Tw which is characterized in the following way:
D efinition 15. £e if £ g C7&({«®}).
In its extension this system coincides almost completely with
the system P of Godel mentioned earlier. Thus, using Gttdel’s
methods of proof, we can extend all the results obtained for the
system P to the system 2 ^. In particular we can prove
T heorem 7. If 21
. e 33, tilcn T„ s 3 — 33,.
- C » ({« ", n l ( 3 ^ ) } ) ,
we obtain a system with the properties e 3 .3 3 —2B*,,
analogous to those o f T'^, it being assumed that- J7, g 33.
IX AND ^-C O M P LE T E N E SS 293
T. - r. - e»(JoM+£?})
and r . = Cn({«-}) -
SOME M E T H O D O L O G IC A L
IN V E STIG A TIO N S ON T H E
D E F IN A B IL IT Y OF CONCEPTS!
Introductory R em arks
t B ibliograph ical N ote . This article is based upon the text of an address
given by the author in 1934 to the Conference for the Unity of Science in Prague.
It first appeared in print in Polish under the title ‘Z badaii metodologicznych
nad definiowalno6c$ terminbw* in Przeglqd Fllozoficzny, vol. 37 (1934), pp. 438-
60. Later it was published (in a somewhat condensed form) with the title
‘Einige methodologische Untersuchungen ttber die Definierbarkeit der Begriffe’
in Erkenntnis, vol. 5 (1935), pp. 80-100. The present version is a translation
of the German one supplemented by some passages translated from the Polish
original. Further historical references are contained in footnote 1, p. 297.
X TH E D E F IN A B I L IT Y OF CONCEPTS 297
■where *<f>(x; b', 6',...) ’ stands for any sentential function whjoh
contains V as the only real variable, and in which no extra-
logical constants other than 'bn, ‘b0\.., o f the set B occur, will
be oalled a possible definition or sim ply a definition of the term
V by means of the terms of (he set B. W e shall say that the term
‘o ' is definable by means of the terms of the set B on the basis of the
set X of sentences, if 'o ’ and all terms o f B occur in the sentences
o f the set X and i f at the same tim e at least one possible definition
o f the term ‘o ' b y means o f the terms o f B is derivable from the
sentences o f X .1
W ith the help o f the concept o f definability we can explain
the m eaning o f various other m ethodological concepts which
are exaotly analogous to those defined in term s o f the concept
o f derivability. F or exam ple, the concepts o f the equivalence
of two sets of terms, o f the system of undefined terms for a given
set of terms, etc. It is clear that all these concepts must be
relativized to a set X o f sentences .1 In particular, B will be
called an independent set of terms or a set of mutually independent
terms, with respect to a set X gf sentences, if no term o f the set B
is definable b y means o f the remaining terms o f this set on the
basis o f X .
A ttention w ill be confined here to the case where the set X o f
sentences, and consequently the set B o f term s, is fin ite; the
extension o f the results reaohed to any axiom atizable set o f
sentences presents no difficulties.
M any years ago A . P adoa sketched a m ethod which enables
U*
M
^•
*
IS?
N
II
iii
8
00 •
>* •
«
00
00
0
*0
**
V*
•
•
•
•
•
1 I.a {'Oiinaxion tribh what. £& paid ao. p. ^99* no to I , it is. obvious that the
new eXuiNviogie&I constant cannot be ieiuied by means o f the terms o f X .
h i foot ‘ he Oiiiy sentence of Y in which fchi& constant occurs fo logically provable,
and i \\m trcu? independently ni the meaning: o f the specitin contained
in it. Jt as® thus be asserted th&t the meaning o f the constant jh question, is
not at all determined by the set Y o f sentences.,
8 Of. for example Yeblen, O. (86).
310 M E TH O D O LO G IC AL IN V E S T IG A T IO N S ON X, | 3
D.(3jg).iz^ ;y -
x »y ,2
is logically provable .5
1 From the standpoint o f the theory o f types the mode of introduction o f the
symbolic expressions ‘ x f ^ x* * and ‘ B
y', z',:. * is not quite free from
x** V*,
objections. It should therefore be emphasized that these symbols are only to
be regarded as schemata o f expressions* In a precise presentation o f this
discussion the use o f suoh symbols becomes unnecessary and all difficulties
connected with them disappear.
3 W s use the word 4categorical *in a different, rcinewhat stronger sense than
te customary : usually it is required o f the relation B which occurs in (V) only
that it maps a1', y 9 z\ .„ onto x*t y*9 z*f.„ respectively, but not that it maps
the class o f all individuals onto itself. The sets o f sentences which are cate.
x , J2 TH E D E F IN A B IL IT Y OF CONCEPTS 311
(1) B) ■4{x,y,...).^x,y,...).Ri^ . l
x, y ,... x, y,~.
the sym bol here denotes, as in Principia Mathematica, the
relation o f identity (and thus has the same meaning as the
sign *=*’ ).
From the definitions o f the expression ‘21 ■■ ~ -■f -~ * a&d o f the
x ,y
identity sign we easily see that the form ula
x, y,...
(2) {x ,y ,...) .!
x, y,...
1 I f we wish to use the words ‘ categorical5and ’ monotransformable5 in the
intrinsic sense (cf. p. 310, note 2 andp. 313, note 1}, then Th. 4 in the above form
would be false, In order that it should remain valid the definition of complete
ness must be weakened, absolute completeness must be replaced by intrinsic com*
pleteness or by completeness with respect to intrinsic concepts* For this purpose
it would be necessary to give first an explanation of what is meant b y *intrinsic
concept** All this would complicate our exposition considerably. In this con
nexion compare the concluding remarks in X m ,
X,S3 THE D E F IN A B IL IT Y OF CONCEPTS 316
2 .( a s ) . jb ~X ' , y , ~ ; V
A.*
i y »»••* ^ 5^
is logically provable. From this b y substitution we obtain
(3) (x,y,..., u', u", v , <?',...): i p ( x , v ' , . . . ) . r//(ar, y ..... v f . v r)
x, y,..„ u\
x, y,,.., u*> v",..
Since 7 contains all sentences o f X , the form ula
(6) (x, y,...,u\ t>',...): y,..., v f, » ',...). d . 4>('Ay ,...)
must also be logically provable. From (5) and ( 6) we obtain
im m ediately
(7) (x , y,.... u\ vf, v', v*,...): tp{x, y,..., u', v',...) .
d . (3 B ) .<j>{x,y,...) B ^ - - •
( 11) * •«' =»
ON T H E F O U N D A T IO N S OF
BOOLEAN ALGEBRAf
P o st u la te 3I5. I f x , y , z e B, then
(a) x . ( y + z ) = x . y + z . z ;
(b) x + y . z — { x + y ) . ( x + z ) .
B;
P o stu la te 3t«. (a) 0 , 1 e
(b) i f x e B , then 0 < x and x < 1.
P o st u la te I f x e B, then
(a) * ' 6 B ;
(b) x .x ' — 0 ;
(c) x + x ' = 1.
P o st u la te iff,. I f X £ B, then
(« ) I l j / e S ;
yeX
&) T i v < x for every x e X ;
VeX
(c) if, moreover, z e B and z < x for every x e X , then z < JT y.
vex
1 W ith slight modifications this is the system of postulates given by L.
Couturat in (14a). Regarding the changes which we have introduced into this
system the following may be said: (1) the expressions 'x =* y \ ‘ x + y 1, 'x.y\
‘ O’, *1’, and *x'* which are defined expressions for Couturat are treated as
primitive, the postulates being correspondingly modified; (2) the symbol lB\
which denotes the universe of discourse, is included in the list of primitive
expressions; (3) the postulate of existence; ‘ 0 ^ 1 * (op, cit., p. 28) is excluded
from the system. In Couturat’s book the reader will learn how all theorems
of Boolean algebra which are used in the further considerations are derived
from the adopted postulate system.
* In addition to the expressions ‘ V j/ * and * fT y ’ symbolic expressions of a
vex ysX
more general nature will be used, * 2 f(x) * and 4 f ] f(x ) * they will denote the
Mat) 0(»)
sum and the product of all elements y of the form y = /(# ), which correspond to
elements satisfying the condition These expressions can easily be defined
by means of the primitive expressions: Let X be the set of all elements y of:
the form: y = f(x)t where x is any element which satisfies the condition
then the formulas hold: 2 /(a ) = 2 V n / ( » ) = u v - Those more general
Mx) yeX Mx) yeX
expressions appear in Post. 2t10.
X I, I 1 BOOLEAN ALGEBRA 323
(b) x + n y = IT (* + y )-
yeX yex
tie B, u < y> and u < 2, then u < y.z = y.(x.y'); from this
by easy transformations it follows that
(16) x . y =s 0 .
L et us assume then that x + y + 1 and that *consequently
1 non- < x + y . H ence it follow s b y ( 10) that there exists an
element z e B such that z ^ 0 and z + x + y ) = 0 , whence
z . x + z . y = 0 and z.x = 0 = z.y. I f z.x = 0, then z e X yfrom
which, b y virtue o f we have z < ]£ z = i/ and consequently
ssgX
z = z.y; this equality, together with the form ula z.y = 0 , gives
z = 0 , contrary to the inequality previously stated. W e must
thus assume that
(17) x + y = 1.
From (15)-(17) it is seen at once that y = x', whence %
follow s b y suitable substitution.
In this w ay all postulates o f the system [ 5tj-$I10] can b® derived
from the postulates and definitions © i-S V , the tw o systems are
thus finally seen to be equivalent, q.e.d.
The postulate system [® i- 234] can be form ally simplified:
cluded in the sum of all sets of the class R and have at least one
f In the original o f this article it wae erroneousi3r stated that oja -he basis
o f the ordinary system o f Boolean algebra Poet. T> is essential! w etter than
Posts. Actually, however, the proof that ah these po^i lares are
equivalent can be carried oat along the same lines as the proof outL/u-u *j-bove
for Th. 4. The fact that Posts. 35?~35§ are derivable from Post. 3T also a
direct consequence of Th. 24 in article W ill, § 3.
338 ON THE FOUNDATIONS OF XI, § 2
(6)
The question now arises whether Post. 2 )3 can be derived
from Posts. w ithout the help o f 2 >. W e have shown in
collaboration with A . Lindenbaum that this is not possible:
2) not only im plies 2 >8, but is actually equivalent to it.
T h e o r e m 5. On the basis of Posts. 9li-9li0 ^nd Def. (£ Posts.
2 ). 2 >3, and 2 >§ are equivalent.
Proof. 2g is derived from 2) with the help of the method
discussed above: it is shown that for every u e At th6 formulas
(a ) u < TT 2 ^ and (/?) ^ < 2 IT 2 are equivalent. In fact, by
9I8 and 9IJ it follow s from (a) that u < T 2 for every l e f t .
ztk
Since ^ e A i, we infer, with the help o f Th. 5, that for every set
X e R there is a corresponding element z e X such that u < z.
Thus, if Ir contains all elements z which belong to at least one
set X e R and satisfy the inclusion u < z, then Y has elements
in com m on with every set X and therefore belongs to the class £.
On the other hand, b y 9^, the form ula u < J ^ z holds. Hence
with the help o f and we obtain the form ula (ft) without
difficulty. The p roof o f the im plication in the opposite direc
tion is still easier (actually the inclusion T IT z < IT 2 2 can
Y e2 zeY XeSt z e X
be derived from Posts. 91i-9Ii0 alone). Since Post. 2)| follows
from 2), the equivalence of the formulas (a) and (jS) for every
u c: At leads directly to the equation 2g.
In turn we shall show how Post. 2 ) can be derived from 2 >g.
Let x be any elem ent o f the set B which is distinct from 0.
B y the sym bol ‘ 5V we denote the class o f all sets which consist
o f only tw o elements o f the form x .y and x.y\ where y is some
elem ent o f the set B. F or every set X e Si we have
]T z = x . y + x . y f = x . ( y + y f) = x . l = x,
X I, § 2 BOOLEAN ALGEBRA 339
whence 2 n z = * # °.
F€JC s e F
(«> IT 2 v - 2 IT/OT;
X eH yeX /e ff
ib) 2 I l y = /teg
xea vex
11 XeZ
!/(*)•
340 ON TH E FO U N D A T IO N S OF XI, §2
§ 1. P r im it iv e C o n c e p t s a n b A x io m s
In the postulate system given in I I I four prim itive expres
sions appeared: ‘S' — ‘the set of all meaningful sentences9, ‘ Cn(X)’
— ‘the set of consequences of the set X of sentences', ‘x '— ‘the nega
tion of the sentence x\ ‘x y 1-— ‘the implication with the antecedent
x and the consequent y \2 W ith the help o f these terms, the
concept o f deductive system was there defined, i.e. the concept
o f a set o f sentences which contains as elements all its conse
quences; the class o f all deductive systems was denoted b y the
sym bol ‘ S ’ . It was there rem arked that am ong deductive
system s a smallest exists, i.e. a system which is a sub-system
o f all other deductive system s. It is the system Cn(0), the set
o f consequences o f the em pty set. This system , which here for
brevity w ill be denoted b y ‘ L\ can be interpreted as the set o f
all logically valid sentences (or, m ore generally, as the set o f all
those sentences which from the start we recognize as true when
undertaking the construction o f the deductive theory that is
the object o f our m etam athem atical investigation ).3
I t now appears that the postulate system m entioned takes on a
sim pler and, as it seems to me, also m ore natural form if, instead
o f *Cn(X)\ the sym bol *L9 is included in the list o f prim itive
expressions. F or the foundation o f general m etam athem atics
(to the extent to which this task was attem pted in I II ) the
follow ing five axiom s then suffice:
1 Cf. 3H, p. 31, note 3 ; I X , p. 282, note 2 ; and VUE, footnote, p. 166.
2 Cf. IV , pp. 39 and 4 3 ; III, p. 33, the remarks in connexion with Th. 3*.
* Cf. Nicod, J*. (55).
X II, s 1 CALCULU S OP SYSTEM S 345
D e f in it io n 2. if n = 1 and xx e 8 ;
n —1 n n—1
: JT = J I xi-%n> if n i-s an arbitrary
natural number > 1 and xv x2,..., xn e S.
The definition o f the concept o f consequence runs as follow s:
D efin itio n 3. For an arbitrary set X ^ 8 the set Cn(X) con
sists of those, and only those, sentences y e 8, which satisfy the
following condition: either y e L >or there exist sentences
t In connexion with Def. 3, cf. the papers of K . Ajdukiewicz, (2) and (4).
Keeping in mind the meaning of Gn(X) as determined by Def. 3 we recognize
in Th. 1 one of the formulations of the so-called deduction theorem. In fact
this is just the form in which the deduction theorem was first established by
the author in 1921; see HE, p. 32, footnote
346 F O U N D A T IO N S OF TH E XII, § 1
§ 2 . T h e Ca l c u l u s o f Sy s t e m s
On the basis outlined in the previous paragraph two calculi.
can be constructed which are verv useful in metamathematiea!
%!
of the set X 9and 4JT y'— ‘the product of dll elements of the set X\
yeX
It is then necessary to add the follow ing postulates:
P ostulate VEIL I f X cr J5, then (a) T y e B and (b) x < T y
vSt yek
for every x s X ; (c) if moreover z e B, and x < z for every x e X ,
tion, for this last operation when applied to system s, does not
in general yield a new deductive system ;1 the same holds for
the operation o f com plem entation.
The definition o f the logical sum o f the system s X and 7 is as
follow s:
D efin itio n 6. X + Y == G n (X + Y ) for any given I , Y s
The logical complement or the negation of the system X , sym boli
cally X , we define as follow s:
D efin itio n 7. X = Cn({x}) for any given X e <3.
xeX
W e shall learn below (Th. 12) other equivalent form ulations
o f this definition.
On the basis o f the definitions just stated the follow ing
theorem can be proved:
T heorem 6. I f in all postulates of the ordinary system of the
algebra of logic we replace the variables V , izi by the variables
lX \ *Y\ ‘ Z ’ which denote deductive systems; if, further, we replace
the constants (B\ * < ’ , ‘ - f \ *Q\and ‘ 1 ’ respectively by the symbols
*L\ and *$’ ; then all postulates are satisfied with
the exception of Post. V ile , which fails ; but the following con-
sequence of Post. V II c preserves its validity:
P ostulate V H {d). I f X ,Y e S and X .Y = L, then f c l
The essential difference between the calculus o f systems and,
e.g., the calculus o f classes thus lies in the fact that, in the
calculus o f system s, instead o f the law o f excluded m iddle
X-\~X = S, on ly a certain weaker consequence o f this law holds.
As will be seen from Ths. 17 and 37 given below , the law o f
excluded m iddle holds in the case when the class 6 is finite (or,
what am ounts to the same thing, when the set S does not con
tain infinitely m any sentences such that no tw o o f them are
equivalent). If, how ever, the class <5 is infinite— and we en
counter this case as a rule when we consider special deductive
sciences— then there exist system s which do not satisfy this
law.
The breakdow n o f the law o f excluded m iddle has further
1 Cf. I l l , p. 33, Th, 7+; V, p.. 71, Th. 12 and the remarks added to it.
352 F O U N D A T IO N S OF TH E XII, § 2
consequences. The law o f double negation holds but only in
one direction, and only the law o f triple negation holds in both
directions:
T h eo r em 7, I f X e ®, them J c l and X = X .
O f the two B e Morgan laws only one is true, o f the four laws
o f contraposition tw o drop out and tw o remain valid:
T hsobem 8. I f X , 7 g S,
(a) = (6)
(c) the formula I c y implies Y £ X ;
(d)the formula I g F implies F c l ,
Ths. 7 and 8 can be derived from the system o f postulates
described in Th. 6 b y purely algebraic m ethods from the dom ain
o f the algebra o f logic. The same applies to other theorem s o f
the calculus o f system s which are known to us. provided they
do n ot have an existential character.
The form al resem blance o f the calculus o f system s to the
intuitionistic sentential calculus o f H ey ting is striking :1 we
m ight say that the form al relation o f the calculus o f system s to
the ordinary calculus o f classes is exactly the same as the rela
tion o f H eytin g's sentential calculus to the ordinary sentential
calculus. In other words, if we construct the calculus o f classes
on the basis o f intuitionistic logic, then this calculus, it seems,
will not form ally differ from the calculus o f system s. W e can
also express this as follow s: the system o f postulates described
in Th. 6 form s (if we abstract from the specific sense o f the
term s appearing in these postulates) a sufficient basis for a
system o f the algebra o f logic which has the intuitionistic cal
culus o f classes as one o f its interpretations. It is clear that
the last remarks w ould require a m ore exact and detailed
ela boration .!
The calculus o f system s can be extended b y the introduction
o f infinite operations. The product (the intersection) o f systems
o f a class R is understood exactly as in the calculus o f classes
1 Of. Heyting, A . (28).
t For such a more exact and detailed formulation see X and V II, in parti*
cular $ 5 ; of. also Stone, M. H . (70).
X II, §2 CALCULUS OF SYSTEM S 353
1 These lews are not even valid in the extended system of the algebra of
logic; cf. article X I of the present work, § 2, especially pp. 337-9.
854 F O U N D A T IO N S OF TH E X II, §2
Ts&
W e now turn our attention to the follow ing theorem :
T heorem 12. I f X e <5, then
and
(6) n r.
X + F -S
The formula (a) of this theorem is easily derivable from those
postulates o f the algebra o f logic which are satisfied in the
calculus o f systems, in particular from Posts. V II b, d; the
formula (6) cannot be derived in this way, and in its proof we
must directly refer to the adopted axioms and to the definitions
o f the symbols appearing in the formula.
Th. 12 shows how the concept o f the logical complement can
be characterized with the help o f other concepts belonging to the
calculus o f systems. We see that the logical complement o f the
system X , as in the ordinary calculus o f classes, is the sum of
all systems disjoint with X , i.e. those for which X .T = L holds,
and likewise it is the intersection o f all systems Y which logically
supplement X : Moreover, by virtue o f the law of
contradiction, X is the largest system which is logically disjoint
with X ; since, however, the law of the excluded middle fails, X
is in general not the smallest system whioh logically supple
ments X (from Th. 12 it only follows that, if such a smallest
system exists at all then it coincides with X ).
§ 3. A xiomattzable Systems
Since the calculus o f systems deviates from the ordinary
caloulus o f classes, a series o f problems of the following kind
arises: one considers an arbitrary theorem o f the caloulus o f
classes which loses its general validity when carried over into
X II, $3 CALCULU S OF SYSTEM S 356
sentences.)! This also justifies the remark made above that the
calculus o f arbitrary systems— axiom atizable and non-axiom a-
tizable— form s an essential extension o f the sentential algorithm.
E very theorem o f the calculus o f systems involving axiom atiz
able systems can be translated com pletely or partially (accord
ing to w it h e r in this theorem we are dealing exclusively with
axiom atizable systems or not) into the language o f the sentential
algorithm , and vice versa. It must be noted, however, that the
tw o calculi are dual w ith respect to one another: to the sum o f
system s corresponds the product o f sentences, to the product
o f systems the sum o f sentences, and so on.
In this connexion the follow ing theorem , which is a translation
o f Th. 4, can be stated:
T heorem 16. I f in the postulates of the ordinary system of the
algebra of logic we carry out all transformations which were
described in the hypothesis of Th. 6, but with the difference that (B i
is replaced not by ‘ S ’ but by ‘2T, then all the Posts. I-V T I are
satisfied.
From this it follow s in particular that the law o f excluded
m iddle holds in the calculus o f axiom atizable systems (as the
correlate o f the law o f contradiction in the sentential algorithm ).
Far m ore interesting, however, is the fact that the axiom atizable
system s are the only systems which satisfy the law o f Excluded
m iddle:
T heorem 17. X eU if and only if X e S and X-\-X = 8 .
Til. 17 is o f interest if only on account o f the analogy discussed
above between the calculus o f systems and intuitionistic logic;
as is to be expected, the law o f excluded m iddle holds when
applied to system s which in a certain sense have a finitistic
character, while losing its validity for the remaining systems.
Th. 17 in view o f its form could be adopted as the definition of
the concept o f axiom atizability; this definition w ould be form u
lated entirely in terms o f the calculus o f systems. The problem
f If the algorithm of sentences is modified in the way indicated in the first
foot-note on p. 349, it obviously becomes isomorphic to the calculus of axioma
tizable syBtems.
XII, § 3 CALCULUS OF SYSTEM S 357
X + Y ^ J 'Z and X .Y ^ Y J Z ,
Zeft Zeft
where St = {X , F }.
D 4.
the follow ing postulates suifioe for the foundation o f the whole
oalculus o f system s: Posts. la , V ill a , and X a , whioh were
m entioned in Ths. 6 and 9, and The. 11, 13, and 19. (Post.
V i l l a expresses the fact that for any class Si o f systems there
exists exactly one system X which satisfies the tw o conditions
given in D ef. D J .
It is w orth m entioning that within the theory o f sets a variety
o f relatively sim ple interpretations for the calculus o f systems
can be obtained in the follow ing way. W e consider any class 5t
o f sets which satisfies the follow ing conditions: ( 1) 51 is not
em pty and is at m ost denum erable; ( 2) 51 is a field o f sets, i.e.
the form ula X , X e 51 always implies X + X e 51 and X —T e 5T;1
(3) if it is any subclass o f 51 and^£ Y — ^ ?Y , then there is a finite
which have not yet been used in this article, nam ely the con
cepts o f an irreducible and o f a complete system . W e denote the
class o f irreducible systems b y the sym bol ‘ 3 \ that o f com plete
systems b y the sym bol ‘S ’ .1 The definitions o f these two con
cepts are quite analogous:
D efinition 12 . X e 3 if and only if X ^ L \and if for every
system 7 e S for which 7 £ X , we have Y = L or ¥ = X (in
other wordsy if S x = {L ,X }).
D efinition 13. X e 93 if arid only if X e S, X # S, and if,
for every system Y e S for which X c F, we have Y = X o r Y = S
{in other words, if = {$>X}).
The follow ing are simple consequences o f these definitions:
T heorem 29. The following conditions are mutually equiva
lent: (1) X 6 3 ; (2) I e S, I ^ L , and the formulas Y, Z e S
and X = Y + Z always imply X = Y or X — Z; (3) I g S,
^ amZ /or every system Y e & we have X c. 7 or X £ F.
T heorem 30, The following conditions are mutually equivalent;
(I) X e 93; (2j X e 3 , X ^ ami formulas Y, Z e 3 am!
X = F .Z aZtmy* X = Y or X = Z\ (o^X e 3 , X ^ /?,
and /or every system Y e 3 we kave Y £ X or Y s.- X.
In the conditions (3) o f these two theorems the formula
T s S ’ can be replaced by ‘F e 2t\
T heorem 31. (a-) j f X , F e 3 ami X # F, eAer, X . F — L;
(6) if X yY e S X ^ F, lAert X - f Y =
T heorem 32, V ; i / ft c 3, £ c: 3 and ^ X" £ T X. lAen
51 c fi;
(b) if ft c s , £ £ * <ro<* f f X £ f j X, 5 . 2£ c ft.
Xest Xr$
1 I have already dealt with the concept of completeness m xir; -y - works
(cf. ITI, p. 34, I)ef. 7; also V, pp. 93 ff., especially Def. 7); t h e :- ,:i. spt is
used here in a somewhat different- sense, because (1) it is aprh-rd evciiuively
t o deductive systems and nut to arbitrary sets of se i iteno-rs, a r d {2} o-ii y t h o s e
deductive system*? are called complete which—in the Ud tennh>.;>k':^j—are
both complete turd c c a s i s x e n t . The concept of an ir r e d u c ib le sy si*- r h ere
introduced for the first time.
see F O U N D A T IO N S OF THE XH, H
As is seen, the axiom s o f the 1st kind com prise all sentential
functions which can be obtained b y substitution from the
axiom s o f the sentential calculus. The first o f the axiom s o f
the 2nd kind expresses the fact that the relation R is n ot em pty:
there exist tw o elements o f which one precedes the other. The
next tw o characterize R as a relation which orders all the
elements o f the universe o f discourse .1 Finally, the last asserts
that the order established b y the relation R is dense: i f a ' pre
cedes a ", then there is an element af" which succeeds a' and
precedes a\2
Logical theorem s o f higher orders are obtained from the
theorems o f lower orders w ith the help o f one o f the four w ell-
known operations: substitution, detachm ent, and the insertion
and deletion o f the universal quantifier in the consequent.8 The
set o f all logical theorem s which contain no free variables is
denoted b y the sym bol ‘L\
W e have thus shown how all prim itive expressions o f general
1 The axioms ca and Cj deviate somewhat from the usual postulates of order
ing. The reason is that among the signs of the theory discussed the identity
sign does not appear; of. Lukasiewicz, J. (50), pp- 35 ff.
2 The attention of the reader, who may be surprised at the presence of the
sentences cx-c^ among the logical axioms and consequently among the elements
of the set L, should be directed to the fact that the set L can be interpreted
as the totality of sentences which are accepted as true when we begin to develop
the deductive theory under consideration (cf. § 1).
* Cf. IX , p . 285; Y i n , p . 1 8 1 .
374 F O U N D A T IO N S OF TH E X II, $ 5
1 So far as I know this method was first used in Skolem, Th. (64). It was
applied to the theory of dense order by Langford, C. H . (45), pp. 16 ff. The
facts given below concerning this theory supplement Langford’s results.
x n , §5 CALCULUS OF SYSTEM S 375
D x. i> 2» i? i •
and DX.D V Four others, the logical complements
o f the preceding systems, are com plete: I X .D 2 == Dx^ D tt
DX.D 2 = D x+D& Z>t .!>*=== jDx+ D v a n d « 2>X+ A : the
characteristic pair o f the theory is thus (4 ,0), E very system is
the sum o f all the irreducible systems included in it and a!*o
the intersection o f all com plete systems which include it. In a
word, the relations between the systems are exactly o f the kind
anticipated in Th. 37.
The second theory w ith which we shall deal— the elementary
theory of isolated order— has an infinitistio character, and the
variety o f its systems is m uch larger. On a superficial view this
theory differs only slightly from the theory of dense order: the
same constants and variables appear in it, the same expressions
are called sentential functions and sentences, the same opera
tions are used in the recursive definition o f the concept of logical
theorem . The sole distinction consists in the fact that we om it
from the list o f logical axiom s and replace it by tw o sentences:
cft s ina'na*CRafa*Nna'*CRa'a'*Nna™CRaf<^
ce - tTla,T[a"GRaf,a'NRa,"CRama'NUa™CRa !a*NRaha*f:.
These tw o new axiom s state that every element which, in the
order established b y the relation R> is not a last or a first
element has an im m ediate successor or an im m ediate prede
cessor .1
In order to study the structure o f deductive systems in the
theory o f isolated order we single out a particular sequence o f
sentences en; translated into English the sentence en expresses
the fact that there exist at m ost n + 1 different elements. W e
put
e, = ‘na'na'IIarCIla'a'N Ba'a"',
e2 - ^ nam arn^ CSaW CBa^ arN Ba^ a199,
and so on ; it is easily seen how the recursive definition o f en
should look . W ith the help o f this sequence and o f die sentences
dx and d2 form ulated in connexion with the theory o f dense
order, we define a new sequence o f sentences in> nam ely:
1 Langford, C. H . (45), pp, 459 ff., is concerned with a similar but more
special theory, namely with the elementary theory of the ord&tr type a>.
376 F O U N D A T IO N S OF TH E X II, § 6
1 Cf. p. 374, footnote (the application o f this method is however not so simple
in the case now discussed as it was in the previous One).
xn, §s CALCULUS OF SYSTEM S 377
obtain a new theory with the characteristic pair (X0J 2*»), namely
the general elemerda,ry theory of a binary relation. This theory
em braces in a certain sense all previously considered theories.
W ithin the discussion o f this theory all results sketched in this
section find their place. Thus, for exam ple, all results concern
ing arbitrary deductive systems o f the theory o f dense order
can be regarded as results relating to those systems o f the. general
theory o f a binary relation which include the system
A p p e n d ix
In spite o f their elem entary character, the results stated in § 5
have a series o f interesting consequences extending far beyond
the lim its o f the present work. I will here discuss, although very
briefly and sketchily, some o f these consequences.
L et a be an arbitrary order type.1 Let us consider an arbitrary
set X and an arbitrary relation B which orders this set according
to the type a. L et us assume that the variables V ‘a*\ V ” ,...,
which appear in the elem entary theory o f order, denote the
elements o f the set X exclusively, and confine our attention to
the set o f all those sentences o f the theory o f order which are
true with the given interpretation o f the variables. It is not
difficult to see that this set depends neither on the set X nor on
the relation i?, but exclusively on the order type a; on that
account we denote it b y the sym bol ‘ T (a)\ I t can be shown
that— for any given order type a— the set T(<x) is a com plete
deductive system .
The form ula T(oc) = T(j3) states that all properties o f the
order types a and /? whioh can be form ulated in the language o f
the elem entary theory o f order are identical; for that reason we
call the types a and j8 which satisfy this form ula elementarily
indistinguishable or elementarily equivalent.
1 The remarks given below refer to ordering relations, bub they can be ex
tended to arbitrary relations. W e must speak, then, not of types of order, but
of relation numbers in the sense of Whitehead, A. N ., and Russell, B. (90),
vol. II, pp. 30 fif.
X II CALCULUS OP SYSTEM S 381
F or other concepts and sym bols used in the follow ing dis
cussion see X , pp. 297-8. In particular, we shall em ploy sym
bolic expressions o f the form
x', 2',...
B
y\
(explained in X , p. 310), which express the fact that the relation
B maps the class o f all individuals onto itself in one-one fashion,
so that the individuals, classes, relations, etc., x\ y\ 2',... are
m apped on x *, y", z",..., respectively. As a general scheme o f a
sentential function the sym bolic expression 6, c ,...; x, y t 2,...)9
is used; here V , (b\ V ,... are all extra-logical constants and
V , y , are all free variables o f the given sentential func
tion. The conjunction o f all axiom s o f a deductive axiom atizable
system ,1 in which V , ‘c ’ ,... appear as prim itive extra-logical
constants, is represented in the schem atic form ‘a(a, 6, c,...)\
§1
T heorem 1. Every sentence of the form
x ,y ,z ,...
~ .f(x tt}y \ zn,...)
are, in general, not provable but refutable in logic. On the other
hand, b y virtue o f Th. I sentences o f the follow ing form are
provable:
{x\ x",y'>y* ,z\ z\ ...,R j\ f")-..R x',y', * W '
x\ y\ s ', . . . , / '’
.^ :f\ x \ y \ z f^ ) ^ r { x \ y \ z \ . . . y
I f we apply Th. 1 to sentential functions w ith a single free
variable, and in fact an individual variable, we obtain as an
im m ediate corollary
T h eorem 2. I f 6x ” and ‘x fn are individual variables, then every
sentence of the form
(x',x'') :a(a;'). == .a(ce*)
is provable in logic.
Intuitively interpreted: no tw o individuals are distinguishable
b y purely logical means. B y an easy transform ation we obtain
from Th. 2
T h e o r e m 3. If ‘x ’ is an individual variable, then every sentence
of the form (* ).„ (* ). v ~
is logically provable.
In other words, apart from the universal class and the em pty
class, no class o f individuals can be defined by purely logical
means.1 I t should be noted that the follow ing sharper form ula
tion o f Th. 3 in general fails: I f ‘ x 9is an individual variable, then
for every sentential function ^o■(a;), either the sentence ((x).cr(x)’ or
1 The words ‘ define’, ‘ definable’, eto., are used in two distinct senses: in
the first sense it is a question of a formal relation of certain expressions to other
expressions of a theory (cf. article X of the present work); in the second sense
of a semantical relation between objects and expressions (cf. article V I). Here
these words are used in the second sense.
XIII, §1 E X P R E S S IO N OF D E D U C T IV E T H E O R IE S 387
apart from the w hole space and the em pty set, be defined, nor
any tw o-term ed relation betw een points, apart from the uni
versal relation, the em pty relation, identity, and diversity (in
particular, in geom etry no direction on a straight line can be
singled out). The distinction between logic and geom etry com es
to light, how ever, in the discussion o f three-term ed relations;
for, as is well known, there are infinitely m any three- (and
m any-) term ed relations which are definable in Euclidean
geom etry.
In the tw o follow ing corollaries o f Th. 6 the form ulas V ~ x "
(‘the point sets x f and x ” arc, geometrically similar9), ‘x r ~ x "9
( ‘the point sets x* and x* are congruents), and *$(#)’ (*x is a line
segment9) appear, w hich are known to be definable b y means
o f 'a9.
o.(3
& j y i % >•••
is logically provable. The axiom system is said to be non-rami-
fiable if, for eveiy sentential function ia(xyy }z,...)\ the dis
junction
{x, y>2,...): <x{x9y %2 ,...). 3 . o{x , y 92,...):
: V : {x,y , 2,...): ot{x9y, 2,...). 3 . ~ o{x ,*/, 2,...)
is logically provable. If, on the other hand, for every sentential
function a member o f this disjunction is logically provable, then
the system is decision-definite or complete} B y the application
o f Th. 1 we can now prove
T heorem 9. Every categorical axiom system is non-ramifioMe.
F or exam ple, the axiom atically constructed arithm etic o f
natural numbers is categorical and thus non-ram ifiable, It is
also incom plete, i.e. there are arithm etical sentences which can
be neither proved nor disproved b y means o f the axioms o f
arithm etic.2 On account o f the non-ram ifiability the indepen
dence p roof for such sentences cannot be carried out in any
direction b y an interpretation in logic.
The converse o f Th. 9 proves to hold under a supplementary
assum ption. W e define an axiom system *a(a, b, c ,...)’ to be
1 For these concepts cf. Fraenkel, A. (16), pp. 347-54 (especially p. 353).
There are certain points of contact, although of a superficial kind, between
§ 2 of this article and Carnap, R . (9).
2 Cf. Godel, K . (22), pp. 174 f. and 182 ff.
X III, § 2 E X P R E S S IO N OF D E D U C T IV E TH E O R IE S 391
f B iblioqraph icajl N oth . This artiole contains the text of a lecture given
by the author in 1936 to the Mathematical Colloquium conducted by Karl
Monger in the University of Vienna. The article first appeared under the title
‘ tTber die Erweiterungen der unvollst&ndigen Systeme des Aussagenkalktils *
mJUrgebniese eines mathematiecfien Kolloquiums, fascicule 7 (1934-6), pp. 61-07.
394 ON E X T E N S IO N S OF IN CO M PLETE XIV
I shall use the custom ary sym bolism o f set theory. The general
theorem m entioned at the outset is as follow s:
T heorem 1. Let X be a consistent set of sentences, which
satisfies the following condition: there is a set Z of sentences such
that X is complete with respect to the set Sbz (S) and* the set
X + S b z (S) is inconsistent. Then there exists exactly one con
sistent and complete deductive system Y , which includes the set X .
F or the p roof o f this theorem we require certain lemmas.
L emma 1. For every set X of sentences Sbx {S) is the smallest
set of sentences which includes X and is closed under every funda
mental operation.
The p roof—based on an exact definition o f the concept o f
substitution— presents no difficulties. As a corollary we easily
obtain:
L emma 2. For every set X of sentences
X s Sbx (S) = S b ^ i S ) .
L emma 3. For all sets X and Y of sentences
SbY(Cn(X)) c: Cn(SbY(Sb(X))).
Proof. Let Z be the set o f all sentences a which satisfy the
form ula $ 6r ({a}) ^ Cn(SbY{Sb{X))). I t is easily shown that
8b(X) £ Z and that Z is closed under the operation o f de
tachm ent (i.e. if a e Z and Gab e Z } then b e Z). From this it
results im m ediately that Cn(X) ^ Z, in other words that
SbY({a}) £ Cn(SbY(Sb(X))) for every sentence a e Cn{X ); and
thus finally SbY{Cn{X)) c: Cn(Sbr (Sb{X)))9 q.e.d.
I f in Lem m a 3 we put Y = S, then by a simple transform a
tion we obtain the form ula Sb(Cn(X)) c Gn(X) for every set
X o f sentences. B y virtue o f this form ula the definition o f the
set o f consequences given above can be replaced b y the follow ing:
Gn(X) is the intersection o f all sets o f sentences which include
X and are closed under the operations o f substitution and
detachm ent.
from the sad experiences we have had with the semantical con
cepts in colloquial language. A part from the problem o f con
sistency, a m ethod o f constructing a theory does not seem to
be very natural from the psychological point o f view if in this
m ethod the role o f prim itive concepts— thus o f concepts whose
meaning should appear evident— is played b y concepts which
have led to various misunderstandings in the past. Finally,
should this m ethod prove to be the only possible one and not
be regarded as m erely a transitory stage, it would arouse certain
doubts from a general philosophical point o f view . It seems to
me that it w ould then be difficult to bring this m ethod into
harm ony with the postulates o f the unity o f science and o f
physicalism (since the concepts o f semantics w ould be neither
logical nor physical concepts).
In the second procedure, which has none o f the above dis
advantages, the sem antical concepts are defined in terms o f the
usual concepts o f the metalanguage and are thus reduced to
purely logical concepts, the concepts o f the language being
investigated and the specific concepts o f the m orphology o f
language. In this way semantics becom es a part o f the m orpho
logy o f language if the latter is understood in a sufficiently wide
sense. The question arises whether this m ethod is applicable
at all. I t seems to me that this problem can now be regarded
as definitely solved. I t proves to be closely connected with the
theory o f logical types. The chief result relevant to this question
can be form ulated as follow s:
(F) If, in the sentences of the class K and in the sentence X , the
constants—apart from purely logical constants—are replaced by
any other constants (like signs being everywhere replaced by like
signs), and if we denote the class of sentences thus obtained from
K by iK ri, and the sentence obtained from X by 6X'\ then the
sentence X ' must be true provided only that all sentences of the
class K f are true.
[F or the sake o f sim plifying the discussion certain incidental
com plications are disregarded, both here and in what follow s.
They are connected partly with the theory o f logical types, and
partly with the necessity o f eliminating any defined signs which
m ay possibly occur in the sentences concerned, i.e. o f replacing
them by prim itive signs.]
In the statem ent (F ) we have obtained a necessary condition
for the sentence X to be a consequenoe o f the class K . The
question now arises whether this condition is also sufficient.
I f this question were to be answered in the affirmative, the
problem o f form ulating an adequate definition o f the concept
o f consequence w ould be solved affirm atively. The only diffi
culty would be connected with the term ‘true’ which occurs in
the condition ( F ). B ut this term can be exactly and adequately
defined in sem antics .1
U nfortunately the situation is not so favourable. I t m ay, and
it does, happen— it is not difficult to show this b y considering
special form alized languages— that the sentence X does not
follow in the ordinary sense from the sentences o f the class K
although the condition ( F ) is satisfied. This condition m ay in
fa ct be satisfied only because the language with which we are
1 See footnote 2 on p. 414.
41# ON T H E CONCEPT OF LOG ICAL CONSEQUENCE X V I
The sentence X follows fisca lly from the. sentences of the class
K if and only if every model of the class K is also a model of the
sentence X .t
I t seems to me that everyone who understands the content
o f the above definition must adm it that it agrees quite well
with com m on usage. This becom es still clearer from its various
consequences. In particular, it can be proved, on the basis o f
this definition, that every consequence o f true sentences must
be true, and also that the consequence relation which holds
between given sentences is com pletely independent o f the sense
o f the extra-logical constants which occur in these sentences.
In brief, it can be shown that the condition (F ) form ulated
above is necessary if the sentence X is to follow from the sen
tences o f the class K . On the other hand, this condition is in
general not sufficient, since the concept o f consequence here
defined (in agreement with the standpoint we have taken) is-
independent o f the richness in concepts o f the language being
investigated.
Finally, it is not difficult to reconcile the proposed definition
with that o f Carnap. F or we can agree to call a class o f sentences
t After the original of this paper had appeared in print, K . Scholz in his
article ‘ Die Wistenschaftslehxe Bc-lzanos, Eine Jahrhundert-Betrachtung’,
AbhancUungen der Fri&s'schen Schule, new series, vol. 6, pp. $99-472 (see in
particular p. 472, footnote 58) pointed out a far-reaching analogy between this
definition of consequence and the one suggested by B. Bolzano about a
hundred years earlier.
418 ON TH E CONCEPT OP LO G IC AL CONSEQUENCE XVI
1 Cf. Carnap, B . (10), pp. 135 ff., especially Tbs. 52.7 and 62.8; Carnap, B .
(11), p. 182, Ths. 10 and 11. Incidentally I should like to remark that the
definition of the concept of oonsequence hare proposed does not exceed the
limits of syntax in Carnap's conception (cf. Carnap, R. (10), pp. 6 £f.). Ad
mittedly the general concept of satisfaction (or of model) does not belong to
syntax; but we use only a special case of this oonoept— the satisfaction of
sentential funotions whioh contain no extra-logioal constants, and this special
case can be characterized using only general logical and specifio syntactical
eonoepts. Between the general concept of satisfaction and the special case of
this concept used here approximately the same relation holds as between the
semantical concept of true sentence and the syntactical oonoept of analytical
sentence.
X V I ON TH E CONCEPT OF LOG ICAL CONSEQUENCE 419
§ 2. T he Ma t r ix M ethod
The definitions in § I afford no criterion that would enable
us to decide in each particular case whether a giv^en sentence 21
is provable in the two-valued or in the intuitionistic calculus.
Such a criterion is provided by the so-called ^matrix method.3
If
D e f in it io n 2 . 8.
M = [ i f , A , *■>, T , Jo, ~ ] and Mx = [ ify, A , »-*•, T , J>,
aretwomatrices a n d ifif £ s IT , then Mxi,s called a subm atrix 0/ M.
I f M is any matrix and Mx is a submairix of
Co b o l la e y 2.9.
M, then ®(M) £ «(M X). [B y 2 . 1, 2.5, 2 . 8]
2 . 10. We denote by ZK the ordered sextuple
D e f in it io n
[ i f , 1, *-*, Jo, where i f = ( 0 , l), x = l-x -\ -x .y ,
s ! T y = x-\-y—x .y ,x J o y ~ x .y ,a n d ~ x = 1—xfor aUx,y e i f .
The follow ing result is well known:
T h e o r e m 2.11. ZK is a matrix and ®(ZK) = 3 ft .1
F or the system 3 ft there is, in contrast to 3 ft. no adequate
m atrix with a finite value system .2 W e can, however, con
struct an infinite sequence o f m atrioes IK*,..., iK „,... with finite
00
value system s such that JX ®(IKn) = 3 ft. W e shall now de-
1
scribe the construction o f this sequenoe .8
Let M — [#^ , B, »-*, t , JU,
D e f in it io n 2 . 12. be a matrix
and A any element which does not belong to if* We put:
(i) i f * = if+ {A }\
(ii) l H * r = I n 7 if X t Y e i f and X +*Y B;
X *+ *Y — A if X , Y e i f and X ++ Y =* B; X *+ *A ~ A for
X e i f * ; A *+*Y * 7 for Y e i f * ;
(iii) X y *Y = X r Y f o r X , Y e i f ; Z r * A = A r * Z = A
for Z e i f * ;
(iv) X L * 7 = X j * Y for X , Y e i f ; Z ^ * A = A<L*Z =-- Z
for Z e H r*;
(v) ~ * X = ~ X if X e i f and ~ X j* B; ~ * X — A if
X e i f and ~-5T = B; r*J*A — ■ —‘B.
The ordered sextuple [ i f *, A , »-**, T * , Jo *, <--'*] is denoted
by M*.
1 2.11 easily results from the well-known theorem according to which the
system 3& is complete. The first completeness proof for is due to Poet, E.
(60), pp. 180
3 Cf. Gddel, K , (23), p. 40.
4 This result is due to Jaskowski, S, (36). (Our account deviates only in in
essentials from that of Jankowski. The operation T of Ja&kcwski is replaced
by the operation * defined in 2.12, which serves the same purpose.)
X V n, f 2 SENTENTIAL CALCULUS AND TOPOLOGY 427
a matrix. We put:
(i) i f n = the system of ordered n-tuples [X lv .., X n] with
X t , . . . , Xn Gi f ;
(ii) A n — [X j,..., X n], where X x — ... — X n = A ;
(Hi) [X » ,...,X J » » [ 7 x,...,Yn] = [X x » Y x,...,Xn » Y n]for
X x,..., X n, !F],..., Yn g ;
(iv), (v) analogously for T and ;
(vi) [X x,..., X n] — [ ~ X 1,..., ~ X n] for X x,...,Xn g i f .
[ i f n, A n, cA, ” , ^ n] is called the ?ith power of the matrix
M and is denoted by ‘ Mn’ .
2.16. I f n is a natural number and M is a matrix,
Co b o l la b y
then Mn is also a matrix and we have ®(Mn) — G(M); if Mx and
Ma are isomorphic matrices, then MjJ and Ma are also isomorphic.
[B y 2 . 1, 2.3, 2.5, 2,15]
n « ( ik j -
n=-l
Note 2.19. It is known that this theorem can be improved:
with every sentence 21 a well-determined natural number can
be correlated (depending exclusively on the structure of this
sentence) such that the formulas 2Ie©(IKrJ and 21 e are
equivalent.1
The decision criterion mentioned at the beginning of this sec
tion is provided by 2.11 for the system 3 & and by 2.IB in its
improved form just mentioned for the system
§ 3. T opological Spaces 3
We first recall some familiar topological concepts:
D e f in it io n3.1. A non-empty set 8 is called a topological space
(with fundamental operation ~), if the follovnng conditions arc
satisfied:
(i) if X c S, then X = X c S;
(ii) if X c S and X consists of at most one dement, then X = X\
(iii) i f X c= S and ¥ c S, then X + Y = X + 7 .
Note 3.2. Let S he a topological space and A a non-empty
subset ot S. We now define an operation ~~'A) relative to A by
the formuia X U} A . X for every X c A . On the basis of
3.1 it can then easily be shown that A is a topological spa.ee with
the fundamental operation ~(A'}: such a space is called a sub
space of S.
D efin itio n 3.3. I f 8 is a topological space, , a set X is said to
be open (in S), in symbols X e 0(8), if X = S—8 —X.
D efin itio n 3.4. A subset X of a topological space 8 is said to
be dense (in 8) if X = 8 .
1 See p. 420, note X
3 Another decision criterion for the intuitionistic calculus was given in
Gentzen, G. (18).
3 For what follows ei\ Kuratowski, C. (41), in particular pp. 15 ff., 38, 40,
82 f., 95, and 101 ff.
X V n, § 8 S E N T E N T IA L CALCULUS AN D TO P O LO G Y 429
(26) Bj = 2 i /o r j = 1, 2,..., n.
XeJT*
From (18), (19), (23), (24), and (26) it is seen at once that the
sets 2^ ,,.., Bn just defined satisfy the condition (6 ). B y (IS).
(23) , and (26) we have ■ # * + „ . — Gj1- f ^ B and
consequently A — (1 ?!+ ... ~r~Bn) 5 A —B. H ence b y means o f (9)
and ( 10) we obtain ( 6) and (7). Finally, let us suppose that the
form ula B} 2 A — ...+ i ? n) does not hold for a given
j , 1 < j < n. W e thus have
(3) X = ( S - 7 ) -r (Y -*■ Z) — S - ( S - Y ) - ( S - Y - Z ) .
35t c ® ( 0 (S)).
[B y 1.4, 4.9, 4.10]
T heorem 4.12. For every topological space S and every sen
tence 91 the conditions 91 e 3$t cwd ^ ^91 e ® ( 0 (£ )) are equiva
lent. [B y 1.6 , 4.8, 4.11]
In view o f Ths. 4.8 and 4.11, the double inclusion
35t £ ® (0 ($ )) £ 3*t holds for every topological space S. W e
shall now show that there exist spaces 8 for which (£(0(S)) = 3&
and also spaces S for whioh ® ( 0 ($ )) = 351. In fa ct the first
equality holds if and only if S is an isolated (and thus, so to
speak, a degenerate) space. The second holds for all i?-spaces,
and thus in particular for all norm al spaces which are dense-
in-them selves and have a countable basis (cf. 3.9-3.11).
XVII, § 4 S E N T E N T IA L CALCULUS AND TO P O LO G Y 437
8 - 8 - 8 ^ { x } £ S-{x},
3* s *(om,
whence, on account o f 4.8, <E(0(8)) *= If> conversely, this
latter equality is satisfied, then the system <E(0(iS)) contains
in particular all sentences 91 o f the form 91— ( ^ 93 93) -> 93
(cf. 1.2 (x) and 1.4); in view o f 4.13 the space S is therefore
isolated, q.e.d.
B efore continuing we shall subject the operations -> and -a.
to a relativization (cf. 3.2).
I f 8 is a topological space and A £ 8, then
D e f in it io n 4.16.
for all sets X £ 8 and 7 £ 8 we put:
(i) 7 = A -X -7 ,
(ii) X = X 0 ( — A~~Xj\
A A
L e m m a 4.21. Premisses:
(a) S is a topological space;
05) Bu ...,Bn e<9{8),Bx,...,Bnare non-empty, pair-un.se disjoint
sets, Bx-{- **.~\~Bn “ B and Bx. ... *Bn 2 5
(y) /o r = 1, 2,..., n, SPp is a system of open sets X £ Bp;
(8) if X , Y eSfp (p = 1, 2 ,..., n) and X —T ^ 0 , then
X = Y 2 Bp- B p ,
(e) M = [if''', A , »-», T , JL>, ~ ] is a matrix-,
(£) forp = 1 , 2 , . . . , M„ = [<5% V, A , ^ a matrix
and is isomorphic with M;
(>j) i f is the system of sets X = X x+ ...-| -X n, where
X xe X ti e S?n, and P = [$?, B , A , V , 'A -
x» £>
Conclusions:
(i) Se' is a system of open sets X £ B-,
(ii) if X , Y e 6? and X - Y # 0 , then X ^ Y 2 B - B ;
(iii) P is a matrix and is isomorphic with M77.
Proof. The assertion (i), i.e.
( 1) 9 is a system of open sets X c B,
results easily from (j8), (y), and ( 77); since, b y 3.1 and 3.3, every
sum o f open sets is itself an open set.
In, order to prove (ii) we consider tw o arbitrary sets X ,Y e 9
such that X —Y ^ 0. B y ( 17),
X = X x+ . . . + X n and Y = T1+ ...+ Y n9
where X p, Yp e 9 p for p = 1, 2 ,..., n. Since, in view o f (y) and
{fi), we have X p s Bpi Yp ^ Bp and the sets Bn are pair
wise disjoint we obviously have
x - y - ( z 1+ . . . + x j - ( i i + . . . + r n)
= ( x 1- r 1) + ...+ ( x n- r n);
if, therefore, X —Y ^ 0 , there m ust be aj>, 1 < p ^ n, such that
Xp—Yp # 0 . H ence b y (8) w e get X p—Yp 2 Bp—Bp and
consequently X —Y 2 Bp—Bp, because b y (a) and 3.1 (iii) '
z -r = z1-:r1-f...-fz„-r,,
442 S E N T E N T IA L C A L C U L U S A N D T O P O L O G Y XVH, § 4
- % Flm + - + ( F n(un) f m )
From this with the help o f (7) and 3.1 (iii) we obtain
B y means o f 2,1, 2.15, and 2.16 we infer from (4), (5), (9)—(11)
that B e S? and is dosed under V , A , -v ; hi view o f
B B
(*))> (1)* aJid 4.17 (ii), P is thus a matrix. We also oondude—
again from (4), (6), (9), (10), (11)—that the matrices P and Mn
satisfy the conditions o f the definition 2.3; consequently we have
(12) P is a matrix isomorphic with Mn.
B y (1), (11), and (12), all the conclusions o f the lemma are
satisfied.
L em UA 4.22. Premisses:
(a) 8 is an E-space)
(ft) M is a matrix;
(y) for every non-empty Set Be 0(8) there is a system $P of open
sets X £ A with the following properties:
(Yi) if X, Y e S? and X —Y ^ 0* then X — Y 2 B —B;
(y*) M' *** [ y , B, V , A , ■+*] is a matrix which is isomor-
Jo JB
phic with M.
444 8 E N T E N T IA L CALCULU S AND T O P O LO G Y X V II, § 4
P = [ < ? ,£ , - + , V, A, - ] . ,
B B
B y (a), (/?), ( 1), ( 2 ), and (5 )-(9 ) the premisses o f 4.21 are satis
fied. Consequently we have
( 10) SP is a system of open sets X £ A ;
( 11) if X , Y e S* and X —Y ^ 0, then X —Y 2 B —B;
(12) P is a matrix which is isomorphic with Mn.
XVH , $ 4 S E N T E N T IA L C A L C U L U S A N D T O P O L O G Y 446
L et
(13) and N = A,->, v : A ,
A -cL
B y (a), (l)-(4 ), and (9)—(13), the premisses o f 4.20 hold. Conse
quently,
(14) F is a system of open sets X Q A ;
(15) i f X , Y e J T and X - Y ^ 0, t h e n X - Y 2 A ~ A \
(16) N is a matrix and N = P*.
From (12) and (16) b y means o f 2.14 we obtain
(17) N is a matrix which is isomorphic with (M7*)*.
In view o f (14), (15), and (17) the p roof o f Lem m a 4.22 is
com plete.
L em m a 4.23. I f 8 is an E-space, then for every natural number
n the matrix 0 ( 8 ) contains a submatrix which is isomorphic
with IKn.
Proof. B y means o f an inductive procedure we shall establish
a logically stronger conclusion, nam ely
( 1) for every non-empty set A e d)(8) there is a system 3T of open
sets X c; A with the following properties:
(i) if X 9 Y e 3T and X —Y ^ 0, then X —Y 2 A —A;
(ii) N - [AT, A , - k V , A , -v-] is a matrix isomorphic with
jA a
IKn-
In fa ct b y 2.17 and 4.19, ( 1) holds for n = 1. Assuming that
( 1) is satisfied for a given natural n we apply 4.22 (with M = IKn)
and w ith the help o f 2.17 we easily see that (1) also holds fo r n -j-l.
I f we now put A = 8 in ( 1) we at once obtain the conclusion o f
the lem m a from 2.8, 3.1, 3.2, 4.5, and 4.18.
T heobbm 4.24. I f 8 is an E-space, then G (Q (S )) = 3 ft.
Proof. B y 4.23 there is for every natural n a subm atrix Nn
w hich is isom orphic w ith IKn. N ow , if 31 e © ( 0 (# )), then b y 2.9
and 2.7 we have 31 e ® (N „) = ®(IKn) for n = 1, 2,... and con
sequently, b y 2.18,31 e 3 ft. A ccordingly, © ( 0 ($ )) £ 3 ft; hence
b y 4.9 we at on ce obtain © (O (8)) = 3 ft, q.e.d.
446 S E N T E N T IA L CALCULUS AN D T O P O L O G Y X V II, § 4
Iv T = S —S—X —Y
(X v Y is thus the smallest regular open set which includes X
and Jr). It can then be shown that the matrix
O '(S ) = [ 0 '( £ ) , 8, V A , -V]
XVn, $ 4 S E N T E N T IA L CALCULU S A N D T O P O L O G Y 44«
Note 5 . 2* I t can be shown that form ulas (iii) and (vi) in 5.1
can be replaced b y the follow ing equivalent conditions:
(iii') there is an element u e R such that
x = y+u = u + y;
D e f in it io n 6.7. IfRisaB<xdeanring,th&nforanyI, J e S { R )
we put
(i) y x-,
XeJ'(,R?J.Xcj
(ii) / V J = TT Xi
XeSa$)J+J£X
(Hi) l A J — I .J (the intersection of I and J):
(iv) ^ i = i-+{o} (= 2 x).
' M K I X X -W '
Prom 6.1, 5.6, and 5.7 we easily obtain
C o r o l l a r y 5 .8 . For every Boolean ring R we have
(i) {0}, R e J(R), and in fact {0} is the smallest and R the
largest ideal in R;
(ii) if I, J e*f(R) then I -> J , I v J , I A «/, - v / are ideaZs jR,
in fact I J is the largest ideal X for which I .X £ J and ^-1
the largest ideal X for which I .X = {0}, moreover, J V J is the
smallest ideal which includes I and J> finally IA J is the largest
ideal which is included in I and J ♦
D efin ition 5.9. The ordered sextuple [,/(2 ?), R, V , A , ^ ],
where R is a Boolean ringy is denoted by I(i?).
The follow ing well-known theorem exhibits a close form al
connexion between B oolean algebra and topology1:
T heorem 5.10. A normal topological space JBX, which satisfies
thefollowing conditions, can be correlated with every Boolean ring R :
(i) there is a function F which maps the system S(R) onto the
system &(RX) in such a way that the formulas
Ic:J and F{I)czF{J)
are equivalent for all / , J e*f(R) (in particular J^({0}) = 0 and
F(R) = B*);
(ii) R x is isolated if and only if R is atomistic;
(iii) R* is dense in itself if and only if R is atomless;
(iv) R x is a space with a countable basis if and only if R is
denumerable.
1 See Stone, M. H . (68).
462 S E N T E N T IA L CALCULUS A N D TO P O LO G Y XVU, f 6
Fraenkel, A ., 174, 234, 248, 270, 390. Neumann, J. v., 113, 218, 223, 242.
Frege, G., 175. Nelson, L., 165, 402.
Nicod, J., 24, 29, 44.
Gentzen, G., 423, 428, Nikodym and Sierpiriski, 149.
Glivenko, T ., 424.
Godel, K ., 240,247, 251, 252, 254, 258, Padoa, A ., 299? 300, 305.
260, 274, 277-9, 288, 295, 390, 412, Peano, G., 313.
426. Peirce, C. S,, 40, 54.
Grelling, K ., 166, 402. Fieri, M., 27.
Post, E. L., 40, 426.
Hausdorff, F ., 359, 381. Presburger, M., 205, 221, 383.
Herbrand, J., 200, 241.
Hertz, P ,, 70.
Heyting, A ., 352, 357, 400, 421, 423-4. Quine, W . V ., 32. 53.
Hilbert, D ., 60, 260, 295, 399, 423,
Hilbert, D ,. and Ackermann, W ., 54, Rose, A ., 49.
55,116,178, 199, 221, 231, 240, 254. Rosser, J. B ., 50.
Hiz, H ., 2.
Huntington, E. V., 26, 179, 186, 349,
379. Scholz, H ., 417.
Husserl, E ., 215. Schonfinkel, M., 199y 241.
Schroder, E ., 9, 12, 14, 40, 115, 168,
Jankowski, S., 26, 47, 58, 426. 186, 207, 222, 334-5.
Jbnsson, B ., 323. Schroter, K ., 44, 51, 90.
Sheffer, H . M., 2, 36, 362.
Knaster, B ., 26. Skolem, Th., 241, 271, 374, 378, 381.
KotarbMflki, T., 54, 153, 155-6. Shipecki, J., 50.
Kuratowski, C., 24, 113, 150, 242, Sobocixiski, B ., 38, 44, 45.
392, 428. Stone, M, H ., 360, 352, 421, 449, 461.
IN D E X OF NAMES OF PERSONS 469