alt Hacker NewsThat doesn't follow; you're just making the same logic error more verbose, perhaps in hopes that if the argument is so hard to understand that it has no obvious flaws, people will mistake it for an argument that obviously has no flaws.
That doesn't follow; you're just making the same logic error more verbose, perhaps in hopes that if the argument is so hard to understand that it has no obvious flaws, people will mistake it for an argument that obviously has no flaws.
I genuinely do not see it. If you have a collection of all sufficient properties for Q, you can construct Q's necessary property by just rolling them all up into a big or-statement. "You are high status if you get into Yale or have a lot of money or are really funny or ...", like that.
Again my specific claim here is merely that such a statement exists, nontrivially, for this kind of problem. Not even that we can write it down in full or whatever. I don't see why that's illegal.