‘The Principles of the Pure Type Theory’ is a translation of Leon Chwistek's 1922 paper ‘Zasady czystej teorii typów’. It summarizes Chwistek's results from a series of studies of the logic of Whitehead and Russell's Principia Mathematica which were published between 1912 and 1924. Chwistek's main argument involves a criticism of the axiom of reducibility. Moreover, ‘The Principles of the Pure Type Theory’ is a source for Chwistek's views on an issue in Whitehead and Russell's ‘no-class theory of classes’ involving (...) the notion of ‘scope’. (shrink)

The article describes the background of Roman Ingarden's 1922 review of Leon Chwistek's book Wielość rzeczywistości, and the back-and-forth that followed. Despite the differences, the two shared some interesting similarities. Both authors had important ties to the intellectual happenings outside Poland and were not considerd mainstream at home. In the end, however, it is these connections that allowed them to gain recognition. Ingarden, who had been a student of Husserl, became the leading phenomenologist in the postwar Poland. For Chwistek, a (...) painter, philosopher, and logician interested in Russell’s work, such connections meant that he won the competition for a professorship at the university in Lwów over Alfred Tarski. Until recently, Chwistek’s place in Polish logic remains unclear and Ingarden’s interactions with Polish logic and the Vienna Circle have not been investigated extensively. A deeper look at this intellectual fracas between Ingarden and Chwistek helps one in the study of the complicated mesh of alliances within the Lwów-Warsaw School. The article also identifies the origins of the split between phenomenology and the analytic philosophical tradition in Poland. The article is also accompanied by the translations of the reviews. (shrink)

The paper discusses whether there are strictly inexpressible properties. Three main points are argued for: (i) Two different senses of ‘predicate t expresses property p ’ should be distinguished. (ii) The property of being a predicate that does not apply to itself is inexpressible in one of the senses of ‘express’, but not in the other. (iii) Since the said property is related to Grelling’s Antinomy, it is further argued that the antinomy does not imply the non-existence of that property.

A paradox about sets of properties is presented. The paradox, which invokes an impredicatively defined property, is formalized in a free third-order logic with lambda-abstraction, through a classically proof-theoretically valid deduction of a contradiction from a single premise to the effect that every property has a unit set. Something like a model is offered to establish that the premise is, although classically inconsistent, nevertheless consistent, so that the paradox discredits the logic employed. A resolution through the ramified theory of types (...) is considered. Finally, a general scheme that generates a family of analogous paradoxes and a generally applicable resolution are proposed. (shrink)

1. For simplicity, let the domain of our first-level quantifiers, ‘∀ x’ and so on, be words, and in particular just those words which are adjectives. And let the adjective ‘heterological’ be abbreviated just to As is well known, one cannot legitimately stipulate that Why not? Well, the obvious answer is that if is supposed to be an adjective, then this alleged stipulation would imply the contradiction But contradictions cannot be true, and it is no use stipulating that they shall (...) be. Do we need to say anything more? Russell would apparently wish to add this: the stipulation is illegitimate because it attempts to define the word by a quantification over all words, and the word is itself taken to be one of the words quantified over. That is how this supposed definition would infringe his vicious-circle principle . 1 It is of course true that if our quantification is taken to range only over words of a certain kind, say first-order adjectives, and if the word is taken to be a word of a different kind, say a second-order adjective, then the contradiction is avoided. For the supposed stipulation then has no implications for whether is or is not true of any second-order words. Russell imagines the stipulation to be strengthened by adding that is to be true only of first-order words, and hence that it is not true of itself. But no contradiction now results from this. However, one must ask: did we need this explanation in terms of the VCP? It may seem helpful, because there is an initial temptation to say that the original stipulation could not be illegitimate. This is because it is thought of as introducing a new word, and explaining what it means, and one is apt to think that we …. (shrink)

Leon Chwistek's 1924 paper ?The Theory of Constructive Types? is cited in the list of recent ?contributions to mathematical logic? in the second edition of Principia Mathematica, yet its prefatory criticisms of the no-classes theory have been seldom noticed. This paper presents a transcription of the relevant section of Chwistek's paper, comments on the significance of his arguments, and traces the reception of the paper. It is suggested that while Russell was aware of Chwistek's points, they were not important in (...) leading him to the adoption of extensionality that marks the second edition of PM. Rudolf Carnap seems to have independently rediscovered Chwistek's issue about the scope of class expressions in identity contexts in his Meaning and Necessity in 1947. (shrink)