2008-12-13から1日間の記事一覧

「論理と偽の仮定」への若干のコメントの続きの続き

日本の首都は東京である 日本の首都は大阪である 日本の首都は本州にある 日本の首都は九州にある とりうえず、例文を4つ用意した。言うまでもなく1と3は真、2と4は偽だ。ここから「AならばB」という形の文を作ってみる。なお、「ならば」で繋いだとき日本…

「論理と偽の仮定」への若干のコメントの続き

数学で、 「1=0」 という式が正しいという仮定からは、どんな等式も正しいと証明できるようです。 これはたぶん、既存の数学のシステムに「1=0」を加えたらそうなるということだろう。たとえば「1+1=2」と「1=0」から、「1+0=2」が出てく…

「論理と偽の仮定」への若干のコメント

論理学で、 「AならばBである」 という文で、Aがありえない場合は、Bに何をもってきても文は真になります。 これは全く間違いというわけではないが、ちょっと誤解を招く説明だ。 「A」と「B」はともに文だ。たとえば「雪は白い」とか「柴田南雄は作曲…