Pure Negation Results in Paradox

Known unknowns and unknown unknowns!

Moderators: AMod, iMod

Post Reply
Eodnhoj7
Posts: 9113
Joined: Mon Mar 13, 2017 3:18 am

Pure Negation Results in Paradox

Post by Eodnhoj7 »

Under the pure negation of everything, including the act of negation, does thus result in pure negation being a paradox?
godelian
Posts: 1683
Joined: Wed May 04, 2022 4:21 am

Re: Pure Negation Results in Paradox

Post by godelian »

Eodnhoj7 wrote: Sat Feb 01, 2025 8:43 am Under the pure negation of everything, including the act of negation, does thus result in pure negation being a paradox?
Negation is an operator or a predicate:

negation (false) = true
negation (true) = false

Negation of negation is again an operator or a predicate:

negation (negation (false)) = false
negation negation ((true)) = true

What you are trying to do, negation(negation) is not possible because negation only accepts truth values:

negation(boolean) -> boolean

The negation predicate is itself not a valid truth value.

Therefore, negation(negation) is not a paradox but a type error.
Eodnhoj7
Posts: 9113
Joined: Mon Mar 13, 2017 3:18 am

Re: Pure Negation Results in Paradox

Post by Eodnhoj7 »

godelian wrote: Tue Feb 04, 2025 2:15 am
Eodnhoj7 wrote: Sat Feb 01, 2025 8:43 am Under the pure negation of everything, including the act of negation, does thus result in pure negation being a paradox?
Negation is an operator or a predicate:

negation (false) = true
negation (true) = false

Negation of negation is again an operator or a predicate:

negation (negation (false)) = false
negation negation ((true)) = true

What you are trying to do, negation(negation) is not possible because negation only accepts truth values:

negation(boolean) -> boolean

The negation predicate is itself not a valid truth value.

Therefore, negation(negation) is not a paradox but a type error.
Pure negation is both form and function. Negation is not limited to a truth value as a car can be negated by a crash. Car is car, it is not limited to true or false.

An operator can be a predicate considering the transitional nature of occurences makes the nature of operator and predicate relativistic to context. Expand the context and opposites exist simultaneously.
Post Reply