08/07/08 23:41:33 nUi59czQ
>>717
マジレスすると、それは定義のレベル次第だねぇ。
定義そのものを抽象化して、論理のみを定義自由論理として組み立てられるが、
その理論にも階梯の違う定義が要る。
論理そのものが公理と、定理による推論から成り立つ以上、
どうしても公理の部分は要る。
あらゆる公理を疑えば意味のある論理は組み立てられないが、
絶対の基準がない以上、すべて公理という仮定の上で組み立てるしかない。
08/07/08 23:41:33 nUi59czQ
>>717
マジレスすると、それは定義のレベル次第だねぇ。
定義そのものを抽象化して、論理のみを定義自由論理として組み立てられるが、
その理論にも階梯の違う定義が要る。
論理そのものが公理と、定理による推論から成り立つ以上、
どうしても公理の部分は要る。
あらゆる公理を疑えば意味のある論理は組み立てられないが、
絶対の基準がない以上、すべて公理という仮定の上で組み立てるしかない。