Earlier quoted context omitted.
> Those aren't different claims. Yes, they are. The first claim (the one he backs away from) is A implies B, where A = "this writing is beautiful" and B is "this writing is true". The second claim is Not A implies Not B. Those are not logically equivalent. The second claim is logically equivalent to B implies A, i.e., "this writing is true" implies "this writing is beautiful". But B implies A is not equivalent to A i…
Expanding a little further... > What is necessarily the case is that, if writing that sounds bad is less likely to be right, writing that is right is less likely to sound bad. That's true. You're 100% right about this. But if you're able to prove it, you should be well aware that exactly the same proof will quickly show that writing that doesn't sound bad is more likely to be right. > Which, as above, is not logicall…
It's a logical tautology, at least if we make the implications definite (i.e., "sounds bad" necessarily implies "not right", and therefore "right" necessarily implies "does not sound bad"). In other words, "A implies B" is logically equivalent to "Not B implies Not A". There's no need to give any further proof.
> you should be well aware that exactly the same proof will quickly show that writing that doesn't sound bad is more likely to be right.
No, it won't. You really need to learn some basic logic.
> They are the same statement
No, they're not. Again, please learn some basic logic. "A implies B" is not logically equivalent to "B implies A". You are claiming that it is. Any basic textbook on logic will tell you that you are wrong.