- 締切済み
二階述語論理と高階述語論理について
(1)二階述語論理というものが調べても分からないのですが、一階述語論理の発展形なのでしょうか。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1110226389... 具体例を調べても、これぐらいしか出てきませんでした。 例えば、対象aの性質Pについて、一階述語論理だとP(a)と書けますね。 二階述語論理では対象だけでなく述語も量化できるそうですが、すると、P(a)を量化してQ(P(a))といった記述が可能になるのでしょうか。 (2)二階述語論理のさらに上の三階・四階述語論理といったものは存在しないのでしょうか。 (3)高階述語論理と二階述語論理の関係は何でしょうか。 二階述語論理が、高階述語論理の一部なのでしょうか。
- selfless
- お礼率28% (579/2033)
- 数学・算数
- 回答数3
- ありがとう数3
- みんなの回答 (3)
- 専門家の回答
みんなの回答
- itshowsun
- ベストアンサー率41% (15/36)
この質問を理解するためには、 項とは何か、述語とは何か、最も基本的なことについて、 集合またはクラスで説明できることが必要です。 そうすると長くなるので、簡単に説明します。 一階述語論理の最大の問題は量化の範囲です。 一般に、量化の範囲は議論の領域に一致していると仮定されます。 日常言語を例に取りますと、これは次のようなことです: P(a)= 「aは市場に行く」 この否定~P(a)は、それではどんな意味になるのか、考えてみます。 普通は、 1.aは市場に行かなかった 2.aは学校に行った などでしょう。この場合、2では目的地が量化の範囲として仮定されています。 しかし、 3.bは市場に行った 4.aはプールで泳いだ。 なども、P(a)の論理否定ではないでしょうか? (3は主語、4は述語が量化の範囲です) これらの場合、量化の領域が異なっています。 様々な量化の領域を考える場合、量化の領域それ自体の範囲を考える場合、 一階述語論理ではそれを表現できません。 (注:異なる量化の領域たちを別々の(定)集合として与えるだけ) 二階述語論理は集合たちの集まりを量化の領域と考えますので、 上のような状況をきちんと記述することができます。 特に、変項に型を考える場合、型それぞれに特定の集合が対応するわけですから、 二階言語が必要となります。この場合は型理論と呼ばれます。 これ以上の高階の論理も使われますが、 残念ながら私の理解を越えていますし、 一階言語で集合論が完全に記述できるので、 普通の数学では一階言語で十分であると思います。
- Tacosan
- ベストアンサー率23% (3656/15482)
(1) だけ: 「述語を量化する」というのは, 例えば「任意の述語について~」という命題が書ける, ということです. いちばんわかりやすいのはペアノの公理にある ∀P[{P(0) ∧ ∀k[P(k) → P(k+1)]} → ∀k P(k)] でしょうか.
お礼
ありがとうございます。 Pが述語であり、それを量化できるということですね。
- NemurinekoNya
- ベストアンサー率50% (540/1073)
お礼
Wikipediaはもちろん読みましたが、この記述は私のような初心者には分かりにくいですし、他に分かりやすいページも見つからなかったので、トピックを立てました。
関連するQ&A
- 一階の言語で書かれた集合論と二階論理
述語の量化のためには二階論理を使う必要があるということを読んだのですが、 zfcの公理系は一階述語論理の言語で書かれていますよね。 zfcにおいては対象は集合であり、その量化は集合の量化つまり述語の量化になるのではないでしょうか。一階の言葉で書かれた集合論で述語の量化ができているようにみえるのです。 上の内容でなにか勘違い、思い違いをしていると思います。それはどこでしょうか、また集合論と二階論理は本質的に何が異なるのでしょうか。この方面に詳しい方、いらっしゃいましたら助けてください。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 他サイトQ&Aの爆笑回答・笑える珍回答
ここのサイトのQ&Aを貼ると削除対象になりますが、 他のQ&AサイトのURLは貼っても大丈夫みたいです。 試しに私がまず貼ってみます。ww http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13100914248 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13106810738 爆笑回答・笑える珍回答があったら教えてください。
- 締切済み
- アンケート
- 海外旅行の質問に対する、嫌がらせ
このサイトで、以下のような質問をした場合に嫌がらせはありますか?。 別のサイトの質問ですが、 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1487977674 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1387974503 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1187973456 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1487970979 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1487969879
- ベストアンサー
- その他(海外旅行・情報)
- 知恵袋では余り回答が来ません 何故でしょうか?
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13138542748 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14138542709
- ベストアンサー
- その他(ゲーム)
- これら回答者は統合失調症だと思いますか?
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14136843289 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1343218888
- ベストアンサー
- アンケート
- 述語論理の証明について
述語論理の証明について ∃x∀y(p(x)<-p(y))を証明したいのですが、最初の部分しかわかりません。 ∃x¬p(x)V¬∃x¬p(x) ∃x¬p(x) a ¬p(a) ・ ・ ・ ¬∃x¬p(x) ・ ・ ・ 排中律を使って∃x¬p(x)V¬∃x¬p(x)を出して、∃x¬p(x)と¬∃x¬p(x)に場合分けして考えようとしているのですが、このあとどうすればいいのか分かりません。 どなたかよろしくお願いします。
- ベストアンサー
- 数学・算数
- 恐怖の秘密保護法?あなたはどちらの回答者達に賛成?
あなたはどちらが真実に近いと思いますか? http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13118210758 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q11118433416 真実は一体どこにあるのやら?
- ベストアンサー
- アンケート
- 今年一番笑ったQ&Aサイトの爆笑珍問答
あなたが今年一番笑ったものを教えてください。 自分の質問でも他人の質問でも構いません。 <自> http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13100914248 <他> http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13106810738 他サイトであればリンクを貼っても削除されないと思います。 このサイトだと削除対象になるため、 概要だけを教えてください。
- ベストアンサー
- アンケート
- 中国食材の日本側検査
についての↓の記述は正しいでしょうか? またこれは、冷凍食品でも同基準ですか? http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1362213188
- ベストアンサー
- 素材・食材
お礼
> bは市場に行った これは「a」でしょうか? それともaとは別人のbの話でしょうか? また、なぜ「市場に行った」が「市場に行く」の否定となるのでしょうか。 「過去に市場に行ったのだから、現在は行っていない」ということでしょうか。 > この場合は型理論と呼ばれます。 ラッセルの理論ですね。まだ勉強しておりませんが。