|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 高 ： [たか] 【名詞】 1. quantity 2. amount 3. volume 4. number 5. amount of money ・ 階 ： [かい] 1. (n,n-suf) -floor (counter) 2. stories 3. storeys ・ 述語 ： [じゅつご] (n) predicate ・ 述語論理 ： [じゅつごろんり] 【名詞】 1. predicate logic 2. predicate calculus ・ 語 ： [ご] 1. (n,n-suf) language 2. word ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment ・ 論理 ： [ろんり] 【名詞】 1. logic ・ 理 ： [り] 【名詞】 1. reason
高階述語論理（こうかいじゅつごろんり、）は、一階述語論理と様々な意味で対比される用語である。 例えば、その違いは量化される変項の種類にも現われている。一階述語論理では、大まかに言えば述語に対する量化ができない。述語を量化できる論理体系については二階述語論理に詳しい。 その他の違いとして、基盤となる型理論で許されている型構築の違いがある。高階述語（higher-order predicate）とは、引数として1つ以上の別の述語をとることができる述語である。一般に ''n'' 階の高階述語の引数は1つ以上の (''n'' − 1) 階の述語である（ここで ''n'' > 1）。同じことは高階関数（higher-order function）にも言える。 高階述語論理は表現能力が高いが、その特性、特にモデル理論に関わる部分では、多くの応用について性格が良いとは言えない。クルト・ゲーデルの業績により、古典的高階述語論理は（帰納的に公理化された）健全で完全な証明計算が認められないとされた。しかし、Henkin model によれば、健全で完全な証明計算は存在する。 高階述語論理の例として、アロンゾ・チャーチの ''Simple Theory of Types'' や Calculus of Constructions (CoC) がある。 == 関連項目 == *型付きラムダ計算 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「高階述語論理」の詳細全文を読む スポンサード リンク
|