高階論理

の検索結果 (21件 1〜 20 件を表示)

高階述語論理について質問です!!

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

解決

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

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

締切

『攻殻機動隊 S.A.C』シリーズの主題

…要するに「<私>の指示理論」(<私>だけに限定したバージョンの指示の理論)だろ? となると分析哲学の問題圏だから、これを探求するには論理学をやるほかない。 命題論理→一階述...…

締切

スコーレムの定理の意味 論理式の表現の可能性

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

解決

哲学的論理学(英: Philosophical logic)は有用ですか?

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

解決

ほにゃらか形而左右学

…仏の顔も三度まで、と申します、これでこのテーマは終了します。 自然の中に矛盾はあるだろうか、どうもなさそうな気がする。 そうすると、矛盾はわれわれが勝手に作って勝手に困って...…

解決

ウィトゲンシュタインの論理哲学論考の意味

…後期ウィトゲンシュタインは論理哲学論考を批判的に捉えるようになったんですよね? それならば否定された学問を研究する意味はあまりないのではないですか?…

解決

モデルの正式な立場、記述について

…質問は数理論理学などに登場する「モデル」というものについてです。 いろいろな論理や集合を扱った書籍では命題の意味論、真偽判定はこのモデルによってなされるとあります。 これは...…

解決

論理哲学論考における善悪について

…ウィトゲンシュタインの「論理哲学論考」の解説書を読みましたが、疑問が 一つあります。 「善悪は語ることができない」という箇所です。 幸福については、 それを判断するのが主体で...…

解決

絶対とはなんなのか

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

解決

lilfesについて

…lilfesというprolog likeな言語についての質問です。 lilfesのサイトに 一階述語の代わりに型付き素性構造 と呼ばれるデータ構造を記述することができます. とあるのですが、一階述語ってなん...…

解決

論理学

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

解決

演繹

…演繹的推論における推論と論理式の関係があまりよくわかりません。 真理関数そのものは推論ではないっていうし・・・ (?_?)…

解決

ブルバキ 等号を持つ述語論理について

…ブルバキ数学原論 集合論1 をお持ちの方に質問です。 P55、演習§5、7)Tにおいてシェーマ(R⇔S) ⇒(τz(R)=τz(S))(R、Sは関係式、zは文字)が非明示的公理を与えていれば、x=yがTの定理となること...…

解決

名古屋市 精神科医療機関について

…名古屋市内の精神科医療機関について、 どこかお勧めの病院があれば、教えていただきたく、掲載させていただきました。 現在、精神的に不安定な知人がおり、 最近、話をしたところ、...…

解決

人口知能とは何ですか?

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

解決

レポートの書きやすい本選び

…夏休みの課題で、本のレポートを書かなくてはなりません。 これは指定された本の中から一冊選び、レポートを原稿用紙5枚程度にまとめるというものです。 その指定された本はこれです...…

解決

劣化版の必要性

…絵を描いています。 いえ、もしかしたら「描いていました」となってしまうのかもしれません。 上手くなりたくて、以前は毎日練習していましたが、ここ数週間は鉛筆も全く握っていませ...…

解決

本物からはどうしてオーラが出る?

…特にピカソやマティスの鉛筆描きでは、たんなる鉛筆の線から光と言うか、ぼんやりとしたオーラを感じ取ることができます。 しかし、いったいなぜそのようなことが可能なのでしょうか? ...…

締切

ザ・インタビュー

…朝鮮労働党第一書記金正恩を揶揄する内容 ⇒北朝鮮によるサイバー攻撃・映画館への脅迫 ⇒アメリカが経済制裁 といった大体の流れだと思います。 わたしとしては、サイバー攻撃など...…

解決

検索で見つからないときは質問してみよう!

Q質問する(無料)

おすすめ情報

Q&A検索履歴