Simple theory of types

Theory developed by Bertrand Russell (1872-1970) to deal with paradoxes like his paradox of classes: is the class of all classes that are not members of themselves a member of itself? If yes, no; if no, yes.

Russell said there is no such class. Classes (and also properties) cannot all be lumped together, but form a hierarchy. Objects are of type zero. Classes of objects are of type one. Classes of type one classes are of type two, and so on. The class of all type n classes is of type n+1, but there is no class of all classes (or property which applies to all properties).

This is the simple theory, which Russell developed only as part of the ramified theory (see ramified theory of types). This latter (which also applies to propositions) resolves the various paradoxes, but lets us speak only of classes and so on of a given level; notions like class-membership, property, and truth (in the case of propositions) become systematically ambiguous over the hierarchy of levels of classes, properties, or propositions.

Other solutions have therefore been sought, but Russell’s paradox and similar ones revolutionized logic early in the 20th century.

I M Copi, The Theory of Logical Types (1971)

4 thoughts on “Simple theory of types

  1. Terrance Gorzynski says:

    Thank you, I’ve just been looking for information about this subject for a long time and yours is the greatest I have came upon so far. However, what in regards to the conclusion? Are you certain in regards to the supply?

  2. Deangelo says:

    Hi there it’s me, I am also visiting this website on a regular basis, this web
    site is in fact pleasant and the viewers are really sharing fastidious thoughts.

Leave a Reply

Your email address will not be published. Required fields are marked *