「形式主義」というものについて、不案内なもので、いくつか お尋ねさせていただきます。
○形式主義は、その名のとおり、形式さえ ふんでいれば何でもアリ のごツゴウ主義ですか?
○形式主義は無定義の考えかたであるということなら、その命題に意味は全く ないということですか?
○公理とするものが、単なる仮定に過ぎないなら、たぶん正しいだろうと思われるが不確かなことを仮に定めたに過ぎないのだから、そもそも正しいかどうか実のところ分からないものから導き出したものを、正しい結論を出せた、と言うことに何の意味があるのでしょうか?
もう一つ、
○形式主義というのは、いまの数学界で、どういう存在ですか?
以上、よろしく お願いします。
No.2ベストアンサー
- 回答日時:
数学における「形式主義」をご指名(?)だとして、的外れな私見を少々。
・「形式さえふんでいれば何でもアリ のごツゴウ主義」とは逆に、厳密な公理系と推論規則を守ろうとする体系。
ヒルベルトは、本質的に意味のある結果をもたらすために、確実な超数学的方法を熟考したのである。
・「その命題に意味は全くない」とは逆に、パラドックス問題の解決を目指した体系。
・「公理とするものが、単なる仮定に過ぎない」という極言が許されるのなら、実益本位みたいに見える自然科学
の体系すら、「単なる仮定に過ぎない」モデルからの推論で成立しているといえるだろう。
・「形式主義というのは、いまの数学界で」は、不完全性定理によって挫折。
ヒルベルトの形式主義は有限算術の進展に寄与したといわれているが、ヒルベルトは有限算術に関しては現実主義者
だったらしい。
さっそくアドバイスをいただいて、ありがとうございます。
返事が出遅れまして、失礼しました。
はい、数学における「形式主義」です。
「的外れ」などとは、とんでもない。と言うか、私には「的外れ」か否かも分からないのですが。。。
形式主義においては、推論規則が最重要なものかと思うのですが、「厳密な」公理ということの意味が、よく分からないのです(形式主義に おいてです)。
>パラドックス問題の解決を目指した
これは、集合論とかに関わるのでしょうか。
>自然科学の体系すら、
数学界における形式主義の出発点と、自然科学の それとを同様に考えることは妥当なのでしょうか??
ゲー出るの登場によって挫折したという話は、少し聞いてます。
>ヒルベルトは有限算術に関しては現実主義者だったらしい。
そうですか。なんか皮肉な感じがしますね。。。
No.1
- 回答日時:
3番目だけ回答します。
一般社会では「仮定」は正しいかどうか曖昧なものを持ってくることが多いですが、数学の「公理」は自明なもの、つまり正しいことが明らかなものです。
>不確かなことを仮に定めたに過ぎない
ということはありません。百歩ゆずってみても、「不確かなこと」ではなく「ほとんど間違いのないこと」を前提にしているので、公理が原因で論証の全体が揺らぐということは、まずありません。あったとしたらそれは公理が原因ではなく、途中の論理展開に問題があったのでしょう。
だから、数学においてはご指摘のような心配はありません。
蛇足:ひょっとして質問者さんは、数百億分の一の不確かさ・不完全さ、失敗の可能性などを理由に、全体を放棄しようとしていませんか? そうしたことはまず起きないし、たとえ起きても保険的対策を予めとることにより被害を最小限にできます。
さっそくのアドバイスを いただいて、ありがとうございます。
返事が出遅れまして、失礼しました。
>数学の「公理」は自明なもの、つまり正しいことが明らかなもの
ですが、一般的に数学で言う「公理」と、(数学界での)形式主義に おける「公理」とは、また違うのだろうかと思ったのです。
形式主義では、そもそも定義すらない、とか聞きましたので。
もっとも、定義しないというのであれば、間違いがないか どうかを問う意味すらもないのではないでしょうか。
>数百億分の一の不確かさ・不完全さ、失敗の可能性などを理由に、全体を放棄しようとしていませんか?そうしたことはまず起きないし、たとえ起きても保険的対策を予めとることにより被害を最小限にできます。
そうなんですか。
まあ、これは私自身のことではないのですが(笑)むしろ「保険的対策を予めとる」ために形式主義に拘っていたような御仁を見かけて、たいへんフシギに思ったものですから。。。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 英語 ”be”<動詞>と<助動詞>混同の誤り ― 形式主義文法論の混迷 12 2022/05/17 11:09
- 哲学 Justice 12 2023/04/18 10:52
- 哲学 日本語の文法を考える 3 2022/06/23 10:05
- 高校 比例式につきまして 3 2022/05/19 17:30
- Excel(エクセル) 条件付き書式を使ってユーザー定義。「数字のみ」も「数字+アルファベット」も認識させたい。 2 2022/05/28 07:22
- 行政学 戦後の形式だけ民主主義(選挙)は意味があるのでしょうか? 3 2023/02/10 09:58
- 哲学 日本語は 言語類型として あたかも始原のごとくである 3 2022/05/29 04:41
- 哲学 日本語は論理表現にふさわしくないか の問題です 4 2022/06/25 03:56
- 株式市場・株価 名義書換しない株式 1 2022/07/14 22:07
- 哲学 非構造主義 1 2023/04/06 16:02
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の問題です! 教えてくださ...
-
「逆もまた真なり」について
-
強い仮定、弱い仮定、とは
-
不完全定理により、「ある命題...
-
命題を証明せよとはどういう意...
-
命題RならばQの反例を探すとき...
-
a,bが有理数として√6が無理数を...
-
3.141592653589793238462643383...
-
一階命題論理の証明問題
-
命題の証明で・・・
-
逆、裏、否定、対偶
-
高校数学、論理
-
アリバイの理論について
-
a>0、b>0⇔a+b>0、ab>0
-
証明で存在性、一意性の証明す...
-
高校数学I (問題) n は 自然...
-
この√2が無理数であることの証...
-
有名なパラドックスを色々教え...
-
命題「PならばQ」でPが偽ならば...
-
論理式の解き方
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学での背理法について
-
命題「PならばQ」でPが偽ならば...
-
命題の真偽の問題で 命題〇〇に...
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
n=3の倍数ならば、n=6の倍数で...
-
カントールの対角線論法につい...
-
対偶法による無理数の証明につ...
-
数学の論理学的な質問なんです...
-
数学の背理法について質問です...
-
証明問題です
-
数学で出てくる十分性と必要性...
-
命題を証明せよとはどういう意...
-
数学 x,yは実数とする。「xy+1=...
-
ドモルガンの法則、対偶、三段論法
-
有理数を文字置き→互いに素な整...
-
命題の証明で・・・
-
共分散の符号と相関係数の符号...
-
有界でないについて
おすすめ情報