No.1ベストアンサー
- 回答日時:
こんにちは
高階述語論理はあまり得意ではないので、Wikipediaの受け売りですが、
ヘンキン意味論では、一階述語論理における完全で、健全で、有効的な証明体系を
(任意の)高階述語論理が継承します。
基本的には、この意味論では、それぞれの高階タイプに対する解釈において、
それぞれ別の議論領域を設定します。そのタイプの量化はユニバース(元々の議論領域)の
べき集合の1つの部分集合を範囲とします。これにより、この意味論における高階論理は
多重に種別分けされた一階論理と等価となるそうです。
以上、余り詳しくないが、Wikipedia "Higher-order logic" を読んでください。
と言ってもWikipediaにも高階論理についてのレビューは余りなく、詳細でもない。
この回答へのお礼
お礼日時:2014/09/15 17:32
高階述語論理について英語版Wikipediaがあったんですね!
見逃してました!
どうやら、任意の高階述語論理でもHenkin意味論では完全性は成り立つようですね。
教えていただいてありがとうございます!!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 日本語は 言語類型として あたかも始原のごとくである 3 2022/05/29 04:41
- 哲学 日本語は論理表現にふさわしくないか の問題です 4 2022/06/25 03:56
- 哲学 やせ我慢の説――日本人の和と論理思考と―― 75 2022/12/27 05:08
- その他(言語学・言語) 挨拶という行為を研究する学問は意味論でしょうか? 意味論は「話者の心理を言葉で表現する行為」, 語用 2 2022/08/03 15:57
- 日本語 脳科学の奇妙な言語獲得論 2 2022/04/04 13:13
- 物理学 標準モデルの数式 2 2023/03/09 23:25
- 哲学 われわれは どこへ行くのか? 世界の行方についての展望を問います。 79 2022/12/15 05:42
- 哲学 世界のどんでん返しは われらが日本から 1 2023/06/29 04:44
- 哲学 かむながら(随神)のみち 6 2023/01/19 09:07
- 哲学 ヨリ・イリ・ヨセなる知性の区分からインタムライズム 1 2023/05/03 01:05
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
「AならばB」で、Aが偽でBが真...
-
XOR をNAND素子のみを用いて表...
-
NANDゲートのみの論理式
-
ブール代数の問題
-
大学数学 代数学 群
-
判断推理(論理)
-
実験における誤差範囲の許容範...
-
相対誤差が小さいと判断する基...
-
計算値と理論値の誤差について
-
平均値、標準偏差の有効数字に...
-
スマホ同士の電波が干渉して聞...
-
電波干渉について
-
高一物理 なぜルート√を近似値...
-
拡散定数から拡散速度を求める...
-
携帯でよく使われる単位「hz」...
-
ステレオ放送について l-rをdsb...
-
電波特性で800Mと2Gの特徴...
-
マイクロピペットの再現性と誤差
-
テイラー展開の打切り誤差
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
【論理演算子?】AND、OR、XOR...
-
正負逆転のことをなんといいま...
-
【数学・乗法公式はどういうと...
-
(^_^.) 数学がよくできる人っ...
-
「偶然」のパラドックス
-
「AならばB」で、Aが偽でBが真...
-
XOR をNAND素子のみを用いて表...
-
NANDゲートのみの論理式
-
正直者とうそつきを見分ける質...
-
自然数は減法について閉じている?
-
数Iの宿題で出た問題です
-
除法の種類
-
論理学 : unique readability t...
-
ゲーデルの不完全性定理
-
数学と論理的思考の関係につい...
-
ちょっと複雑な質問でごめんな...
-
集合の問題で、論理式で答えを...
-
何故理系の方が論理的な文章を...
-
イプシロンデルタ論法は成り立つか
-
1bitの半加算器をNANDのみで表す時
おすすめ情報