»
Estou vendo dois a favor e dois contra dos interessados.  Não há “consenso”.  Se outros usuários quiserem chitar aqui e empurrá-lo de uma forma ou de outra, isso seria bom.  Eu digo que deixe-o aberto por um tempo e veja se alguém quer chamar.  De qualquer forma, se você vai incluí-lo, cite-o diretamente para Dummett, e não use Hersh.  Eu acho que a fonte real de Dummett é dada em um dos fios acima. "