Richard F. Heck: "Intuicionistas pensam que há casos em que, digamos,...

"Intuicionistas pensam que há casos em que, digamos, alguma declaração de identidade entre números reais não é verdadeira nem falsa, embora sabem que não pode ser falso. Ou seja: sabemos que não pode ser que a = B, digamos, mas não podemos concluir que A = b. Não podemos, em geral, passar de não-não-P para p na lógica intuitiva. , Sugiro que o crente em objetos vagos deve dizer algo semelhante. Nunca é verdade que é vago se um é B. Mas isso não implica que há sempre um fato do assunto se A é b."

--- Richard F. Heck

#Pensamento #Real #Identidade #Em movimento #Crente #Lógica #Sendo verdadeiro

Versão em inglês

Intuitionists think that there are cases in which, say, some identity statement between real numbers is neither true nor false, even though we know that it cannot possibly be false. That is: We know that it cannot not be that a = b, say, but we cannot conclude that a = b. We can't, in general, move from not-not-p to p in intuitionistic logic. , I suggest that the believer in vague objects should say something similar. It can never be true that it is vague whether A is B. But that does not imply that there is always a fact of the matter whether A is B.