Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

It's not just a question of potential.

Getting into Yale directly confers high status, and it is fairly well gated by other status-related tests: honors classes and private schools nudge you to learn the kind of thinking that does well on the SAT, not the kind of thinking that keeps you out of danger, as well as pushing you to AP exam prep classes; and access to extracurricular activities is gated both implicitly (by school choice) and explicitly by disciplinary measures for low-status behaviors. Rednecks like JD Vance are a tiny minority of the Yale entering class, and lower-status groups like illegal immigrants are as far as I know completely absent.

Also, I think the idea that there is something that it takes to be high status is incorrect. Social status is its own phenomenon with its own rules, and sometimes it's pretty random: you get a good job against the odds, or a good spouse, or you narrowly escape a disabling accident. You could argue that "what it takes" in such cases is luck, but graduating from Yale doesn't indicate that you will be lucky in the future, only of things that have happened before that.



>the idea that there is something that it takes to be high status is incorrect

>Getting into Yale directly confers high status

Don't these two ideas contradict one another? It sure sounds like we have at least one known pathway to becoming high status, and that is getting into Yale.


No, "something that it takes to be high status" would be some characteristic (in this context, one that is stable over time) that was necessary for high status, while something that "directly confers high status" is something that is sufficient for high status. It's entirely possible for something to be sufficient and nothing to be necessary. You're making the basic logical error of confusing ∀ with ∃.


Consider the set S of all properties which confer high status. "Got into Yale" is something we have assumed is in S, so S is nonempty. 'I have at least one property in S' seems like it would be a fine candidate for the necessary characteristic you're after, and it's not vacuous either, it can actually be achieved in reality. Therefore there is something that it takes to be high status, in your words.


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.


For the specific question, I gave some examples upthread: for example, there isn't something that "it takes" to marry a spouse who confers high status on you, except for luck later in life, which Yale's admissions office can't predict and thus can't use as an admission criterion. There are persistent attributes that improve your chances of marrying well and staying married—pre-existing high status, conventional attractiveness, health, intelligence, sanity, etc.—but none of them are either necessary or sufficient.

If we're talking about the abstract problem in classical propositional logic, there's no requirement in classical logic that a proposition Q be true for some external reason. It can just be true. Causality is outside the scope of propositional logic.

It's true that, in classical propositional logic, there is necessarily a proposition that is necessary for Q's truth, that is, a proposition that Q implies. There are infinitely many of them, in fact. Q implies Q, for example. It also implies Q or not Q, because in classical propositional logic, any proposition implies all tautologies. You can't list them all, and it wouldn't help.

If you have some finite list of atomic propositions to try to compose your set S from, there is no guarantee that listing all of the sufficient conditions from that list (other than Q itself) will give you an S whose disjunction is a necessary condition. A simple model of this is P = no, Q = yes, S = {P}.




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: