11/01/01 08:02:53
ゲーデル解釈っぽく考えたら心理的な違和感はだいぶ解消する
つまりＡという命題を「Ａでないということはない」、
「Ｇ（ｘ）となるｘが存在する」を「全てのｘに対してＧ（ｘ）でない、ということはない」と解釈する
11/01/01 08:02:53
ゲーデル解釈っぽく考えたら心理的な違和感はだいぶ解消する
つまりＡという命題を「Ａでないということはない」、
「Ｇ（ｘ）となるｘが存在する」を「全てのｘに対してＧ（ｘ）でない、ということはない」と解釈する
11/01/01 08:02:53
ゲーデル解釈っぽく考えたら心理的な違和感はだいぶ解消する
つまりＡという命題を「Ａでないということはない」、
「Ｇ（ｘ）となるｘが存在する」を「全てのｘに対してＧ（ｘ）でない、ということはない」と解釈する