コトバンクはYahoo!辞書と技術提携しています。

simple theory of types simpletheoryoftypes

世界大百科事典内のsimple theory of typesの言及

【タイプ理論】より

…しかし彼は,〈エピメニデスのパラドックス〉を初めとする意味論的パラドックスもこの原理にもとづいて解決されるべきだと信じたため,最初提出された理論は分岐タイプ理論ramified theory of typesというきわめて複雑なものであった。彼はあとで意味論的パラドックスを別に扱うべき異種のものであることを認めてこの理論を単純タイプ理論simple theory of typesに簡単化し,《プリンキピア・マテマティカ》の第2版でこれを採用した。タイプ理論のあとの発展は,理論の存在論的な面をいかに形式的な統語論に再構成するか,統語論的階層制限をどれほどゆるめ,あるいは変形してもパラドックスを生じないかということであった。…

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

今日のキーワード

プレミアムフライデー

経済産業省と日本経済団体連合会などの経済界の団体が個人消費を喚起するため、毎月末の金曜日に午後3時をめどに仕事を終えるよう企業に対応を呼びかけるキャンペーンの名称。2016年12月12日、政府と経済界...

続きを読む

コトバンク for iPhone