Re: [Logica-l] Dúvidas sobre Dummett

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

Re: [Logica-l] Dúvidas sobre Dummett

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

Re: [Logica-l] Dúvidas sobre Dummett

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

[Logica-l] Dúvidas sobre Dummett

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