［二階述語論理］についての検索結果(約15件中 1〜20件を表示)

二階述語論理と高階述語論理について

…(1)二階述語論理というものが調べても分からないのですが、一階述語論理の発展形なのでしょうか。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1110226389... 具体例を調べても、これぐらいし...…

…二階述語論理では、Henkin semanticsのもとで完全性定理が成り立つそうですが、これは二階以上の高階述語論理でも成り立ちますか? 詳しい方よろしくお願いします!!…

…質問:「一階述語論理は複数の命題論理で(必ず) 置換可能である」は真ですか、それとも偽ですか? 付随質問:二階述語論理は複数の一階述語論理で(必ず) 置換可能ですか? 哲学科の学生、教...…

…言語哲学大全という本に「二階の量化の言語表現自体は三階の述語である。」とあるのですが、これはどういう意味なんでしょうか? お分かりの方がいましたら教えてください。…

…よろしくお願いいたします。…

…大昔は数学やその他の学問も哲学に包含されていたそうですが、歴史が下るにしたがって、各学問分野が独立しつづけ、現代は哲学が扱う分野は残り少なくなっている様に思います。アリ...…

…論理学のカテがないのでこちらのカテで質問します。当方、完全に素人で、最近いくつか本を読んだらこんがらがってきたので質問させてください。 Wikipediaのカリーのパラドックス(http://j...…

…よく「この世に絶対はない」といいますが、 A)もし絶対というものが存在しないならば、 B)「絶対が存在しない」ということは絶対になってしまい、絶対というものは存在するという結論に...…

…wikiや検索したサイトを見たのですが、本質的な要素がよく理解できませんでした。私の認識で端的に言えば、「人工知能はIF文の集合」だと思っています。入力された情報に対し、あらか...…

…不存在の証明(悪魔の証明)はかなり困難か不可能なものだとされています。 http://ja.wikipedia.org/wiki/%E6%82%AA%E9%AD%94%E3%81%AE%E8%A8%BC%E6%98%8E 限定的な事柄でしたら、比較的に簡単かもしれませんが...…

…以前、言葉尻の異なる同じような内容の質問をしております。ご容赦ください。スコーレムの定理によりべき集合公理をもつ公理系にも可算モデルが存在する無限体k上のベクトル空間の...…

…最近、クルト・ゲーデルにはまっている者です、これが、なかなか難しくて困っています、ゲーデルが不完全性定理で表現した「真であるにもかかわらず証明できない」と言われる決定不能...…

…心について科学哲学の立場で勉強していますが、壁にぶつかってしまいました。それは、心について、哲学の立場で説明することと、科学の立場で説明することの違いが判らなくなってき...…

…日本語の主語について、教えて下さい。主語について、下のどちらになるのでしょうか? (どちらも同じことだ、といわず) 教えて下さい。 1.日本語は、主語を持つ。ただし、自明の、分か...…

…A、雪で電車が遅れた。 B、一階が喫茶店で二階が本屋だ。 C、雪が原因で電車が遅れた。三つの文中の「で」の品詞は、それぞれ何でしょうか。 (Aは原因、理由を表す格助詞「で...…