3 ms·

Still not a tautology though; not-not wanting does not mean wanting.

• jjk166 6y ago
  Only because in your example wanting != wanting, which is an unfortunate consequence of the language not having a good word to differentiate between the desire to possess something and the desire not to be rid of it. -(-A) == A, when A == A, is a tautology though.
  • tunesmith 6y ago
    Still not true, for instance if A is "proven". If A is not not proven, it doesn't mean it is proven; it can still be a hypothesis. And yet, proven == proven.
    • jlokier 6y ago
      > If A is not not proven, it doesn't mean it is proven; it can still be a hypothesis. Are you sure? It seems to me if A is not not-proven, it is surely proven. If A is still just a hypothesis, then it is not-proven.
    • jlokier 6y ago
      > If A is not not proven, it doesn't mean it is proven; it can still be a hypothesis. Are you sure? It seems to me if A is not not-proven, it is surely proven. If A is still just a hypothesis, then it is not-proven, and isn't not not proven.