LESSWRONG
LW

Comment Permalink

My personal "interesting concepts repository" lists are probably grossly inappropriate to post here, since they've got thousands of entries, and they're not accumulated systematically or sorted well or even specifically selected for usefulness. In fact many entries might even be anti-useful if examined uncritically, since they were saved as reminders that "a lot of people think/thought X" despite not satisfying "I think X". I'm also hesitant to post the lists on the web for that latter reason; who knows what idiot in HR might someday decide to Google my username and freak out when they find it attached to a list with a bunch of crimethink entries?

Nevertheless, it occurs to me that people who decided to read through this thread might still find those lists interesting despite the many caveats. Email me if anyone wants a copy.

See in context

50 Useful Concepts Repository

by Qiaochu_Yuan

10th Jun 2013

1 min read

105

50

I often find that my understanding of the world is strongly informed by a few key concepts. For example, I've repeatedly found the concept of opportunity cost to be a useful frame. My previous post on privileging the question is in some sense about the opportunity cost of paying attention to certain kinds of questions (namely that you don't get to use that attention on other kinds of questions). Efficient charity can also be thought of in terms of the opportunity cost of donating inefficiently to charity. I've also found the concept of incentive structure very useful for thinking about the behavior of groups of people in aggregate (see perverse incentive).

I'd like people to use this thread to post examples of concepts they've found particularly useful for understanding the world. I'm personally more interested in concepts that don't come from the Sequences, but comments describing a concept from the Sequences and explaining why you've found it useful may help people new to the Sequences. ("Useful" should be interpreted broadly: a concept specific to a particular field might be useful more generally as a metaphor.)

Open ThreadsRepositoryPractical

Frontpage

50

Mentioned in

109Relationship Advice Repository

68Repository repository

40Useful Questions Repository

33Bad Concepts Repository

Useful Concepts Repository

New Comment

105 comments, sorted by

top scoring

Click to highlight new comments since: Today at 10:41 AM

Some comments are truncated due to high volume. (⌘F to expand all)Change truncation settings

[-]Pablo12y340

So many! Just a few that come to mind: compound interest, observation selection effect, bias, differential technological development, function, present value, correlation, subjective experience, trivial inconvenience, self-amplifying capacity, expectation, etc.

Also, many conceptual distinctions in philosophy are useful: analytic-synthetic, a priori-a posteriori, de re-de dicto, phenomenal-intentional, proximate-ultimate, intrinsic-instrumental, factual-normative, contingent-necessary, etc. Taxonomies of views in a given field, too, can be quite helpful in conceptualizing the relevant boundaries (e.g. Chalmers on views about consciousness or Miller on views in metaethics).

I guess one could say the concept of a useful concept is itself quite useful.

6lukeprog12y

Here is a PDF for that.

[-]lukeprog12y320

Some perhaps-too-obvious ones: comparative advantage, arbitrage, Schelling point, plurality, transfer (in education), deliberate practice, tacit knowledge.

2NoSignalNoNoise12y

What aspects of arbitrage and plurality are you trying to emphasize?

1beoShaffer12y

The plurality link seems to be broken.

3lukeprog12y

fixed

[-]Qiaochu_Yuan12y280

Most functions are not linear. This may seem too obvious to be worth mentioning, but it's very easy to assume that various functions that appear in real life are linear, e.g. to assume that if a little of something is good, then more of it is better, or if a little of something is bad, then more of it is even worse (apparently some people use the term "linear fallacy" for something like this assumption), or conversely in either case.

Nonlinearity is responsible for local optima that aren't global optima, which makes optimization a difficult task in general: it's not enough just to look at the direction in which you can improve the most by changing things a little (gradient ascent), but sometimes you might need to traverse an uncanny valley and change things a lot to get to a better local optimum, e.g. if you're at a point in your life where you've made all of the small improvements you can, you may need to do something drastic like quit your job and find a better one, which will temporarily make your life worse, in order to eventually make your life even better.

The reason variance in financial investments matters, even if you only care about expected utility, is that uti... (read more)

7RomeoStevens12y

Related: although many distributions are normal, It seems that people often assume an unfamiliar distribution must be either normal or uniform). Multimodal in particular seems to be an oft neglected possibility.

6lukeprog12y

In particular, I'll mention that most tech development curves are logistic.

0[anonymous]9y

Jordan Ellenberg discusses this phenomenon at length in _How Not to Be Wrong: The Power of Mathematical Thinking_. See here for some relevant quotes (a blog post by one of the targets of Ellenberg's criticism).

0NoSignalNoNoise12y

It's not just that. Even if your utility function with regards to money were linear, it would still be wise to try to decrease variance, because high variance makes returns not compound as well.

1Qiaochu_Yuan12y

If you value yourself getting money in the future, then that should be taken into account in your utility function.

0casebash11y

Not if you used the geometric mean

0endoself12y

Your second paragraph could benefit from the concept of simulated annealing.

3Vaniver12y

There are lots of metaheuristic optimization methods; simulated annealing is the easiest one to explain and implement, but consequently it's also the dumbest of them.

0Houshalter12y

What are the best ones?

0Vaniver12y

I'm personally a fan of tabu search, which prevents cycling and getting stuck in local optima by remembering features of previously seen solutions, and not visiting any solution with those features for some set length of time. "Best" depends on the particular problem, though; there are situations when the easy implementation of simulated annealing makes it a superior solution to a cleverer but longer implementation of something else.

3Qiaochu_Yuan12y

I thought about mentioning simulated annealing, but then it seemed to me like simulated annealing is more involved than the basic concept I wanted to get across (e.g. the cooling phase is an extra complication).

1endoself12y

But it's actually important to the example. If someone intends to allocate their time searching for small and large improvements to their life, then simulated annealing suggests that they should make more of the big ones first. (The person you describe has may not have done this, since they've settled into a local optimum but now decide to find a completely different point on the fitness landscape, though without more details it's entirely possible they've decided correctly here.)

2MalcolmOcean12y

I propose making an analogy to Split & Merge Expectation Maximization (SMEM) instead. It's a very efficient algorithm for modelling that operates as follows: 1) perform EM to find the local optimum 2) examine the clusters to determine which two are most similar, and combine them 3) examine the clusters to determine which one is least representative of the data it's supposed to describe, and break it into two 4) perform EM on the three adjusted clusters 5) Repeat 1-4 until the change in likelihood between iterations drops below some epsilon. I think this is actually quite isomorphic to Goal Factoring (from Geoff Anders / CFAR) in that you're trying to combine things that are similar and then break up things that are inefficient. At least, I spent an entire summer working on an SMEM clustering program (though some of that was UI) and they feel similar to me.

0NoSignalNoNoise12y

Simulated annealing is one of many techniques for optimizing in search spaces with a lot of local maxima. Is there a reason why you're emphasizing that one in particular?

0endoself12y

It provides a usefully concept, which can be carried over into other domains. I suppose there are other techniques that use a temperature, but I'm much less familiar with them and they are more complicated. Is understanding other metaheuristics more useful to people who aren't actually writing a program preforms some optimization than just understanding simulated annealing?

[-]Dias12y240

Regression to the Mean

[-]Emile12y220

In usability, the concept of Affordance is pretty useful.

[-]Shmi12y200

I never really consciously thought about the idea of status until I came across it in this forum. It helped me identify and understand some behaviors in myself and others which puzzled me before.

-3Thomas12y

Yes, me too. But it is Hanson's idea as far as I know. From now lesswrong's sister forum.

[-]gjm12y120

I'm pretty sure the idea has been around since long before Robin Hanson started writing about it.

-1Thomas12y

I wouldn't be surprised either way. That it was, or that it wasn't around before. Still, this status-signaling view may be wrong sometimes. Or useless.

7jmmcd12y

Status is far older than Hanson's take on it, or than Hanson himself. But the idea of seeing status signalling everywhere, as an explanation for everything -- that is characteristically Hanson. (Obviously, don't take my simplification seriously.)

[-]Qiaochu_Yuan12y120

The idea of talking about seeing status signaling everywhere is characteristically Hanson. I would not be surprised in the least if many smart politicians and socialites throughout history had also observed this but had the good sense not to talk about it in public.

1DerBerggeist12y

Haven't pickup artists been explicitly discussing status signalling in the context of day-to-day, person-to-person interactions since the late nineties? And biologists have noted its pervasiveness all through the mid-to-late 20th centuries, at least. I'm sure cultural anthropologists too, but I'm not as familiar with that literature. Nor am I, however, with any of Hanson's posts on the subject, but a quick glance at the links on the LW wiki's page puts them all in the mid 2000s, with nothing popping out as unusual. But I also couldn't find anything of his that suggested status to be "an explanation for everything" (I'm guessing everything here means all human behavior? Though that too seems really unlikely), so maybe I wasn't looking in the right places.

[-]atucker12y180

From off site:

Energy and Focus is more scarce than Time (at least for me), Be Specific (somewhat on site, but whatever),

From on the site:

Mind Projection Fallacy, Illusion of Transparency, Trivial Inconveniences, Goals vs. Roles, Goals vs. Urges

[-]satt12y140

Extracting examples from some of my past comments: proving too much, selection bias, Nash equilibrium, denotation & connotation, insight & intuition as recognition.

Others from game theory & economics: free riders & hold outs, the tragedies of the commons & the anticommons, precommitment, coordination games, average-marginal confusion, thinking at the margin.

Two more that're a bit Sequences-esque but which I like so much and use so often I'll highlight them anyway:

Reference class forecasting. It doesn't just help one beat the planning fallacy by predicting durations; it can predict probabilities too, and one can apply it to other people as well. Will a flaky friend show up to a meal? Run a reference class forecast. Am I likely to get a "yes" if I ask someone for such & such a favour? Run a reference class forecast. How likely is it that a claim an acquaintance has just made is true? You get the idea. (Guess I should throw in reference class tennis as well. Fortunately, just as with actual tennis, it's hard to play reference class tennis on my own, so reference class tennis isn't too big a risk when I do solo reference class forecasts.)
The typica

... (read more)

4Qiaochu_Yuan12y

Are you distinguishing between this phenomenon and the availability heuristic?

0satt12y

Now you prompt me to reflect on it: yes, I effectively am. The bias with no name is just a special case of the availability heuristic, but it's sufficiently common/salient in my experience that my mind's tacitly upgraded it to the status of a free-standing concept.

[-]TrE12y140

Credibility also can be useful. Most importantly: Are the threats, precommitments and offers you make credible? Could and would you actually go through with them if you found yourself in a situation where the conditions you stated are fulfilled? If you arrange the exchange in such a way that acting on your words imposes a low cost (better yet: no cost) on yourself, you'll gain lots of bargaining power.

A quick example: When educating children, misbehaviour has to have consequences. Now, you have to choose these punishments in such a way that they impose little organizational and emotional cost on yourself while being serious enough that kids want to avoid them (but, of course, also not too serious ;)). If done correctly, you'll have to punish a few children a few times, but then they will have learned. If done incorrectly, you continuously threaten with punishment, but there is no clear line where you have to act, and put in such a situation you don't even want to punish them, so the children will continue to misbehave.

[-]Viliam_Bur12y120

Unfortunately, this quick example is something that teachers and school administration often don't get. If you make a threat for misbehavior, you must follow through, otherwise you have seriously undermined your and every other teacher's credibility, and then you will predictably get misbehavior on almost every lesson since now.

Unfortunately, the reality is often that teachers make empty threats, hoping that using big words will scare students, and when this does not work, they rationalize not following through by "they are just children" and "they need to get a second chance", although some students already had literally hundreds of "second" chances. And the worst thing is when teacher insists on the punishment, but after a phone call from parent, the school administration overrides their decision. Of course students share their "success stories", so the next day the whole school know about the winning strategy.

[-]Shmi12y120

Unfortunately, this quick example is something that teachers and school administration often don't get.

It is possible that their target audience is their superiors, not the students. Threat is cheap, punishment is expensive, and they can always report to their superiors (and possibly parents) "we do not condone this behavior, see, we threatened them with ".

8sketerpot12y

Thomas Schelling proposed a useful strategy: make small threats for small infractions, and then follow through on them. This gives credibility to your larger threats, without too much inconvenience for either party. (And, of course, try to make the whole thing as predictable as possible; never be capricious with your own authority.)

[-]Shmi12y160

The justice system of the old Soviet Union had, rather ironically, the following maxim:

Inevitability of punishment is more effective than its severity

[-]satt12y100

From an article about the US justice system, but the relevance to misbehaving schoolchildren (or simply schoolchildren whose behaviour one doesn't like) is obvious:

Cesare Beccaria—the Italian criminologist from whom Jeremy Bentham borrowed not only the term “utility” but many of his ideas for criminal-justice reform—identified three characteristics that determine the deterrent efficacy of a threatened punishment: its swiftness, its certainty, and its severity. Of the three, severity is least important. If punishment is swift and certain, it need not be severe to be efficacious. If punishment is uncertain and delayed, it will not be efficacious even if it is severe. (It was only two and a half centuries after Beccaria that psychologists and behavioral economists discovered that some degree of excessive present-orientation, and excessive discounting of the risk of large losses, is normal.) The sort of bad gamble represented by most offenses tends to attract precisely those whose departures from rationality are most egregious.

[...]

Not only is severity an inadequate substitute for swiftness and certainty, it actually interferes with them. The more severe a punishment is, the more due process (leading to delay) is required to impose it, and (if severity is measured in sentence length) the less often it can be imposed before the prisons fill up.

[-]pinyaka12y240

eterrent efficacy of a threatened punishment: its swiftness, its certainty, and its severity.

Interestingly, these correspond to delay, expectancy and value in the procrastination equation. It's interesting to see "negative" values used to form a kind of anti-motivation.

5RomeoStevens12y

Awesome, this is worth its own post IMO.

2satt12y

I hadn't noticed that. That's a pretty shrewd connection! Come to think of it, the "excessive discounting"/"excessive present-orientation" Kleiman mentions is suspiciously similar to the procrastination equation's remaining term, impulsiveness. I wonder whether criminologists discovered this independently of psychologists & neuroscientists? Might be an example of two parts of academia converging on the same answer from different directions.

[-]Bill_McGrath12y120

The concept of privilege of the "check your..." variety. It's not without it's problems as a tool - it can too easily be used as a Fully General Counterargument - but it's an important thing to be aware of and probably the single concept I've learned in the last two years that has most changed my outlook on the world.

[-]Will_Newsome12y120

"Shibboleths," said Will Newsome, somewhat passive-aggressively.

4BerryPick612y

...

3Dr_Manhattan12y

This gets irony points, since the real (well, modern Hebrew) pronunciation is "Shibolet", and "Shiboleth" would identify you as a foreigner.

2BerryPick612y

Yes, the original distinction was between "Sibolet" and "Shibolet". "Th" isn't even a sound that exists in Hebrew.

[-]Stabilizer12y120

Robin Hanson's marginal charity has been quite useful for me.

Especially, when I use it for doing marginal charity towards myself. Example: I'm eating a slice of cake. The difference in utility for me between eating 3/4ths of it and all of it is small. So if I leave a 1/4th of it for future-me, the difference in utility for future-me is much larger since it is the difference between having no cake and having some cake.

[-]Leonhart12y100

Various bits from Dennett: cranes versus skyhooks, the Cartesian Theatre, 'figment', the intentional stance, the notion of an intuition pump.

Braitenberg's Vehicles does something indescribably non-verbal. It's a tiny book that passes through your mind silently, like a ninja, and then any lingering shreds of vitalism you have just sort of explode and blow away on the wind. Every child should have a copy (and robot parts to use it with).

4lukeprog12y

Seconding Braitenberg's Vehicles (if you can't get the book, see the links here).

0Dr_Manhattan12y

I'll third it. http://web.mit.edu/~luke_h/www/BraitenbergVehicles.pdf There is also a variety of demos/software, under Google:"braitenberg vehicles simulation" not sure which one is worth trying.

0buybuydandavis12y

Dennett - Competence without Comprehension. The magic that is real is not real magic.

0Qiaochu_Yuan12y

Links?

0Leonhart12y

Added some, sorry. Cranes vs. skyhooks is the central metaphor of Darwin's Dangerous Idea but doesn't seem to have its own page anywhere; it seems to me akin to EY's notion of "follow-the-improbability". "Figment" is from Consciousness Explained; it's sort of the notion of a volume of imagined colour. Dennett used it in a discussion of e.g. the retinal blind spot, to make the distinction between the brain's actively "filling in" a missing signal (which he takes to be a confused reification) versus the brain simply not caring about the missing signal.

[-]SarahNibs12y90

Cost of delay. If you have two projects which when finished will generate (say) the same amount of value per time and it takes 2 weeks to do the first and 1 week to do the second, by sequencing them in the other order you gain 1 weeks' worth of value. If instead you interleave them, working "in parallel", with no real gains in total time, you lose 1 weeks' worth of value. Also and more obviously, if one project generates way more value per time, finish it first. If a project loses value while not finished, consider finishing it first. (for example taking an idea to market - your market research undergoes depreciation)

0RomeoStevens12y

This is an application of opportunity cost?

[-]lucidian12y70

The tradeoff between efficiency and accuracy. It's essential for computational modeling, but it also comes up constantly in my daily life. It keeps me from being so much of a perfectionist that I never finish anything, for instance.

[-]Daniel_Burfoot12y70

Fail-fast.

3Qiaochu_Yuan12y

Can you expand on this? How has this concept helped you understand things?

[-]Daniel_Burfoot12y130

It's not so much a way to understand the world as it is a deep engineering principle. You want to design systems in such a way that if there is a problem, the system fails sooner rather than later. One very counter-intuitive technique used in software engineering is the assertion, which has no effect other than to shut the system down if a certain expression evaluates to false. Naively, it seems crazy that we would ever want to add to the set of conditions that will cause a crash - but that is exactly the point.

Failfast is part of the more general strategy expressed by the slogan tighten your feedback loops. If you are doing something stupid, you want to know as soon as possible. This is hard for humans to do, since we have a natural aversion to bad news and discipline.

[-]michaelkeenan12y70

Moral Foundations theory (all moral rules in all human cultures appeal to the six moral foundations: care/harm, fairness/cheating, liberty/oppression,loyalty/betrayal, authority/subversion, sanctity/degradation). This makes other people's moralities easier to understand, and is an interesting lens through which to examine your own.

The Big Five Personality Traits - though I've heard these don't seem to fit non-Westerners very well. Probably still useful when thinking about Westerners. (For example, when evaluating someone as a romantic partner or a business... (read more)

1jsalvatier11y

Any chance you have a source for more information on that? Seems interesting.

1michaelkeenan11y

I'd skimmed a paper from a couple of years ago, How Universal Is the Big Five? Testing the Five-Factor Model of Personality Variation Among Forager–Farmers in the Bolivian Amazon. Abstract:

0jsalvatier11y

Very interesting. Thank you.

1[anonymous]12y

Could you explain this? Also, the Platonic and Aristotelian theories are very different. For instance, Aristotle believes that forms exist only in concrete (and strictly speaking, living) things, and that there are no forms of mathematical objects.

5michaelkeenan12y

I'm no expert on this, but I refer you to Yvain's series on The Last Superstition by Ed Feser: one, two, three, four. As Yvain quotes Feser: I think the idea is that a homosexual human is a toothpaste-eating squirrel - the instantiation has deviated from its ideal form. And unlike squirrels, humans can reason and choose whether to act in conformity with our supposed nature. If you assume some unsubstantiated premises, I guess this makes sense. And that's why people are talking past each other when they argue about whether homosexuality is natural. The theist claims homosexuality isn't natural, taking "natural" to mean "conforming to the ideal form". The liberal points to homosexuality in animals, taking natural to mean "appearing in nature". (I may have horribly distorted this - I haven't read the book.) Edit: Here's a theist talking about the book, in case you want an explanation from a believer.

3[anonymous]12y

I see, thanks for the links. I think it might be more accurate to refer to Feser's theory of forms, or a thomistic theory of forms in the great-grand-parent comment. These arguments aren't closely related to anything in Plato or Aristotle's actual writings. And needless to say, Aristotle and Plato were not Christians and had no particular interest in the issue of homosexuality.

0michaelkeenan12y

Fair enough! I've edited it.

[-]A1987dM12y60

[META]

I suggest moving “repository” threads to Main, because they are threads where it would still make sense to add new entries arbitrarily long after they are originally posted, and ISTM that new comments in old threads are more likely to be noticed in Main than in Discussion.

[-]Bruno_Coelho12y50

Both positive and negative black swans . Aditionally: randomness and regression to the mean.

2A1987dM12y

(For some reason I was under the impression that the phrase “black swan” only applied to negative ones, but on reading the WP article I can't find anything to that effect, so I guess I was wrong.)

[-]Vaniver12y40

Here's a bunch of useful business concepts, as put together by Investling.

[-]simplicio12y30

Supervenience. For example, "the mind supervenes on the brain." The idea here is that a mind cannot be different without the corresponding brain being different as well.

[-]D_Malik12y30

I have a list of ~500 concepts / "patterns in reality" that I think it would be useful to have "handles" to, by having words/phrases for them or just having them as mentally-cached concepts. (Once I started actively looking for such concepts I found quite a lot of them.) I'm planning to someday-soon sit down and actually make up words/phrases for each of these; I've made up words/phrases for 37 of them, and my notes-to-self are already peppered with them. Unfortunately I don't have the time right now to put them all here, but I probably... (read more)

5satt12y

D'you think it'd be worth posting the 37 you've invented names for? My appetite's been whetted!

1Mimosa12y

I'd be curious to see some of these as well!

2Regex9y

Three years later- have you found the time? I'm really curious to know the rest of these.

[-]Dr_Manhattan12y20

Someone put together a nice list of concepts based on Charlie Munger's "mental models"

http://www.thinkmentalmodels.com/

[-]RomeoStevens12y20

tangent: System 1 seems to control how "profound", and thus likely-to-apply-in-the-future, any given concept feels. Venkatesh Rao has written a piece on this I can't find right now, but the gist was that we glom onto concepts that allow more efficient mental organization. For example discovering that two phenomenon we thought were separate are actually sub-cases of some more basic phenomenon. An important point is that we do this speciously, as our pattern recognition is overactive (it is worth false alarms when checking for leopards). This pred... (read more)

0Qiaochu_Yuan12y

I like to do this a lot in mathematics, but fortunately mathematical language is both rich and rigorous enough that I can avoid false alarms in that context (category theory in particular is full of examples of phenomena that look separate but can rigorously be shown to be subcases of a more basic phenomenon). I think of mathematics as being a conspiracy theorist's fantasy land: it works nearly the way a conspiracy theorist thinks reality works. Well, that's something like what CFAR is trying to do.

[-]Pablo11y10

Vipul Naik's concept of a twofer: the attempt to undermine a claim by combining two objections that would be substantiated by opposite empirical facts, and by arguing that one of the objections must hold regardless of how the facts turn out to be.

1Lumifer11y

I like the concept, I don't like the name. "Twofer" is getting two of something for the price of one and I don't think the word maps neatly to the concept.

-2Eugine_Nier11y

That's not necessarily a fallacy. That's more of an application of the law of the excluded middle.

0Pablo11y

Who said it was a fallacy? Seems like a valid argument to me.

-2Eugine_Nier11y

The article you linked to for one.

4Pablo11y

I'm not trying to be dense, but where does the article claim that "twofers" are fallacies? Can you quote the relevant passage? EDIT: FWIW, I asked Vipul and he denies that the article makes such a claim. He also notes that the argument would be fallacious if its proponent argued that both of the empirical facts obtain (rather than arguing that one of the two must obtain).

0A1987dM11y

It doesn't say that explicitly, but he doesn't sound very convinced that the argument is valid either; but hey, word of God.

[-]roystgnr12y00

[-]Mimosa12y-10

Learning about Neurobiology. I found the more I know about how the brain works, the more cognitive science makes sense.

People assume memories are stored in one region of the brain. From the inside, it feels like all this knowledge is obviously coming from one place. Factual information about an elephant (weight, where it lives, etc) is related the mental image of an elephant (gray skin, has big ears and a trunk,) but brains store that information in completely different places.

[-]Will_Newsome12y-30

Ah, conceptual gardening. Meta, the fourth wall, diagonalization, God, Tathāgata/Tathāgatagarbha. Optimization, credit assignment, signal/noise. Marginalization, opportunity cost, comparative advantage. Incentive, affordance, salience, Schelling point. Likelihood ratio. Compilers/universality. Reversibility). Measure, decision-theoretic-significance/policy-relevance, justification. Levels of organization, levels of abstraction, level-crossing. Logos, Platospace. Pattern attractors, emergence, teleology. Timefulness/timelessness, self-fulfilling prophecy, s... (read more)

2[anonymous]12y

I think I don't really understand 'meta'.

[-]fubarobfusco12y130

Meta happens when we go from talking about X, to talking about talking about X. Some examples:

Wikipedia's example: "This debate isn't going anywhere." If we've been talking about politics, now we're talking about our discussion of politics.
A self-hosting compiler is a compiler for language X that is written in language X. So it parses, optimizes, and "understands" programs written in X; and can be run on itself.
This is not a pipe.
A meta-joke is a joke about jokes, or one whose humor relies on the hearer's expectation that a particular kind of joke is being told, with the punch line revealing that it's not that sort of joke at all.

"Meta" is also used to mean "at a higher level of organization". For instance, if there is a competitive game G, then the metagame of G is the interaction of different styles of play in a given pool of players.

2[anonymous]12y

Thanks, that's helpful.

0Qiaochu_Yuan12y

Can you be more specific? What don't you understand?

0[anonymous]12y

I'm not sure I can be much more specific. In some cases, the distinction between X and meta-X is transparent to me, such as when people on LW begin talking about the discussions on LW, they are 'going meta'. I get that. But especially in the case of things like meta-ethics or meta-physics, I often get lost. I can't come up with a general rule for distinguishing meta-X from plain old X. Maybe there is no such general rule, and it's a case by case thing.

2Qiaochu_Yuan12y

"Meta" as used in "metaphysics" doesn't have the same meaning as "meta" as it is commonly used on LW. Quoth Wikipedia: "Metaethics" is also not quite the same meaning, although I guess you can cash it out as "the ethics of ethics."

-2[anonymous]12y

Well, that's the etymology of 'meta' as applied to metaphysics, but that's not it's meaning. No one today uses the term 'metaphysics' to refer to a book anthologized after a work on physics. That's a very interesting characterization. Could you expand on that a bit, if you have the time?

0Qiaochu_Yuan12y

But they sort of do, right? They use "metaphysics" to refer to a tradition in philosophy started by what Aristotle talked about in the books anthologized after his works on physics. My point is I certainly would not cash out "metaphysics" to "the physics of physics" in the same way that I would cash out "metamathematics" to "the mathematics of mathematics." If you think ethics is the study of the question "what should we do?" then metaethics is the study of the question "how should we determine what we should do?"

4Will_Newsome12y

This is merely a curiosity, but I think it does make non-negligible sense to think of metaphysics as the physics of physics. Abstracting from regularities of experience to regularities of regularities of experience. Metaphysics tells us what laws of physics are logically possible in the same way physics tell us what patterns of experience are physically likely.

0[anonymous]12y

Ah, I think the characterization 'ethics of ethics' or 'physics of physics' is misleading then: you don't mean a physical theory of physical theories, or an ethical theory of ethical theories. This makes it sound like the meta-study asks the same questions as the object level study, only about the object level study. But I take it you mean that the meta-level study asks different kinds of questions; in your example, meta-ethics asks epistemological questions about ethics, while ethics asks ethical ones about the immediate objects of study.

0Qiaochu_Yuan12y

No, I think metaethics asks ethical questions about ethics. Those ethical questions may get reduced to epistemological questions, but the epistemological questions are only important because they're supposed to help answer the ethical question "how should we determine what we should do?" (I'm thinking of "should" here as an ethical modal operator.)

[+][anonymous]12y-100

Moderation Log