
(1)二階述語論理というものが調べても分からないのですが、一階述語論理の発展形なのでしょうか。
http://detail.chiebukuro.yahoo.co.jp/qa/question …
具体例を調べても、これぐらいしか出てきませんでした。
例えば、対象aの性質Pについて、一階述語論理だとP(a)と書けますね。
二階述語論理では対象だけでなく述語も量化できるそうですが、すると、P(a)を量化してQ(P(a))といった記述が可能になるのでしょうか。
(2)二階述語論理のさらに上の三階・四階述語論理といったものは存在しないのでしょうか。
(3)高階述語論理と二階述語論理の関係は何でしょうか。
二階述語論理が、高階述語論理の一部なのでしょうか。
A 回答 (3件)
- 最新から表示
- 回答順に表示

No.1
- 回答日時:
Wikipediaはもちろん読みましたが、この記述は私のような初心者には分かりにくいですし、他に分かりやすいページも見つからなかったので、トピックを立てました。
No.2
- 回答日時:
(1) だけ:
「述語を量化する」というのは, 例えば「任意の述語について~」という命題が書ける, ということです. いちばんわかりやすいのはペアノの公理にある
∀P[{P(0) ∧ ∀k[P(k) → P(k+1)]} → ∀k P(k)]
でしょうか.
No.3
- 回答日時:
この質問を理解するためには、
項とは何か、述語とは何か、最も基本的なことについて、
集合またはクラスで説明できることが必要です。
そうすると長くなるので、簡単に説明します。
一階述語論理の最大の問題は量化の範囲です。
一般に、量化の範囲は議論の領域に一致していると仮定されます。
日常言語を例に取りますと、これは次のようなことです:
P(a)= 「aは市場に行く」
この否定~P(a)は、それではどんな意味になるのか、考えてみます。
普通は、
1.aは市場に行かなかった
2.aは学校に行った
などでしょう。この場合、2では目的地が量化の範囲として仮定されています。
しかし、
3.bは市場に行った
4.aはプールで泳いだ。
なども、P(a)の論理否定ではないでしょうか?
(3は主語、4は述語が量化の範囲です)
これらの場合、量化の領域が異なっています。
様々な量化の領域を考える場合、量化の領域それ自体の範囲を考える場合、
一階述語論理ではそれを表現できません。
(注:異なる量化の領域たちを別々の(定)集合として与えるだけ)
二階述語論理は集合たちの集まりを量化の領域と考えますので、
上のような状況をきちんと記述することができます。
特に、変項に型を考える場合、型それぞれに特定の集合が対応するわけですから、
二階言語が必要となります。この場合は型理論と呼ばれます。
これ以上の高階の論理も使われますが、
残念ながら私の理解を越えていますし、
一階言語で集合論が完全に記述できるので、
普通の数学では一階言語で十分であると思います。
> bは市場に行った
これは「a」でしょうか? それともaとは別人のbの話でしょうか?
また、なぜ「市場に行った」が「市場に行く」の否定となるのでしょうか。
「過去に市場に行ったのだから、現在は行っていない」ということでしょうか。
> この場合は型理論と呼ばれます。
ラッセルの理論ですね。まだ勉強しておりませんが。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 日本語は 言語類型として あたかも始原のごとくである 3 2022/05/29 04:41
- 日本語 脳科学の奇妙な言語獲得論 2 2022/04/04 13:13
- 英語 描写述語の条件(本来の性質、一時的な属性、又は両方)について 2 2022/07/25 13:41
- その他(言語学・言語) 挨拶という行為を研究する学問は意味論でしょうか? 意味論は「話者の心理を言葉で表現する行為」, 語用 2 2022/08/03 15:57
- 数学 オートマトンの問題がわかりません。 2 2022/07/13 12:47
- 数学 述語論理の問題についての質問です。 次の述語論理式で表される命題から、→を削除し→を使わない式に書き 1 2023/02/12 16:53
- 日本語 〈場所を示す「に」と「で」〉 という誤り 36 2022/11/12 15:04
- 文学 論理的思考能力と国語問題 3 2022/03/30 09:04
- 物理学 標準モデルの数式 2 2023/03/09 23:25
- 哲学 日本語は論理表現にふさわしくないか の問題です 4 2022/06/25 03:56
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学で、数字の上にある横線の意味
-
∈と⊂の違いは何ですか?
-
数学でのセミコロンについて
-
数字の上のバー
-
数字は存在するのか
-
部分が全体に等しいのが無限で...
-
有理数÷有理数は絶対有理数なん...
-
ACCESSのSQL
-
この黄線で、囲んだ部分の縦線...
-
R\\{0} って、0を除く実数って...
-
保育園・幼稚園で集合写真を購...
-
1=0.99999....?
-
1から100までの自然数で、3,4,5...
-
有理数と実数とではどちらが多いか
-
高1数学
-
集合論のカップ(∪)と普遍集合...
-
何故線型空間はあっても、非線...
-
数Aの問題で、 「AもBも含む」...
-
数学的帰納法と無限の概念
-
高校1年の数学Aです。 この、ピ...
おすすめ情報