atucker comments on Living Metaphorically - 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 (76)
This argument must be missing something crucial, because it fails to account for why the necessary-and-sufficient approach is so fantastically useful in mathematics. Mathematics deals with human concepts. Many of these concepts are very likely not stored in the brain as necessary and sufficient conditions. (Concepts learned in a formal setting might be stored that way, but there's little reason to think that a common concept like "triangle" is for most people.) And yet it proved incredibly fruitful to recast these concepts in terms of necessary and sufficient conditions.
In the case of mathematics, it turns out to be worthwhile to think about concepts in the decidedly unnatural mode of necessary and sufficient conditions. One might reasonably have hoped that the same admittedly unnatural mode would prove similarly worthwhile for concepts like "democracy". After all, unnatural doesn't necessarily mean worse. Now, for concepts like "democracy", the unnatural approach does prove to be worse. But it can't be simply because the approach was unnatural.
I think that the necessary and sufficient conditions approach is great when you're making things which fit a definition or working with a set of already known necessary and sufficient conditions, but really terrible when dealing with concepts that your brain formed implicitly without your supervision.
Basically, if I can build something, I might as well enforce a legible and easy to deal with set of sufficient and necessary conditions on it. Things are only in there because I put them there, and if I know the rules well enough then it should be easy to manipulate.
Looking at things that my brain already thinks, I would be surprised if they were anywhere near that legible. Math will catch up eventually to describing it, but it's harder and less natural, and the mathematical descriptions of things that I think will look weird compared to what naive hierarchical data structures look like. (i.e. lots of things will be conditioned on things that I think should be irrelevant, but the halo effect happens.)