10/07/07 01:57:53 rFWk/H1a
>>548
え?
誰か、+や=の定義について異論をさしはさんだか?
1と2の定義について>>506以前に誰か異論をさしはさんでいたか?
>>551
>「AはBなのか」という問いに対して「AはBである」と定義しましょう、と返されたらそれ以上どうしよもない。
それは定義に疑問を持つことが許されない、って話じゃないだろ。
そんなのは定義というものの概念からずれてる。
AはBに含まれるか?という問いに対して、
「Aは特定の条件を満たすBである」と定義されているからAはBに含まれる、
と答えるのは論理的だ。
1+1=2だと論理的な構造が単純すぎてわかりにくいので2+2=4で考えるとしよう。
一般に認められる以下の定義を認めるなら2+2=4は論理的に説明できる。
1に1を加えた値が2と定義する。
2に1を加えた値が3と定義する。
3に1を加えた値が4と定義する。
2に2を加えた値が4であるかどうかは定義ではない。
+は左右の項を加えることを意味する記号であると定義する。
=はその左右が等価であることを示す記号であると定義する。
2+2=4を定義としなくてもちゃんと論理的に説明できるぞ。
今ここには書かないが。