Uma prova canônica é uma prova direta ou imediata. Mais precisamente, uma
prova canônica é qualquer termo dado por uma única aplicação de uma unica
regra de introdução à qualquer termos, canônicos ou não. Essa definição
difere da noção de forma canonica (termos dados somente por regras de
introduç
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,
Olá!
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, não há uma definição
precisa de prova ca
