様相論理 の検索結果 (303件 1〜 10 件を表示)

倫理学で使用されている論理は何でしょうか?

…現代論理 数理論理(記号論理) シークエント計算 完全性定理 線形論理 古典論理、 様相論理 ダイナミックロジッ弁証法的論理 形式論理 二値論理 多値論理 演繹論理 帰納論理 命題論...…

解決

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

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

締切

心の哲学:心の哲学的説明と科学的説明の違い

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

解決

形式的意味論に従って妥当性を示す

…for any interpretation I, |= p(x) ∨¬p(x) (排中律) どうやって示せばいいのでしょうか?…

締切

演繹

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

解決

新しい論理体系

…「今ある論理体系以外の論理体系は存在しない」ということを証明した人がいると聞いたのですが……。 一体誰がどのように証明したのでしょうか。 僕のまったくの記憶違いの可能性もあ...…

解決

この記号の意味を教えてください

…論文を読んでいたら、この写真の(17) aや(17)bの式の中に出ている、=に上から下に垂直に一本棒を引いたような記号に遭遇しました。 これは→と同じですか? 「ならば」を表す記号だと思うの...…

締切

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

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

解決

「権利」という言葉の使い方について質問

…C「○○人って几帳面だよね」 A「俺の知ってる○○人はずぼらだ、Cの言ってることは特殊なケースだ」 B「それもAの狭い交友関係から言ってるだけだろ、おまえの言うことも一般的ではな...…

締切

前世紀の本で、クイズ難問が載っている本

…昔読んだ本です 出版は1980年代か90年代だとおもいます クイズの難問が載っていて、しかも回答がないクイズがありました クイズの内容はほとんど覚えていません たしか、書名はクイズ...…

解決

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ