[FOM] intuitionism and the liar paradox
silver_1 at mindspring.com
Sun Apr 18 14:55:35 EDT 2010
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)?
More information about the FOM