Introduction

In defiance of suggestions that may arise in connection with the title of this paper, I am going to argue that throughout his entire creative life Józef Bocheński maintained a uniform metaphysical view with regard to universals. He was an advocate of moderate universal realism, in contemporary terminology also called immanent realism. The reason why two approaches to the problem of universals will be discussed is that in his considerations on the subject, which he undertook systematically on two occasions, Bocheński used two different methods and manners of analysis.

I am going to formulate and justify a few claims concerning Bocheński’s metaphysical and methodological views presented in two of his papers, which deal directly with the problem of universals, namely “Powszechniki jako treści cech w filozofii św. Tomasza z Akwinu” (Universals as contents of properties in St. Thomas Aquinas’s philosophy)Footnote 1 (Bocheński 1938, PTC for short) and “The problem of universals” (Bocheński 1956, ZP respectively). Some of Bocheński’s comments in two other papers, namely “Zagadnienie przyczynowości u neoscholastyków (Neo-scholastics on the problem of causality) (Bocheński 1935) and “On the syntactical categories” (Bocheński 1949) are also devoted to the topic. Due to their subsidiarity the last two papers will not figure in my analysis.

It is worth noting that Bocheński’s inquiries about the existence and nature of universals belong to the wider polemic context, which can be described as the debate over universals in the Lvov-Warsaw School. Bocheński’s analyses—apart from those of Ajdukiewicz (1930, 1932, 1934), Łukasiewicz (1910) or Borowski’s (1921)—are located on the realist side and in opposition to the nominalist fraction represented by Leśniewski (1913), Kotarbiński (1921),Footnote 2 and Lejewski (1990).

Ontological individualism

Bocheński regarded the thesis of ontological individualism as the metaphysical context for many philosophical considerations. The problem of universals was no exception. The basic claim, speaking roughly, is that each object is an individual object.Footnote 3 This thesis should be distinguished from a similar nominalist thesis. Firstly, the thesis of individualism does not exclude other ontological categories, in particular, properties or events. Secondly, it does not exclude the existence of complex objects, which have general, non-individual objects as parts. Rather, the thesis is that among really existing objects (substances) there are no objects of a general or abstract nature.

The thesis of ontological individualism is crucial for a proper understanding of Bocheński’s metaphysical views. However, it may appear to be in conflict with another thesis Bocheński held, namely, his claim that the world has a stratified structure; it is composed of objects and properties, which characterize them (Bocheński 1956 97). Now, the conflict is only apparent. According to Bocheński, properties exist, but they are not things. Furthermore, as it will turn out later, properties occur in many forms: they are both abstract contents and particular qualities of objects.

The other important role of the thesis under consideration is that it stands opposed to reductive analyses, typical of Polish nominalists who, following Twardowski (Twardowski 1894), defined universals inter alia as general objects. According to one version of the nominalist argument, a general object with respect to the set of individual objects (at least two such objects) is an object which can possess only these properties which are common to all individual objects in question (Kotarbiński 1921, 104; Leśniewski 1913, 142). Prescinding from numerous issues hidden in the above formulation, it is worth noting that a universal is treated here both as an object and a general object. Anyone who accepts the existence of universals has to either abandon the thesis of ontological individualism or reject the above definition. It is therefore entirely understandable why in PTC Bocheński emphasizes—following St. Thomas—that “A universal is not a thing” (Bocheński 1938, s 138 and 139).

The thesis of ontological individualism likewise sheds light on the distinction between properties as particular qualities and properties as abstract contents. I will have more to say about this distinction below.

Immanent realism

In the debate on universals, immanent realism is—apart from nominalism, conceptualism, and extreme realism—one of the four classic positions. This doctrine is known also as moderate universal realism or Aristotelian realism. In broad outline the idea is that: (1) universals exist; (2) they are ontologically dependent upon objects which exemplify them (therefore they are not of a substantial nature; they exist only in so far as they are instantiated); (3) they are not of such a nature as to be necessary. As characterized, they are universals in rebus.

Immanent realists present considerable variation as to the more specific issues. Indeed, the above general formulation of the doctrine does not resolve the following issues: (a) how universals can be located in space; (b) whether they can enter into causal relations; (c) whether they can be observed; (d) whether they are hierarchically arranged; (e) whether there are conjunctional, disjunctional or negative universals; (f) whether there are any formal relations between them (i.e. entailment or inclusion). Both in PTC, ZP, and other papers, Bocheński has clearly stated his commitment to immanent realism. At the same time he distances himself from the extreme version of realism (Bocheński 1949, 278).Footnote 4 Although Bocheński did not express his views regarding many of these specific issues, besides recognizing the existence of universals, he appeared to accept the exemplification principleFootnote 5 and questioned the substantial nature of universals. He was especially concerned with the last issue, particularly in PTC, partly as a result of his polemics with Kotarbiński and Leśniewski.

The theory of universals in PTC

Bocheński begins the outline of the theory of universals by introducing an appropriate language. The language includes the following syntactic categories:

  1. a)

    individual variables (‘x’, ‘y’);

  2. b)

    two-place sentential functors (‘≠’, ‘=’);

  3. c)

    one-place first level functors (‘φ’);

  4. d)

    one-place second level functors (‘P’);

  5. e)

    sentences (and sentence functions);

  6. f)

    one-place sentence connectives (‘~’);

  7. g)

    two-place sentence functors (‘→’, ‘∧’);

  8. h)

    quantifiers (‘∀’, ‘∃’).

The definition of a universal is the following:

  1. (1)

    P(φ) = ∃x, y [(φxφy) ∧ x ≠ y],

which should be read: ‘φ is a universal’ is the same as ‘there are at least two different objects x and y, such that x is φ and y is φ’.

The realist thesis has the form:

  1. (2)

    φx, y [(φxφy) ∧ x ≠ y].

This thesis should be read as follows: ‘There is at least one such φ, that there are at least two different objects x and y, such that x is φ and y is φ’.

The nominalist thesis would be negation of the thesis (2), thus:

  1. (3)

    ~ {∃φx, y [(φxφy) ∧ x ≠ y]}.

According to Bocheński, the following thesis can be obtained from statement (3) deductively on the basis of any sufficiently developed two-valued system of logic:

  1. (4)

    φx, y [(φxφy) → ~ (x ≠ y)],

so the thesis, that ‘for any φ and for any x and y: if x is φ and y is φ, it is not true that x is different from y’ (Bocheński 1938, 147). According to Bocheński this would lead to paradoxes: two white things (e.g. a wall and a lump of sugar) would have to be identical; therefore, the names ‘wall’ and ‘lump of sugar’ would be names of the same thing. Furthermore, the same conclusion could be drawn for any two things with the same properties.

A substantial part of Bocheński’s paper is devoted to interpreting the concept of ‘universal’ on the basis of St. Thomas Aquinas’ text and to confront the interpretation with possible reist objections.

According to Bocheński, the main difficulties concerning universals result, as mentioned, from interpreting universals as things. St. Thomas’s texts give clear solution: a universal is not a thing, but it is something which occurs in many things. Therefore a universal is a property—universale non significat hoc aliquid, sed quale (Bocheński 1938, 138).

Since a universal is a property (qualitas), and a property is a quality (accidens), and the essence of an object is defined by universals, then the essence itself is defined by qualities. The consequent of this conditional is not acceptable within the framework of Aristotle’s and St. Thomas’s ontology. Therefore, among all the qualities accidental qualities (qualitates accidentalis) have to be distinguished from substantial qualities (qualitates substantialis). Universals would constitute essential qualities, although they still would be properties (qualitatis).

Kotarbiński’s arguments do not apply to universals interpreted in this way, because he implies that a universal is a thing. However, the following difficulty arises. It may be doubted not only whether there exist universals as things, but also whether there are any universals as properties. Bocheński says that he is perfectly certain about the existence of properties and if anyone doubts their existence this is due to two misunderstandings.

First, reists, for example, seem to identify the mode of existence of properties with the mode of existence of things. Bocheński writes that reists “seem to assume that when we say ‘A property φ exists we assign to the word ‘exists’ exactly the same meaning which we associate with the equiform word when we read the sentence ‘A donkey exists’ ” (Bocheński 1938, 139–140).Footnote 6 According to Bocheński, no supporter of universals claims something of the sort. It is worth specifying that the function ‘a property φ exists’ is tantamount to the function ‘there is an x, such that a property φ appears in x’—the function, which changes into a true sentence, when we substitute a word for the variable ‘φ’, for example ‘white’.

Second, reists confuse the problem of the mode of existence of properties and things with the issue of the ontological difference between things and properties. The second of the topics mentioned, which Bocheński takes to be much more difficult than the others, is not connected with the issue of the existence of universals.Footnote 7

There is a further difficulty. St. Thomas recognizes the meaningfulness of sentences the subject of which is the name of a universal. However, were a universal a property, its symbol would rather have to be a functor, not a functor’s argument. It seems that in order to remove this difficulty it is possible to eliminate the artificial division into subject and predicate. For example the sentence ‘A human is white’ can without any complications be written as: ‘For any x, if x is a human, x is white’. By that means, what had been a subject, is now a functor. Generalizing, we obtain the following formula:

Everything that possesses a property φ, also possesses a property ψ.

However, according to Bocheński, this approach is inaccurate. The point is that our language is too imperfect “to […] be able to articulate and our mind to come to know all reality […]” (Bocheński 1938, 148), including even the mere possession of a property by an object. Apart from that, any property of a particular object is also particular,Footnote 8 whereas a universal is not of a particular nature. In the case of many objects what is general in property exemplification is a content of the property in question, not the property itself. Therefore, universals are not simply properties, but contents Footnote 9 of these properties. This, in turn, would suggest that the terminology introduced above is not perfectly adequate, because «the smallest» element of this terminology is the notion of property, not the notion of content of a property. Simultaneously this would also suggest that the terminology should be improved by introducing symbols denoting contents of properties.

However, according to Bocheński, such an intervention is not necessary, because our language is so structured that whenever we attribute properties to objects, we likewise attribute contents. We must therefore accept the relative inaccuracy of language. Consequently, according to Bocheński, there is no reason to distinguish—on the level of formal reconstruction—a property from its content; “you only need to remember that when we say ‘φ is in x’ we always understand ‘φ’ as a content, not a real quality with all its elements, appearing with it in an object—because such functors must not be used at all” (Bocheński 1938, 148–149).

The main objection to Bocheński’s conception is that his definition of universals is too broad. In light of this definition, each property had by two non-identical individuals is a universal. Whereas, in fact, every property is a universal. Therefore, the following, preliminary question should be formulated: Are properties universals? In light of Bocheński’s analysis this question should be answered negatively: properties are not universals; it is rather contents of properties that are universals.

In turn, the term content of a property—despite Bocheński’s assurances—still remains unclear. Once we add to that the fact signaled by Bocheński himself—the fact, namely, that contents of properties can only be expressed in the terminology of properties—this confuses the matter even more. Moreover, we do not have any clear criterion here by which to determine when a given statement is about properties and when it is about the relevant contents of these properties. This observation is important, because, after all, there may be contexts in which we would like to talk about the properties, not about their contents. Therefore, there is—contrary to Bocheński’s intentions—a need to for formal reconstruction of ontological issues, both in the terminology of properties and in that of their contents.

The formulation of the problem of universals in ZP

In 1956, Bocheński returned to the problem of universals in ZP, where he attempted to reformulate the relevant issue. Bocheński’s article appeared in connection with the philosophical conference which took place in March of that year at the University of Notre Dame, Indiana. The congress was devoted entirely to the problem of universals and it two prominent philosophers took part: Alonzo Church—a Platonist, and Nelson Goodman (Bocheński 1993b)—a nominalist.

Bocheński claims that each approach to the problem of the existence of universals is relative to the chosen ontology. For his part, Bocheński assumes, as before, ontological individualism. The problem of universals boils down to the simple question: ‘Do universals exist?’ The answer to this question, however, depends on the meaning of the term ‘universal’. Bocheński lists five possible “strata” of reality to which the term is sometimes applied:

  1. (a)

    linguistic symbols (inscriptions or sounds as physical bodies);

  2. (b)

    subjective mental entities (ideas);

  3. (c)

    objective meanings (Stoic “λεκτα”);

  4. (d)

    phenomenal realities in the sense of Husserl;

  5. (e)

    transcendent beings (existing outside of reality).

According to Bocheński, of those five “strata” the second and the fifth can be immediately excluded, as they are not suited for investigating the problem of universals. This is because subjective mental entities are real and concrete and transcendent beings remain beyond our cognitive reach.Footnote 10 Therefore, the problem of universals is related to the three remaining “strata”: linguistic symbols, objective meanings, and phenomenal realities.

Bocheński assumes that a linguistic symbol can be considered as general if and only if (at least) two symbols of the same shape (as the given symbol) are predicated of two different objects.

This idea can be expressed more precisely as follows: for any x and y: x is a general symbol of y if and only if there is at least one z, t, u w, such that:

  1. (a)

    z and t are y-a symbols;

  2. (b)

    x, z, t are equiform;

  3. (c)

    z is predictated of u and t is predicated of w;

  4. (d)

    u is different from w.

This can be written formally as follows:

  1. (1)

    x, y {Og(x, y) ≡ ∃z, t, u, w [zSytSyzRxtRxzOutOwt ≠ u]}.Footnote 11

In that case, according to Bocheński, two questions arises:

  1. (a)

    are the general symbols components of any effective languageFootnote 12;

  2. (b)

    what kind of general symbols have to be components of an effective language.

The first of these questions has an easy solution: in any effective language there are some general symbols; for instance without general symbols no classification would be possible. The second issue is much more complex, but also more important for the problems in question here: any opportunity to get rid of the general symbols (and hence, also, their meanings and denotations) from specific languages would be tantamount to “cancelling” the problem for those languages.

According to Bocheński, this issue can be reformulated in the following question:

  1. (b')

    ‘does any effective language have to have a primitive syntactic category of general terms’?

In resolving this issue Bocheński focuses on one selected effective language, namely, Russell’s and Whitehead’s Principiorum language. It includes the following syntactic categories in it:

  1. (a)

    individual variables: ‘x’, ‘y’…;

  2. (b)

    one-place functors for names: ‘φ’, ‘ψ’…;

  3. (c)

    existential quantifier: ‘∃’;

  4. (d)

    sentence variables: ‘p’, ‘q’;

  5. (e)

    two-place functors for sentences: ‘|’.

The problem of universals, according to Bocheński, arises with respect to symbols of group (a), (c), (d), and (e).Footnote 13 Therefore, it arises only in relation to the symbols of functors with nominal arguments (‘φ’, ‘ψ’…).

In the “λεκτα” “stratum” the following further questions appear:

  1. (a)

    are there any meanings at all?

  2. (b)

    are there any general meanings?

Because the word ‘meaning’ is itself ambiguous its meaning has first to be determined. Bocheński proposes to divide meanings into:

  • (α) syntactic meanings (the meanings of terms comes down to a set of linguistic rules applicable to these terms);

  • (β) semantic meanings (syntactic rules do not exhaust meanings of terms; these meanings are also determined by suitable interpretations of the given language).

Semantic meanings come in two varieties:

  1. (i)

    operational semantic meaningsFootnote 14;

  2. (ii)

    eidetic meanings.Footnote 15

Bocheński’s approach with regard to the issue (a) can be expressed in the form of the following statements:

  1. (2)

    Some symbols have only syntactic meanings, and thus also:

  2. (3)

    Some symbols do not have semantic meaning;

  3. (4)

    Each symbol with semantic meaning has also operational semantic meaning;

  4. (5)

    Some symbols have eidetic meaning;

  5. (6)

    Some symbols do not have eidetic meaning.

To those who deny the existence of eidetic meanings, claiming that machines, on the basis of stimuli replacing symbols, can behave just like people, Bocheński says that “this has never been proved that it is possible in any case” (Bocheński 1993a, 88).

In addition Bocheński claims, that:

  1. (7)

    “a direct overview of what takes place in us when we understand a symbol leads us to adopt eidetic meanings”;

  2. (8)

    “there is no a pragmatic test for the opposite claim formulated by the […] opponents”;

  3. (9)

    “the entire theory of verifiability is so hopelessly murky that we can not see any reason that would lead us to accept something as poetic and romantic” (Bocheński 1993a, 88–89).

Now Bocheński transforms the (b) issue into the question:

  1. (b')

    are there are any eidetic meanings?,

which further divides into specific problems:

  1. (b’1)

    which symbols of language must be considered as having eidetic meaning;

  2. (b’2)

    on the assumption that there is a non-empty class of such eidetically meaningful symbols, should it be assumed that the elements of this class are unambiguous symbols, i.e. do two equiform symbols have to have the same meaning?

Bocheński answers these two questions positively. First, it is not possible to eliminate even one-place functors for names. For the metalinguistic rules the following circumstance arises: metalinguistic sentences objectively refer to certain bodies, namely to inscriptions; expressions of the type ‘shape of the letter T’ must have semantic meaning, because otherwise we could not adjudicate “which pile of dried ink is the letter t” (Bocheński 1993a, 90).

Second, the hypothesis about the ambiguity of equiform symbols is refuted by the following arguments:

  • assuming the ambiguity of symbols it would be difficult to explain the fact of communication;

  • the hypothesis about the ambiguity of symbols must itself be formulated in unambiguous language, otherwise it would be inexplicable (would be babble).

However, with regard to the “stratum” of phenomenal realities, Bocheński makes the following claims:

  1. (10)

    “Some of our classifications of specific objects within scientific languages are not completely arbitrary.”

  2. (11)

    “Whenever classification is not completely arbitrary, something in the classifiable objects justifies the classification.”

  3. (12)

    “There are objects which are linked together in such a manner that this relation justifies our classification.” (Bocheński 1993a, 92–94).

Bocheński justifies claim (10) by the following simple thought experiment. Let us assume that we are dealing with three arbitrarily specified objects: x, y and z, and with three classes selected just as arbitrarily: φ, ψ and χ. Let us further assume that in the considered domain the following statements are true:

  1. (i)

    x (~φxψxχx);

  2. (ii)

    y (φy ∧ ~ ψyχy);

  3. (iii)

    z (φzψz ∧ ~ χz).

Our classification will be as follows:

  • φ = {y, z};

  • ψ = {x, z};

  • χ = {x, y};

  • ~φ = {x};

  • ~ψ = {y};

  • ~χ = {z}.

It is easy to see that the assumed objects, classes, and statements are completely arbitrarily. However, the classification itself, based on the assumed statements, is no longer arbitrary: “if we classify objects in terms of χ, it is not arbitrary that we lay z aside,” it is something “which does not depend on our will” (Bocheński 1993a, 92–93). Justification of claim (11) consists in Bocheński’s rejection in this regard of epistemological idealism and Platonism. Because claim (12) follows from claim (11), it should be considered as well-grounded. And claim (12) says that there is a relation which justifies our classifications. The problem of universals for the real world ipso facto comes down to the question, what this relation is. Two competing theories—the so-called similarity theory and the identity theory—answer this question.

According to the similarity theory, a relation that holds between the classified objects depends on their similarity (of course, it is a reflexive and symmetrical relation). At the same time this theory denies that there is allegedly any total or even partial identity between classified objects. Whereas the identity theory says that the relation that binds classified items is the identity of “aspects” of these items (in other words: the identity of some of their properties), where this relation holds between these “aspects”, not between the classified objects.

An important difference between these theories, according to Bocheński, is that the identity theory makes ontological assumptions that the similarity theory does not. This is because within the identity theory the existence of properties is assumed, whereas in the similarity theory there is no such assumption. Indeed, some similarity theories simply reject the existence of properties.Footnote 16

A clear example of the similarity theory—according to Bocheński—is Leśniewski’s ontology. In that theory, the world is presented as not stratified, deprived of properties, consisting only of individuals. For this theory, there is a suitable criterion for formulation, namely Quine’s criterion: “to be is to be the value of a variable” (Bocheński 1993a, 96). According to Bocheński, Goodman and Quine interpret functors not as variables but as “schematic letters” or “imitation letters,” indicating thereby that they do not have correlates in the phenomenal world (Goodman and Quine 1947). Bocheński claims that Goodman-Quine’s approach must be rejected for two reasons. First, it is rejected on intuitive grounds; the world must be stratified: when we find ‘φa’ to be true, there must be in the world something which corresponds both to ‘a’ and to ‘φ’. Second, as indicated above, each component of an effective language can be effectively reduced by analysis to one of the five syntactic categories of Principia: ‘x’, ‘y’…; ‘φ’, ‘ψ’…; ‘∃’; ‘p’, ‘q’; ‘|’. In turn, individual names “can be replaced by descriptions, then the descriptions are replaced, contextually by formulas containing only variables, functors, quantifiers, and a vertical bar (Sheffer’s stroke)” (Bocheński 1993a, 97). Ultimately, all that can be said about the world can be said with the use of functors; we do not need individual names, they only play the role of variables as “empty places” (they have a purely operational meaning).

In this case, since individual variables function only as “empty places” and—on the basis of Quine’s criterion—nothing in the world corresponds to functors, it would be consistently acknowledged that none of our assertions about the world really assert anything. Bocheński rejects this conception, because it leads to extreme scepticism. At the same time, Quine’s criterion must be rejected too: if the world is stratified and is composed of at least two types of entities of different ontological status, the expression ‘to exist’ in relation to these two types has to have different meanings. Quine’s criterion, which can be used for individuals, is not applicable to the “stratum” of properties; “because existence, in the case of property, is not the value of variable, but is the determination of value for a variable” (Bocheński 1993a, 98). Bocheński writes: “So to say that there exists something that is denoted by φ, is equivalent to saying ‘∃x φx’, not to ‘∃φ φx’. The latter formula is deceptive, because it seems to assign the same mode of existence to a property that is assigned to value x. When we ‘∃φ φx’, a property is brought to an object” (Bocheński 1993a, 98).

Generally, Bocheński rejected the similarity theory for the following two reasons. The first is the circumstance that “any clear statement about classified objects becomes unmanageable and complex” (Bocheński 1993a, 99)Footnote 17 For example, in so far as an identity theorist would be willing to accept the sentence:

  1. (13)

    x, y [φxφyx ≠ y],

a similarity theorist would have to treat the sentence (13) as the abbreviation of the following sentence:

  1. (14)

    f, g, x, y [fHgfPxgPyx ≠ y].

In the case of classification of three objects, a supporter of the similarity theory would have to accept a very complex sentence:

  1. (15)

    f, g, h, x, y, z [fHggHhhHxfPxgPyhPzx ≠ yy ≠ zz ≠ x],

while the following thesis would suffice for the identity theorist:

  1. (16)

    x, y, z [φxφyφzx ≠ yy ≠ zz ≠ x].

Another reason to reject the similarity theory is that “the similarity theory cannot be formulated in an other way than in terms of the identity theory” (Bocheński 1993a, 100), which is self-evident as soon as one investigates the construction of formulas (14) and (15) above (de facto the similarity theory assumes the identity theory).

However, the identity theory faces the following theoretical difficulty. Suppose that the following statement is true:

  1. (13)

    x, y [φxφyx ≠ y].

Therefore, there are two non-identical individuals (x, y) which have an identical property (φ). Since the individuals (x, y) are not identical, there is at least one such property (e.g. ψ) which is had by one individual and not by the second one. Then suppose that in addition to the statement (13), the following sentences are true:

  1. (17)

    x [φxψx];

  2. (18)

    y [φy ∧ ~ ψy].

Now let us call the ‘θ’ property the property of ‘existing in x together with ψ’. This property (of the second level) will be had by φ in x, but not had by φ in y. Therefore, there is at least one such property θ that θ is had by φ in x, but not had by φ in y. It follows from this further that φ possessed by x is not identical with φ possessed by y. This is contrary to the initial findings. This example suggests that identity with regard to individuals is not the same as identity with respect to properties. The second identity (\( \mathop = \limits_{S} \)) cannot—as displayed above—be defined as follows:

  1. (19)

    φ \( \mathop = \limits_{S} \) ψ ≡ ∀θ [θ(φ) ≡ θ(ψ)];

  2. (20)

    φ \( \mathop = \limits_{S} \) ψ ≡ ∀θ {θκ → [θ(φ) ≡ θ(ψ)]}.Footnote 18

It seems that the required definition should be formulated as follows:

  1. (21)

    φ \( \mathop = \limits_{S} \) ψ ≡ ∀x [φx ≡ ψx].

According to Bocheński, if statement (21), within the framework of “applied” logic entailed statement (13), the inconsistency indicated above would still remain.

The result of these considerations—according to Bocheński—is the thesis about existence of two kinds of identity: N-identity characteristic of individuals (defined in (19)) and S-identity characteristic of properties (defined in (20) and (21)). The result is also a fundamental distinction between two ontological “strata”: the “stratum” of objects and that of properties. Yet a further result is the thesis that extreme realism and nominalism fail to formulate the problem of universals at all, whereas for an ontological individualist this issue is first of all the matter of explaining the nature of identity.

Bocheński’s analysis of the problem of raises a few doubts. First, in my opinion, Bocheński goes too far when he links Leśniewski’s ontology with the formal features of Principia and with Quine’s ontological criterion as well as with Quine and Goodman’s “Steps toward a constructive nominalism.” Quine’s criterion concerns first-level theory, whilst in Leśniewski’s language it is easy to quantify over variables of any type and in this connection the criterion in question should be treated with reservation within ontology. Additionally, it is not prejudged whether within ontology the range of quantification covers only the domain of individuals. In ontology, as far as I know, a reduction of individual names to relevant variables and functors, as proposed by Bocheński, cannot be carried out by means of descriptions: this is due to differences in the syntactic construction of ontology and the Principia. Furthermore Leśniewski—unlike Quine and Goodman—constructed systems of universal importance, whereas Quine and Goodman attempted merely to provide nominalist definitions of a few terms of predicate logic.

As far as the identity theory is concerned, in ontology, compared with the predicate calculus, there are at least three kinds of identity. We can speak of singular (ordinary) identity, “strong” (extensional) identity and “weak” identity.Footnote 19 Perhaps the different kinds of identity defined in Leśniewski’s ontology would allow for a more accurate analysis of the problems associated with the identity and similarity theories. Unfortunately, Bocheński omitted this possibility in his text. As for quantification over properties, it can be argued—contrary to Bocheński—that such a procedure does not have to mean reification of properties. This would be the case were we to transform Quine’s criterion into a criterion claiming that to be a thing means the same as to be the value of a quantified variable. Quine’s ontological criterion is applicable only to existence, not to the nature of existing objects, recognized as values of quantified variables.

Comparison of the presented approaches

The analyses presented above differ significantly, but they also have some points of convergence that can easily escape attention when they are examined superficially. But first let us look at some rather obvious differences.

Firstly, these reconstructions differ as to the purpose for which they were intended. In regard to PTC, Bocheński’s clearly stated objective was to report and interpret “St. Thomas Aquinas’ ontological theory of universals.” He considers it approvingly, explicite confessing that he recognizes Aquinas’ approach to be the “solely accurate” one. The task of ZP—at least overtly—was not so much to resolve the issue, but rather to formulate it clearly and unambiguously. Although the results, which Bocheński obtained in ZP, suggest a realist solution, the analysis itself can be can be regarded, to some extent, as ontologically neutral.

Secondly, both texts differ significantly in respect to the adopted method of inquiry. In PTC this method is largely a historical analysis, supported with ontological interpretations and reconstructions within first-level predicate calculus l with identity. However, in ZP, the analysis is carried out only by logical analysis supported with the formalism of Principia, but—and this is noteworthy—the analysis goes well beyond the the first level language.

Thirdly, these papers vary in scope and granularity of the issues discussed. PTC directly provides analyses and ontological conclusions, while ZP puts such solutions—considered as possible—in the background, taking as its salient subject matter the five aforementioned “strata”: language symbols, subjective mental entities, objective meanings, phenomenal realities and transcendent entities. Therefore, in ZP, the subject matter is extended to a broad spectrum of semantic issues.

Fourthly, both papers differ significantly in regard to the philosophical contexts in which they were set. Regarding PTC, the immediate context of Bocheński’s analysis are the philosophical discussions held within the Lvov—Warsaw School, in particular, disputes concerning universals, involving Ajdukiewicz, Kotarbinski, Leśniewski, Łukasiewicz, and Ingarden. By contrast, the analyses included in ZP have a much wider context: they include not only the legacy of Lvov—Warsaw School, marked by the references to Leśniewski’s approaches, but also refer to discussions that took place in the first half of the twentieth century within mainstream analytic philosophy.

Despite these differences, both papers have several features in common. First, their tenor—explicitly in PTC, implicitly in ZP—is realist. In both texts Bocheński represented himself as a moderate realist. Second, both papers reduce the problem of universals to an adequate ontological interpretation of properties. Only the manner of the reduction differs: in PTC it consists in extracting the notion of content of a property from the notion of a property, while in ZP the method is to consider identity for individuals and properties (vide: involvement of the term of S-identity). Third, both papers are characterized by a fairly clear negative evaluation of nominalists’ reconstructive efforts: in the case of PTC the reference is to Kotarbiński’s analysis, while in ZP it is directed against the reconstructions by Quine, Goodman, and Leśniewski.

Conclusion: the lesson from Bocheński

The question naturally arises whether Bocheński’s analysis presents, from the point of view of a contemporary philosopher, any particular intellectual value. I daresay it does. Here are some reasons why I think so. Firstly, the distinction, in accordance with Aquinas, between particular properties and the contents of these properties anticipates, in my opinion, the doctrine which admits properties as tropes and properties as universals as fundamental ontological categories.Footnote 20 Incidentally, I might add here that I support this view. There remains, of course, the question of the coherent development of an approach of this kind, but Bocheński provided the general outline.

Secondly, it is worth bearing in mind, even from a contemporary point of view, that according to St Thomas whenever we attribute something to something we attribute to it abstract properties (i.e. contents). Language is not and cannot be an exact copy (model) of reality. Perhaps this fact is partly responsible for the ongoing philosophical disputes within which the said complication is ignored. Although Bocheński offers no recipes, he does provide a valuable diagnosis.

Thirdly, Bocheński rightly realises—while considering nominalist arguments—that delivering appropriate paraphrases or accepting this or that formal reconstruction of everyday speach is not and cannot be in itself a solution to ontological problems. An adequate paraphrase is always a symmetrical relation, and the possible reconstruction of natural language based on the theory of syntactic categories, which almost automatically allows for nominalistic reasoning, bears the marks of the petitionis principii fallacy (Bocheński 1949, 278). Moreover, similar reservations can be formulated not only with regard to nominalist attempts.

I would like to end my reconstructions of Bocheński’s analysis with two additional comments.Footnote 21 The first concerns the conception which maintains that there is a difference between particular properties and contents of properties. Now one can accept all of Bocheński’s findings in this matter but continue beyond the point where he stopped. Because, contrary to Bocheński, we can, on the one hand, readily accept the idea of language as an inaccurate copy of reality, but, on the other hand, we need not refrain form exploring ontologically the difference in question.Footnote 22 Bocheński did not do so.

The second critical comment concerns the concept of S-identity. I think that Bocheński rightly sees properties as the core of the problem of universals when he distinguishes the specific notion of identity for properties. However, I do not think the very concept of S-identity is the key to solve the relevant problem. I suppose that Bocheński’s recourse to this concept is the effect of having abandonedFootnote 23—at least implicitly—the distinction between properties as tropes and properties as contents. In my opinion, the basis for further analysis of the problem of universals should be sought precisely in this difference, not in S-identity.