高階論理 の検索結果 (20件 1〜 10 件を表示)

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

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

解決

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

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

締切

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

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

締切

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

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

解決

ほにゃらか形而左右学

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

解決

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

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

解決

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

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

解決

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

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

解決

絶対とはなんなのか

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

解決

lilfesについて

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

解決

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ