Page 1 of 1
Pure Negation Results in Paradox
Posted: Sat Feb 01, 2025 8:43 am
by Eodnhoj7
Under the pure negation of everything, including the act of negation, does thus result in pure negation being a paradox?
Re: Pure Negation Results in Paradox
Posted: Tue Feb 04, 2025 2:15 am
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.
Re: Pure Negation Results in Paradox
Posted: Tue Feb 04, 2025 2:58 am
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.