論理学について詳しく知りたくて最近「論理学をつくる」を読み始めたのですが、そこで少し疑問が出てきたので質問させて頂きます。
その本で「unique readability theorem」や「結合子として→と∧のみを含むような論理式はすべて充足可能である」などのメタ定理を証明するのに帰納法や背理法などを使っていたのですが、そもそもとして「論理的」「論理的な考え方」とはどういうものなのかということをはっきり示し、構築するために人工言語Lを定めていたはずです。
それなのに帰納法や背理法などの「論理的な考え方」をそのまま導入するのはいいのか?
演繹の theorem(定理)やproof(証明)の定義ははっきりと書かれているのに、メタ定理やその証明についての定義や説明がないのはどういうことなのか?
といった疑問が出てきました。
「論理学をつくる」は初心者向けの本なので他の本でも調べてはみたのですが、それらしいことに触れているものを見つけることはできませんでした。
論理学に詳しい人、回答お願いします。
論理学の初心者なので詳しい説明だと助かります。
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
私は『論理学をつくる』を読んでいません。
人工言語Lってなんだろうか。そのなかに帰納法ってあるのだろうか。帰納法って個別に正しいぞ正しいぞってわかって全部正しいぞってわかって、ああ、全体は正しいって示すわけだよね。それって、かつ⋀とならば→と命題P,Q,R…がたくさんで命題はこれで全部って決まりがあるのかな。あれば帰納法はできるな。帰納法って名前がついてなくても、一個一個全部正しいって確認できたら全部正しい法ってことだよね。問は、ぶっちゃけぜんぶメタ定理なんじゃ・・・ってことかなぁ。・帰納法はメタ定理ですか?
・「論理的な考え方」はメタ定理ですか?
・「結合子として→と∧のみを含むような論理式はすべて充足可能である」は
メタ定理ですか?
・帰納法は
「結合子として→と∧のみを含むような論理式はすべて充足可能である」ですか?
・「結合子として→と∧のみを含むような論理式はすべて充足可能である」は
「論理的な考え方」ですか?
・「論理的な考え方」は
帰納法ですか?
しばらく哲学カテゴリにこの質問を開いておいて、通報して、数学カテゴリにカテゴリ変更を依頼してみるといいかもしれない。あとは命題P,Q,R…の全部をかつして作った命題ってさっき命題P,Q,R…の全部って言ったのに全部の命題に入ってねーっつーーのかよーーーナメやがってこの命題ィ超イラつくぜーぇ~~ッ!!命題を全部組み合わせたら、全部の命題以外の命題が出来ちまうじゃねーか!全部っつってんなら全部だってんだ!チクショーーッ!どういう事だ!どういう事だよッ!クソッ!全部って、どういう事だッ!ナメやがって、クソッ!クソッ!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 不毛な議論 8 2023/03/03 07:31
- 数学 背理法について質問があります。 現実で使う場合はこのようになるかと思います。 ①容疑者Aが犯人である 4 2022/08/23 22:12
- 数学 どっちと思いますか 4 2022/10/10 11:16
- 日本語 意味とは何か? どこにあるのか?(Ⅱ) 4 2022/04/21 13:35
- 哲学 数学と論理的思考 2 2022/12/30 12:53
- 哲学 物語における「魔法」は「実現可能性」というくびきがなく、作者がそれ故に恣意的に設定を決めることができ 2 2022/08/20 17:04
- 大学受験 現代文について教えください。 問題 傍線部1「科学的方法」とあるが、それは具体的にいうとどのような方 3 2022/10/16 20:31
- 物理学 量子力学や相対性理論での1からの独学方法について 詳しい方回答をお願いします 現在、量子力学や相対性 6 2023/03/22 12:07
- 外国株 ウォール街のランダムウォーカーは間違いだ、バンガード分散投資理論は間違いだ。 ピーター.リンチ ご存 1 2023/04/08 13:51
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
論理学 多重量化とは?
-
シークエント計算の推論図にお...
-
人間の知性は有限か無限か
-
「理屈じゃない」ってどういう...
-
理論的に説明してみると全く逆...
-
半加算器に使われる論理式を教...
-
演繹法と帰納法とは
-
「変人」と「狂人」の違い
-
論理学のメタ定理の証明について
-
韓国人ってなぜ差別対象になり...
-
倫理学で使用されている論理は...
-
論理的な説明
-
visio2013での論理記号の出し方
-
古代のギリシャとインド哲学の...
-
哲学科に進学したことをとても...
-
わざわざ難しく考える人は、頭...
-
「真実」の反対語は何でしょうか?
-
『身近な哲学』という題で
-
会いたくない人に限って会う率...
-
人間が死んだら星になるという思想
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「理屈じゃない」ってどういう...
-
visio2013での論理記号の出し方
-
「論理的」の反対語は?
-
論理学を理解するには、数学が...
-
抽象化-具体化と帰納法-演繹法...
-
理論的と論理的の違い
-
【ことば】「演繹」と「敷衍」...
-
【論理学】シェファーの棒について
-
大学哲学科の論理学と倫理学に...
-
論理学のメタ定理の証明について
-
「やましいことがないなら~」...
-
論理学と数学の関係を教えてく...
-
MIL記号のNANDのみすべての計算...
-
みっともない
-
非形式論理学について
-
論理学 多重量化とは?
-
社会思想と社会理論の違い
-
自分の世界観に浸る方法
-
論証の妥当性とトートロジーの...
-
言語論理と数学論理の違いは? ...
おすすめ情報