階型理論（読み）かいけいりろん

改訂新版　世界大百科事典

階型理論 (かいけいりろん)

→タイプ理論

出典　株式会社平凡社「改訂新版　世界大百科事典」

世界大百科事典（旧版）内の階型理論の言及

【タイプ理論】より

…B.A.W.ラッセルが1901年に発見したいわゆる〈ラッセルのパラドックス〉を解決しようとして提出した理論(1908)と，その単純化，制限の解除，および変形の総称。階型理論ともいう。大ざっぱにいえば，ある言語に登場する名辞は一般に階層組織を持ち，ある階層に属する名辞にはそれよりも高い階層の名辞しか帰属しないという思想にもとづいて論理学と数学の言語を再構成し，その言語中ではパラドックスが生じないようにする理論である。…

※「階型理論」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」