Re: Provability

On Oct 24, 11:03 pm, galathaea <galath...@xxxxxxxxx> wrote:
constructivists do not assign truth
until a sentence is proven

Whatever is to be said about that, I don't see it follows that a
DEFINITION needs to include a provability clause.

If I say "X is a spofalosh iff X is croomalakish", then, fair enough
if you want to say that "X is a spofalosh" is true depending on a
proof that X is croomalakish. But I don't see how that entails that I
have to make the definitition "X is a spofalosh iff it's been proven
that X is croomalakish", especially since doesn't that lead to an
infinite regress as the next step now is that "X is a spofalosh" is
true depending on a proof that there's a proof that X is croomalakish?

MoeBlee

.

Quantcast