The Man said:
Perhaps we can modify the symbol to certain degrees to indentify those particular uses and certainly if Doron is proposing a use beyond or other than the application of negation in those regards he should present and define his own symbol.
Ontological view of X is taking X and understand it at the level of the nature of its being, before it is used for some purpose.
By the ontological view of ~, ~ operator is resulted exactly by anything but the operand, such that I/O is different.
We can take this “I/O is different” fact and define a 2-valued system of opposites, where under this kind of universe ~ is called Negation simply because there is no other alternative under this particular system, for example:
If the 2-valued system of opposites is [T,F] then:
~(=T) --> =F
~(=F) --> =T
The Man claims that tautology is meaningless (he is wrong because tautology is simply X's self Id) but let us use his claim in order to show how he actually tries to reduce everything to tautology (which is meaningless by his own claim).
According to The Man's reduction:
(P ~= ~P) = (~P ~= P) = (P = P) = (~P = ~P) or in other words according to The Man anything is actually reduced to meaningless tautology, such that no new result exists beyond operand P.
According to this reasoning The Man actually claims that our reasoning is a closed system of mutually dependent propositions such that:
~(~P) = P and =(~P) = ~P
In other words, by rejecting ~ as “anything but” operator, The Man is closed under his own meaningless tautology of mutually dependent framework.
Hilbert's program, which its aim is to define the consistency of X within X, is actually the reduction of the mathematical science to X=X tautology, where X is a deductive framework (“anything but X” is ignored).
Gödel, by using the formalism of Hilbert explicitly showed that anything but X cannot be ignored if X enables to deal with Arithmetic, but the current community of mathematicians do not understand his results exactly because they do not understand ~ operator as “anything but”.
By using mutually independent framework, where mutual means self Id and independent means “anything but” some Id, we actually define a framework where both sameness AND difference are its fundamental properties.
Any way, in both “mutually dependent” or “mutually independent” frameworks, Researchability is possibly only if Input is compared with Output (notated by -->) no matter if the conclusion of the comparison is Sameness or Difference, because OM is a framework that uses both conclusions under a one comprehensive framework, which is the complex balance between Sameness AND Difference.
In other words, the mathematical science is not deductive-only framework.