10/07/07 01:57:53 rFWk/H1a
>>548
え？
誰か、+や＝の定義について異論をさしはさんだか?
1と2の定義について>>506以前に誰か異論をさしはさんでいたか?
>>551
＞「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を定義としなくてもちゃんと論理的に説明できるぞ。
今ここには書かないが。