数理論理学（数学基礎論） その12
レス数が1000を超えています。これ以上書き込みはできません。
数学基礎論は、数学の基礎づけを目的として誕生したが
現在では、数理論理学として、証明論、再帰的関数論、
構成的数学、モデル理論、公理的集合論など、 多くの分野
に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも
若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、
代数幾何学、 英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化
などを参照）
前スレ
数学基礎論・数理論理学 その11
http://rio2016.2ch.net/test/read.cgi/math/1325247440/ 我々は２０世紀論理実証主義者が定義した科学の範疇を逸脱しているのに
合理的であるとみなされる現象に振り回されている。
これは「科学」の範疇が時代にあっていないせいだ。だから、我々は合理的現象を
説明する枠組みとしての科学を２１世紀に合致するものとして再定義しなければ
ならない。言うなれば、２１世紀の新しいウィーン学団的論理実証主義を定義
することだ。。→いつの間にかアイコン的目標もできたよ。 >>991
だから、ラッセルやオーストリア出身のゲーデルを出すまでもなく、
古典論理の運用は、日常言語の使用法とは幾分、解離しているよ。
命題をP,Qと置き、論理和は、P ∨ Q はP,Qが共に真(1)の場合でも、
真とみなされるけど、現実の日常生活でこの論理の法則を適用したら、
おかしくなるよ。
たとえば性別を問われた時には、PかQのいずれかが真でいずれかが偽となる
回答を求めているのに、「私は男(P(1))です」また同時に「私は女(Q(1))です」
という回答も真理関数の上では真(P(1)∨ Q(1) ⇒ 1)となる。
P⇒Qについても同じで、Pが偽の時は、Qがどんな命題でも真となる。
これは日常言語での言葉の扱いとはズレている。
「オウム真理教の教祖、麻原彰晃に対しては、まだ死刑執行が為されていない」
という命題Pは偽なので、任意の命題Q、
「だから、麻原彰晃は今も独房の中で生きている」
というP(0)⇒Q(0) は、真偽表の上では真(1)となる命題扱いになるから。
偽からはどんな帰結でも導けるというのは、論理の世界では有名でしょ。
それは、日常での言語運用感覚とは異なるもの。 「オウム真理教の教祖、麻原彰晃に対しては、まだ死刑執行が為されていない」
という命題Pは現時点では偽なので、任意の命題Q、
「だから、麻原彰晃はすでに死んでいる」
という奇怪な文も、真理関数の概念の上では、真となる命題の関係となる。 もっと簡単に言うと、OR文を日常言語の運用法で解釈すると、PかQのどちらか一方
となるのに、論理の真理関数上ではPとQが共に真の時も、真とされるというところに
日常世界と論理の世界との間にズレがあるということ。
なんで論理がそうなっているかはの理由簡単で、計算上の整合性がそこに求められているから。
P∧Q は、P*Q
P∨Qは、(P+Q)-(P*Q)
という計算で整合するように構成されている。 このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 266日 23時間 45分 24秒 レス数が1000を超えています。これ以上書き込みはできません。
