Professional Documents
Culture Documents
(Nijhoff International Philosophy Series) Stanislaw Lesniewski - S. J. Surma Et Al. (Eds.) - Collected Works. 1, 2-Springer (1991)
(Nijhoff International Philosophy Series) Stanislaw Lesniewski - S. J. Surma Et Al. (Eds.) - Collected Works. 1, 2-Springer (1991)
(Nijhoff International Philosophy Series) Stanislaw Lesniewski - S. J. Surma Et Al. (Eds.) - Collected Works. 1, 2-Springer (1991)
UNIVERSIDAD COMPLUTENSE
VOLUME44/I
"
The titles published in this series are listed at the end of this volume.
IJ
L&S
Stanislaw Lesniewski U. T
o~ ~
Collected works
Volume I
Edited by
Stanislaw J. Surma
University of Auckland, Auckland, New Zealand
Jan T. Srzednicki
University of Melbourne, Melbourne, Australia
and
D.I. Barnett
Flinders University of South Australia, Australia
Sold and distributed in Albania, Bulgaria, Chinese People's Republic, Cuba, Czecho-
slovakia, Hungary, Korean People's Republic, Mongolia, Poland, Romania, the
u:s.s.R:, Vietnam and Yugoslavia:
by ARS POLONA,
Krakowskie Przedmiescie 7, 00-068, Warszawa, Poland
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii
A Contribution to the Analysis of Existential Propositions
(translated by S. J. Surma and J. Wojcik) . . . . . . . . . . . . . . . . 1
An Attempt at a Proof of the Ontological Principle of Con-
tradiction (translated by S. J. Surma and J. Wojcik) .. . . 20
The Critique of the Logical Principle of the Excluded
Middle (translated by S. J. Surma and J. Wojcik)....... 47
Is All Truth Only True Eternally or Is It Also True With-
out a Beginning (translated by S. J. Surma
and J. Wojcik)............................................. 86
Is the Class of Classes not Subordinated to Themselves,
Subordinated to Itself? (translated by S. J. Surma
and J. Wojcik) ............................................. 115
~-~~·"-""'"" - Foundations of the General Theory of Sets. I (translated by
D. I. Barnett) .............................................. 129
On the Foundations of Mathematics (translated by
D. I. Barnett) .............................................. 174
On Functions Whose Fields, with Respect to These Func-
tions are Groups (translated by M. P. 0 'Neil) ........... 383
On Functions Whose Fields, with Respect to These Func-
tions, are Abelian Groups (translated by M. P. O'Nei0 ... 399
Fundamentals of a New System of the Foundations of
Mathematics (translated by M. P. O'Neil ................ 410
On the Foundations of Ontology
(translated by M. P. O'Neil) 606
.
VI Table of Contents
The Editors
A CONTRIBUTION TO
THE ANALYSIS OF EXISTENTIAL PROPOSITIONS
3 In Polish, the form 'sq istniejqcy' (are existing) refers only to a num-
ber greater than one, more specifically to the third person plural of nouns.
(Translators' note)
Existential Propositions 5
in question and also citing page 16, maintains that Mill thinks that no
names of attributes have connotation (Edmund Husserl, Logische Unter-
suchungen, II, Halle 1901, p. 58.) Contrary to Husserl, I include among
the names that according to Mill have no connotation only some of the
names of attributes, since on the page indicated in Mill's work one can find
the following passage: "Selbst abstrakte Namen kann man, obgleich sie nur
die Namen von Attributen sind, in einigen Fallen mit Recht als mitbezeich-
nend ansehen; denn auch den Attributen selbst kann man Attribute beilegen,
6 Stanislaw Lesniewski
are not connoted by the subject 'Paris'. (Thus the difference be-
tween Locke's essential propositions as interpreted by Mill and
analytic propositions as understood by me - as can be seen from
the afore-mentioned example - is that the former are qualified
positively, and the latter negatively.)
The above classification would also differ from that of Locke
and Mi11 should our opinion be that the meaning of expressions
lies not in what they connote, but in what they denote - in other
words, in those objects which are symbolized by the appropri-
ate expressions. The essentiality or accidentality of propositions
in Locke-Mill's classification would then depend on the objects
symbolized by the subject: two propositions containing subjects
symbolizing the same object and containing identical predicates
would either be both essential or both accidental. Such would
be, e.g., the propositions 'Napoleon bears the name 'Napoleon' ',
and 'The victor from Jena bears the name 'Napoleon''; however,
in my classification the former of these propositions is analytic
and the latter synthetic because the predicate of the proposi-
tion 'Napoleon is the one bearing the name 'Napoleon'', that
is 'bearing the name 'Napoleon' ' - connotes only the property of
bearing the name 'Napoleon' connoted by the subject 'Napoleon';
whereas the predicate of the proposition 'The victor from Jena
is the one bearing the name 'Napoleon'', that is 'bearing the
name 'Napoleon' ', connotes the property of bearing the name
'Napoleon' which is not connoted by the subject 'the victor from
Jena'. 8
The above classification would neither, by the same token,
coincide with all classifications of propositions into analytic and
synthetic according to Kant, were such classification (as happens
with Mill) interpreted by analogy to Locke-Mill's classification of
propositions into essential and accidental.
8 Cf. E. Husserl,
Logische Untersuchungen, II, pp. 47 and 48, and
K. Twa.rdowski, Zur Lehre von Inhalt und Gegenstand der Vorstellungen,
Vienna 1894, p. 14.
Existential Propositions 9
not connote any properties but those that are connoted by the
subject 'non-existent people'.
§ 5. All negative existential propositions are contradictory.
I. Synthetic existential propositions are contradictory be-
cause their predicates, when these propositions are formulated
as propositions with positive copulas, connote the property of
non-exi~tence and are thereby synonymous with the expressions:
'non-being', 'non-beings' which are in contradiction to the subject
of every proposition. This contradiction can best be observed by
analysing the definition of a subject: defining the subject we can
always bring it to the form 'being' (or its synonym) 'which pos-
sesses the properties: A, B, C, D, etc.' (the properties may differ
with every particular case). Thus the object symbolized by the
subject of every proposition, liable also to representation by the
symbol 'being' (or its synonym), 'possessing the properties A, B,
C, D, etc.', cannot by the same token be formulated by the use
of the verbal symbol 'non-being' which is contradictory to the
symbol 'being'. Let us consider a few examples: suppose we have
some propositions whose subjects are, e.g., the expressions 'man',
'God', 'a square circle'. Let us analyse the definitions of these
~xpr~s~iQ!lS in order to see in what sense we have employed the
subjects 'man', 'God', 'a square circle' in the respective propo-
sitions. vVe learn that we have employed the word 'man' in the
sense of 'a mammal with two hands and two legs', in other words
'a being possessing the properties A, B, C, D, etc. (the aggregate
of properties which constitute a mammal's differentias specificas
in relation to the class 'being'), two hands and two legs'; the word
'God' - in the sense of 'the supreme and most perfect spirit, the
creator of heaven and earth', in other words 'a being possessing
properties A, B, C, D, etc. (the aggregate of properties which
constitute the differentias specificas of a spirit in relation to the
class 'being'), the property of superiority and perfection higher
than that of all other beings possessing the same properties A, B,
C, D, etc. and the properties (in this case 'relations' in J.S. Mill's
Existential Propositions 13
sense) of the creator of heaven and earth'; the expression 'a square
circle' - in the sense of 'a circle possessing the properties A, B, C,
D, -etc. (the aggregate of properties which constitute the diffe1-
entias of a circle in relation to the class 'being') and the property
of squareness'. And so on with every subject. Thus in every case,
applying t~e predicate 'non-being' or its synonym to the subject
produces an. irremovable contradiction.
II. The analytic negative propositions are contradictory be-
cause their subjects contain a contradiction: they represent, as
all subjects do, some specific beings while connoting the feature
of non-existence which contradicts the word 'being'.
Thus both the propositions 'people do not exist' and 'non-
existent people do not exist' are contradictory: the former be-
cause the predicate of a proposition with a positive copula 'people
are non-existent', that is 'non-existent', connotes the property of
non-existence which contradicts the subject 'people' - or 'beings
which possess the properties A, B, C, D, etc. (the aggregate of
properties which constitute the mammal's differentias specificas
in relation to the class 'being'), two arms and two legs'; the lat-
ter because its subject, that is 'non-existent people', symbolizes
some specific beings while connoting the property of non-existence
---~--,~- --which-contradicts the word 'being'.
Rema1k. I have stated above that one can, defining the sub-
ject of a proposition, bring it to the form: ' 'being' (or its syn-
onym) which possesses the features A, B, C, D, etc.'. I have
been using the word 'existing' as one of the synonyms of the word
'being'. This means that, defining the subject of a proposition,
I can express it in the following form: existing, possessing the
properties A, B, C, D, etc. . It might therefore occur to someone
that defining the word 'X' as 'existing, possessing the proper-
ties A, B, C, D, etc.', I am prejudging that, as it is custom-
ary to say, 'X exists'. As I shall try to prove in Section 7, the
proposition which adequately represents the sense that one usu-
ally inadequately symbolizes by the proposition 'X exists', is the
14 Stanislaw Lesniewski
proposition 'some being is the object X'. Defining the word 'X' as
'existing, possessing the properties A, B, C, D, etc.', I am by no
means judging that 'some being is the object X', or inadequately
speaking, that 'X exists'.
§ 6.• Negative existential propositions cannot be true because,
as I have already tried to prove, they are all contradictory. Thus
e.g., t1:ie proposition 'a square circle does not exist' is not true.
Remark. It appears to me that above argumentation makes it
possible to state in a proper way the theory of propositions which
is constructed on the premises defended by some exponents of
Franz Brentano's so-called 'Austrian school'. The theory says that
all propositions can be, without changing their meaning, reduced
to existential propositions; 10 that they symbolize the existence
or non-existence of something; the existence or non-existence of
the object symbolized by the subject - in the case of existential
propositions in the narrower sense; the existence or non-existence
of the object represented by the subject and possessing properties
connoted by the predicate - in the case of propositions which are
generally considered non-existential. Thus e.g., the proposition
'man exists' would, according to this theory, represent the exis-
tence of man while the proposition 'a man is ill' would represent
the existence of an ill ma.n. 11 Were it really so, if any sentence
could indeed be reduced to an existential proposition, we would
have to draw - in view of what I have said at the beginning of this
section - the absurd conclusion that no proposition containing a
negative copula can be true. Thus e.g., the proposition 'Paris is
not situated in China' could not be true under these conditions
because it would be equivalent to the proposition 'a Paris situated
in China does not exist' which cannot be true being a negative
are the propositions 'some beings are people' and 'no being is a
square circle'.
Examples of adequate symbolization of various contents which
a.re generally inadequately represented by various types of exis-
tential propositions:
Inadeq·uate existential proposi- The corresponding non-
tions.; existential propositions
adequately representing the
contents inadequately repre-
sented by the propositions in
the first column:
Only objects A exist. All beings are objects A.
Objects A exist. Some beings are objects A.
Object A exists. One (a certain etc.) being is
object A.
Objects A do not exist.
} No being is the object Jl.
Object A does not exist.
mammal with two hands and two legs' can be formulated to ad-
equately represent the content which it is intended to represent
only when the definition of the word 'man', the subject of this
proposition, already exists - just like the definition of any other
word used in a proposition. This proposition cannot be therefore
considered .eqt1ivalent to the proposition 'the word 'man' denotes
a mammal "with two hands and two legs' which is a definition,
adequately representing an entirely different content. This ade-
quacy of representation then gives rise to various abortive theories
of definitions; some of them assume that definitions are proposi-
tions about objects represented by words, others - that they are
propositions about the so called concepts of these objects. Yet
another theory claims that definitions are no propositions at all,
etc, etc.; all this derives, to a large extent, from the fact that
the contents of definitions are not represented precisely in ade-
quate propositions whose subjects are symbols of the symbols of
objects, that is symbols of words and not symbols of the objects
themselves or their so called concepts.
The representation of various contents in existential proposi-
tions which are inadequate to these contents, accounts for one of
the inadequacies that are both 'typical' in the above sense, and
L~-..~"~'"~ ,harmful: harmful in that out of such inadequacies of which we are
not aware there grow (just as in the example with definitions) var-
ious mistaken theories of propositions, e.g., the above-mentioned
theory based on the insights of the 'Austrian schools' (Brentano's)
quoted in the note to the preceding section.
The task of the theory propositions is not, naturally, to rid
language of those accepted inadequacies of verbal representation
but the bringing about, if I may so express myself, of the planes
and directions of these inadequacies. Such awareness would pre-
vent the construction of various theories based on such inadequate
representations of certain contents, to wit of various theories aris-
ing inevitably from treating the respective linguistic symbols as
if they were adequate.
AN ATTEMPT AT A PROOF
OF THE ONTOLOGICAL PRINCIPLE
OF CONTRADICTION
2
Ibid., p. 8.
3 Ibid., pp. 10 and 38.
4 Cf. Sections 5 and 6.
22 Stanislaw Lesniewski
8
Cf.: Dr Anton Marty, Untersuchungen zur Grundlegung der allgemeinen
Grammatik und Sprachphilosophie, Halle, 1908. Marty's remarks dealing
with the problem with which I am preoccupied here are anyway of extremely
perfunctory and vague character (pp. 26 and 27).
+ The negative form 'no object is not able to both possess etc~' requires, in
Polish, a double negation ('no object is not able etc.'), hence the occurrence
of the word 'not' in the passage (translators note).
24 Stanislaw Lesniewski
than a negative one, which is to stand for the sense of the propo-
sition that no negative judgement is synonymous with a positive
one - is a proposition which requires justification just as much as
does the proposition for whose acceptance it is supposed to be a
reason. (2) I shall now assume that the word 'affirmation' has here
the same Il}eaning as the expression 'the word 'affirmation'', and
the word '11egation' - the same meaning as the expression 'the
word 'negation''. The aforementioned Lukasiewicz's thesis can
then be formulated in the following way: 'No negative judgement
is synonymous with a positive one, because the word 'affirmation'
means something else than the word 'negation''. This reason-
ing is false because the non-synonymity of positive and negative
judgements does not follow from the non-synonymity of the words
'affirmation' and 'negation' - just as, e.g., it does not follow from
the non-synonymity of the expressions 'analytic proposition' and
'affirmative proposition' that no analytic proposition is synony-
mous with any positive proposition. Thus, neither interpretation
of the words 'affirmation' and 'negation' will suffice to defend
Lukasiewicz's argumentation.
§ 3. If, in the ontological principle of contradiction forn1ulated
~~-~,,~"}~~§~_c:~ion ~,} ~ubstitt1te the syn1bol 'P' for the word 'object' and
if I denote the possession of any property by an object by ineans of
an abbreviation 'P has c', then the ontological principle of contra-
diction will take the following forn1: 'no P can both have and not
have c'. Similarly, the formulation of the ontological principle of
contradiction given in Section 2 will take the form of the folluwing
proposition: 'every P is unable to both have and not have c'. The
two new propositions which we obtain in this way are then syn1-
bolic abbreviations of the ontological principle of contradiction;
they are according to Remark 3 of Section 2, synonymous.
Remark 1. Lukasiewicz considers it possible to formulate the
ontological principle of contradiction as a conditional-: "if P is an
object, then P cannot both have and not have c" - maintaining
26 Stanislaw Lesniewski
10
Ibid., p. 46.
Principle of Contradiction 27
11
Cf. Lesniewski, op. cit., p. 332.
28 Stanislaw Lesniewski
the word 'P', of the property of not being able to both have and
not have c. Hence it follows that the subject of the proposition
'every P is unable to both have and not have c' cannot stand
in an adequate relation to the only expression that could be the
subject of such a categorical proposition with a positive copula
and a pr<idicate in the Nominative case, to which we should try
to reduce the conditional 'if P is P, then P is unable to both have
and not have c'. I thereupon conclude that the proposition 'every
Pis unable to both have and not have c' cannot be synonymous
with the proposition 'if P is P, then P is unable to both have
and not have c'; in other words, the proposition 'no object can
both possess and not possess one and the same property' cannot
be synonymous with the proposition 'if P is an object, then P
cannot both possess and not possess c'.
Remark 2. We can, in a similar manner, refute Lukasiewicz's
claim that the proposition 'all A are B' is synonymous with the
proposition 'if something is A, it is B', and the proposition 'no A
is B' is synonymous with 'if something is A, it is not B'. I shall
examine - to refute Lukasiewicz's thesis - a few different kinds
of propositions.
A. Lukasiewicz's claim that the proposition 'all A are B', in
other words 'every<A is B' is synonymous with the proposition
'if something is A, it is B' - is false if the symbol 'A' stands for
the word 'object' or 'P'. The word 'something' is equivalent to
the word 'object' or 'P'. I can thus formulate the proposition 'if
something is A, it is B' as 'if Pis P, it is B', and the proposition
'every A is B' as 'every P is B'. According to the normative
convention which I have adopted (in Remark 1), the conditional
'if P is P, it is B' can only symbolize the possessing by every
object, having the properties connoted by the word 'P', of prop-
erties connoted by the word 'B' could be at all sy1nbolized in the
form of a categorical proposition with a positive copula and a
predicate in the Nominative, then the subject of that proposition
Principle of Contradiction 29
would have to denote every object possessing the properties con-
noted by the word 'P'. The word 'P', however, does not connote
any properties; thus no object is an object possessing the prop-
erties connoted by the word 'P'; it follows further that no object
can be denoted by means of the only expression that could be the
subject of a qitegorical proposition with a positive copula and a
predicate in the Nominative case, that proposition symbolizing
the possessing by every object, having the properties connoted by
the word 'P', of properties connoted by the word 'B'. Yet, be-
cause the subject of the proposition 'every P is B' denotes every
object, I can maintain that the subject of that proposition cannot
be adequate in relation to the only expression that could be the
subject of a categorical proposition with a positive copula and a
predicate in the Nominative case, symbolizing the possessing, by
every object having the properties connoted by the word 'P', of
properties connoted by the word 'B' (that is :-- the proposition,
to which the conditional 'if P is P, it is B' should be reduced).
I thereupon conclude that the proposition 'every P is B' cannot
be synonymous with the proposition 'if P is P, it is B'.
B. Lukasiewicz's thesis formulated in passage A is also false
when the symbol 'B' stands for the word 'object' or 'P'. The
--·~'-···-··········propositions :every A is B' and 'if something is A, then it is B'
could be in such case formulated as 'every A is P' and 'if P is
A, it is P'. The predicate of the proposition 'every A is P', that
is the word 'P' connotes nothing; thus it cannot be, according
to the definition of the expression 'synonymous predicates' given
in Remark 1 of Section 2, synonymous with the predicate of any
other proposition. Hence it follows that, on the basis of the def-
inition of the expression 'synonymous propositions' given there,
the proposition 'every A is P' cannot be synonymous with any
other proposition. From here we may conclude that it is not syn-
onymous with the conditional 'if P is A, it is P', either.
C. Lukasiewicz's thesis that the proposition 'no. A is B' is
synonymous with the proposition 'if something is A, it is not B'
is false when the symbol 'A' stands for the word 'object', or 'P'.
30 Stanislaw Lesniewski
I shall begin with the first part of the required proof; that is,
with proving that every Pis not a contradiction. This part of the
proof calls for some preparatory semiotic analyses; these I shall
carry out in the forthcoming sections.
12 Cf.: John Stuart Mill, System der deductiven und inductiven Logik,
Gomperz's translation, Leipzig 1884, Vol. I, p. 30; cf. also: Lesniewski,
op. cit., pp. 329, 330 and 332.
32 Stanislaw Lesniewski
13 Lu k·as1ew1cz,
. . op. cit.,
. p. 70 .
Principle of Contradiction 33
14 Ibid.
34 Stanislaw Lesniewski
16
In formulating these conventions I speak of propositions in the sense of
the ones reduced to the form of categorical propositions with positive copulas
and predicates in the Nominative case.
Principle of Contradiction 37
both possess and not possess the same property, is unable to both
possess and not possess the same property', in other words, 'if an
object cannot both possess and not possess the same property,
then it cannot both possess and not possess the same property'
- even then the last proposition could not be considered to be
prov~d on the grounds of the principle of identity. A few words
by w~ of explanation: Lukasiewicz formulates the principle of
identity in the following forms: "Every object possesses the prop-
erty which it possesses" and "no object possesses the property
which it does not possess" .21 He holds however that these two
propositions can be also expressed as conditionals: "If an object
possesses a property, then it possesses it" and "If an object does
not possess a. property, then it does not possess it". 22 I suspect
that this view is not in accord with the true state of affairs. In
view of the convention accepted in Remark 1 (Section 3), the
proposition 'if an object possesses a property, then it possesses
it' can be also expressed as 'every object possessing a property
is possessing it'; the proposition 'every object possesses the prop-
erty which it possesses' can be reformulated as 'every object is
possessing the property which it possesses'. The two proposi-
tions are not synonymous because their subject - 'every object
possessing the property' and 'every object' - are not equivalent,
and their predicates - 'possessing it' and 'possessing the prop-
erty which it possesses' - are not synonymous; the proposition
'if an object possesses a property, then it possesses it' is, then,
not synonymous with the proposition 'every object possesses the
property which it possesses'. For the same reason, the following
propositions are not synonymous either: 'if an object does not
possess a property, then it does not possess it' and 'no object pos-
sesses the property which it does not possess'. The first of these
propositions can be formulated as 'every object, not possessing a
property, is not possessing it' and the second one as 'every object
23
Ibid., pp. 45, 46.
46 Stanislaw Lesniewski
24
Ibid, p. 119.
25 Cf. the definition of the word 'object', p. 9 and 10 (Ibid.).
26 Ibid., pp. 119, 120.
27
Ibid., p. 164.
28
Ibid., p. 165.
THE CRITIQUE OF THE LOGICAL PRINCIPLE
OF THE EXCLUDED MIDDLE
INTRODUCTION
3
Cf. Jan Lukasiewicz [1910b], pp. 9, 19, 15-17.
4 Cf. Prof. L. Petrazycki, Introduction to the Study of Law and .Morality.
Psychology of Emotions (in Russian). Petersburg 1905, pp. 81~83.
50 Stanislaw Lesniewski
10
Cf. 'P.C', p. 217.
11 Cf. St. Lesniewski, 'A Contribution to the Analysis of Existential Propo-
sitions', Przeglqd Filozoficzny (1911) vol. III, p. 340. Henceforth referred to
as 'E.P.'.
56 Stanislaw Lesniewski
* Translator's addition.
12 Cf. 'E.P.', pp. 342, 343 and 'P.C.', pp. 204, 205, 207, 208, 216, 217.
Principle of the Excluded ]\!fiddle 57
18 Cf. Dr. Christoph Sigwart, Logic, vol. I, Ti.ibingen 1911, 4th ed., p. 164
seq. I sketched my own 'theory' of negative propositions.in Note III of Sec-
tion 2 of the study 'P.C.' (pp. 204, 205).
19 'P.C. ', pp 203, 204.
Principle of the Excluded Middle 61
has a tail' is false' and 'the proposition 'a square circle is a circle'
is false'. The last two propositions belong to the type 'the propo-
sition 'A is B' is false'. Thus, the propositions of the type 'A is
not B', i.e. 'the centaur has no tail' and 'a square circle is not a
circle', are false while the respective propositions of the type 'the
proposition 'A f'is B' is false', i.e. 'the proposition 'the centaur
has a tail' is ·false' and 'the proposition 'a square circle is a circle'
" propositions. We have, however, seen that there
is false', are true
are such cases when the proposition of the type 'A is not B' is
false while the proposition of the type 'the proposition 'A is B' is
false' is true; therefore, Sigwart's thesis that the propositions - 'A
is not B' and 'the proposition 'A is B' is false' - are synonymous
cannot be correct. In other words, the theory which maintains
that negative propositions are propositions stating the falseness
of the respective affirmative propositions is false.
Remark 2. In modern logic there is a widespread conviction
that all analytic propositions are true. 20 Those who advocate such
a privileged position of analytic propositions in science claim that
the principle of contradiction would be in jeopardy if any proposi-
tion could be false in spite of its being analytic. The discussion in
Sections 3 and 4 indicates that some analytic propositions might
be true, while others might be false. Thus, e.g., the proposi-
0
2
° Cf. for example A. Wiedenski (Professor at the University of Petersburg),
Logic as a Part of the Theory of Knowledge, 1912, 2nd ed., p. 97.
21 Cf. 'E.P.', pp. 330, 331, 334-336.
22
Cf. 'P.C.'. This study is devoted to the proof of the fact that no object
is contradictory object.
62 Stanislaw Lesniewski
23
Cf. 'P.C.'. Convention III, Section 16, p. 217.
24 Cf. 'P.C.'. Convention II, Section 16, pp. 216, 217.
25 Cf. the formulation of this 'paradox' in Leon Chwistek's study Zasada
sprzecznosci w swietle nowszych badan Bertranda Russella, Krakow 1912,
p. 16.
Principle of the Excluded Middle 63
ci, c2, c3, ... , Cn indicated in the definition of the expression 'W'.
Thus, the definition of the expression 'W' is contradicted by the
convention which I accepted in Remark 4 and which states that
the connoting expression 'W' does not represent every object pos-
sessing the properties ci, c2, c3, ... , en indicated in the definition,
but only~ such an object which is neither this particular (numer-
ically identical)
11
expression 'W' nor any expression possessing an
element common with this particular expression 'W'. Example: If
the definition of the expression 'biverbal expression' is understood
as the proposition 'I employ the expression 'bi verbal expression' to
denote expressions consisting of two words', then the definition of
the expression 'biverbal expression' is contradicted by any conven-
tion which implies that the expression 'biverbal expression' does
not denote a given expression consisting of two words. Thus, the
definition of the expression 'biverbal expression' is contradicted
by the convention accepted in Remark 2 because this conven-
tion implies that the expression 'biverbal expression' written in
a passage M does not denote this particular expression 'biverbal
expression' written in passage lvf, in spite of the fact that the last
expression consists of two words and is, therefore, a biverbal ex-
pression. Were it really the case that the convention of Remark 4
contradicts the definition of an expression, my reasoning, based
on this convention, would be totally worthless as containing a con-
tradiction. In fact, the matter does not look so sad. If, in order
to define an expression 'vV', I use the proposition of the type: 'I
employ the expression 'W' to denote objects possessing the prop-
erties c1, c2, c3, ... , en' I do so only for the sake of brevity which,
in most cases, does not lead to undesirable results. If, in defining
'
ii
' the expression 'lV', I did not use the shortened form, I would ern-
!I,. ploy the proposition 'I employ the expression 'W' in such a way
that if it denotes anything at all, it denotes only those objects
which possess the properties ci, c2, c3, ... , Cn '. It is the last sen-
tence that I regard as the definition of the expression 'W'. Thus,
the definition of the expression does not by any means postulate
Principle of the Excluded Middle 67
that the expression 'W' denotes all objects possessing the prop-
erties c1, c2, c3, ... , en, but it only indicates that the expression
'W' does not denote any object which does not possess the set of
properties ci, c2, c3, ... , en. The definition of the expression 'W'
does not, therefore, contradict the convention used in Remark 4
which deter:mines which of the objects that, on the basis of the
definition, t~e expression 'W' should represent, are, in fact, rep-
resented by this expression. Thus, the definition of the expression
'biverba.l expression' does not contradict the convention stated in
Remark 4, which implies that the expression 'biverbal expression'
does not denote every expression consisting of two words. The
definition of the expression 'biverbal expression', i.e. the propo-
sition 'I employ the expression 'biverbal expression' in such a way
that if it denotes anything at all, it denotes only the expressions
consisting of two words' - indicates that the expression 'biverbal
expression' does not denote such objects which are not expres-
sions consisting of two words. On the other hand, the convention
stated in Remark 4 shows which of the expressions consisting of
two words a.re, in fact, represented by the expression 'biverbal
expression'.
§ 5. L~t us suppose that I am to answer the question whether
the following propositions are true: 'man exists', 'man is an ob-
ject'. If I take into account the discussion in Section 3, the an-
swer to this question turns out to be easy. Each of the mentioned
propositions is obviously false because the predicates of the propo-
sitions 'man is being' (instead of 'man exists') 28 and 'man is an
object' connote nothing. 29 For the same reasons, false are also
all propositions of the type 'A exists' and 'A is an object', i.e.
all positive existential propositions. 30 I have proved elsewhere 31
that all negative existential propositions are also false. From the
28 Cf. 'E.P. ' Remark 1 in Section 3, p. 332.
1
29 Ibid., also cf. 'P.C. ',pp. 208, 214.
3 o Cf. 'E.P.', pp. 329, 332.
31 'E.P. ', pp. 338-340.
68 Stanislaw Lesniewski
32
Cf. e.g., John Stuart Mill, System der deductiven und inductiven Logic,
translated by Gomperz, 2nd German edition, vol. I, Leipzig 1884, pp. 184,
185.
33
Cf. e.g., Sigwart, l. c., p. 458.
Principle of the Excluded Middle 69
Some A is C. No A is C. Some A is C.
word 'object', then the major premiss will have the form of an
existential proposition and, thus, will be false.
(B) The syllogisms Cesare, Camestres, Festino, Baroco, i.e.
all syllogisms of the second figure, have the major term 'C' in the
subject of the major premiss. This premiss in all four syllogisms
is a universal :proposition whose quality is reverse to the quality
of the minor premiss. If we substitute the word 'object' for the
word 'C', th~n, in view of the identity of the predicates in both
propositions, the major premiss will contradict the minor premiss
because the latter will assert about objects A what is negated
with respect to each object by the major premiss, or, conversely,
the minor premiss will deny objects A such properties which are
granted to each by the major premiss. Therefore, both premisses
could not be true at the same time.
( C) In the kinds Fesapo and Fresison the major premiss is
the proposition 'no C is B'. If for the word 'C' we substitute
the word 'object', we obtain the proposition 'no object is B'. If
this proposition is true, then the word 'B' does not function as a
symbol and, thus, the minor premisses of both syllogisms in which
the word 'B' is a subject become false. 36
This discussion indicates that by means of the substitution
ofthe ~word 'object' for the word 'C' one cannot demonstrate the
invalidity of any of the remaining sixteen kinds of syllogisms.
§ 6. We have noticed in Section 4 that two contradictory
propositions, e.g., 'each square is a circle' and 'a certain square
circle is not a circle' or 'every centaur has a tail' and 'a certain
centaur has no tail' - can be both false if their subjects do not
function as symbols. Besides, the discussion in Section 5 shows
that two contradictory propositions, e.g., 'every man exists' and
'a certain man does not exist' or 'every man is an object' and 'a
36 The reasoning in the part (C) is not my own but has been provided by a
friend of mine, Karol Frenkel - a student of the Lvov University. He wanted
to find out what consequences for syllogisms can be inferred from my theory
of existential propositions.
74 Stanislaw Lesniewski
certain man is not an object' - can be both false since they are
both existential. The logical principle of the excluded middle as-
serts that at least one of the two contradictory propositions has
to be true. Since I have shown in several cases that both propo-
sitions in a pair of mutually contradictory ones are false, I expect
also that the logical principle of the excluded middle is invalid.
·-
Rf#mark. The 'solution' of the paradox of Nelson and
Grelling 's. 37 This section points out that we have no reason to
'worry' if a given reasoning conflicts with the logical principle of
the excluded middle. As we have said, it is false, and, therefore
we should not be concerned with the question whether this prin-
ciple is observed in this or that reasoning. Logical 'paradoxes'
which arise contravention of the principle of the excluded mid-
dle do not need any 'solution' because, as I have already said,
the conflict between a certain reasoning and this principle by no
means creates any logical 'danger'. It is the Nelson and Grelling's
'paradox' that exemplifies 'paradoxes' which, contravening the
logical principle of the excluded middle, cause som.e logicians a
lot of trouble. This 'paradox' results from the desire to answer
the question whether a man who kills all non-suicides and does
not kill any suicide kills himself. What is supposed to be 'para-
doxical' is the fact that both affirmative and negative answers to
this question must be false: (1) The proposition 'the man who
kills all non-suicides and does not kill any suicide kills himself'
is false because it entails a contradiction: if somebody kills him-
self, he is a suicide, and thus, killing himself, he kills a suicide,
it follows that the man who does not kill any suicides kills a sui-
cide, namely himself. (2) The proposition 'the man who kills all
non-suicides and does not kill any suicide does not kill himself'
is false because it entails the contradiction: if somebody does not
* Translator's addition.
43 Cf. 'P.C.', p. 203.
82 Stanislaw Lesniewski
least one of them is not the proposition which is neither true nor
false, then the other is certainly either true or false: (a) If one of
the two contradictory propositions is true, then the other is false
(the logical principle of contradiction according to Kotarbinski. 50
(b) If one of the two contradictory propositions is false, then the
other is. true (the logical principle of the excluded middle in the
conditional form). It is clear that the above theory which accepts
the ld'gical principle of the excluded middle in the conditional
form accepts the possibility of the existence of propositions that
are neither true nor false: 'this odd nature of propositions which
are neither true nor false' 'comes ... as a lawful owner and liber-
ator'; 'the very point is that the judgement which is not false is
not therefore necessarily true'. I shall present a proof that every
proposition is either true or false. Let us assume that a proposi-
tion which is not false is not true. It means - according to the
definitions of the expressions 'true proposition' and 'false propo-
sition'51 - that a proposition which does not function as a symbol
functions as a symbol. In other words, 52 a proposition which does
not function as a symbol functions as a symbol. The italicized
proposition is contradictory. Thus, the assumption that a propo-
sition which is not false is not true is false. It is, therefore, true
that the proposition which is not false is necessarily true (I). Now
let us assume that a proposition which is not true is not false. It
means that a proposition that does not function as a symbol does
function as a symbol. In other words, it not-does not function
as a symbol. The italicized proposition is contradictory. Thus,
the assumption that a proposition which is not true is not false is
false. It is, therefore, true that the proposition which is not true
is necessarily false (II). The comparison of the theses (I) and (II)
shows that if the proposition is not true, it is false, and if it is not
5o Ibid.
51 Cf. 'P.C.', p. 215. As Kotarbinski supplies no definitions of these expres-
sions, I am compelled to make use of my own definitions.
52 Cf. 'P.C.', p. 205.
Principle of the Excluded Middle 85
only today but will exist forever, 'will be till the end of the world
and beyond'.
What is the solution of this logical tragedy? There is only
one, I suppose: either we have to acknowledge that the word 'to
exist' does not mean 'to be an object such that an affirmative
judgment r~ferring to it is true' and in this way allow the exis-
.
tence of Mr. K. and his paper, or to assert that Mr. K. is mistaken
thinking that he exists and accept such a meaning of the word 'to
'
in opposition to 'existed' or 'is past' and 'shall exist' or 'is to come'. The
affirmative judgment: 'Kotarbinski exists' 'asserts' in the one case that Kotar-
binski is possessed of the property of being an object such that an affirmative
judgment referring to it is true. In the other - that Kotarbi1iski is present.
Thus in both cases this judgment 'asserts' the relation of inherence between
Kotarbinski and some property, but in neither case does it assert Kotarbinski
himself as the author wishes on p. 77 ("when one says tl~at something ... ex-
ists, then one asserts it"). Therefore in neither case does Kotarbinski 'exist'
in the sense adopted in the text.
Is All Truth Only True Eternally 93
judgment: 'I was sad on Feb. 26' ,3 this judgment can only then
be true in time when I am uttering it, that is on Feb. 27. The
judgment which I have just uttered will not be true tomorrow
because as a past, bygone one it will not be anymore present to-
morrow. Similarly, an 'identical' (but not 'the same') judgment:
'I was sad on F~b. 26' which I shall utter only tomorrow, is no
more true today because it will only be able to possess any prop-
erties, thus also the property of being true, tomorrow. While I
was sad yesterday (Feb. 26) I did not utter any judgment refer-
ring to that fact; therefore none of the judgments: 'I was sad on
Feb. 26' (neither that I uttered today nor that I shall utter to-
morrow, nor any other) was present at the very moment that I
was sad. However, since I was indeed sad on Feb. 26, each of the
judgments; 'I was sad on Feb. 26' that I have uttered is (at the
very moment when it is present) true. The possession by me of
the property of sadness on Feb. 26 was then (at the very moment
when it was present, that is on Feb. 26) an object such that an
affirmative judgment referring to it is (when it is present, that is
today, tomorrow etc.) true. The possession by me of the property
of sadness on Feb. 26 'existed' (in the above sense of 'to exist')
exactly on Feb. 26. It follows that it 'existed' at the same time
. when a judgment referring to it was, as I have shown above, nei-
ther present nor true. In this way we obtain the answer to the first
of the above-formulated questions: an object exists not only then
in time when an affirmative judgment referring to it is true.
I have shown above that what is gone by does not exist at
present. The possession by me of the property of sadness on
Feb. 26 has passed away; so it does not exist today, Feb. 27. Yet,
as I have noted above, the affirmative judgment referring to it
that I uttered today is true today. Hence the answer to the sec-
ond of the above-formulated questions: an affirmative judgment
3 I say 'I utter a judgment'; but should someone prefer that 'judgments'
were 'written down' or 'experienced' 1 'felt' or 'lived through' - it would in no
way affect the results of my discussion.
96 Stanislaw Lesniewski
'Stanislaw Lesniewski will die' is true now and will later become
false; it only means that of two judgments, even if they are pho-
netically identical but 'semantically' (i.e. with respect to their
'function', 'sense') different, following each other at consecutive
times, the one is true and the other is false. However, these two
semantically different, thus not 'the same' judgments cannot be
considered t~ be 'one and the same' judgment in the above sense
and thus they cannot present an obstacle to the acceptance of all
truth as eternally true. Similarly, such an obstacle would not be
presented by any two phonetically-alike judgments one of which
is true and the other false, but which are not 'one and the same'
judgment, if they do not 'mean' the same, if they 'assert' different
objects. Such judgments are, among others, all such judgments
which consist of words whose meaning depends on who, in what
circumstances and when utters them, e.g., the words: 'I', 'you',
'he' 'mine' 'yours' 'his' 'tomorrow' 'today' 'yesterday' 'here'
' etc.' Judgments
'there', ' asserting
' ' occurred' in the'
that' something
past, or that something will happen in the future, or else that
something is occurring at present, but do not at the same time
say who or what is the reference point for placing that some-
thing in past, future or present are not 'the same' with other
phonetically identical judgments uttered at other times. Simi-
larly, two judgments: 'My father is an engineer', one of which is
uttered by me and the other by somebody else, although pho-
netically identical, differ 'semantically' because they refer to two
different persons and are not, therefore, 'one and the same' judg-
ment. However, if in any of the above judgments I substitute for
the expressions whose meaning varies with time or circumstances
such expressions whose semantic function is (for the given system
of linguistic symbols) constant, I will be immediately met with
truths that are 'eternally true'. If, e.g., instead of judgments:
'Stanislaw Lesniewski will die' or 'Stanislaw Lesniewski will cease
to be alive' I formulate the judgment: 'Stanislaw Lesniewski pos-
sesses the property of having ceased to be alive in the future of
2 p. m., March 2nd, 1913', then this judgment will be always true,
100 Stanislaw Lesniewski
has here no connection with the temporal property of the fact 'as-
serted' by the given judgment, that property being indicated not
by the present tense form 'are' but by the expression 'in June'.
The case of the word 'possesses' in the above-discussed judgment:
'Stanislaw Lesniewski possesses the property of having ceased to
be alive in the future of 2 p. m., March 2nd, 1913' is similar. The
temporal property of the asserted fact is here indicated not by the
prese~t tense form 'possesses' but by the latter part of the judg-
ment, beginning with 'in the future'. Thus, although the forms of
verbs are temporal, not every judgment 'asserts' that something
happens now, happened in the past or will happen in the future
in respect of the time at which the given judgment is uttered.
Therefore, the above-cited objection against regarding judgments
uttered at different times as 'one and the same' judgment fails.
Consequently, the assertion that all truth is true eternally proved
above, is valid.
All truth is true without a beginning. There has never been a time
at which a judgment which is now true would not have been true
had someone uttered it then . To prove this thesis let us assume
that there is a truth which had a beginning, that is that there
was a time tat which some judgment, e.g., 'A is B' was not true
although it is true now. If at time t the judgment 'A is B' was
Is All Truth Only True Eternally 103
not true, then the judgment 'A is not B' was true. We have as-
sumed that the judgment 'A is B' is now true. This judgment
contradicts the judgment 'A is not B' which must have been true
at time t if our assumption that the judgment 'A is B' was then
false was correct. Thus, this assumption leads to the conclusion
that the judgment 'A is not B' was true at time t, and this judg-
ment contradicts
ill
the judgment 'A is B' which is true now. Yet -
on the basis of the law of contradiction - since the judgment 'A is
B' is true at present, its contradiction 'A is not B' is always false
and so it was at time t. However, I have shown above that this
judgment must have been true at time t given our assumption
that the judgment 'A is not B' was false at time t. It follows that
the judgment 'A is not B' was at time t both true and false, thus
it was not true. Therefore the assumption that the judgment 'A
is B' which is true now was not true at time t, or that some truth
had a beginning, leads to a contradiction. We must therefore re-
ject this assumption as false and say that all truth is true without
a beginning. Therefore, if the judgment 'asserting' the crossing of
the Rubicon by Caesar in 49 B.C. is true now, then it was also true
- notwithstanding Kotarbinski - even before Caesar decided to do
it, e.g., in 55 B.C. Similarly, it is already now true not only that
· I shall die but also that I shall die at a given hour and minute, ...
and that I shall choose this rather than another profession, that
of two crossroads I shall take the right rather than the left one,
that at a given moment a certain thought will cross my mind as
summoned by my attention, that at times I will give, refuse, keep
or break my word of honour. "All this is already true today and
was true ages ago" even if "these future facts ... are in our hands
and within our power" ... 4
that the given truth has a beginning because it became true only
at a certain time. I have already demonstrated in Section 5 that
this is not possible, that all truth is true without a beginning.
It follows that no judgment which is false at a given time can at
another time become true, that is, no one can make it so that a
judgment hithei;to false suddenly becomes true. In other words:
no truth can be created.
d
"We create truly only when we create truth", says Tadeusz Ko-
tarbinski. Thus the possibility of creation of truth is to be the
condition for any creativity at all. If creation of truth were not
possible then nothing could be created: "for something to really
begin to exist, an affirmative judgment referring to it must be
false before that something begins to exist. This is the condition
for creativity".
Such opinions are to be expected from a scholar who thinks, as
we saw in Section 3, that a judgment asserting an object can only
be true at the time when that object exists. These opinions can
result from, e.g., the following reasoning: 'to create something'
is to make it so that something which has not existed up to now
begins to exist. Since a judgment asserting an object can only
be true at the time when that object exists, it would be possible
to rnake it so that something which has not existed up to now
should begin to exist only if a judgment which asserts the given
object and is true when that object exists, were not true until
that object began to exist. If then all truth were true without
106 Stanislaw Lesniewski
been reached, exists, has come about ... ?" (2) "there is never any-
thing at all you can do to reach your goal and if some of your
so-called actions are required to do so, then they are only these
which must happen because they are already accounted among
the truths." 5 Let us briefly examine the two above points.
The first point can be developed into the following line of
thought: a judgment asserting something can only be true when
that somethrng exists. If, then, a judgment asserting some future
object is already true now, then that future object already exists
today. Therefore, if all truth is· true without a beginning, that
is - if every judgment, ·asserting a future object, which is always
true is already true now, then everything that is to exist in the
future already exists today. And if 'to create' is taken to mean
to make it so that something which has not yet existed starts to
exist, then nothing can be created because, as we can see from the
above, it is not possible to make it so that something which has
not yet existed should start to exist in the future. "Free creativity
is therefore not superfluous only if, at least, something which is
to exist in the future does not yet exist now, in other words - if at
least some truths have a beginning. Creativity and consequently
Freedom end ... where truth starts". (p. 82.)
I.think. that we can reply to this reasoning in the following
way: already in Section 3 we saw that a judgment asserting an
object can be true not only at the time when this object exists. If
this is so, then it does not follow from the fact that a judgment
asserting a future object is already now true, that this future ob-
ject exists at present. Example: let us assume that I can finish
this paper 'by a free act', but I can also ('by a free act', too)
not finish it and throw it 'into the wastepaper basket' before it
is concluded. Let us further assume that, being able to do either
'by a free a.ct', I will 'by a free act' conclude this paper. The
judgment asserting the possession by me the property of having
concluded this paper will then become true. However, in view of
the fact that all truth is true without a beginning, this judgment
is already true now. It is already true now although the object
asserted by this judgment, that is the possession by me of the
property of having concluded this paper, does not yet exist.
That object is a future one, and since it is not now present it
does not now possess - as we saw in Section 2 - any property and
consequ~ntly neither the property of 'existence'. Thus the future
object, the possession by me of the property of having concluded
this paper, only then possesses any properties, e.g., the property
of 'existence' which consists in the judgment asserting this future
object being true, when it becomes present. However, that judg-
ment is already true today although its object does not yet exist
and will only come to exist in future. No future object exists at
the present moment, for it is not present and similarly no past
object exists now since it is not present either. Nevertheless -
judgments asserting past and future objects are true even now.
'1
So it does not by any means follow, from the fact that all judg-
ments and so also judgments about the future are now true, that
any future object already exists at present. And since the future
does not exist at the present time, there is no objection to some-
one 'creating' this or that future object 'by a free act'. If the fact
that all truths are true without a beginning does not yet result in
the future existing already now, if future does not yet exist today
although judgments asserting future are already true - then the
fact that some truth is true without a beginning does not exclude
someone from 'creating' the object of the given truth which is
true eternally and without a beginning. And if future does not
yet exist, has not yet come about, if it is not here yet, - then
the first of the above-cited Kotarbinski's arguments in favour of
the view that if judgments asserting future are already true now,
creativity is superfluous, does not hold. If something that one
wishes for does not yet exist, the fact that the judgment which
asserts it is true does by no means render superfluous the 'free
creativity' directed towards the creation of that something.
Is All Truth Only True Eternally 109
I shall try now to develop the line of thought contained in the
second of Kotarbinski's arguments against all truths being true
without a beginning.
Creativity is 'free' only if, being able to bring something
about, one can also act in such a manner that it shall not be.
I can say, e.g.,• that I am going to create by a free act Section 9
of this 'sket~h' only if it is possible for me to both make it be
created or to •make it so that it is not created. Therefore if I write
Section 9 because I 'have to' do so, because I cannot do otherwise,
that section cannot be considered the product of 'free' creativity.
In more general terms: if at time t an object p 'must' possess a
property c and if it 'cannot fail' to possess it, - then the posses-
sion by object p of property c at time t cannot be a product of
free creativity. If an object which is somebody's goal must come
about then all creativity directed towards reaching this goal is
superfluous because that object cannot not exist and will obtain
even if no one contributes to its becoming. If it is already now
true that I shall write Section 9 of this sketch then - in virtue
of the logical principle of contradiction - it must already now be
false and cannot be true that I shall write it. Similarly - if it is
already now true that object p will possess property c at time t,
then it must already now be false that object p will not possess
property cat time t. And since it must be false that I shall write
Section 9, since the assertion that I shall write Section 9 cannot
be true if it is true that I shall write it - then I cannot not write
it. This is so because if I could not write Section 9, the assertion
that I shall write it could be true. This contradicts what we have
established above, namely that the assertion stating that I shall
write it cannot be true. In yet another words: since the assertion
that I shall write Section 9 cannot be true if it is already now
true that I shall write it, then I cannot not write Section 9 also
because I cannot do anything such that the assertion stating that
it has been done contradicts any true judgment. I could not write
Section 9 only if the assertion stating that I shall not write it did
not contradict any true judgment. Yet this assertion contradicts
110 Stanislaw Lesniewski
the former, that is the judgment: 'It cannot be true that I shall
not write Section 9' would contradict the judgment: 'I may write
Section 9'. These two judgments, however, are of course not con-
tradictory. They are by no means such two judgments that the
one ascribes to an object such a property which the other does not:
the first of them ascribes some property to an assertion while the
secona ascribes it to myself. Someone might say that these judg-
ments, while not involving an open contradiction, may yet contain
a hidden one leading to a contradiction in the consequences. The
answer to this is that such an assertion would require a proof and
there is no reason to consider these two judgments contradictory
until someone presents such a proof. By the same token, we must
consider the thesis that if I could not write Section 9 then it could
be true that I shall not write it - as plainly and groundlessly arbi-
trary. However, since from the assumption that I may not write
Section 9 does not by any means follow that it may be true that I
shall not write Section 9 (this would contradict the earlier thesis
that such an assertion cannot be true), then J(otarbinski's thesis
that if the assertion that I shall not write Section 9 cannot be true
then I cannot not write Section 9, is quite arbitrary.
The illustrious logician brings out however one more argu-
ment in support of his thesis: I cannot do anything such that the
assertion which states my having accomplished it, contradicts a
true judgment. Thus, I cannot not write Section 9 because the
judgment saying that I shall not write it contradicts the judgment
saying that I shall write it, that is the judgment we have initially
assumed to be true.
Still, this line of thought is not tenable either - it is, too, quite
clearly arbitrary logically. I hope not to falsify Kotarbinski's the-
oretical leanings in developing his line of thought, a logical 'ab-
breviation', in the following way: if a judgment saying that I shall
do something cannot be true, then I cannot do it; if a judgment
saying that I shall do something contradicts a true judgment, then
it cannot be true. Thus - on the basis of the simple hypothetical
Is All Truth Only True Eternally 113
9. CONCLUSION
(1) and (2) are fulfilled given any meaning of the word 'a' if at
least one of these conditions is fulfilled. Someone might wish to
defend such a thesis in view of all this claiming that - given the
meaning of the expression 'an object subordinated to the class ]{'
established in the present remark - some objects may still be sub-
.
ordinated to some classes. I shall try to show that this is not the
case: I maintain that even given the last interpretation no object
fl
can be subordinated to any class. I shall assume - for the sake of
the proof - that some object P is subordinated to class ]{. I can
maintain, on the basis of the principle of simplification, that P is
P or not P, thus if I use the word 'a' to mean the expression 'P or
not P', then Pis 'a'; then of the two conditions - (1) ]{is a class
(of objects) a; (2) P is a - given a meaning of the word 'a' - one
is fulfilled; Further, the object P being subordinated to class ]{,
both conditions must be fulfilled if one of them is fulfilled; thus
given this meaning of the word 'a' condition (1) - ]{ is a class
(of objects) a - must be also fulfilled; Substituting for the word
'a' its meaning 'P or not P' we obtain:]{ is a class (of objects)
P or not P. On the basis of the ontological principle of the ex-
cluded middle every object is P or not P, the class (of objects)
P or not P is then a set of all objects in the universe. Therefore
]{ is the universe. Since - given any meaning of the word 'a' -
the expressions: 'a class (of objects) a' and 'a class of classes (of
objects) a' are different descriptions of one and the same object,
namely the object which is a set of all a's, the expression 'a class
of classes (of objects) P or not P' represents the same object as
that represented by the expression 'a class (of objects) P or not
P'. Therefore ](, being a class (of objects) P or not P, is by the
same token a class of classes (of objects) P or not P; if then we
use the word 'a' to mean the expression 'a class (of objects) P or
not P', ]{ is a class (of objects) a; given this meaning of the word
'a' condition (1) is fulfilled and for that reason the other condi-
tion is fulfilled as well, that is P is a. Substituting for the word
'a' its present meaning, i.e. the expression 'a class (of objects)
P or not P, we obtain: P is a class (of objects) P or not P; we
122 Stanislaw Lesniewski
(2) P is a; since the two above conditions are both fulfilled given
some meaning of the word 'a', the object Pis subordinated to the
class (of objects) n. IL If every object subordinated to the class
of quadrants of a sphere Q would be a quadrant of the sphere Q
itself as we know from Section 3, any half P of the sphere Q is
subordinated to the class of quadrants of the sphere Q, given both
the above c~nditions it follows that a half of the sphere Q is also
a quadrant ~f the sphere Q which is obviously false; consequently
the assumption on which this conclusion is based, i.e. the as-
sumption that every object subordinated to the class (of objects)
n is an n, must be false. Thus: not every object subordinated to
a class {of objects) n is an n. It is important to bear in mind
these two simple principles, in order to guard against some very
common types of fallacious inference found in class theory.
§ 5. I use the expression 'a class subordinated to itself' to refer
to any class J( which is subordinated to class ]{; thus taking into
account the meaning of the expression 'an object subordinated to
the class IC established in Section 3, I can say that I call any
class ]{ a class subordinated to itself if given some meaning of
the word 'a' the following two conditions are fulfilled: (1) ]{ is
a class (of objects) a, (2) ]{ is a. Examples: (A) the class of
objects present at the moment in my room is a class subordinated
to itself for, if we employ the word to mean 'an object present at
the moment in my room', then: (1) the class of objects present at
the moment in my room is a class (of objects) a, (2) the class of
objects present at the moment in my room is a (for this class is
itself an object present at the moment in my room); (B) a class
of classes is a class subordinated to itself because, if we use the
word 'a' to meaning 'a class', then: (1) a class of classes is a class
of objects a, (2) a class of classes is a.
§ 6. In accordance with the view I have adopted in the preced-
ing para.graph in relation to the expression 'a class subordinated
to itself', I use the expression 'a class not subordinated to itself'
124 Stanislaw Lesniewski
5 Sign '(X)' marks the fact that the thesis in question is stressed.
126 Stanislaw Lesniewski
the other hand, however, since the hypothesis (2) that a class of
classes not subordinated to themselves is not subordinated to it-
self, is also false, then it is true that this class is subordinated to
itself (II); it follows from the comparison of theses (I) and (II)
that a class of classes not subordinated to themselves is both not
subordinated, and subordinated to itself; thus we have 'a para-
dox' !6 The 'solution' of this 'paradox' may consist in printing out
the errors inherent in its formulation; these errors are: (A) The
hypothesis (I) does not in the least lead to the contradiction in-
dicated above because we cannot, from the fact that a class of
classes not subordinated to themselves is subordinated to a class
of classes not subordinated to themselves, infer that a class of
classes not subordinated to themselves is a class not subordinated
to itself - since it is known from Remark 4 to Section 4 that not
every object subordinated to a class of objects n, is n. (B) We
cannot infer from the falseness of hypothesis ( 1) that thesis (I) is
true: as I have already indicated elsewhere7 - we can infer from
the falseness of one of two contradicting propositions that the
other is true - only in such cases when these propositions con-
tain subjects that denote something, while in our case the subject
of the propositions in question, that is t):ie expression 'a class of
---classes- not subordinated to themselves', denotes nothing as we
know from the present Section. Russell's 'paradox' has thus been
here solved by demonstrating that there are two different errors
in its formulation.
Remark 2. Russell's 'paradox' would also be solved if the
expressions: 'an object subordinated to the class J{' and 'an ob-
ject not subordinated to the class J{' - were used with meanings
adopted in Remarks 2 and 3 to Section 4. We already know from
these particular remarks that - given such meanings of the above
expressions - no object is subordinated to any class; it follows from
Offered to my wife
PREFACE
§1
AXIOM I. If object P is a part of object P1, then object P1 zs
not a part of object P.
AXIOM II. If object P is a part of object P1, and object P1 zs
a pa1t of object P2, then object P is a part of object P2. ·
THEOREM I. No object is a patt of itself
132 Stanislaw Lesniewski
§2
§3
1 The proposal to use the expression 'ingredient' in this context was sug-
gested to me by Lucyan Zarzecki.
Foundations of the General Theory of Sets 133
§4
expression 'm' to denote every segment AC, CD, DE, and DB,
which is a partt of segment AB. Segment AF is not a set of ob-
jects m, bec~use
- ,, segment GF, which is an ingredient of segment
AF, has not even one ingredient, which is an ingredient of any
m, which is an ingredient of segment AF, therefore it is not true,
that, if I is an ingredient of segment AF, then some ingredient
of object I is an ingredient of some m, which is an ingredient of
segment AF.}
DEFINITION III. I use the expressions 'set of all objects m'
and 'class [klasa] of objects m' to denote every object P, which
satisfies the two following conditions:
1) every m is an ingredient of object P,
2) if I is an ingredient of object P, then some ingredient of
object I is an ingredient of some m.
{Examples: I. Mankind is the set of all men, or the class of
men, because 1) every man is an ingredient of mankind, 2) if I is
an ingredient of mankind, then some ingredient of object I is an
~-~"~~-~~-~ingretlielit~of some man. II. Segment AC of Figure 2 is not the
A C D B
§5
that object P.
Proof: On the basis of the law of identity we may record:
(1) every ingredient of object P is an ingredient of object P.
From Theorem VI we know, that,
(2) if I is an ingredient of object P, then some ingredient of
object I is an ingredient of some ingredient of object P.
From assertions (1) and (2) we get in accordance with Defini-
tion III the given theorem.
THEOREM IX. If some object is a part of object P, then P is
the class of parts of object P.
Proof: We assume, that,
(1) some object is a part of object P.
Foundations of the General Theory of Sets 137
It follows from this, that some object is an object P1, such that
(2) P1 is a part of object P.
On account of the truth of assertion (1) we infer from Theorem III,
that
(3) every part of object P is an ingredient of object P.
From asserti.ons (3) and (2) it results, that
(4) P1 is an ingredient of object P.
From Theorem II we know, that
(5) P1 is an ingredient of object P1.
From assertions (4) and (5) it follows, that
(6) some ingredient of object Pis an ingredient of object P1.
From assertions (6) and (2) we infer, that
(7) some ingredient of object P is an ingredient of some part of
object P.
We may state, that
(8) if C is a part of object P, then some ingredient of object C
is an ingredient of some part of object P,
since if we supposed differently it would follow that some part C1
of object P is such that no ingredient of object C1 is an ingredient
of any part of object P, from which it would result (in accordance
--~--~~-~~~--witJil'_b,~Qr_~mJl), that this object C1 is not an ingredient of any
part of object P, from which we get the inference, in contradiction
to Theorem II, the_Jnference namely, that C1 is not an ingredient
of object C1. In accordance with Definition I we write:
(9) every ingredient of object P is either object P or a part of
object P.
From assertions ( 7) and (8) we infer on the basis of assertion (9),
that
(10) if I is an ingredient of object P, then some ingredient of
object I is an ingredient of some part of object P.
From assertions (3) and (10) it follows in accordance with Defini-
tion III, that
(11) Pis the class of parts of object P.
138 Stanislaw Lesniewski
§6
§7
§8
object
,, I2, such that
( d) I2 is a set of objects m,
(e) some ingredient of object Ii is an ingredient of object I2,
from assertion (e) it results, that some object is an object !3, such
that
(f) !3 is an ingredient of object Ii,
(g) J3 is an ingredient of object I2;
from assertion (d) we infer - in accordance with Definition II -
that
(h) if I is an ingredient of object I2, then some ingredient of
object I is an ingredient of some m;
from assertions (h) and (g) it follows, that
(i) some ingredient of object !3 is an ingredient of some m
which means, that some object is an object J4, such that
l4_i~__ Q,pjngredient of object J3,
(1) J4 is an ingredient of some m;
from assertions (k) and (f) we infer - on the basis of Theo-
rem IV
(m) J4 is an ingredient of object Ii;
from assertions (1) and (m) it follows, that
(n) some ingredient of Ii is an ingredient of some m,
assertion (n) is contradictory to assertion (b ); Our supposition,
that assertion (6) is false, which led to this contradiction, must
therefore be false. Thus assertion (6) is true. From assertions (5)
and (6) it results in accordance with Definition III, that
(7) P is the class of objects m.
Foundations of the General Theory of Sets 145
§9
2 Each of the Theorems XXVI and XXVII shows that the s0:.called anti-
nomy of Russell definitely cannot be constructed within the theory of sets
developed in the present work.
152 Stanislaw Lesniewski
§ 10
§ 11
(3) P1 is not P.
From Theorem XXIX and (2) it results, that
(4) P1 is an ingredient of object P.
From assertions (4) and (3) it follows on the grounds of Defini-
tion I, that
(5) P1 is a pad of object P.
Thus, assu~ing
,, assertion (1), we arrive at assertion (5). We infer
from this, that, if P1 is a proper subset of object P, then P1 is a
part of object P, which was to be proved.
THEOREM XXXII. No object is a proper subset of itself.
Proof: if we suppose, that some object P is a proper subset
of itself, then this means, that some object P is a proper sub-
set of object P, then it would follow from this - in accordance
with Theorem XXXI - that P is a part of object P, which is a
contradiction of Theorem I.
THEOREM XXXIII. Every object is a subset of itself.
Proof: if we assume, that some object P is not a subset of it-
self, then this means, that some object Pis not a subset of object
P, then it would follow from this on the basis of Theorem XXVIII,
that P is not an ingredient of object P, which is a contradiction
of Theorem II.
THEOREM XXXIV. If P is a proper subset of object P1, then
P1 is not a proper subset of object P.
Proof: We assume, that
(1) P is a proper subset of object P1,
we infer from this in virtue of Theorem XXXI, that
(2) P is a part of object P1,
from which it results in agreement with Axiom I, that
(3) P1 is not a part of object P.
From Theorem XXXI and (3) it follows, that
(4) P1 is not a proper subset of object P.
156 Stanislaw Lesniewski
Thus assertion (1) leads to assertion (4). We see from this, that,
if P1 is a proper subset of object P1, then P1 is not a proper subset
of object P, which was to be proved.
THEOREM XXXV. If P is a proper subset of object Pi, then
P is not a subset of object P.
Proof:* We suppose, that Theorem XXXV is false. It follows
from thi~, that some objects are such objects A and B, that in-
deed
(1) A is a proper subset of object B,
but
(2) B is a subset of object A.
From assertion (1) it follows - in accordance with Definition VI
-that
(3) A is not B.
From assertion (3) it follows, that
(4) Bis not A.
From assertions (2) and (4) we infer on the basis of Definition VI,
that
(5) B is a proper subset of object A.
From Theorem XXXIV and (1) it results, that
--·· ·-"-·"-""""""-·"·"·" (6) B is not a proper subset of object A.
Assertion (6) is a contradiction of assertion (5). Our supposition
that Theorem XXXV is false, which led to this contradiction,
must therefore be false. Thus Theorem XXXV is true.
THEOREM XXXVI. If P is a subset of object Pi: and P1 is a
subset of object P2, then P is a subset of object P2.
Proof: We assume, that
( 1) P is a subset of object Pi,
(2) P1 is a subset of object P2.
From Theorem XXIX and (1) it results, that
(3) P is an ingredient of object P1.
From Theorem XXIX and (2) it follows, that
(4) P1 is an ingredient of object P2.
Foundations of the General Theory of Sets 157
§ 12
From assertions (3) and (4) it results on the basis of Axiom IV,
that
(5) P is P1.
Thus, assuming assertions (1) and (2), we arrive at assertion (5).
It follows from this, that, if P is the universe, and P1 is the uni-
.
verse, then P is P1, which was to be proved .
.
§ 13
§ 14
not Borel, who a.re objects exterior to the class of objects, which
a.re not Zermelo), but condition (1) is not maintained (the class
of mathematicians, who are not Zermelo, is not a subset of the
class of mathematicians, who are not Borel.}
§ 15
INTRODUCTION°
3 Fo,rmerly I used for its denotation the expression 'logistic'; see: Comptes
rendus de seances de la Societe des Sciences et de lettres de Varsovie XIX
(1926). Adolf Lindenbaum and Alfred Tarski, 'Komunikat o badaniach z
zakresu teorji mnogosci.' Przedstawil W. Sierpinski (Communication on Re-
search in the Domain of the Theory of Sets. Presented by W. Sierpinski),
p. 322.
4 See: Ernst Schroder, Vorlesungen iiber die Algebra der Logik (exacte
Logik), Erster Band, Leipzig 1890, p. 161.
5
See: Schro_der, op. cit., zweiter Band, erster Abteilung, Leipzig 1891,
pp. 1-84 and 256-276.
6
See: '\Vhitehea.d and Russell, Op. cit., Vol. I, second edition, pp. 90 -
126.
7 See: l. c., pp. 127-186.
r~
--------~--
On the Foundations of Mathematics 177
most nearly approaches the Schroder 'J(lassenkalkul', 8 considered
as including the theory of 'individuals'; 9
(3) the theory which I name 'mereology' and whose first, but
in many respects imperfect, outline I published in a work entitled
'Foundations of the general theory of sets, I' .10
In the h~story of the establishment of mathematics, the most
imposing embodiment
Ill
of the achievements made since Greek
times on the question of the soundness of the deductive method, is
still for ·me the 'Grundgesetze der A rithmetik' of Gottlob Frege. 11
Frege's system is, however, an inconsistent system, as was demon-
strated by Bertrand Russell, as is well known, when he con-
structed his celebrated 'antinomy', concerning 'the class of classes
which are not their own elements' .12
The problem of the 'antinomies', under the powerful influence
of the researches of Bertrand Russell, as become the central prob-
lem in the intellectual endeavours of a number of prominent math-
ematicians. These endeavours were often significantly remote
from the historical, intuitive basis from which the 'antinomies'
developed. They encouraged the disappearance of the feeling for
the distinction between the mathematical sciences, conceived as
deductive theories, which serve to capture various realities of the
~-.~-~.
· ·-world·inthe most· exact-laws possible, and such non-contradictory
deductive systems, which indeed ensure the possibility of obtain-
ing, on their basis, an abundance of ever new theorems, but which
8 See: Schroder, Op. cit., erster Band, pp. 160-161.
9 See: op. cit., erster Band, pp. 318-349.
4
Whitehead and Russell, l. c., p. 96.
5 Loe. cit.
6
L. c., p. 8.
On the Foundations of Mathematics 183
7 L. c., p. 92.
8 L. c.
9 L. c., p. XIII.
184 Stanislaw Lesniewski
sign may be read by means of the expression 'it is true, that' al-
though 'philosophically' the expression does not mean quite the
same, as is meant by the assertion sign.
Not finding in Whitehead and Russell sufficient information
on the question of the sense of expressions of the type 'r p',
the reader is forced to devise his own improvisations in this do-
• c
the type 'r- . p'; in particular the axiom *1.3. is the whole expres-
sion 'r-: q. ~ . p V q', with the same sense as the expression 'we
assert, that q. ~ .p V q'.
Conception B: The assertion sign according to Whitehead and
Russell means just the expression 'that which follows, is asserted';
expressions of the type 'r- . p' can be read without change of sense
with the aid' of corresponding expressions of the type,
'that whrch follows, is asserted p';
if any expression 'p' is a proposition, then the corresponding ex-
pression of the type 'r- . p' is not a proposition; it is a peculiar
composite of three parts following one after the other, of which
the first, the assertion sign, is a proposition in the form of a sin-
gle expression having the same sense as the proposition: - 'that
which follows, is asserted', the second is formed of dots, and the
third, the expression 'p', is a proposition, as we assumed; this con-
coction, not being a proposition, does not have the same sense
as the expression p which is a proposition; we should consider as
axioms and assertions of the system of Whitehead and Russell
not an expression of the type 'r- . p', but only the parts of those
expressions which follow the assertion sign and the dots which
stand immediately after it; in particular, axiom *1.3 is not the
-~~-~-,-express10n--G:-q
. 'L .-;;J .pV q ' , -b ut t h e express10n
. ' q. ~ . p V q ' , wh'ich
is a part of the previous expression; contrasting their 'symbolism'
to the 'ordinary written language' 10 and feeling no anxiety that
the reader will not know whether a particular proposition found
in Principia l\/fathematica in the 'ordinary written language' is or
is not a proposition asserted by the authors, Whitehead and Rus-
sell can however see this danger as far as the propositions formu-
lated in the 'symbolism' are concerned, and to avoid the danger
they introduce the assertion sign, which they wish to place before
propositions formulated in the "symbolism", in those and only
those cases where they are asserting those propositions.
lO See l. c., p. 8
186 Stanislaw Lesniewski
that the reader will not know whether a given proposition for-
mulated in the 'symbolism' is or is not a proposition asserted by
them - , then they are liable to the charge that they behave in
practice in a manner which is not in· accordance with the aim
which they set themselves, for they actually place assertion signs
before propositions formulated in the 'symbolism' which they do
not at all assert; thus e.g., we encounter in their work the follow-
ing phrase:
"Similarly~: (y): (3x) .f(x,y)";12
In this phrase the expression '(y) : (3x) . f (x, y)' is certainly
c., p. 8). Concerning the question of inverted commas in Frege see: Frege, l.
c., p. 4.
16 Whitehead and Russell, l. c., p. 93.
On the Foundations of Mathematics 191
the right side of any proposition of the type (a), the reader will
indirectly obtain two new propositions, which are the two new
interpretations of the corresponding proposition of the type 'q. :::::>
. p V r'; they are the corresponding propositions of the types
( d) 'f"V q . V . p or r',
and
.-
(e) 'f"V q . V .'q' is true or 'r' is true'.
Interpreting further on the same principle, but in one way
only, propositions of the types (a), (d), and (e) with the aid of
corresponding propositions of the types
(f) ' 'f"V q' is true or 'p V r' is true',
(g) "f"V q' is true or 'porr' is true',
(h) ''f"V q' is true or ''p' is true or 'r' is true' is true',
the reader has in his possession three further types of proposition
which are indirectly interpretations of the corresponding proposi-
tions of the type 'q. :::::> . p V r'. Interpreting the right sides of the
propositions of the type (b) and (c) in the two different ways, the
reader can assert that according to the authors the propositions
of the types
(i) 'not-q.V.porr',
(k) 'not-q. V .'p' is true or 'r' is true',
""""""'='-"'"'=~~=-·~-°'0-=~=~~~-·....-~-- 0 ,-~,~ ·- - ,- ~-~ ,~.~~4·•-00·-"~°'- ~ •m·~---~·- >
17 L. c., p. 7
194 Stanislaw Lesniewski
from the different ways of reading the left side of that proposition
in its two interpretations -
(a) 'not-(' q is true) . V . 'p or q' is true'
and
({3) '' 'q' is true' is false . V . 'p or q' is true',
and nor therefore from the propositions
'!"'
with respect to objects a does not exist', in accordance with the following
schema:
(1) if X is a general object with respect to objects a, X is b, also Y is a,
then Y is b. (assumption)
from (1) it result, that
(2) if X is a general object with respect to objects a, X is different from
Z, and Z is a, then Z is different from Z,
and
(3) if X is a general object with respect to objects a, X is identical with
Z, and Y is a, thren Y is identical with Z;
from (2) it follows, that
(4) if X is a general object with respect to objects a, and Z is a, then X is
identical with Z,
from (4) however, that,
(5) if X is a general object with respect to objects a, Z is a, and Y is a,
-~-~-··~~·-·"'~.}h~_ILJJ.:j~~~<g~.11~!?:-LC>.l:>je,<;t \,Vith respect to objects a, X is identical
with Z, and Y is a);
from (5) and (3) it follows, that,
(6) if X is a general object with respect to objects a, Z is a, and Y is a,
then Y is identical with Z,
from (6) however, that, if there exist at least 'two different a, then a general
object with respect to objects a, does not exist. (This schema would retain
value, mutatis mutandis, if instead of expressions of the type e.g., 'general
object with respect to objects a' one used in an analogous way some other
expressions of the type 'the general object a' or expressions of the type 'the
general object concept a'). I regard my treatment as the result of a careful
formulation of theoretical tendencies involved, more or less explicitly, in the
argumentation of opponents of the different kinds of 'universals' in various
phases of their 'disputes' about them. If one takes the position that this
assertion is a banal one, I would cite in defence the circumstance that ex-
ponents of 'philosophy' defend, regrettably often, positions at variance with
banal assertions.
200 Stanislaw Lesniewski
that time, because, from the first contact, I treated the concep-
tion of 'empty classes' as a 'mythological' conception and without
hesitation took the position, that
(1) if any object is the class 9 of objects a, then some object is
alO).
ln.tliis way I arrived at the conviction, that,
(2) It happens frequently that a certain object is a class of such
and such objects and at the same time, a class of entirely dif-
ferent objects (so e.g., segment AB, Figure 1 is the class of
segments which are segment AC or segment CB, and at the
c D
A B
Fig. 1.
9
When I wish to remove readers' doubts about the grammatical case in
which I use here and there various expressions, I will use the corresponding
grammatical case of the expression 'object' ['przedmiot'], placed before the
expression which is doubtful as to grammatical case, and written in the short-
ened form ('p-fo', 'p-t6w' etc.), which I will not use in any other situation.
The expressions 'p-tu P', 'p-t6w a' etc. used in this way to remove grammat-
ical doubts, I will in practice treat as the corresponding grammatical cases of
the expressions 'P', 'a' etc. Previously I used the expressions '(przedmiotu)
P' '(przedmioiow) a' etc. in analogous situations. For uniformity of exposi-
tion and to avoid the complications of small historical details I will present
matters below as though I had previously also used the expressions 'p-tu P',
'p-t6w a' etc. in the above situations.
IO See l. c.
On the Foundations of Mathematics 203
2
See: Georg Cantor, 'Mitteilungen zur Lehre von Transfiniten', (Fortset-
zung des Abschnittes VIII and Schluss des Aufsatzes), Zeitschrift fiir Philoso-
phie und Philosophische Kritik, Neue Folge, Zweiundneunzigster Band. 1888,
pp. 242 and 243.
3
See: loc. cit., p. 243.
4
Georg Cantor, Grundlagen einer allgemeinen M annigfaltigkeitslehre.
Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen,
Leipzig 1883, p. 43.
5 Loe. cit.
6
Georg Cantor, 'Beitrage zur Begriindung der transfiniten Mengenlehre
(Erster Artikel)' Afathematische Annalen 46, 1895, p. 481.
On the Foundations of Mathematics 209
be conceived precisely. This holds especially for what math-
ematicians would like to designate by the word 'set' [Menge].
Dedekind"... "uses the word 'System' for very much the same
purpose". 7 And a little later: "it is here particularly clear that ac-
cording to Dedekind the elements constitute the real constituents
of the system'!. 8 And still later: "Schroeder also at bottom, re-
gards the elements as what constitute his class [J(lasse]. An empty
class should• not really occur with Schroeder any more than an
empty system with Dedekind; but the need arising from the na-
ture of the situation makes itself felt in different ways with both
writers." Dedekind continues the above disjointed passage: "On
the other hand, for certain reasons we will here wholly exclude
the empty system which contains no element, although for other
investigations it can be convenient to invent such a system." Thus
such an invention is allowed; only for certain reasons it is a voided.
Schroeder ventures to invent an empty class. Thus as it seems,
both are in agreement with many mathematicians that one may
invent anything one pleases which does not exist - even what is
unthinkable; for if it is the elements which form the system, then
the system is removed at the same time as the elements. As to
where the limits of this inventive caprice lie, and whether there are
--~,~~,,,--suchlimits,there is to be found little clarity and agreement." 9
Frege's remarks relating to the 'invention' by mathematicians
of objects which do not exist are, unfortunately, very timely even
now, as is evident even from the following examples:
I. P. Feliks Hausdorff in his famous textbook on 'the theory of
sets', writes: "A set [Menge] is formed by the collection of single
objects into a whole. A set is a plurality thought of as a unity.
If these or similar statements are taken as definitions, then one
would rightly object that they define idem per idem 10 or even
obscurum per obscurius. 11
However we can consider them as demonstrations, as references to
a primitive act of thought, [Denkakt] familiar to all, whose reso-
lution into more primitive acts would perhaps be neither possible
nor necessary. We will content ourselves with this conception and
take it as fundamental that an object M determines certain other
objects a, b, c, . . . in a characteristic, indefinable way; a relation
which we express by means of the words: the set M consists of
the objects a, b, c, ...
A set can consist of a natural number of things or not; it is
called finite or infinite accordingly. Examples of the former are
the set of inhabitants of a city, the hydrogen atoms in the sun,
the natural numbers from 1 to 1000, of the latter, the set of all
natural numbers, all points on a line, all circles in a plane." 12
A little later: "Following G. Peano, we designate the funda-
mental relation of an object a to a set to which it belongs in words
and in formula as follows:
a is an element of A: a E A" .13
Having stated in this way that a collection is formed by a
'Zusammenfassung' 'into a whole' of certain objects called ele-
ments-of.that--collection, and producing examples of collections
consisting of different kinds of such elements, namely inhabitants
of some city, atoms of hydrogen, etc., Hausdorff then commences
'to admit' (according to Dedekind's and Frege's terminology we
could say - 'to invent' something which is apparently also a col-
lection, although it does not have any elements, therefore neither
consists of any of them nor is formed by 'collection' 'to a whole'
10
Translator's note: something in terms of the same thing.
11 Translator's note: the obscure by the more obscure.
12 F. Hausdorff, Mengenlehre, Zweite, Neubearbeitete Auflage, Goschens
Lehrbiicherei I. Gruppe, Reine Mathematik, Band 7, Berlin und Leipzig 1927,
p. 11.
13 Loe. cit. ·
On the Foundations of Mathematics 211
from them. The author declares namely: "On the grounds of ex-
pedience, we also admit a set 0, the null set or empty set, which
contains no element" .14
II. In a textbook on the 'theory of sets', the author of which
is Wadaw Sierpinski, we encounter the following definition: "A
collection formed of all and only those elements, which belong
simultaneously to A and to B, we call a product of collections
A and B a~d denote this by A x B, A . B, or simply AB" .15
Considering that according to this definition
( 1) if any collection X is AB, then collection X has been formed
out of elements belonging simultaneously to A and to B,
and on the other hand, that,
(2) if a collection X has been formed out of the elements belong-
ing simultaneously to A and to B, then there exists at least
one element, which belongs simultaneously both to A and to
B,
because, in this world in which we live, which is not a mytho-
logical world, nothing at all can be 'created' out of something
which does not even exist - we state on the basis of (1) and (2),
that if any collection X is AB, then there exists at least one ele-
ment, belonging simultaneously to A and to B. The circumstance
--~·""""""···that,---in accordance with the above, there is not in this world a
product of two such collections which do not possess common el-
ements, does not present a barrier to Sierpinski in the 'invention'
of any object which is apparently a product of just two such col-
lections. Wherever Hausdorff uses 'admission' Sierpinski applies
'introduction'. The author writes as follows: "Each set of col-
lections obviously comprises a definite totality". So that we can
say exactly the same about a product and a difference we must
introduce an empty collection which we will denote by 0. So, e.g.,
a formula
16 s·1erpms
· · k'i, op. cit.,
· p. 5.
i7 Adolf Fraenkel, Einleitung in die Mengenlehre. Eine elementare Ein-
fiihrung in das Reich des Unendlichgrossen, Zweite erwiterte Auflage, Berlin
1923, Die Grundlehren der mathematischen Wissenschaften in Einzeldarstel-
lungen mit besonder Beriicksichtigung der Anwendungsgebiete, Band IX,
p. 55.
On the Foundations of Mathematics 213
(3) there is no natural number which is an element contained
simultaneously in each of the collections Mi, M2, M3, ...
On the basis of many contexts in his book, it is for me beyond
question that we may infer from (1 ), in accordance with the point
of view of the author, that,
(4) if Y is ap element of the product '.D M, then Y is an element
containe~ simultaneously in each of the collections Mi, M2,
M3, ...
from (2) and (3) it follows, that
(5) there is no element contained simultaneously in each of the
collections M1, M2, M3, ... ,
from (4) and (5) we see, that
(6) the product '.Dlvf does not contain an element.
For the proper utilization of what we know up till now, let us con-
sider the following passages: "On purely formal grounds, namely
to be able to express certain facts more easily and more con-
veniently, we introduce at this point a further improper [un-
eigentliche] set, the so-called null set"... "This is defined as con-
taining no element whatever; it is therefore really not a set at all,
but it will be considered as one and will be designated by 0" 18
Out of these passages it follows, that
~.~-~····~T1r·rrz is o, then z
is an improper collection,
(8) if Z does not contain any element, then Z is 0,
and
(9) if Z is 0, then Z is not properly a collection at all.
From (8) and (6) we infer, that
(10) the product '.DM is 0,
from (7) and (10), that
(11) product '.DM is an improper collection,
and from (9) and (10), that
(12) product '.DM is not properly a collection at all.
I ~
On the Foundations of Mathematics 215
vanish. If we burn all the trees in a forest, we thereby burn the
forest. Thus there can be no empty class" 20
To eliminate possible misunderstandings, I also wish to say
here a few words in connection with my thesis (3) on page 187,
and, at the same time, in connection with Frege's article on
Schroeder's. 'ailgebra of logic' which has been mentioned several
times.
From thesis (3) it follows, that
(A) if one and only one object is an element of class I<, then the
element of class J{ is the class of elements of class J{.
Holding the view, that
(B) if X is the class of elements of class J{, then class J{ is the
same object as X,
without causing doubts in the light of considerations in Chap-
ter II, or from the point of view of the theory developed below
which is already based on axiomation foundations, I infer from (A)
and (B), that
( C) if one and only one object is an element of the class J{, then
class K is the same object as the element of class J(;
consequently if I use the expression 'singular class' in a way which
allows one to assert, that
- ·~~··~·---·~(Dr7< is a-singular class when and only when, one and only one
object is an element of class J{, 21
then relying upon (D) and ( C) I can say, that
(E) if some class is a singular class, then it is the same object as
its single element.
The possibility of obtaining thesis (E) on the basis of my views
about classes harmonises most completely, it seems, with Frege's
position represented in the sentence: "Now our assumption that
22
0 p. cit., p. 44 5.
23
Op. cit., pp. 443 and 444.
On the Foundations of Mathematics 217
the author says on p. 148, such a class can be presented as an
object of thought and accordingly as an individual" 24
(b) "Now if Q as above is the class of objects which coincide
with P, then Q is a singular class which contains only P as
an individual." 24
(c) "Now i{it• were right that a singular class coincides with the
sole ind~vidual it contains, then P coincides with Q. Now let
us assume that a and b are different objects contained as in-
dividuals within P, then they would also be contained within
Q; that is, both a and b would coincide with P. Consequently
a also coincides with b contrary to our permissible assumption
that they were different." 25
Thus Frege is denying the supposition that "each individual
may be regarded as a class that consists of it alone" with the
help of reference to the contradiction which would follow from
the supposition "that a singular class coincides with the sole in-
dividual under its concept". In general it appears that in the ar-
ticle discussed the author treats the two mentioned suppositions
very promiscue. Such a position cannot of course be maintained
upon the basis of my views of classes if, as I believe, the first
of those suppositions may be expressed in my above terminology
~-~-·--~~····by~means ofthe· proposition "every object can be considered as a
class, whose only element is just that object" (note the incompat-
ibility of thesis (E*) with my conception of classes), the second
on the other hand - derived from theses (E) on the basis of my
above point of view concerning classes. From the so-expressed sec-
ond supposition resulting from the considerations in section (c),
on the basis of my conception of classes it follows completely that
passage (b) has no value ~rom the point of view of this conception,
enabling Frege to assert in part (c), that in the situation indicated
by him "both (a) and (b) coincide with P", which may be refuted
24 0 p. cit., p. 444.
24 0 p. cit., pp. 444 and 445.
25 0 p. cit., p. 445.
218 Stanislaw Lesniewski
26 Loe. cit.
27
see: e.g., Frege, [1893], pp. 253 and 254.
28
Frege, [1895], p. 455.
On the Foundations of Mathematics 219
there are no b's. And all empty concepts now have the same ex-
tension"... "We can e.g., take b as the object which is not the
same as itself" 29
'
I will not attempt here to submit Frege's conception which
treats classes as 'extensions of concepts' to analytic assessment
because, despite my best efforts in this direction, I am still un-
able to understand what the various authors are saying when they
use the exptession 'extension of a concept'. If the 'extension of
concept a' 30 is not to be the class of objects a consisting of objects
a in accordance with my conception of classes then, being unable
to answer my own question as to what this 'extension of concept
a' could be and when and where one could become acquainted
with such an 'extension' and whether anything like it exists in
the world, I am none the less inclined to surmise meekly that it is
simply an object 'dev1ised' by logicians for the annoyance of many
generations. I am no more able to understand Frege's utterance
quoted above that the 'extension of a concept' "attaches to the
concept itself and to it alone", than I am the most obscure enun-
ciation of the exponents of 'romantic philosophy', which simply
means that I do not understand the utterance at all. The dec-
laration, according to which "With such functions whose value
~-·--·"···-"~is __always_a _truth:::value, .we can say 'extension of the concept'
instead of 'course of values of the function' and it seems appropri-
ate to call directly a concept, a function whose value is always a
truth-value" ,31 does nothing to clarify for me the question of the
'extensions of concepts' because the expression 'course of values
of the function' is no more intelligible to me than the expression
29 The passages which I have quoted from the works of Frege can be seen
as an antidote to the possibility of false ideas about this author which could
result from the general remark of Weyl, that Dedekind, Frege and Russell
"obviously conceive the 'set' as a collective". (See H. Weyl, Philosophie der
Mathematik und Naturwissenschaft, Miinchen und Berlin 1927, p. 11)
3
° Frege, [1893], pp. 7 and 8.
. p. 8 .
31 L oc. czt.,
220 Stanislaw Lesniewski
32
See: Bertrand Russell, The Principles of Mathematics, Vol. I, Cambridge
1903, pp. 511-514.
33
Frege, Op. cit., Zweiter Band, pp. 260 and 261.
On the Foundations of Mathematics 221
enable us to form initial sets and to derive new sets out of given
ones, then all such contradictions can be avoided." 34 If I am not
mistaken in thinking that Zermelo considers collections as 'exten-
sions of concepts', then my inability, noted above, to answer the
question as to what the various authors are saying when they use
the expression.'extension of a concept' will, of course, also concern
the 'theory 'of sets' of Zermelo. Whatever the views of Zermelo
on question$' about this subject, I can not imagine what sorts of
objects there could be to which his axiomatisation of the 'theory
of sets' would apply for some specific meaning of the expression
'set' and of the expression ' '. 35 Whitehe~d and Russell write in
Principia Mathematica: "The symbols for classes, like those for
descriptions, are, in our system, incomplete symbols: their uses
are defined, but they themselves are not assumed to mean any-
thing at all. That is to say, the uses of such symbols are so defined
that, when the definiens is substituted for the definiendum, there
no longer remains any symbol which would be supposed to repre-
sent a class. Thus classes so far as we introduce them, are merely
symbolic or linguistic conveniences, not genuine objects as their
members are if they are individuals.
It is an old dispute whether formal logic should concern itself
~·~~~~---IDP.inlJ-_with intentions or with extensions. In general, logicians
whose training was mainly mathematical have decided for ex-
tensions. The facts seem to be that, while mathematical logic
requires extensions, philosophical logic refuses to supply anything
except intentions. Our theory of classes recognizes and reconciles
these two, apparently opposite facts, by showing that an extension
(which is the same as a class) is an incomplete symbol, whose use
always acquires its meaning through a reference to intention.
36
Whitehead and Russell, loc. cit., pp. 71 and 72.
37 Loe. cit., p. 72.
38 Loe. cit., p. 187. In connection with the last three quotations see: B. Rus-
sell, 'Les paradoxes de la logique', Revue de Metaphysique et de la Morale
14, p. 636.
On the Foundations of Mathematics 223
•
CHAPTER IV 0
ON "FOUNDATIONS OF THE GENERAL THEORY OF SETS. I"
4 Op. cit., p. 7.
5 Op. cit., p. 9.
6 L. c.
7 Stanislaw Lesniewski, [1917], p. 191.
8 See e.g.: Zermelo, Op. cit., p. 261.
230 Stanislaw Lesniewski
9 Here, and in writing the mentioned work, I use propositions of the type
'A is not b' as equivalents of the corresponding propositions of the type 'A
is an object, and not (A is b)', but not the corresponding propositions of
the type 'not (A is b)'. Knowing that no object is a round square, then in
accordance with thesis (5), chapter II (Lesniewski, /. c., p. 187} and in full
h~~'inony-wit:h the theory of 'ontology' developed below, not (a round square
is as aeroplane), but also not (a round square is an object), nor do I have
any basis in the above terminology to assert that a round square is not an
aeroplane, whereas moreover I do have full licence to assert in the aforesaid
terminology, that not (a round square is not an aeroplane). See: Whitehead
and Russell, l. c., p. 69.
9a Translator's note: [As the Polish language does not contain counter-
parts of 'a' and 'the', the translator has had to add the appropriate article
whenever English has required it. In this connection see footnote n, P. m
below.]
10 Propositions which I called definitions in the original were propositions
about myself; and thus 'Definition I' of the original reads: "I use the ex-
pression 'ingredient of object P' to denote the object P itself, and every
part of that object". (Lesniewski, [1916], p. 9.) The proposal for the use of
the expression 'ingredient' in this context, was suggested to me by Lucjan
Zarzecki.
On the Foundations of Mathematics 231
(a) P is an object;
(jJ) 11 every a is an ingredient of object P;
(1) 11 a for any Q, if Q is an ingredient of object P, then some
ingredient of object Q is an ingredient of some a. 12
Examples: I. Segment AB of Fig. 2 is the class of parts of
segment AB, .be·cause the conditions of Def. II are fulfilled.
Al 1-
• - _C--+-_D_ _ E-----11 B
Fig. 2
II. Segment AB of Fig. 2 is not the class of parts of seg-
ment AD, because although conditions (a) and (jJ) are fulfilled,
11 Here, and in writing the mentioned work, I use propositions of the type
'every a is b' as equivalents of the corresponding propositions of the type
'some object is a, and for any X, if X is a, then X is b', not however of
the corresponding propositions of the type 'for any X, if X is a, then X
is b'; similarly I was using, and still use, propositions of the type 'no a is
b' as equivalents of the corresponding propositions of the type 'some object
is a, and for any X, if X is a, then X is not b', but not of corresponding
propositions of the type 'for any X, if X is a, then X is not b'.
--~~--·:i.Ia·~Trrinsliitors nofe: · ·[Throughout this work Lesniewski uses 'przy
wszelkiem' as a universal quantifier phrase in contexts such as this. Al-
though 'przy' might be more literally translated as 'with', the translator has
adopted 'for' on the grounds of its familiarity. 'Wszelkiem' has been rendered
as 'any' in order to avoid existential import (see e.g., Lesniewski's footnote 5,
p. 273). On the other hand 'kaide', which Lesniewski always uses in contexts
such as line (/3) above, has been translated as 'every' in view of Lesniewski's
statement in the above footnote 11 above that 'kaide' does have existential
import.]
12 See Lesniewski, op. cit., p. 12. Def. III. This definition reads as follows:
"I use the expressions - 'the set of all objects m' and 'the class of objects m',
to denote every object P which fulfills the two following conditions:
(1) every mis an ingredient of the object P,
(2) if I is an ingredient of object P, then some ingredient of object I is an
ingredient of some m".
232 Stanislaw Lesniewski
21 Here, and in the above mentioned work, I use the expression 'object' in
a way which allows one to assert that if A is b, then A is an object. This
harmonises fully with the system of 'ontology' developed below.
22 See above footnote 3.
23 See op. cit., p. 9, Th. IV.
On the Foundations of Mathematics 235
(2) Pis P;
from Th. II and (1) it results, that
(3) P is an ingredient of object P,
from (3), to 29
(4) for any Q, if Q is P, then Q is an ingredient of object P;
from Th. II jt 'follows, that
(5) for any {J, if Q is an ingredient of object P, then (Q is an
ingredient of object Q, and Q is an ingredient of object P),
from (5) and (2), to
(6) for any Q, if Q is an ingredient of object P, then some ingre-
dient of object Q is an ingredient of object P; 29 a
from Def. II, (1), (2), (4) and (6) we see, that
P is the class of objects P.
THEOREM IX. If some object is a part of object P) then P is
the class of parts of object P .30
Proof: We assume, that
(1) some object is a part of object P,
from Ax. I and (1) we infer, that 31
(2) P is an object,
from (1) and Def. I it results, that
-#-~-- -{3) every part of object P is an ingredient of object P;
from Th. III and (1) it follows, that
(4) for any Q, if Q is an ingredient of object P, then some ingre-
dient of object Q is an ingredient of some part of object P;
from Def. II, (2), (3) and (4) we see, that
Pis the class of parts of object P.
29
Here, and in the above mentioned work, I use propositions of the type
'A is b' in a way which allows the assertion that if A is B and B is c, then
A is c. This harmonises completely with the system of 'Ontology' developed
below.
29 a Translators note: [The Polish original has 'some' in error for
'object'.]
30 See op. cit., p. 13, Th. IX.
31 See above footnote 6 of p. 263.
238 Stanislaw Lesniewski
34
See op. cit., p. 18, thesis (4) in the proof of Th. XIX.
35 See l . c., Th. XIX.
240 Stanislaw Lesniewski
39
See: Lesniewski, [1927], p. 187. See also: Lesniewski, [1916], p. 14,
Def. IV.
4 o See op. cit., p. 15, Th. XII.
41 See l. c., Th. XI.
242 Stanislaw Lesniewski
55 Here, and while writing the above mentioned work, I used propositions
()L!~~tJ::i:>e
'/Lis_ the same object as B' in a way which allows one to assert,
that, if A is B, and for any C and D, if C is B and D is B, then C is the
same object as D, then A is the same object as B. This harmonises fully with
the system of 'ontology' developed below.
55
a See op. cit., p. 21, Th. XXIII. This theorem reads: 'If it is true, that, if I
is an ingredient of object P 1 , then some ingredient of object I is an ingredient
of object P, then P 1 is an ingredient of object P'. In using in the formula-
tion of Th. XXIII the clumsy phrase 'it is true, that, if I is an ingredient
of object P 1 , then some ingredient of object I is an ingredient of object P',
I wished to express an idea which I might have expressed more gracefully
using the expression 'for any I, if I is an ingredieµt of object P 1 , then some
ingredient of object I is an ingredient of object P'. Throughout inattention I
did not include the proposition. 'P1 is an object' as the second component of
the antecedent of this theorem, though I made implicit use of it in the proof
of the mentioned Th. XXIII (see l. c., thesis (2)). By a mistake of the pub-
lisher or of the au th or, 'P2 ' occurs instead of the required 'P1 ' in the proof
of Th. XXIII, in line 5 from the bottom of p. 22 of the mentioned work.
On the Foundations of Mathematics 247
(3) for any Q, if Q is an ingredient of object P, then some ingredi-
ent of object Q is an ingredient of some ingredient of object R,
which is an ingredient of object P;
from Def. III, (1) and (3), we infer, that
(4) P is a collection of ingredients of object R,
from Th. Xf(VI and (4), to
(5) P is an jngredient of the class of ingredients of object R;
from Th. XXI and (4) it results, that for some T
(6) Tis an ingredient of object R,
from Th. X and (6), to
(7) R is the class of ingredients of object R;
from Th. X and (5) it follows, that
(8) the class of ingredients of object R is an object;
from (7) and (8) we see, that
(9) R is the same object as the class of ingredients of object R,
from (5) and (9), to
P is an ingredient of object R.
DEFINITION V. P is a sub-collection of object Q, when and
only when, the following conditions are fulfilled:
(a) P is an object;
~~~~~ ~~-~~ (/3) every element of object P is an element of ob-
ject Q. 56
THEOREM XXVIII. If P is a sub-collection of object Q) then
P is an element of object Q.57
Proof: We assume, that
(1) P is a sub-collection of object Q;
from Th. XIX and (1) we infer, that
(2) Pis an element of object P,
from Def. V, (1) and (2) it results, that
P is an element of object Q.
71 See op. cit., p. 40, Th. LV. The theorem reads: "No object is the com-
plement of itself with respect to that same object".
72 See op. cit., p. 39, Th. LIV.
73 See op. cit., p. 36, thesis (8) in the proof of Th. L.
On the Foundations of Mathematics 253
74 See op. cit., p. 37, thesis (6) in the proof of Th. LI.
254 Stanislaw Lesniewski
75
See op. cit., p. 41, thesis (9) in the proof of Th. LVIII.
76 See op. cit, p. 34, Th. XLVIII.
On the Foundations of Mathematics 255
80
See above theses (3) and (4) of the proof of Th. XIII.
81 See op. cit., p. 39, Th. LIL
82
See op. cit., p. 40, Th. LVII. This theorem has the following clumsy
form: 'No object is the complement of object P with respect to the same
object P'.
258 Stanislaw Lesniewski
(c) if a>b,
w
then a is different than b,
(() if a>b,
w
then also b>c,
w
a>c,
w
(F) if a is a rational number, and bis a rational number, then for some e -
(e is a ·rational number, e>a
w
and e>b).
w
From th~ses (7) and (8) I have obtained in the same way theses, stating
respectively, that
(G) if a is a rational number, b is a rational number, and for any c and d,
if c is a rational number, dis a rational number, c>d and b>d, then for
some e (e is a rational number, c>e and a>e), then ( a>b or ;; is identical
to b), w w w
(H) if a is a rational number, bis a rational number and a>b, then for some
c - (c is a rational number, not (for some e - (e is awrational number,
c>e and b>e)) and a>c).
These; (A), (D) and (E) ~re valid on the basis of theory T, being merely
repetitions of axioms (c:), ((), and (8) of this theory. That theses (B), (C)
and (F) are also valid on the basis of theory T - is shown by the following
remarks:
Ad (B): Thesis (B) results from axioms (/3) and ('y).
Ad (C): From Ax. (c:) it results, that
(a) not (a>a),
w
from (a), that,
(b) if a is a rational number, and for any c, if c is a rational number and
~IJ>~~-thena>c,· then not (b>a),
w w w
from (b) however, that,
(c) if a is a rational number, b is a rational number, (for any c, if c is a
rational number and b>c, then a>c) and a is different from b, then (a is
a rational number, b isw a rationai number, a is different from b and not
(b>a) );
from (cJ and Ax. (TJ) results thesis (C).
Ad (F): From Ax. ('y) it results, that
( d) if a is a rational number, b is a rational number and not (a is different
from b), then for some e (e is a rational number, e>a
w
and e>b),
w
and
(e) if a is a rational number and a>b, w
then ((for some e (e is a rational
number and e>a))w
and a>b),
w .
from (e), however and Ax. (() that,
On the Foundations of Mathematics 263
I begin with the exposition of some of the results from the domain
of my 'general theory of sets' which were not published in 'Foun-
dations of a General Theory of Sets. I' mentioned in Chapter IV
and which have not appeared in print until now. I commence in
keeping with the title of this chapter - with the results in the pe-
riod up to the year 1920 inclusive. All results known to me in the
field of my 'general theory of sets' which derive from this period,
were my own work. The situation began to change in this respect
only from the year 1921. Putting various theorems and definitions
into an organized whole according to the historical order of their
discovery, I have attempted to achieve here, a particular result,
as in other cases, viz., an easy satisfaction of the requirements of
the chronologic principle 'suum cuique' while presenting my own
and other people's results. For the sake of preserving the unity of
presentation of the 'general theory of sets' - I shall continue to
formulate further theses of the system and to construct proofs in
the same 'style' with which the reader has become familiar in the
previous chapter.
THEOREM IL. If {for any Q, if Q is the same object as P,
or Q is a part of object P, then some object which is the same
object as Q or is part of Q, is a or is a part of object a) and R is
an ingredient of object P, then some ingredient of object R is an
ingredient of some a.
1 See above theses (1 ), (3) and (4) of the proof of Th. XLII.
266 Stanislaw Lesniewski
2 From Th. LX, we see that conditions ((3) and (1) of Def. II entail, on the
basis of my 'general theory of sets', condition (a). See: Stanislaw Lesniewski,
'O podstawach matematyki' (On the Foundations of Mathematics), Przeglqd
Filozoficzny 31, No. III, 1928, p. 265, footnote 1.
270 Stanislaw Lesniewski
6 The statement of Theorems LIX, LXIX, LXX, LXXIII and CII in this
chapter is connected with later considerations in the present work. Only this
282 Stanislaw Lesniewski
7
Th. CIX shows that the acceptance of the assumption that there are
at least two different objects, as in the 'general theory of sets' would make
possible the proof, on the basis of the theory of deduction, of the statement,
some object is a part of some object. See I.e., p. 273, footnote 5.
On the Foundations of Mathematics 285
from Th. CXVI, (1), (2) and (3) we infer, that for some R
(4) R is an ingredient of object P,
and
(5) R is an ingredient of object Q;
(6) R is the same object as P, or R is part of object P (Def. I,
(4))
(7) R is the s"'me object as Q, or R is a part of object Q (Def. I,
(5)).
P is the same object as Q, or P is a part of object Q, or Q is a
part of object P, or a certain object Pis a part of object Q ((6),
(7) ).
THEOREM CXX. If {for any X and Y) if X is a) and Y is
a, then X is the same object as Y, or is exterior to Y )J (for any
x, if x is b, then x is a), {for any x) y and z, if x is b, and
Y is a collection of objects a, Z is a collection of objects a, X is
(Z ), then Y is the same object as Z, P is a; Q is a collection of
objects a, R is an ingredient of object Q, S is b, S is {P ), S is
an ingredient of object P, Tis b, Tis {Q) 1 U is an ingredient of
object TJ V is P, and U is an ingredient of object V) then R is
an ingredient of object P.
Proof:
-
We assume,. that
(1) for any X and Y, if Xis a, and Y is a, then Xis the same
object as Y, or is exterior to Y,
(2) for any X, if X is b, then X is a,
(3) for any X, Y, and Z, if Xis b, Y is a collection of objects a,
Z is a collection of objects a, X is (Y), and X is ( Z), then Y
is the same object as Z,
(4) Pis a,
(5) Q is a collection of objects a,
(6) R is an ingredient of object Q,
(7) S is b,
(8) Sis (P),
(9) Sis an ingredient of object P,
288 Stanislaw Lesniewski
(10) T is b,
(11) Tis (Q),
(12) U is an ingredient of object T,
(13) V is P,
and
(14). u· is an ingredient of object V;
(15) ,J? is a collection of objects a (Th. XIII, (4))
(16) Tis a ((2), (10))
(17) V is the same object as P ( (13), (4))
(18) U is an ingredient of object P ((14), (17))
(19) not (Tis exterior to P) (Def. VI, (18), (12))
(20) T is the same object as P ( (1 ), (16), (4), (19))
(21) Sis a ((2), (7))
(22) not (Sis exterior to P (Th. CXV, (9))
(23) S is the same object as P ( (1 ), (21 ), (4), (22))
(24) Tis the same object as S ((20), (23))
(25) Sis (Q) ((11), (24))
(26) Q is the same object as P ((3), (7), (5), (15), (25), (8))
R is an ingredient of object P ((6), (26))
T:EI:EOREM CXXI. If P is exterior to Q, R is an ingredient of
object Q, and S is an ingredient of object P, then not (S is an
ingredient of object R).
Proof: We assume, that
(1) Pis exterior to Q,
(2) R is an ingredient of object Q,
and
(3) S is an ingredient of object P;
(4) not ( S is an ingredient of object Q) (Def. VI, (1 ), (3))
not (Sis an ingredient of object R) (Th. IV, (2), (4)).
THEOREM CXXII. If P is exterior to Q, and R is an ingre-
dient of object Q, then P is exterior to R.
Proof: We assume, that
On the Foundations of Mathematics 289
(1) P is exterior to Q,
and
(2) R is an ingredient of object Q;
(3) not (some ingredient of object Pis an ingredient of object R)
(Th. CXXI, (1), (2))
Pis exterio! to R (Th. CXVI, (1), (2), (3)).
THEORE~.M CXXIII. If P is the class of objects a, and Q is an
ingredient of object P, then for some R, {R is a, and not {Q is
exterior to R)).
Proof: We assume, that
(1) P is the class of objects a,
and
(2) Q is an ingredient of object P;
from Def. II, (1 ), (2) it results, that for some Rand S
(3) Sis an ingredient of object Q,
(4) Risa,
and
(5) S is an ingredient of object R;
(6) not ( Q is exterior to R) (Def. VI, (5), (3))
for some R (Risa and not (Q is exterior to R)) ((4), (6)).
THEOREM CXXIV. If P is an object, (for any Q, if Q is a,
then Q is an ing1edient of object P) and for any Q, if Q is an
ingredient of object P, then for some R (R is a and not (Q zs
exterior to R)), then P is the class of objects a.
Proof: We assume, that
(1) P is an object,
(2) for any Q, if Q is a, then Q is an ingredient of object P
and
(3) for any Q, if Q is an ingredient of object P, then for some R
(R is a and not (Q is exterior to R) );
(4) for every S, if S is an ingredient of object P, then some in-
gredient of object S is an ingredient of some a (Th. CXVIII,
(3))
290 Stanislaw Lesniewski
(1) Pis Q + R,
and
(2) Sis Q + R;
(3) P is the class of objects (Q or R) (Def. VIII, (1))
(4) Sis the class of objects (Q or R) (Def. VII, (2))
Pis the same object as S (Ax. III, (3), (4)).
THEOREM CLIV. If (for any Q and R, if Q is a, and R is the
class of objects (a and not Q), then P is Q + R), S is a., T is a,
and not (S is the same object as T), then S is exterior to T.
Proof: We assume, that
(1) for any Q and R, if Q is a and R is the class of objects (a
and not Q), then P is Q + R,
(2) S is a,
(3) Tis a,
and
(4) not (Sis the same object as T);
(5) not (Tis S) ((2), (4))
(6) Tis not S ((3), (5));
from Ax. IV, (3) and (6), we see, that for some U
(7) U is the class of objects (a and not S);
•·.~-c -· (8) pis s+tJ ((1), (2), (7))
(9) S is exterior to U (Def. VIII, ( 8))
Sis exterior to T (Th. CXXXVII, (7), (9), (3), (6)).
THEOREM CLV. If P is exterior to Q, then P + Q is an ob-
ject.
Proof: We assume, that
(1) P is exterior to Q;
from Ax. IV and ( 1) we infer, that for some R
(2) R is the class of objects (P or Q);
(3) R is P + Q (Def. VIII, (2), (1))
(4) R is the same object as P + Q (10 (3), Th. CLIII)
·o . See
1
l.c., p. 276, footnote 2.
298 Stanislaw Lesniewski
P + Q is an object (2)
THEOREM CLVI. If P is an object and for any Q and R) not
(R is Q + P )) then P is the class of objects.
Proof: We assume, that
(1) P is. an object,
and ·
(2) for any Q and R, not (R is Q + P);
(3) for any Q, not (Q is exterior to P) (Th. CLV, (2))
Pis the class of objects (Th. CXLIII, (1), (3)).
THEOREM CLVII. P is the class of objects when and only
when, (P is an object and for any Q and R, not {R is Q + P}).
(Results from Th. CLVI and Th. CL).
THEOREM CLVIII. If R is the complement of object Q with
respect to P, then P is Q + R.
Proof: We assume, that
(1) R is the complement of object Q with respect to P;
(2) Pis the class of objects (Q or R) (Th. XLVIII, (1))
(3) R is exterior to Q (Th. XXXVI, (1))
(4) Q is exterior to R (Th. XXXII, (3))
P is Q + R (Def. VIII, (2), (4)).
THEOREM CLIX. If P is Q + R, R is the complement of ob-
ject Q with respect to P.
Proof: We assume, that
(1) Pis Q + R;
from Def. VIII and (1) it results, that
(2) Pis the class of objects (Q + R),
and
(3) Q is exterior to R;
(4) Q is an ingredient of object P (Th. LXXXV, (2), (3))
(5) R is exterior to Q (Th. XXXII, (3))
(6) for any S, if S is an ingredient of object P, exterior to Q,
then Sis an ingredient of object R (Th. CXLII, (5), (2))
On the Foundations of lv!athematics 299
(3) R is P + Q;
(4) P is the class of objects a (Def. IX, (1) ),
(5) Q is the class of objects b (Def. IX, (2));
from Def. VIII and (3), it follows, that
(6) R is the class of objects (P or Q),
and · ·
(7) P 41 is exterior to Q;
(8) R is the class of objects (a orb) (Th. LXVI, (4), (5), (6))
(9) for any S and T, if Sis a or b, and Tis a or b, then S is the
same object as T, or is exterior to T (Th. CLXXXIII, (1), (2),
(7))
R is the sum of objects (a or b) (Def. IX, (8), (9) ).
THEOREM CLXXXV. If P is the sum of obJ.ects a, and Q is
the sum of objects a, then P is the same object as Q.
(Results from Def. IX and Ax. III).
THEOREM CLXXXVI. If P is the class of objects a and for
any Q and R, if Q is a and R is the class of objects (a and not Q),
then P is Q + R, then P is the sum of objects a.
Proof: We assume, that
(1) P is the class of objects a,
and
(2) for any Q and R, if Q is a, and R is the class of objects (a
and not Q), then Pis Q + R;
(3) for any S and T, if S is a, and T is a, then S is the same
object as Tor is exterior to T (Th. CLIV, (2))
P is the sum of objects a (Def. IX, (1 ), (3)).
THEOREM CLXXXVII. If some object is a, and for any Q
and R, if Q is a, and R is a, then Q is the same object as R or
is exterior to R, then the sum of objects a is an object.
Proof: We assume, that
(1) some object is a,
and
On the Foundations of Afathematics 307
13
The reader will be able to realize the auxiliary role of Def. X further
below.
On the Foundations of Mathematics 309
1 Because of the already proven fact that conditions (/3) and ('y) of Def. II
entail, on the basis of my 'general theory of sets' condition (a) (see Stanislaw
Lesniewski, 'O podstawach matematyki' (On the Foundations of Mathemat-
ics), Przeglqd Filozoficzny, 32, nos. I-II, p. 64, footnote 1), I now use Def. (F)
instead of Def. II when introducing the term 'class'. The conditions (a) and
(!) are common to both dek Instead of condition (/3) of Def. II there ap-
pears in Def. (F) the weaker condition, that for any Q, if Q is a, then Q is an
ingredient of the object P. This condition in conjunction with condition (1)
no longer entails condition (a), as can be seen, e.g., from the fact that:
for any Q, if Q is a round square, then Q is an ingredient of a round
square
and
for any Q, if Q is a round square, then Q is an ingredient of some round
square, while at the same time, not (a round square is an object).
(See the examples to Def. II).
On the Foundations of Mathematics 317
Axioms (A)-(D) together with Defs. (E) and (F), we can easily
establish by noting that theses (A)-(C), (E) and (F) are merely
repetitions of Ax. I, Ax. II, Th. LXX, Def. I and Th. LVII re-
spectively of the theory presented in Chapters IV and V, while
thesis (D) results directly from Th. CII of that theory. 2 Con-
versely, on th~ basis of Axioms (A)-(D) and Defs. (E) and (F),
one can obtain counterparts to all theses obtainable in the the-
ory of Chap!ers IV and V, as we can see by noting the fact that
Ax. I, Ax. II and Def. I are merely repetitions of theses (A), (B)
and (E), and by deducing explicitly the counterparts of Def. II,
Ax. III and Ax. IV from theses (A) as well as (C)-(F), which can
be done as follows:
THEOREM G. If some object is a, (for any Q, if Q is a, then
Q is the same object as P, or is a part of object P), (for any Q, if
Q is a part of object P, then some object) which is the same object
as Q, or is a part of object Q) is a or is a part of some a) and R
is an ingredient of object P, then some ingredient of object R is
an ingredient of some a.
Proof: We assume, that
(1) some object is a,
(2) for any Q, if Q is a, then Q is the same object as P, or is a
part of object P,
(3) for any Q, if Q is a part of object P, then some object which
is the same object as Q, or is a part of object Q, is a or is a
part of some a,
and
(4) R is an ingredient of object P;
(5) R is the same object as P, or Risa part of object P (Results
from (E) and (4))
(6) some object which is the same object as P, or is a part of
object P, is a (from (1) and (2));
from (5), (6) and (3) we see, that for some S
2
See l. c., p. 74 footnote 1.
318 Stanislaw Lesniewski
-1
!!
322 Stanislaw Lesniewski
and
(2) Q is a part of object R;
(3) Pis an ingredient of object Q ((e), (1))
(4) Q is an ingredient of object R ((e), (2))
(5) Pis an ingredient of object R ((b), (3), (4))
(6) Q is not a' part of object P (Th. (g), (1))
(7) not (P if3 the same object as R) ((6), (2))
Pis a pa.rt of object R ((e), (5), (7)).
THEOREM i. If S is an object then for some P} {S is an ingre-
dient of object P, and for any Q} if Q is an ingredient of object P,
then some ingredient of object Q is an ingredient of some S ).
Proof: We assume, that
(1) S is an object;
from (d) and ( 1) we infer, that for some P
(2) for any Q, if Q is S, then Q is an ingredient of object P,
and
(3) for any Q, if Q is an ingredient of object P, then some ingre-
dient of object Q is an ingredient of some S;
(4) Sis an ingredient of object P ((2), (1))
for some P, (Sis an ingredient of object P, and for any Q, if Q
is an ingredient of object P, then some ingredient of object Q is
an ingredient of some S) ((4), (3)).
THEOREM k. If S is an object, then for some P, (T is an
ingredient of object S).
Proof: We assume, that
(1) Sis an object;
from Th. i and (1) it results, that for some P
(2) Sis an ingredient of object P,
and
(3) for any Q, if Q is an ingredient of object P, then for some T,
(T is an ingredient of object Q); for some T, (T is an ingre-
dient of object S) ((3), (2)).
324 Stanislaw Lesniewski
6 See Th. IL
On the Foundations of !Ylathematics 325
(a) P is an object;
((3) every a is an ingredient of object P;
(1) for any Q, if Q is an ingredient of object P, then some
ingredient of object Q is an ingredient of some a.
(Results from (f) and Th. p 9 ) .
.
THEOREM r. (corresponding to Ax. III). If P is the class of
objectg a, and Q is the class of objects a, then P is Q.
Proof: We assume, that
(1) P is the class of objects a,
and
(2) Q is the class of objects a;
(3) every a is an ingredient of object P (Th. p, (1))
(4) every a is an ingredient of object Q (Th. p, (2))
(5) for any R, if R is an ingredient of object P, or R is an in-
gredient of object Q, then some ingredient of object R is an
ingredient of some a (Th. q, (1 ), (2) ).
Pis Q ((c), (3), (4), (5)).
THEOREM s. (corresponding to Ax. IV). If some object is a,
then some object is the class of objects a.
Proof: We assume, that
r
(1 some object is a;
from (d) and (1) it results, that for some P
(2) for any Q, if Q is a then Q is an ingredient of object P,
and
(3) for any Q, if Q is an ingredient of object P, then some ingre-
dient of object Q is an ingredient of some a;
from (1) and (2) it follows, that for some R
(4) R is an ingredient of object P;
',
";I
i (5) Pis R, or Pis not an ingredient of object R ((a), (4))
(6) Pis the class of objects a ((f), (5), (2), (3))
some object is the class of objects a (6).
9
See above argument to Th. (N), Ch. VI.
CHAPTER VIII
ON CERTAIN CONDITIONS
ESTABLISHED BY KURATOWSKI AND TARSKI
WHICH ARE SUFFICIENT AND NECESSARY
FOR P TO BE THE CLASS OF OBJECTS A
- - - ----------------------------111111111111111
On the Foundations of Mathematics 329
and
(2) for any R, if R is a, then R is an ingredient of object Q;
(3) some object is a (Th. XX, (1))
P is an ingredient of object Q (Th. CCI, (1 ), (3), (2) ).
THEOREM CCXVI. If Q is an ingredient of object P, R is an
ingredient oj object P, and for any S, if every {Q or R) is an
ingredient of.object S, then P is an ingredient of object S, then
P is the class of objects (Q or R).
Proof: We assume, that
(1) Q is an ingredient of object P,
(2) R is an ingredient of object P,
and
(3) for any S, if every ( Q or R) is an ingredient of object S, then
P is an ingredient of object S;
(4) for any S, if Sis Q or R, then Sis an ingredient of object P
((1), (2)).
Pis the class of objects (Q or R) (Th. CCV, (1), (4), (3)).
THEOREM CCXVII. If every part of object P is a part of ob-
ject Q, and every part of object Q is a part of object P, then P is
the same object as Q.
Proof: ""vVe assume, that
(1) every part of object P is a part of object Q,
and
(2) every part of object Q is a part of object P;
(3) Pis an ingredient of object Q (Th. CCXIV, (1)),
(4) Q is an ingredient of object P (Th. CCXIV, (2)),
Pis the same object as Q (Th. LI, (3), (4)).
THEOREM CCXVIII. If P is a collection of objects a, and for
any R, if R is a, then R is an ingredient of object Q, then P is
an ingredient of object Q.
Proof: We assume, that
(1) P is a collection of objects a
and
336 Stanislaw Lesniewski
and
(9) R is b;
for some a and b, (P is the class of objects a, Q is the class of
objects b, and some a is b) ((6), (8), (7), (9)).
THEOREM CCXXIV. If P is the class of objects a, Q is the
class of objects b, and some a is b, then not {P is exterior
to Q). ,,
Proof: We assume, that
(1) P is the class of objects a,
(2) Q is the class of objects b,
and
(3) some a is b;
(4) some ingredient of object Pis an ingredient of object Q ((3),
Th. LXXXV, (1), (2)).
not (P is exterior to Q (Th. CXXIX, (4)).
THEOREM CCXXV. P is exterior to Q when and only when,
(P is an object, Q is an object, and for every a and b, if P is the
class of objects a, and Q is the class of objects b, then not (some
a is b)).
(Results from Th. CCXXIII, Th. XXXII and Th. CCXXIV.)
THEOREM CCXXVI. If for any S, some object, exterior to P
or exterior to Q, is not (exterior to S }, then Pis exterior to Q.
Proof: We assume, that
(1) for any S, some object, exterior to P or exterior to Q, is not
(exterior to S);
(2) Pis an object (Th. CCXXII, (1)),
(3) Q is an object (Th. CCXXII, (1)),
(4) not (for some R, (R is an ingredient of object P, and R is an
ingredient of object Q)). (Th. CCXXI, (1)).
Pis exterior to Q (Th. CXVI, (2), (3), (4)).
THEOREM CCXXVII. If Q is an object) P is an object) and
for any R, if R is exterior to P, and R is exterior to Q, then Q
is exterior to P.
On the Foundations of Mathematics 339
10
The statement of Theorem CCXXXVI in this chapter is connected with
later considerations in the present work. Only this circumstance induced me
to insert the theorem here, which I consider to be of little interest on its
own.
On the Foundations of Mathematics 343
I
l
~
I
)
CHAPTERX0
THE AXIOMATIZATION
OF THE 'GENERAL THEORY OF SETS',
FROM THE YEAR 1921
2
See I.e., p. 99, footnote 1.
3 See Th. VIII.
352 Stanislaw Lesniewski
and
(2) for any Sand T, if R is exterior to S, and Tis P or R,
then T is exterior to S;
(3) for any S, if for any T, if Tis P or R, then Tis exterior
to S, then R is exterior to S (1 ),
R is. tlie class of objects (P or R) ( ( ~), (1 ), (3), (2) ).
THEOREM SJ. If P is an ingredient of object Q, and Q is
exterior to R, then P is exterior to R.
Proof: We assume, that
(1) Pis an ingredient of object Q,
and
(2) Q is exterior to R;
from ( '.D) and ( 1) we see, that for some a
(3) Q is the class of objects a,
and
(4) P is a;
Pis exterior to R ((<!:), (3), (2), (4)).
THEOREM J. If P is an object, then P is an ingredient of
object P. 4
Proof: "\Ve assume, that
(1) Pis an object;
(2) P is the class of objects P (Th. ~' (1) ),
Pis an ingredient of object P (('.D), (2), (1)).
THEOREM Jt. If every a is an ingredient of object P, P is
exterior to S, and R is a, then R is exterior to S.
Proof: We assume, that
(1) every a is an ingredient of object P,
(2) P is exterior to S,
and
(3) R is a;
(4) R is an ingredient of object P ((i), (3)),
7
See Th. CXXVII.
On the Foundations of Mathematics 355
(1) P is exterior to Q,
and
(2) R is an ingredient of object Q;
(3) not ( Q is exterior to R) (Th. filJ, (2) ),
(4) not (R is exterior to Q) ((3), Th. 'I),
not (R i's an ingredient of object P) (Th. SJ, (1 ), (4) ).
TfIEOREM 2t2L If Q is an object) R is an object and for any P,
not (P is exterior to R}, then some ingredient of object Q is an
ingredient of object R.
Proof: We assume, that
(1) Q is an object,
(2) R is an object
and
(3) for any P, not (Pis exterior to R);
(4) Q is an ingredient of object Q (Th. J, (1)),
(5) for any P, if P is exterior to R, then P is exterior to Q
(3),
( 6) Q is an ingredient of object R (Th. X, (1 ), (2), (5))
some ingredient of object Q is an ingredient of object R ((4),
(6) ).
THEOREM 2( Q3. If Q is an object, R is an object, not (R is
exterior to Q}, and P is exterior to R, then some ingredient of
object Q is an ingredient of object R.
Proof: We assume, that
(1) Q is an object,
(2) R is an object,
(3) not (R is exterior to Q)
and
(4) P is exterior to R;
from and (3) we infer, that for some S
(5) for any T, if Tis exterior to R or is exterior to Q, then Tis
exterior to S;
On the Foundations of A1athematics 357
tI
when and only when, the following conditions are satisfied:
(a) P is an object;
((3) every ingredient of object Q is not an ingredient of ob-
ject P.
(Results from Th. 21J' and Th. 21'.D).
THEOREM Qt.ft. If P is an object, every a is an ingredient of
object P, and for any Q, if Q is an ingredient of object P, then
some ingredient of object Q is an ingredient of some a, then P is
the class of objects a.
Proof: We assume, that
(1) P is an object,
(2) every a is an ingredient of object P,
and
360 Stanislaw Lesniewski
12 See the above derivation of thesis (3) in the proof of Th. CLXXVII and
the derivation of thesis (9) in the proof of Th. CLXXXVIII.
13 Since 1920, in constructing the 'general theory of sets', instead of using
expressions of the type 'part of object A', 'ingredient of object A', class of
objects a, exterior to A etc., I used shorter expressions of the type 'cz(A)',
'ingr(A)', 'KI(a)', 'zw(A)' respectively. In view of the fact that, in the expo-
sition of my 'general theory of sets' commencing in Chapter IV, I introduced
expressions of the first of these two sorts, I continued to use those expressions
- for the purpose of preserving uniformity in the exposition. Had I also used
systematically in the theses of the theory which I presented in Chapters IV,
V, VIII, and IX, as well as in the theses of the present chapter, expressions
of the type 'Kl( a)' instead of corresponding expressions of the type 'class of
objects a', I would have had no need, in deducing the equivalents of theses
(Ql'.D), and (2lit), to use any auxiliary definition at all: instead of the above
Def. .6. and Theorems 2(ryi-2lit I could here formulate for example just three
theorems, stating respectively, that:
THEOREM 2(ryi_ If some object is a, then Kl( a) is an object.
(Results from the counterpart of thesis (25) and the counterpart of the-
sis (It).
COUNTERPART OF THEOREM 2lD. If some object is a, then some object
is Kl( a).
(Results from Th. Qtryi.)
COUNTERPART OF THEOREM 2lit. If p is Kl( a), and Q is Kl( a), then
Pis Q.
Proof: We assume, that
(1) Pis Kl( a),
and
(2) Q is Kl(a);
(3) some object is a (from the counterpart of Th. 25 and (1)),
(4) Kl(a) is an object (Th. Qlryi, (3)),
P is Q ( (4) , ( 1) , ( 2)) .
362 Stanislaw Lesniewski
I
I
l,J=,'==
On the Foundations of Mathematics 365
7
See the analysis of the proposition 'the author of Waverley was Scotch'
in Russell (Russell, op. cit., p. 177).
8 See: Stanislaw Le8niewski, [1930a], p. 114.
370 Stanislaw Lesniewski
and felt concerned whenever I deviated too much from his theo-
retical conceptions of my own views. The most sincere joy fills
my heart in the light of the fact that, as far as my ontology is
concerned, I have an established right to claim that in Tadeusz
Kotarbinski I have a learned ally. - I intended to be as parasitic
as possible OJ?. the above mentioned 'Elements of the Theory of
Knowledge, F9rmal Logic and the Methodology of Science' .17
In one part of his work Kotarbinski writes: "For the calcu-
lus of names we preferred to take as a foundation the system of
Lesniewski, known to us from manuscript and given to a large
number of students in the form of lectures, for we regard this as
the most mature, most natural and most practical of the systems
known to us for the systematisation of the calculus of names. In
addition, it is closely connected with traditional Aristotelian for-
mal logic, of which it is an extension and an improvement, while
on the other hand it is a terminal point in the attempt to construct
a calculus of names in the area of logistics. In particular we took
from Lesniewski's system the axiom, the definitions and the stock
of theorems, some of which (e.g., Th. 38) are characteristic of that
system. But the author of this work bears the sole responsibility
for the choice of this or that theorem, the indication of relation-
ships~,between formulas of the calculus of names and formulas of
the calculus of propositions, and also for the interpretation of the
quantifiers and for the ways of interpreting the formulas in ab-
breviated forms. - We will add that Lesniewski calls his system
'ontology' in harmony with certain terms used earlier (as in the
'ontological principle of contradiction', the thesis that no object
may possess and not possess the same feature, in Lukasiewicz's
book (On the Principle of Contradiction in Aristotle', 1910, p.9ff;
see here Th. 19. ). This name also has a basis in this, that the sin-
gle characteristic primitive term in the axiomatization accepted
17 [Translator's note: Presumably a return compliment to T. Kotarbinski
who wrote, in praise of Lesniewski, of 'the third, parasitic stage in the his-
tory of concretism' based on Lesniewski's Ontology. See: T. Kotarbinski,
[1966b).]
374 Stanislaw Lesniewski
here is the term 'est', that is 'is', which corresponds to the Greek
'£arl'. Hence, wishing to emphasize this, one can form a name
for the system from the corresponding participle which reads 'on'
(gen. 'ontos'), and means 'being'.- If in spite of these reasons we
do not use the word 'ontology' here as a name for the calculus
of naf!les, this is only becau~e of the fear of a misunderstanding.
Misun~erstanding could arise from the fact that this name has its
roots already in another role, i.e., it has been long agreed to call
'ontology' the enquiry 'on the general principles of existence' con-
ducted in the spirit of certain parts of Aristotelian 'metaphysical'
books. It has to be admitted however, that if the Aristotelian
definition of the main theory ('prote filosofia') discussed in those
books is interpreted in the spirit of a 'general theory of objects',
then both the word and its meaning, can be applied to the calcu-
lus of names of Lesniewski" .18 As we can see, this passage brings
out those features which can be taken as a guide in selecting the
expression 'ontology', as a name for my theory. Generalizing the
terminological inclinations of Lukasiewicz cited by Kotarbinski
to which I became accustomed over a period of some years, and
ta.king into consideration the relation existing between the single
characteristic primitive term of my theory and the Greek par-
ticiple explained by Kotarbinski, I used the name 'ontology' 19 to
characterize the theory I was developing, without offence to my
'linguistic instincts' because I was formulating in that theory a
certain kind of 'general principles of existence'.
Passing from the name 'ontology' to the other questions con-
nected with the theory with which I am now dealing, I wish to
return for the moment to 'singular' propositions of the type 'Ac:b'
which appear in the basis of that theory.
Discussions which I held at various times have convinced me
that in using the aforesaid 'singular' propositions, my intentions
were not always correctly understood. It often happened that
someone with whom I spoke did not realize the sense in which
I was using the sign 'e' in my ontology, and experienced inter-
pretational difficulties in attempting to relate the given sign se-
mantically to one or other signs handed down by the tradition of
'mathematical logic' and 'the theory of sets'. In the troublesome
theoretical situations in which I found myself due to this state of
affairs, I shar~d the misfortune of all who are forced by circum-
stances to convey in 'their own words' the sense of the various
primitive terms of deductive theories which they were construct-
ing. I avoided the aforesaid situations, with or without success,
by applying - depending on the character of the interlocutor -
very varied methods of appealing to their intuitions. While for
one person the most eloquent and appealing circumstance was
that I used the the expression 'c' in a sense which satisfied the
above axiom of ontology - another person felt happier receiv-
ing the comment that I used propositions of the type 'Ac:b' as
equivalents of corresponding propositions of the type 'every A is
b, and at the most one object is A' in my colloquial language; 20
whereas a third person was helped by the remark that proposi-
tions of the type 'A is b' are, in my colloquial language, equivalent
to the corresponding propositions of the type 'A is the only one
of objects b', understood in a way which would make them appli-
cable also in the case where A is the sole such object which is b-
yet another person began to understand the semantical situation
correctly when I mentioned to him that I was using the sign 'c:'
in propositions of the type 'Ac:b' in the same sense as I use the
expression 'is' in, e.g., the propositions belonging to colloquial
language - 'this man is elderly', 'Rome is older than Warsaw',
'the point of intersection of line P with line R is the centre of the
circle IC.
Desiring, naturally, that the reader should realize as clearly
as possible the sense which I give to my 'singular' propositions
of the type 'Ac:b' and, like everybody else in a similar situation,
20
See above thesis (6).
376 Stanislaw Lesniewski
'is' in the proposition 'This man is elderly' and in the other two .,
propositions which I cited above as examples, I obviously cannot,
nor do I wish to, correct every inconsistency of the expression
'is' and of propositions of the type 'A is b' as used in colloquial
language, nor can I bring them into harmony with the way the
expression 'c:'. and propositions of the type 'Ac:b' are used in my
ontology. It 'Yould be trite to remark that an obstinate 'collo-
quialist's' substitution - through ignorance or eccentricity - of
the use of the forms of everyday language, perhaps subjected to
various clarifying, preventative, treatments in the shape of se-
mantic palliatives, as superior to the use of 'symbolic' language,
even in scientific enunciations requiring great precision and stylis-
tic care, could easily have the 'logical' value of my own colloquial
language increased to some extent by means of the elimination
from this language - in the formulation of theses concerning
matters which demand 'delicacy' in the semantical verbal formu-
lations of the words - of all ways of operating with propositions
of the type 'A is b' which Kotarbinski calls, in one of the above
quoted passages from his book, the 'method of secondary usage'
of such propositions. Such elimination would consist in the fact
that ideas previously expressed in the 'secondary' way such as
the ideas expressed in this way by means of the propositions -
'Poland is independent', 'man is a mammal', 'seniority is a transi-
tive relation' quoted by Kotarbinski, would instead be expressed
in different forms of words depending on their character, such as
those verbal forms given by Kotarbinski in the above quotation,
which do not contain propositions of the type 'A is b' used in this
'secondary' way.
In connection with the passages of Kotarbinski 's work deal-
ing with propositions in which 'with the assistance of the present,
the past or the grammatical future' of the indicative forms of the
words 'to be' one wishes to lay stress in ordinary language on
the present, the past or the future of whatever is talked about,
and in discussing a 'treatment' of these propositions in which 'the
time mark would be transferred from the copula to the subject or
380 Stanislaw Lesniewski
25 Op.cit., p. 228.
26 See:
S. Lesniewski, '0 podstawach matematyki' (On the Foundation of
Mathematics), Przeglqd Filozoficzny 31, No. III, 1928, p. 269, footnote 1.
On the Foundations of Mathematics 381
(the expressions 'of 1930', 'of 1830' etc., would obviously not refer
here to Warsaw, but to the time-slices of Warsaw, which could -
for greater safety - be stressed with the assistance of suitably
placed brackets). However, even in the case where the expression
'Warsaw' denotes a number of objects, I would be a little afraid of
the expressions 'Warsaw of 1930' and 'Warsaw of 1830', because
expressions of the type 'a from the period X' are used in collo-
quial language in a certain quite different way, as is readily seen
in the case of the expression 'the Rector of the Warsaw University
of January 1923' which we would be inclined to use in colloquial
language to mean not so much the time-slice of the Rector of
Warsaw University of January 1923, as rather a man ('from the
beginning to the end of that man'), who was in January 1923 the
Rector of TVarsaw University.
With the aid of semantical analyses related to those which
were conducted above in connection with the theses (a)-(h), it is
possible to settle, from the point of view of my ontology, a large
number of other analogical difficulties arising out of propositions
of the type 'A is b' in colloquial language, by characterizing the
object with respect to time. But an ontologist who is betting
on a rise in the shares of a linguistic enterprise which is com-
peting against the colloquial language has no need to rend his
fine 'symbolic' garments over the difficulties resulting from the
inconsistent usage in the above mentioned colloquial language of
various expressions connected with a number of mutually com-
peting 'linguistic instincts'.
The Lesniewski Collection
The Ballieu Library ~nd the Philosophy Department of the University of Melbourne
have formed the· Lefoiewski Collection. This collection comprises all materials
published by St~islaw Le§niewski during his lifetime, and some unpublished
materials in their original languages.
Together with:
As supporting service for researchers the Ballieu Library will on application, and payment of
a fee for costs, provide micro-fiche copies of the Lesniewski. originals in the original
languages. Applications can be made to:
Philosophy Department, University of Melbourne or to:
The Ballieu Library, University of Melbourne,
Parkville 3052, Victoria, Australia.
Nijhoff International Philosophy Series
Volumes 1-8 previously published under the Series Title: Melbourne International Philosophy Series.
Nijhoff International Philosophy Series
17. I. Dilman (ed.): Philosophy and Life. Essays on John Wisdom. 1984
ISBN 90-247-2996-3
18. J. J. Russell: 1'-nalysis and Dialectic. Studies in the Logic of Foundation
Problems. 1984 ISBN 90-247-2990-4
19. G. Currie an<! A. Musgrave (eds.): Popper and the Human Sciences. 1985
ISBN Hb 90-247-2998-X; Pb 90-247-3141-0
20. C. D. Broad: Ethics. Lectures given at Cambridge during the Period 1933-34
to 1952-53. Edited by C. Lewy. 1985 ISBN 90-247-3088-0
21. D.A.J. Seargent: Plurality and Continuity. An Essay in G.F. Stout's Theory of
Universals. 1985 ISBN 90-247-3185-2
22. J.E. Atwell: Ends and Principles in Kant's Moral Thought. 1986
ISBN 90-247-3167-4
23. J. Agassi, and I.C. Jarvie (eds.): Rationality: The Critical View. 1987
ISBN Hb 90-247-3275-1; Pb 90-247-3455-X
24. J.T.J. Srzednicki and Z. Stachniak: S. Lesniewski' s Lecture Notes in Logic.
1988 ISBN 90-247-3416-9
For 'The Lesniewski's Collection' see also Volume 13 and 44.
25. B.M. Taylor (ed.): Michael Dummett. Contributions to Philosophy. 1987
ISBN 90-247-3463-0
26. A· Z.:.Ba.I"-On: The Categories and the Principle of Coherence. Whitehead's
Theory of Categories in Historical Perspective. 1987 ISBN 90-247-3478-9
27. B. Dziemidok and P. McCormick (eds.): On the Aesthetics of Roman Ingarden.
Interpretations and Assessments .. 1989 ISBN 0-7923-0071-8
28. J.T.J. Srzednicki (ed.): Stephan Korner - Philosophical Analysis and
Reconstruction. Contributions to Philosophy. 1987 ISBN 90-247-3543-2
29. F. Brentano: On the Existence of God. Lectures given at the Universities of
Wiirzburg and Vienna (1868-1891). Edited and translated from German by
Susan F. Krantz. 1987 ISBN 90-247-3538-6
30. Z. Augustynek: Time. Past, Present, Future. Essays dedicated to Henryk
Mehlberg. 1991 ISBN 0-7923-0270-2
31. T. Pawlowski: Aesthetic Values. 1989 ISBN 0-7923-0418-7
32. M. Ruse (ed.): What the Philosophy of Biology Is. Essays dedicated to David
Hull. 1989 ISBN 90-247-3778-8
33. J. Young: Willing and Unwilling. A Study in the Philosophy of Arthur
Schopenhauer. 1987 ISBN 90-247-3556-4
34. T. Z. Lavine and V. Tejera (eds.): History and Anti-History in Philosophy.
1989 ISBN 0-7923-0455-1
Nijhoff International Philosophy Series