数理論理学（数学基礎論） その12 at MATH数理論理学（数学基礎論） その12 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1019:１３２人目の素数さん 18/07/26 23:26:52.03 O8MRNEGR.net アホアホマンの意見を聞こうか 1020:１３２人目の素数さん 18/07/27 00:40:42.76 3VWQkbmG.net 自分の 1021:アプローチというか動機は物理に型概念を導入したいということなので、 ほぼすべてその観点から組み立てている。 ただ、まだ意見を言うには早いし正直内容的にわかってない。 1022:１３２人目の素数さん 18/07/27 06:04:55.45 DYdLHUOP.net >>980 これだと、ラッセルの考え方と逆になるね。 命題関数や論理は、その概念上の中で自己完結できるというのがラッセルの 観点。つまり、現実的な対応物がなくても、数学的な記号操作だけで真偽を決定できる、 ということ。自分もこのラッセルの考え方を支持しているよ。 なぜなら、科学的な真理は、かつて天動説が信じられていた時代があったように 論理の真理値を完全に保障するものとはなり得ないから。つまり、客観的な物理学を 想定しなくても用いることが出来るのが論理や命題関数の本質じゃないかな、と考えられる。 だから「すべての人間は死ぬ」という命題も常に真、すなわち恒真命題だとはいえない。 なぜなら、バイオテクノロジーの発展で、今後、不老不死の人間が現れないとも限らないから。 あと、枚挙型の帰納的推論だと、人類誕生以来のすべての人間の死を確認した訳でもないので、 そこからも命題の真偽と現実の客観的対応は、完全である、と思い込まない方がいいだろう。 あくまでそれは蓋然性の度合いや高低の問題となる 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch