ramified theory of types

...A set of individuals is not an individual in itself, and a set of sets of individuals is not an individual in itself. However, he believed that semantic paradoxes, such as the Epimenides paradox, should also be solved based on this principle, so his first theory was a very complicated one called the ramified theory of types. He later recognized that semantic paradoxes are a different kind of thing that should be treated separately, and simplified this theory to the simple theory of types, which he adopted in the second edition of Principia Mathematica. ...

*Some of the terminology explanations that refer to "ramified theory of types" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…こうして，個体集合はそれ自身個体ではなく，個体集合の集合はそれ自身個体集合ではないことになる。しかし彼は，〈エピメニデスのパラドックス〉を初めとする意味論的パラドックスもこの原理にもとづいて解決されるべきだと信じたため，最初提出された理論は分岐タイプ理論ramified theory of typesというきわめて複雑なものであった。彼はあとで意味論的パラドックスを別に扱うべき異種のものであることを認めてこの理論を単純タイプ理論simple theory of typesに簡単化し，《プリンキピア･マテマティカ》の第2版でこれを採用した。…

※「ramified theory of types」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報