
読み:かにころ ⋮ KaitoAriga256 ⋮ DM× ⋮ Contact→https://nitter.cf/t.co/TUOWXmKc5P ⋮ fa→#ka2co6_4rt ⋮ https://nitter.cf/t.co/80fMeq293U ⋮ 🩹⚗️ ⋮ ☁🐈🩵 ⋮
Japan
Joined August 2014
- Tweets126K
- Following1.4K
- Followers40.3K
- Likes83.5K
nitter.cf/i/trending/21165000574…
「√9=±3」を誤りとする議論について、何をもって誤りとしているのか、少し整理しておきたい。
数学における「または」は、論理学における「選言」に対応する。「AまたはB」という命題は、AとBの少なくとも一方が真であれば真となる。Aが真でBが偽でも、その逆でも、両方が真でもよい。一方、自然言語における「または」には、どちらか一方しか成立しない、あるいはどちらであるかが定まっていない、といったニュアンスが伴うことがある。余談だが、今日はハロウィンなので、「トリック・オア・トリート」の「or」をどう解釈するか、という話も例になる。ただし、どちらか一方しか成立しないという排他性と、どちらであるかが分かっていないという認識的な不確定性は、区別する必要がある。いずれにせよ、これらは論理学的な選言そのものが要求する条件ではない。
例えば、x²=9という方程式を解いて、x=±3と結論付けることを考える。この「x=±3」は、普通「x=3またはx=−3」の言い換えである。xが3と−3の両方に同時に等しいという意味ではないし、そう解釈すれば、そもそも方程式の解を正しく表せなくなる。もちろん、「解は3と−3である」という記述には、二つの値がともに解であるという意味も含まれる。しかし、あるxについて「x=±3」と述べることは、それぞれの等式が同時に成立することを要求しない。少なくとも、この文脈で±を選言として解釈することは自然である。
ここで「√9=±3」を考える。これを同様に選言として解釈すれば、「√9=3または√9=−3」という命題になる。√9=3は真、√9=−3は偽である。しかし、先ほど説明したように、選言は少なくとも一方が真であれば真となる。したがって、この命題は真である。また、「任意のxについて、x=√9ならばx=3またはx=−3」と「√9=3または√9=−3」は論理的に同値である。前者を明らかな真として扱いながら、後者だけを偽とすることは、少なくとも同じ選言の解釈を採用する限りできない。条件文であるかどうかによって、命題の真偽が変わるわけではない。
それでも「√9=±3」が誤りに見えるのは、「または」の語用論的な解釈によるものではないだろうか。例えば、「3は奇数または偶数である」という命題は明らかに真である。しかし、3の偶奇を問われてこのように答えることは、普通は不適切に感じられる。これは、「AまたはB」という表現から、Aの可能性もBの可能性も残されている、つまり話し手がどちらかに確定できていないという含意が生じるためだと考えられる。しかし、これは選言を用いることによって生じる含意であって、選言そのものの真理条件ではない。「√9=±3」についても、√9が3である可能性も−3である可能性も残されているかのように読んでしまうことで、誤りだと判断しているのではないか。そうであれば、問題の源泉は±という記号の定義ではなく、「または」が持つ語用論的な含意にある。
もちろん、「√9=±3」を誤りとする解釈が存在しないわけではない。例えば、「√9は3と−3の両方の値を持つ」という主張なら偽であるし、「√9の値を求めよ」という問題に対して「±3」と答えることも、通常の数学的な解答としては不適切である。しかし、「そのような書き方をするのはおかしい」ということと、「その記述によって表された命題が偽である」ということは異なる。正しいということを真であるという意味で扱うなら、まずは何を主張する命題として解釈しているのかを定める必要がある。「√9=±3」を選言として解釈する限り、その命題は真である。これを偽とするのであれば、選言とは異なるどのような解釈を採用し、そこからどのように偽が導かれるのかを説明しなければならない。
ここで問題にしているのは、√9の値が3であるという事実ではなく、数学的な記述の正誤を何によって判定するのかということである。論証においては、選言を使うことに伴う認識的な含意は捨象され、命題の真理条件だけが扱われる。その区別をしないまま、記述としての不適切さを命題の偽であることと同一視してしまうことに、今回の混乱があるように見える。
k.a.256 retweeted
🧱🧱🧱🧱
現代4コマ フリーペーパー
10月号
🧱🧱🧱🧱
『現四通信』2026年10月号🖊
スポンサー募集!置かせてもらえるところ募集!
現四通信Discord
discord.gg/pbREVC4FXF
連絡先
[email protected]
拡散お願い致します🫶
#現代4コマ
#現四通信











