[FOM] intuitionism and the liar paradox

[Charles Silver]

On Apr 17, 2010, at 11:33 AM, Nik Weaver wrote:

> [M]y central insight [is] that there is a problem with the inference  
> "A is
> true implies A" under the proof interpretation of the logical symbols.

		   I don't get this.  Is your central insight that  
intuitionistically you have discovered a hitherto unknown  deep  
problem with:   |=A ==> |-A ?

		   Could you please be a bit more specific about your insight  
(without being terribly technical)?

Charlie Silver