数学で使われる「証明」という言葉と論理学で使われる「証明」という言葉は意味が異なるものであると思うのですが,間違いでしょうか?
公理系で挙げられる代表的な恒真式と推論規則に基づいて,別の恒真式を導くことが論理学でいう「証明」ですよね?
そして論理学的な「証明」によって得られるものは恒真式(定理)だと思います.恒真式とは情報の価値としてはゼロ(自明)です.
これに対して,数学で「証明」されるものは恒真式ではないですよね?数学における「証明」とは論理学における「演繹」に相当すると思うのですが,この考えも間違いでしょうか?
ご教授お願いします.
No.1ベストアンサー
- 回答日時:
哲学カテゴリーのほうでの御質問は閉められましたね。
御返事を拝見しましたら、ちょっとまだ引っ掛かるな~?と感じまして再度お相手させていただこうと思っていたのですが間に合いませんでした。
私は数学が大の苦手ですし「論理学」のことも知りませんから、今度こそ専門的な知識のあるかたに登場していただけたら良いのですが
一応、いま御質問で挙げられているところまでは御自身で辿り着かれたうえでの疑問点だと理解して、続けさせていただきますね。
哲カテのほうでの御返事で
>つまり数学でいう「証明」は論理学でいう「演繹(より正確に言えば,数学でいう「公理」からの演繹)」ということでしょうか.
これは、そうだと思います。前回の哲カテ投稿分をもっと整理します。ですので以下は部分的に繰り返しになります。
辞書によれば「証明」とは論理学においても数学においても
真と認める(ことにしようよ、という)命題(公理)から、ある命題が正しいことを論理的に導くこと。
特に数学では「公理」(仮定や前提)から(三段論法に代表される)演繹法を使って「定理」を導くこと。
「公理」から「演繹」(演繹によって導き出されるということは、前提を認めるならば絶対的、必然的に正しいということ)によって論理的に「定理」(という要するにトートロジー)を導く。
公理系から推論規則(論理式から他の論理式を導く規則のこと)を用いて「定理」を導く過程、これが数学での「証明」である。
数学的知識「体系」とは
「恒真式」の集まりに推論規則を適用して別の新しい「恒真式」をつくり出したもの。
出発点となる恒真式の「公理」と、公理系と推論規則から導出された恒真式である「定理」の全体で一つの理論を構成するもの。
ですから、
>公理系で挙げられる代表的な恒真式と推論規則に基づいて,別の恒真式を導くことが論理学でいう「証明」ですよね?
これは「論理学で」というよりも「数学でいう」ことで
>・数学では「公理,定理」は非恒真式で「証明」は非恒真式の列.
>・論理学では「公理,定理」は恒真式で「証明」は恒真式の列.
というのは違いますでしょう。
「論理学」とは
厳密な論理とくに推論を扱い
「~でない」(否定)「~か、または」(選言)「~であり、または」(連言)「~は、みな」(総括)及び「~である」などの、ことばの単純な使用ルールを定めたものである。
そして「記号論理学」または「数理論理学」とは
命題・概念・推論などを、その要素と関係に還元して記号で表記し、論理展開を数学的演算の形で明らかにする、哲学・数学などに応用される論理学の一分野であり、論理学を<より厳密化>したもの。
数学の証明問題というのは「数学基礎論」というものに関わり、「記号論理学」が用いられる。
真意を汲んで下さりありがとうございます.
>辞書によれば「証明」とは論理学においても数学においても
>真と認める(ことにしようよ、という)命題(公理)から、ある命題が正しいことを論理的に導くこと。
論理学の「公理」は恒真式(A∨¬Aのような命題)で,これは真であることがAの内容によらず決定する命題であると思います.これに対して,数学の「公理」は非恒真式(Aのような命題)で,真偽は内容によって決まる命題(当然それは問われませんが.)であると思います.そういう意味で上記の記述は数学的な視点からの記述のように思います.上記の書き方に倣うとき,論理学的な「証明」とは「内容に依らず真である命題(恒真式)から内容に依らず真である命題(恒真式)を論理的に導くこと」ではないでしょうか.
>数学的知識「体系」とは
>「恒真式」の集まりに推論規則を適用して別の新しい「恒真式」をつくり出したもの。
こちらに関しましても上記に関連するように思います.つまり上記の「恒真式」は2つとも「非恒真式」になるのが正しいのではと思います.なぜなら恒真式から恒真式を導くとは例えば,A∨¬AからA∨¬A∨Bを導くことであり,得られたものはいわばあたりまえだと思うからです.
雑なお礼になってしまいまして申し訳ありません.
大変貴重なご意見感謝いたします.
No.2
- 回答日時:
論理学は命題論理で、数学は述語論理という違いかな。
論理学でも数学でも証明の対象となる定理は論理式(閉論理式)で、公理(真であると定めた論理式)から推論規則による演繹により論理式が恒真式であることを示すという点では違いはないと思うけど。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・14歳の自分に衝撃の事実を告げてください
- ・架空の映画のネタバレレビュー
- ・「お昼の放送」の思い出
- ・昨日見た夢を教えて下さい
- ・【お題】絵本のタイトル
- ・【大喜利】世界最古のコンビニについて知ってる事を教えてください【投稿~10/10(木)】
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
大学の記述入試で外積は使えま...
-
パップスギュルダンの定理について
-
至上最難問の数学がとけた
-
直角三角形じゃないのに三平方...
-
すべての馬は同色である。
-
【遊びのピタゴラスイッチはな...
-
定理と法則の違い
-
相似比の答え方・・・
-
大学数学 解答
-
ファルコンの定理は解かれまし...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
量子化定理とは?
-
ピタゴラス数について。
-
ド・モルガンの定理で
-
複素幾何の予備知識
-
Heine-Borelの被覆定理
-
e^x > Σ[k=0→n](x^k/k !) の証...
-
sin^2+cos^2=1の証明
-
無理数と素数の間に何か関係が...
-
過去に 「ii) f(z)=1/(z^2-1) r...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
至上最難問の数学がとけた
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
階差数列・群数列について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
modを使用した平方根の求め方
-
定理と法則の違い
-
ほうべき(方巾)の定理について
-
数A nは自然数とする。n , n+2 ...
-
「整数係数方程式の有理解の定...
-
実数の整列化について
-
至急です! 数学で証明について...
-
三角形の3辺の長さの性質の証明
-
A,Bの異なる2つの箱に異なる1...
-
二次合同式の解き方
-
長さがマイナスの答えのとき、...
-
相似比の答え方・・・
おすすめ情報