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

2018-01-11 Por tôpico Hermógenes Oliveira
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

2018-01-11 Por tôpico Hermógenes Oliveira
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