i'm seeing two for and two against of the interested parties hardly a consensus if other users want to chime in here and push it one way or the other that'd be fine i say leave it open a while longer and see if anyone wants to chime in anyway if you are going to include it cite it directly to dummett and don't use hersh i think the actual dummett source is given in one of the above threads