以前、言葉尻の異なる同じような内容の質問をしております。ご容赦ください。
スコーレムの定理によりべき集合公理をもつ公理系にも可算モデルが存在する
無限体k上のベクトル空間の次元という概念は論理式では表現できない
ペアノ算術において自然数の非標準モデルが存在する
といったものから
モデル側の性質をすべて形式体系で書くことはできないということが結論されているのを見るのですが、自分としてはそのような形式体系で書くことができない性質があるということ、その性質について考えるとことが、なぜ記号を対象とした数学という分野でできるのかということが不思議なのです。
つまり(あくまで建前上ではですが)、イメージや心象を閉め出して形式的な文字列の変形、生成で議論できるはずの数学においては形式体系、公理系のモデルも結局何らかの形式的な文字列の変形、生成で定義される以外無いはずであって(モデルを決めるというのは形式体系側の記号や述語に、新しい記号や述語を対応させた新しい形式体系を実装として定めるということだと考えています)
例えば
実数の公理系の非可算のモデルの更なる可算モデルを考えると、そもそも非可算モデルとはなんだったのだろうか(何をもって非可算といっていたのだろうか もちろん元の体系内で、ある集合が可算無限の集合と1:1対応のつけられないということが証明できるということをもってなのでしょうが、しかしそれも体系の外に出てみると可算モデルになっていることがあるということならどこまで行っても本当に非可算かどうかを確かめることはできないのではないだろうか つまり何をもって非可算となすという基準が作れないように見え、それならば非可算というもの自体がどういうものかわからないのではないか なら最初の非可算モデルとはいったい何だったんだろうといったように)
ベクトルの次元という概念も表現できる視点があって初めて、ある論理上では表現できないということが分かるのであってその表現できる視点というのも論理式の集合で書かれるしかないのではないか ならば次元という概念も論理式の集合で表現できることになるのでは
標準的な(N,0,1,+,・,<)のNも数学で考えるために論理式で定義されるものなら標準モデルだけを表す公理系があるのではないだろうか もしないならどうやって数学の議論の台に乗せるのだろうか
などといった、おそらく擬似問題に悩んでしまうのです。
認識といってしまうといきなり怪しい話になってしまい恐縮ですが、「モデル側の性質をすべて形式体系で書くことはできない」ということは一見して数学の論理は、人間の心象、意味内容を全て認識することができないと受け取ってしまいそうになりますが、形式とモデルの関係はそのようなことをいっているのではなく、数学上の話である以上、体系間の関係のことをいっていると思うのですが正確にはどういうことを表しているのかわからないのです。
おおざっぱにいうと論理式で表せない性質があるということをいうためにはその性質を表すことが必要であり、数学においてはそれも論理式で書くことになると思うので、結局どういうことをしているのか混乱しているのです。
それとも最初に書いたようなことは人間側の推論と論理式での推論の関係(これは本当にイメージ心象と論理式の関係であって、想像上の集合、モデルと形式体系は1:1には対応しない)を、体系同士の関係で表した、まねさせたことから出てきた成果なので
たとえば非可算かどうかを確認する絶対的基準なものがどこにあるかなどと言うことは意味をなさないのでしょうか。つまり実装(モデル)側で、ある論理式(可算性、非可算性に相当する)を証明できるものを可算モデル、非可算モデルという名前を付けているだけであって人間の使う非可算という意味とは(建前上は)関係がないということでしょうか。
もちろん例えば、自然数といわれればその意味するところはわかりますし、その自然数と同型でないモデルというのも色々なところで図などをつかって解説されている限り同型でないということや、どういうものかということは分かります、ただそれは明らかにイメージに頼ったものであって、厳密な意味での数学ではどうするのだろう(というか論旨式で表せないものを表すとは何だろう)と考え質問いたしました。
メタレベルと対象レベルを区別できてないが故の疑問だと感じているのですが、モデル(実装)にたいしても、その実装は?さらにその実装は?といっていくと結局非可算かどうかを区別できる視点などないのではないかということにならないのでしょうか?
かなり初歩的な勘違いをしていると思いますが、この方面に明るい方、過去このような疑問を持たれた方、お時間ありましたら解答、解説お願いします
No.1ベストアンサー
- 回答日時:
最初に書かれている結果は一階述語論理の限界ですね。
二階論理あるいはもっと高階の論理を使えば形式化可能ではないでしょうか。高階論理はよく知らないですけど。あと非加算については、可算の定義が自然数集合との一対一対応が取れることですから、その対応がモデルの中に入らないように制限すれば、モデル外から可算なものでもモデル内では非可算になります。「可算」という概念はこのように絶対的ではない不安定なものなのです。
遅くなりました、回答ありがとうございます。
高階論理を使えば、とは前々から思っていたので勉強してみたいと思います。
可算という概念が不安定というのは承知しているのですが、ただ不安定ということを言うためにはそれを不安定でなく捉えられる視点ないし形式化の方法が必要なのではないかと考えたものなのです。
この度はありがとうございました、参考にさせていただきます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 参考文献の探し方(数学) 1 2022/07/19 01:09
- 宇宙科学・天文学・天気 AIが答えた方程式 1 2023/02/20 00:12
- 日本語 意味とは何か? どこにあるのか?(Ⅱ) 4 2022/04/21 13:35
- 哲学 説得力を修辞の巧みさまたは論理の強さの2つに分析するにはどうすると良いでしょうか? 0 2022/07/20 05:46
- 物理学 ベクトルと座標系につきまして 1 2022/04/03 06:23
- 物理学 標準モデルの数式 2 2023/03/09 23:25
- 物理学 微分方程式の物理現象への適用について 3 2023/05/14 12:22
- 日本語 意味とは何か、どこにあるのか? 16 2022/04/09 11:44
- 物理学 アインシュタインの質量とエネルギーの等価性(E=mc²)って間違ってますよね? 4 2023/01/14 13:29
- 数学 『数は実在するのか』 6 2023/06/04 15:15
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数Iの宿題で出た問題です
-
「偶然」のパラドックス
-
【数学・乗法公式はどういうと...
-
正直者とうそつきを見分ける質...
-
2進法とブール代数について
-
正負逆転のことをなんといいま...
-
NANDゲートのみの論理式
-
実験における誤差範囲の許容範...
-
相対誤差が小さいと判断する基...
-
平均値、標準偏差の有効数字に...
-
計算値と理論値の誤差について
-
3重解?
-
携帯でよく使われる単位「hz」...
-
「彼女なら来る」の「なら」を...
-
両端支持はりのたわみの誤差が...
-
オシロスコープの実験について
-
150 25 0、20の有効桁数を教え...
-
占有周波数帯域幅と最大周波数...
-
電波干渉について
-
高校化学、気体、温度の有効数字
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
イプシロンデルタ論法は成り立つか
-
ちょっと複雑な質問でごめんな...
-
(^_^.) 数学がよくできる人っ...
-
ブルバキをお読みになったこと...
-
判断推理(論理)
-
「AならばB」で、Aが偽でBが真...
-
正直者とうそつきを見分ける質...
-
「偶然」のパラドックス
-
【数学・乗法公式はどういうと...
-
論理式を加法標準形、乗法標準...
-
ゲーデルの不完全性定理
-
【論理】正直者・あまのじゃく...
-
NANDゲートのみの論理式
-
XOR をNAND素子のみを用いて表...
-
論理的な数学で、日常会話で無...
-
整数問題9 激難 続き (2) 私の...
-
べき級数展開について
-
数学に関してです 数学は「式」...
-
以下の論理式を路記したものと...
おすすめ情報