Richard F. Heck
@richardFHeck
Les intuitionnistes pensent qu'il y a des cas dans lesquels, par exemple, une déclaration d'identité entre les nombres réels n'est ni vrai ni faux, même si nous savons qu'il ne peut pas être faux. C'est-à-dire: nous savons que ce n'est pas que A = B, disons, mais nous ne pouvons pas conclure que a = b. Nous ne pouvons pas, en général, passer de non-P à P dans la logique intuitionniste. , Je suggère que le croyant dans des objets vagues devrait dire quelque chose de similaire. Il ne peut jamais être vrai qu'il est vague si A est B., mais cela n'implique pas qu'il y a toujours un fait que A est B.