(1)二階述語論理というものが調べても分からないのですが、一階述語論理の発展形なのでしょうか。
http://detail.chiebukuro.yahoo.co.jp/qa/question …
具体例を調べても、これぐらいしか出てきませんでした。
例えば、対象aの性質Pについて、一階述語論理だとP(a)と書けますね。
二階述語論理では対象だけでなく述語も量化できるそうですが、すると、P(a)を量化してQ(P(a))といった記述が可能になるのでしょうか。
(2)二階述語論理のさらに上の三階・四階述語論理といったものは存在しないのでしょうか。
(3)高階述語論理と二階述語論理の関係は何でしょうか。
二階述語論理が、高階述語論理の一部なのでしょうか。
A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
この質問を理解するためには、
項とは何か、述語とは何か、最も基本的なことについて、
集合またはクラスで説明できることが必要です。
そうすると長くなるので、簡単に説明します。
一階述語論理の最大の問題は量化の範囲です。
一般に、量化の範囲は議論の領域に一致していると仮定されます。
日常言語を例に取りますと、これは次のようなことです:
P(a)= 「aは市場に行く」
この否定~P(a)は、それではどんな意味になるのか、考えてみます。
普通は、
1.aは市場に行かなかった
2.aは学校に行った
などでしょう。この場合、2では目的地が量化の範囲として仮定されています。
しかし、
3.bは市場に行った
4.aはプールで泳いだ。
なども、P(a)の論理否定ではないでしょうか?
(3は主語、4は述語が量化の範囲です)
これらの場合、量化の領域が異なっています。
様々な量化の領域を考える場合、量化の領域それ自体の範囲を考える場合、
一階述語論理ではそれを表現できません。
(注:異なる量化の領域たちを別々の(定)集合として与えるだけ)
二階述語論理は集合たちの集まりを量化の領域と考えますので、
上のような状況をきちんと記述することができます。
特に、変項に型を考える場合、型それぞれに特定の集合が対応するわけですから、
二階言語が必要となります。この場合は型理論と呼ばれます。
これ以上の高階の論理も使われますが、
残念ながら私の理解を越えていますし、
一階言語で集合論が完全に記述できるので、
普通の数学では一階言語で十分であると思います。
> bは市場に行った
これは「a」でしょうか? それともaとは別人のbの話でしょうか?
また、なぜ「市場に行った」が「市場に行く」の否定となるのでしょうか。
「過去に市場に行ったのだから、現在は行っていない」ということでしょうか。
> この場合は型理論と呼ばれます。
ラッセルの理論ですね。まだ勉強しておりませんが。
No.2
- 回答日時:
(1) だけ:
「述語を量化する」というのは, 例えば「任意の述語について~」という命題が書ける, ということです. いちばんわかりやすいのはペアノの公理にある
∀P[{P(0) ∧ ∀k[P(k) → P(k+1)]} → ∀k P(k)]
でしょうか.
No.1
- 回答日時:
Wikipediaはもちろん読みましたが、この記述は私のような初心者には分かりにくいですし、他に分かりやすいページも見つからなかったので、トピックを立てました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・一回も披露したことのない豆知識
- ・これ何て呼びますか
- ・チョコミントアイス
- ・初めて自分の家と他人の家が違う、と意識した時
- ・「これはヤバかったな」という遅刻エピソード
- ・これ何て呼びますか Part2
- ・許せない心理テスト
- ・この人頭いいなと思ったエピソード
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・あなたの習慣について教えてください!!
- ・ハマっている「お菓子」を教えて!
- ・高校三年生の合唱祭で何を歌いましたか?
- ・【大喜利】【投稿~11/1】 存在しそうで存在しないモノマネ芸人の名前を教えてください
- ・好きなおでんの具材ドラフト会議しましょう
- ・餃子を食べるとき、何をつけますか?
- ・あなたの「必」の書き順を教えてください
- ・ギリギリ行けるお一人様のライン
- ・10代と話して驚いたこと
- ・家の中でのこだわりスペースはどこですか?
- ・つい集めてしまうものはなんですか?
- ・自分のセンスや笑いの好みに影響を受けた作品を教えて
- ・【お題】引っかけ問題(締め切り10月27日(日)23時)
- ・大人になっても苦手な食べ物、ありますか?
- ・14歳の自分に衝撃の事実を告げてください
- ・架空の映画のネタバレレビュー
- ・「お昼の放送」の思い出
- ・昨日見た夢を教えて下さい
- ・ちょっと先の未来クイズ第4問
- ・【大喜利】【投稿~10/21(月)】買ったばかりの自転車を分解してひと言
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
R\\{0} って、0を除く実数って...
-
数学で、数字の上にある横線の意味
-
数学でのセミコロンについて
-
1から100までの自然数で、3,4,5...
-
線形代数
-
要素と、部分集合の違いを教え...
-
高校数学Aの補集合について
-
集合のユニークな要素数の数式...
-
集合(スター閉包)
-
Xi(i∈I)が凸集合⇒∩[i∈I]Xiも凸集合
-
集積点が、まったく分かりませ...
-
直積集合の作り方について
-
集合の要素を書き並べて表せと...
-
数学の集合について質問です。 ...
-
部分が全体に等しいのが無限で...
-
0以外の実数全体のどれかになる...
-
単射の総数
-
数学廃人って実在しますか?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報