様相論理

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

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

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

解決

『攻殻機動隊 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年代だとおもいます クイズの難問が載っていて、しかも回答がないクイズがありました クイズの内容はほとんど覚えていません たしか、書名はクイズ...…

解決

クリスチャンにお尋ねします

…簡単な質問で恐縮ですが、教えてください。 今までかつて「神」の存在を(個人の内面の確証としてではなく)論理的かつ実証的に完全に実証できた例があるのでしょうか?…

解決

論理学と数学の関係を教えてください。

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

解決

認識と識別

…哲学の課題のレポートで、 「確実な認識と不確実な認識を識別することができると思いますか」という 質問だが出されました。 ヒントは、「これはイスであって、イスではない」 という...…

締切

叱られないと 勉強しない

…『叱られないと 勉強しない』 の対偶は 『勉強すると 叱られる』 というのは誤りだそうで、正しい対偶は 『(今) 勉強してるのは、(過去に)叱られた(から)』 だそうですが、納得いきませ...…

解決

ホモサピエンスはスターウィスプからチーラの映像を見るか?

…仮定の話を前提とした質問です。 1.「もし地球外生命体が存在し、その姿を電波でとらえることができるのなら、それはやはり炭素+酸素型の生命だろうか?」 2.「もしその地球外生命体が知...…

解決

抜き打ちテストのパラドックス

…ある先生は、学生に抜き打ちテストを行うために、次のことを公言した。 1 来週の月曜日から金曜日のうち、いずれかの日にテストを行う。 2 どの日にテストが行われるかは、当日にしか...…

解決

「人権は論理必然的なもの」とはどういう意味ですか?

…人権は、「人間が人間であることに基づいて論理必然的に享有する権利」であると説かれますが(芦部信喜「憲法(5版)」 (岩波書店、2011) 78頁)、具体的に何がどう論理必然的なのですか? 価値...…

締切

カリーのパラドックス

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

解決

記号論理学または数理論理学は、包摂関係大小関係は明示されるにしても、数

…記号論理学または数理論理学は、包摂関係大小関係は明示されるにしても、数を不要として展開しているのでしょうか? 数量化しないで大小関係を示すということでしょうか?…

締切

ほにゃらか形而左右学

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

解決

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴