JGWeissman comments on How to Not Lose an Argument - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (409)
Your hindsight is accurate, but more than just recognizing the claim as true when presented to you, I am trying to get you to take it seriously and actively make use of it, by trying to rigorously prove things rather than produce sloppy verbal arguments that feel like a proof, which is possible to do for things that aren't true.
This is accurate, and related, but not the entire point. Distinguish between a proof by mathematical induction and the process of attempting to produce a proof by mathematical induction. One possible result of attempting to produce a proof is a proof. Another possible result is the identification of some difficulty in the proof that is the basis of an insight that induction isn't the right approach or, as in the colored horses examples, that the thing you are trying to prove is not actually true.
The point is that if you are properly attempting to produce a proof, which includes noticing difficulties that imply that the claim you are trying to prove is not actually true, you will either produce a valid proof or identify why your approach fails to provide a proof.
No, your interlocutors were not arguing this point. Their performance, as reported by you, was horribly irrational. But you should apply as much scrutiny to your own beliefs and arguments as to your interlocutors.