From his analysis of the paradoxes described above in the section Cardinality and transfinite numbers, he concluded that they are associated with sets that are "too big," such as the set of all sets in Cantor's paradox.
In particular, non-well founded sets are applied to the analysis of the paradoxes, to the semantics of natural languages and to theoretical computer science (see Barwise and Etchemendy 1984, Barwise and Moss 1996).
In this stimulating environment, Tarski developed his fundamental analysis of semantical paradoxes, first dating back to 1929 and 1930, reported by Łukasiewicz to the Polish Society of Sciences in Warsaw in 1931 and then detailed in the long memoir of 1935 (see the entries on Tarski and on Tarski's truth definition).
MARGARET McGIRR Greenwich, Conn., Sept. 26, 2012 The power of misleading paid advertising should be added to Mr. Furstenberg's valid analysis of the "American paradox".
This has two effects on the analysis of Skolem's Paradox given in the last section.
So, although the naive realism of sections 2.1 2.4 is useful for expository purposes, it's not essential to the underlying analysis of Skolem's Paradox.
Nor should this fact be all that surprising: if we put enough philosophy into our analysis of Skolem's Paradox, then we should expect to get at least a little philosophy out.
In "Is the class of classes not subordinate to themselves subordinate to itself?" (1914) Leśniewski offers his first published analysis of Russell's Paradox, claiming that 'the class of As' refers to the unique mereological sum of As, so that since every object is subordinate to itself, no class of objects is not subordinate to itself, and Russell's Paradox fails to arise.
While some contextualists like Burns (1991) make use of this idea to defend a purely pragmatic analysis of the sorites paradox which leaves classical semantics and logic intact, others see consequences for logic and semantics and advocate a non-classical approach.
In his analysis of the Liar paradox, Russell assumed that there exists a true entity the proposition that is presupposed by a genuine statement (e.g., when I say that Socrates is mortal, there is a fact corresponding to my assertion and it is this fact that is called 'proposition').
