↧
Answer by Kristian Berry for Can you use a theory or rule to prove that exact...
This is perhaps-most-generally known as retorsion. I should note that kutschkem's explanation should actually be sufficient, then, but I will mention a way to interpret the "situation" in terms of...
View ArticleAnswer by kutschkem for Can you use a theory or rule to prove that exact...
(R -> ~R) -> ~R is a tautology (if LEM is assumed).However if (~R -> R) is also true, what we have is a paradox.
View ArticleCan you use a theory or rule to prove that exact theory or rule is wrong?
My question is this: if say I have a rule R, is it logically possible to prove R is wrong usingR? Or is it simply not possible because if the hypothesis (that R is wrong) is true, then proving R is...
View ArticleAnswer by WGroleau for Can you use a theory or rule to prove that exact...
If R necessarily implies a contradiction, and "not R" doesn't lead to a contradiction, then it is reasonable to declare R as false.
View Article