Diogo Dias escreveu:
> Quando disse que Dummett não apresenta uma definição precisa de prova
> canônica, estava pensando nas seguintes citações:
>
> "What exaclty the notion of a canonical proof amounts to is obscure"
> (The Philosophical Basis of Intuitionistic Logic, p. 241), e "no one
> can at
Olá, Hermógenes.
Obrigado pela resposta. Quando disse que Dummett não apresenta uma
definição precisa de prova canônica, estava pensando nas seguintes citações:
"What exaclty the notion of a canonical proof amounts to is obscure" (*The
Philosophical Basis of Intuitionistic Logic*, p. 241), e "no
Diogo Dias escreveu:
Olá!
Olá, Diogo.
Eu estou estudando Dummett e sua teoria do significado. Em diversas
ocasiões, ele defende a necessidade de distinguir entre prova e
prova canônica, sendo que a última seria responsável por determinado
o significado dos conectivos lógicos. Não obstante,
