- 93 名前：１３２人目の素数さん [04/12/21 22:00:57]
- >>78
７１とかです。遅レスですが、ありがとうございます。
集合論のなかでモデル理論を展開できるということだったんですね。
そういうことの具体的な話は細かく言うとどういう分野に該当するんでしょうか。
少し見た限りでは普通の集合論の本にもモデル理論の本にも載っていないようでした。
（といっても、まだ集合論とかほとんど分からないので、実際に学べるのはもう少し先になりそうですが・・）
何か哲学では、公理の無矛盾性を保証するためには構造が存在しなければならないが、
現実世界に無限的構造の存在を立証することは難しい、といわれたりするそうですが、
なんで現実世界に構造（モデルのことですよね？）が存在すればよいのか、
現実世界にモデルのような抽象概念が存在するとはどういったことなのか、よくわかりませんでした。
基礎論で業績のあるひとでも、こういう哲学の話に興味を持つということからすると、
何かのもっともな根拠があるのに、ぼくが気づいていないだけでしょうか。
