Hi there, fellow forum members. I would like to run something by you all that I'm having a hard time wrapping my head around. It's got to do with the notion of logical negation.

As far as I can tell, the logical negation of a proposition is the denial of that proposition. So, if proposition P = I'm a robot, then the negation of P, written in logic as ~P = I'm not a robot. In layman's terms it's basically a retraction of a statement or thereabouts.

That out of the way, I'd like you all to consider the statement N = This statement can be negated..

If we assume N to be true i.e. if N is negatable, then ~N follows but ~N = This statement can't be negated. In other words, if N can be negated then N can't be negated. A contradiction. Therefore, N can't be negated.

Thus, N = This statement can be negated, can't be negated.

:chin: