
数学で使われる「証明」という言葉と論理学で使われる「証明」という言葉は意味が異なるものであると思うのですが,間違いでしょうか?
公理系で挙げられる代表的な恒真式と推論規則に基づいて,別の恒真式を導くことが論理学でいう「証明」ですよね?
そして論理学的な「証明」によって得られるものは恒真式(定理)だと思います.恒真式とは情報の価値としてはゼロ(自明)です.
これに対して,数学で「証明」されるものは恒真式ではないですよね?数学における「証明」とは論理学における「演繹」に相当すると思うのですが,この考えも間違いでしょうか?
ご教授お願いします.
No.1ベストアンサー
- 回答日時:
哲学カテゴリーのほうでの御質問は閉められましたね。
御返事を拝見しましたら、ちょっとまだ引っ掛かるな~?と感じまして再度お相手させていただこうと思っていたのですが間に合いませんでした。
私は数学が大の苦手ですし「論理学」のことも知りませんから、今度こそ専門的な知識のあるかたに登場していただけたら良いのですが
一応、いま御質問で挙げられているところまでは御自身で辿り着かれたうえでの疑問点だと理解して、続けさせていただきますね。
哲カテのほうでの御返事で
>つまり数学でいう「証明」は論理学でいう「演繹(より正確に言えば,数学でいう「公理」からの演繹)」ということでしょうか.
これは、そうだと思います。前回の哲カテ投稿分をもっと整理します。ですので以下は部分的に繰り返しになります。
辞書によれば「証明」とは論理学においても数学においても
真と認める(ことにしようよ、という)命題(公理)から、ある命題が正しいことを論理的に導くこと。
特に数学では「公理」(仮定や前提)から(三段論法に代表される)演繹法を使って「定理」を導くこと。
「公理」から「演繹」(演繹によって導き出されるということは、前提を認めるならば絶対的、必然的に正しいということ)によって論理的に「定理」(という要するにトートロジー)を導く。
公理系から推論規則(論理式から他の論理式を導く規則のこと)を用いて「定理」を導く過程、これが数学での「証明」である。
数学的知識「体系」とは
「恒真式」の集まりに推論規則を適用して別の新しい「恒真式」をつくり出したもの。
出発点となる恒真式の「公理」と、公理系と推論規則から導出された恒真式である「定理」の全体で一つの理論を構成するもの。
ですから、
>公理系で挙げられる代表的な恒真式と推論規則に基づいて,別の恒真式を導くことが論理学でいう「証明」ですよね?
これは「論理学で」というよりも「数学でいう」ことで
>・数学では「公理,定理」は非恒真式で「証明」は非恒真式の列.
>・論理学では「公理,定理」は恒真式で「証明」は恒真式の列.
というのは違いますでしょう。
「論理学」とは
厳密な論理とくに推論を扱い
「~でない」(否定)「~か、または」(選言)「~であり、または」(連言)「~は、みな」(総括)及び「~である」などの、ことばの単純な使用ルールを定めたものである。
そして「記号論理学」または「数理論理学」とは
命題・概念・推論などを、その要素と関係に還元して記号で表記し、論理展開を数学的演算の形で明らかにする、哲学・数学などに応用される論理学の一分野であり、論理学を<より厳密化>したもの。
数学の証明問題というのは「数学基礎論」というものに関わり、「記号論理学」が用いられる。
真意を汲んで下さりありがとうございます.
>辞書によれば「証明」とは論理学においても数学においても
>真と認める(ことにしようよ、という)命題(公理)から、ある命題が正しいことを論理的に導くこと。
論理学の「公理」は恒真式(A∨¬Aのような命題)で,これは真であることがAの内容によらず決定する命題であると思います.これに対して,数学の「公理」は非恒真式(Aのような命題)で,真偽は内容によって決まる命題(当然それは問われませんが.)であると思います.そういう意味で上記の記述は数学的な視点からの記述のように思います.上記の書き方に倣うとき,論理学的な「証明」とは「内容に依らず真である命題(恒真式)から内容に依らず真である命題(恒真式)を論理的に導くこと」ではないでしょうか.
>数学的知識「体系」とは
>「恒真式」の集まりに推論規則を適用して別の新しい「恒真式」をつくり出したもの。
こちらに関しましても上記に関連するように思います.つまり上記の「恒真式」は2つとも「非恒真式」になるのが正しいのではと思います.なぜなら恒真式から恒真式を導くとは例えば,A∨¬AからA∨¬A∨Bを導くことであり,得られたものはいわばあたりまえだと思うからです.
雑なお礼になってしまいまして申し訳ありません.
大変貴重なご意見感謝いたします.
No.2
- 回答日時:
論理学は命題論理で、数学は述語論理という違いかな。
論理学でも数学でも証明の対象となる定理は論理式(閉論理式)で、公理(真であると定めた論理式)から推論規則による演繹により論理式が恒真式であることを示すという点では違いはないと思うけど。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 不毛な議論 8 2023/03/03 07:31
- 哲学 数学と論理的思考 2 2022/12/30 12:53
- 数学 ABC予想を証明した望月教授の論文が欧米で認められないのは人種差別ですよね? 4 2022/04/11 10:20
- 数学 どっちと思いますか 4 2022/10/10 11:16
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 高校 方程式の証明 5 2022/05/12 09:29
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 数学 複素関数にロピタルの定理を使おうとしている回答者は、複素関数論はおろか微積分学もよく分かっていない、 5 2022/12/28 18:02
- 物理学 アインシュタインの質量とエネルギーの等価性(E=mc²)って間違ってますよね? 4 2023/01/14 13:29
- 外国株 ウォール街のランダムウォーカーは間違いだ、バンガード分散投資理論は間違いだ。 ピーター.リンチ ご存 1 2023/04/08 13:51
今、見られている記事はコレ!
-
釣りと密漁の違いは?知らなかったでは済まされない?事前にできることは?
知らなかったでは済まされないのが法律の世界であるが、全てを知ってから何かをするには少々手間がかかるし、最悪始めることすらできずに終わってしまうこともあり得る。教えてgooでも「釣りと密漁の境目はどこです...
-
カスハラとクレームの違いは?カスハラの法的責任は?企業がとるべき対応は?
東京都が、客からの迷惑行為などを称した「カスタマーハラスメント」、いわゆる「カスハラ」の防止を目的とした条例を、全国で初めて成立させた。条例に罰則はなく、2025年4月1日から施行される。 この動きは自治体...
-
なぜ批判コメントをするの?その心理と向き合い方をカウンセラーにきいた!
今や生活に必要不可欠となったインターネット。手軽に情報を得られるだけでなく、ネットを介したコミュニケーションも一般的となった。それと同時に顕在化しているのが、他者に対する辛らつな意見だ。ネットニュース...
-
大麻の使用罪がなかった理由や法改正での変更点、他国との違いを弁護士が解説
ドイツで2024年4月に大麻が合法化され、その2ヶ月後にサッカーEURO2024が行われた。その際、ドイツ警察は大会運営における治安維持の一つの方針として「アルコールを飲んでいるグループと、大麻を吸っているグループ...
-
ピンとくる人とこない人の違いは?直感を鍛える方法を心理コンサルタントに聞いた!
根拠はないがなんとなくそう感じる……。そんな「直感がした」という経験がある人は少なくないだろう。ただ直感は目には見えず、具体的な説明が難しいこともあるため、その正体は理解しにくい。「教えて!goo」にも「...
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数Iの問題です
-
modとは
-
複素幾何の予備知識
-
ハミルトン・ケーリーの定理を...
-
正弦定理の外接円
-
数学ほこ×たて対決:モーレーの...
-
あなたが好きな数学の命題、原...
-
複素平面で代数方程式の解を含...
-
ガウスの定理で連立合同式を解...
-
この問題が分かりません…どなた...
-
虚根とか置換積分とか狙ってるよね
-
mathematicsと日本の数学
-
長さがマイナスの答えのとき、...
-
素数の分類と無限性に関して。
-
高校の先生方へ。p/qまたはq/p...
-
方冪の定理(数A)
-
ピタゴラスの定理について質問...
-
場合の数の問題なんですが、 40...
-
「ax+by=1を満たす整数x,yが存...
-
最大最小の定理について 現在、...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
【遊びのピタゴラスイッチはな...
-
至上最難問の数学がとけた
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
パップスギュルダンの定理について
-
ファルコンの定理は解かれまし...
-
定理と公式は、どう違いますか?
-
lim[x→+∞](x^n/e^x)=0 の証明
-
至急です! 数学で証明について...
-
ピタゴラス数について。
-
ほうべき(方巾)の定理について
-
二次合同式の解き方
-
aは自然数とする。a+5は4の倍...
-
完全数はどうして「完全」と名...
-
合同式の変形
-
実数の整列化について
-
数A nは自然数とする。n , n+2 ...
-
微分形式,微分幾何学の参考書
-
modを使用した平方根の求め方
-
4.6.8で割るとあまりはそれぞれ...
おすすめ情報