私自身は数学について表面的な理解しか持っていません。ですが、気になることがあるのでここに質問させて頂きます。
数学(すべての学問?)は公理という証明不可能な前提の上に構築されたものだと理解しています。なので、数学において絶対確実な真理というものは存在せず、あくまで仮定のうえでの体系であるということになると思います。
一方で矛盾律という考え方があります。これは公理とどのような関係にあるのでしょうか?私にはこれは公理とは関係なく犯すことのできないものであるように思えるのですが・・・。それとも、矛盾律も何らかの公理の上に成り立っているのでしょうか?もしくはこれ自体が公理のような性格のようなものなのでしょうか?
質問は以上です。御教授お願い致します。
No.2ベストアンサー
- 回答日時:
世の中変なものを考える人がいるもので、矛盾許容論理というのがあります。
http://ja.wikipedia.org/wiki/%E7%9F%9B%E7%9B%BE% …
ですが、私はべつに数理論理の専門家ではないので、これ以上触れられません。
興味はありますが、たぶん無茶苦茶難しいです。
ですから、No.1さんの回答はいいすぎかと。
「矛盾許容論理」初めて聞きました。矛盾と学問・科学は相容れないという固定観念があったのですが、そうとも言い切れなさそうですね。
ところで疑問なのですが。
>ですから、No.1さんの回答はいいすぎかと。
No,1の方は「矛盾律も公理である」と主張されていて、「矛盾許容論理」も公理のひとつであるということならなんら問題ない気がしますが、どのあたりが言い過ぎ(問題)なのでしょうか?
No.3
- 回答日時:
>どのあたりが言い過ぎ(問題)なのでしょうか?
このあたりです。
>2.矛盾律を否定すると数学は成り立たちません。
No.1
- 回答日時:
>数学は公理という証明不可能な前提の上に構築されたもの
確かにそういう見方もできますが、本来、公理は証明を必要としない命題です。ある公理が真か偽かではなく、その公理を真と仮定した場合どうのような数学が構築でき、偽と仮定した場合はどうなるかということです。そういう意味で数学は、「あくまで仮定のうえでの体系である」といえそうです。しかし、「・・・だと仮定すれば、・・・・だ」という、括弧内は、証明に誤りを含んでいない限り、正しいでしょうね。ですから、数学は哲学者が考えている以上に正しい学問体系であると思われます。
>矛盾律も何らかの公理の上に成り立っているのでしょうか
矛盾律は公理です。矛盾律を否定すると数学が構成できません。矛盾律に類似の論理として、排中律があります。排中律を否定した数学が、直観主義の数学です。もっと正確に言うなら、直観主義は排中律を否定し、「中」の存在を主張しているわけではありません。ただ、証明の場面では、排中律を使わずに、「構成的な証明」(この用語の意味はご自分で調べて下さい)をするようにしているということです。「構成的な証明」は具体的で理解が容易ですが、証明を発見するのが難しくなります。個々の命題に対して、構成的な方法をとることは非常に困難(絶望的)です。
なんか、つい余計なことを書きましたが、言いたいことは、以下の3点です。
1.矛盾律は公理です。
2.矛盾律を否定すると数学は成り立たちません。
3.数学は厳密です。哲学者が考えるほどあいまいな学問ではありません。
以上、参考になりましたら。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 憲法・法令通則 公明党の北側一雄中央幹事会長は反社会的な宗教団体を対象とするカルト規制法制定の必要性を 1 2022/09/15 16:27
- 宇宙科学・天文学・天気 AIが答えた方程式 1 2023/02/20 00:12
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
キリスト教は、神がいる証明出...
-
数学の証明問題で、「証明終了」...
-
3,4,7,8を使って10を作る
-
婿養子に入ったのに出て行けと...
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
つながった2つのリングを外す
-
「証明証」と「証明書」はどう...
-
実息とは?
-
(4^n)-1が3の倍数であることの...
-
正の整数a.b.cが a^2+b^2=c^2を...
-
高校数学
-
lim[n→∞](1+1/n+1/n^2)^n=e の...
-
双子素数とゴールドバッハ予想...
-
無理数って二乗しても有理数に...
-
真ん中にも式があった場合どう...
-
ゼロの証明方法
-
数学的帰納法以外の解き方
-
夫が亡くなった後の義理家族と...
-
直角三角形の性質
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
3,4,7,8を使って10を作る
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
(4^n)-1が3の倍数であることの...
-
松坂和夫著「集合・位相入門」...
-
じゃらんで旅行予約をしたので...
-
素数の性質
-
素数の積に1を加算すると素数で...
-
図形の証明は、日常で役立ちま...
-
なぜ独身だと養子が持てないの...
-
大学の給付型奨学金について 現...
-
再婚、奨学金
-
正解が一つとは限らない数学の...
-
婿養子です、妻と離婚して妻の...
-
通学証明書の契印とは
-
よって・ゆえに・したがって・∴...
-
円周率=∞の証明
おすすめ情報