# In praise of fake frameworks

Related to: [Bucket errors](/lw/o2k/flinching_away_from_truth_is_often_about/), [Categorizing Has Consequences](/lw/nx/categorizing_has_consequences/), [Fallacies of Compression](/lw/nw/fallacies_of_compression/)

Followup to: [Gears in Understanding](/lw/ozz/gears_in_understanding/)  
  
I use a lot of fake frameworks — that is, ways of seeing the world that are probably or obviously wrong in some important way.

I think this is an important skill. There are [obvious pitfalls](/lw/nx/categorizing_has_consequences/), but I think the advantages are more than worth it. In fact, I think the "pitfalls" can even sometimes be _epistemically useful_.

Here I want to share why. This is for two reasons:

*   I think fake framework use is a wonderful skill. I want it represented more in rationality in practice. _Or_, I want to know where I'm missing something, and Less Wrong is a great place for that.
*   I'm building toward something. This is actually a continuation of [Gears in Understanding](/lw/ozz/gears_in_understanding/), although I imagine it won't be at all clear here how. I need a suite of tools in order to describe something. Talking about fake frameworks is a good way to demo tool #2.  
    

With that, let's get started.

* * *

[There are two kinds of people](http://tvtropes.org/pmwiki/pmwiki.php/Main/ThereAreTwoKindsOfPeopleInTheWorld): extroverts and introverts.

…sort of.

I mean, as I look around, it certainly _looks_ like there's a difference between outgoing social butterflies and quiet types who mostly stay at home. Maybe it's more like a continuum rather than a binary thing. But if so, I find myself wondering if it's bimodal with rough "extrovert" and "introvert" [clusters](/lw/nl/the_cluster_structure_of_thingspace/) anyway.

But then I look at [long lists of differences](http://www.huffingtonpost.com/entry/difference-between-introverts-extroverts-chart_us_57f794c2e4b0b6a430316b3a) between extroverts and introverts, and I worry. What exactly do these terms _mean_? Is it just about how talkative and loud people are? If so, are the labels [sneaking in connotations](/lw/ny/sneaking_in_connotations/) about where people "get energy" from and how action-oriented they are?

Well, it turns out that [a bunch of those traits are correlated](https://en.wikipedia.org/wiki/Big_Five_personality_traits#Extraversion). The intuition is, in fact, picking up on something true in the world.

But.

That doesn't mean the intuition is correct.

It looks like [maybe extraversion isn't bimodal](https://www.quora.com/Is-the-distribution-of-introverts-and-extraverts-bimodal). I can justify that after the fact: the Big Five verified extraversion as a correlational cluster of traits and defines introversion as "low extraversion", and a Gaussian distribution seems like a more sensible prior than a bimodal one. But I didn't think of that ahead of time. If I hadn't thought to look, I might have thought the Big Five had verified the bimodal intuition because "these traits are correlated" and "the correlation has two separable empirical clusters" were [compressed](/lw/nw/fallacies_of_compression/) into one "[bucket](/lw/o2k/flinching_away_from_truth_is_often_about/)" in my mind.

What other parts of the intuition are suspect? What else wants to sneak in under the banner of "verified"?

That's hard to know. The [usual use](/lw/nr/the_argument_from_common_usage/) of the term "extrovert" isn't a sharp reference to clear traits. It's more like a fuzzy cluster of impressions that loosely splat over things like [Type A personality](https://en.wikipedia.org/wiki/Type_A_and_Type_B_personality_theory) and being the "life of the party".

So we're left with a choice.

We can ignore the fuzzy intuition and just use the concepts that come from the research. [OCEAN](https://en.wikipedia.org/wiki/Big_Five_personality_traits) tells us what extraversion is as it exists in the world. If we want to know what other traits correlate with extraversion, we can measure that trait and a bunch of others and look. We can feed massive amounts of data to machine learning systems and let them [magically](https://wiki.lesswrong.com/wiki/Magic) tell us correlations. No guesswork required.

That seems safe.

But.

If we'd done that as a species, [there would be no OCEAN](https://en.wikipedia.org/wiki/Big_Five_personality_traits#History). Researchers thought to develop the Big Five because of folk intuitions about personality traits.

Also, not everything has been researched, and it’s tricky to [find](https://wiki.lesswrong.com/wiki/Scholarship) everything that _has_ been researched.

The whole approach is [too slow](/lw/qi/faster_than_science/). It doesn’t work as a general epistemic solution.

But we clearly can't just trust the intuition. It's predictably wrong somewhere. It makes some false things [seem](https://en.wikipedia.org/wiki/Confirmation_bias) obviously true. And we don't get to know which seemingly true ideas are wrong ahead of time.\

So instead I [suggest](http://slatestarcodex.com/2014/03/24/should-you-reverse-any-advice-you-hear/) this:

Assume the intuition is wrong. It's _fake_. And then [use it anyway](http://www.quotationspage.com/quote/26277.html). Let yourself wonder about and [kind of believe](/lw/k4/do_we_believe_everything_were_told/) in what makes sense to you about introverts and extroverts. Just do it in a mental [sandbox](https://en.wikipedia.org/wiki/Sandbox_(computer_security)) of "This is all fake and made up."

You know more about people than you're conscious of. Doing this sandboxing lets you flesh out [Gears](/lw/ozz/gears_in_understanding/) for extroversion and introversion with more of your mind.

It also keeps you honest. You're already [privileging hypotheses](/lw/19m/privileging_the_hypothesis/). This lets you own up to it and notice where you’re making implicit assumptions.

And maybe some of those "privileged" hypotheses are just correct. That's worth noticing when it's true. Maybe more extraverted people really _do_ [wear more decorative clothing](https://en.wikipedia.org/wiki/Extraversion_and_introversion#Behavior). If that's right, then maybe [you should have let your intuition influence your guesses from the start](/lw/7i/rationality_is_systematized_winning/).

* * *

So in practice, while using a roadmap it's sensible to think of roads as basic somehow. Or rather, when using these maps, [roads _are_ basic](/lw/uh/trying_to_try/).

Yes, you can reflect on it and remember that roads are made of atoms. But two points:

*   That's pretty useless. That doesn't help you get from point A to point B in a new city.
*   The roadmap would work even if the roads weren't made of atoms. Like roads in a video game world.

  
This means it's pretty silly to try to give an [intensional definition](/lw/nh/extensions_and_intensions/) of "road" in this context. If you met someone who'd never used a roadmap before, you'd [point at a road near you](/lw/nh/extensions_and_intensions/) and point at the matching part of the map and say "That thing is this line."

I think this suggests a natural way to define "ontology". I say an ontology is a set of "basic" things that you use to build a map (together with rules for how you can combine them into a map). Something is "ontologically basic" if it's an element of the ontology you're using.

Some other examples:

*   In Euclidean geometry, the undefined terms "point", "line", and "plane" are the ontologically basic things, and the postulates are the rules for how to combine them. We create territories this ontology can map when extrinsically defining the undefined terms: we pretend a blackboard is a "plane", a bar of chalk dust dragged across it is a "line", and a fat dot of chalk on it is a "point". I think a lot of people talk about this backwards, like the drawings are maps helping them explore the territory of Euclidean geometry. I think they're confused about what "real" means. The drawings help us notice what territories that ontology can make maps of.
*   I think classical mechanics has mass, position, and time as ontologically basic. Newton's Laws of Motion give the rest of the ontology. That's a rich enough map-building set that it can describe most movement we encounter pretty well. It falls short when modeling near-light speeds though.
*   OCEAN's ontology has five "personality spectra" as basic: Openness, Conscientiousness, Extraversion, Agreeableness, and Neuroticism. These five emerged from data. This contrasts with [Myers-Briggs](https://en.wikipedia.org/wiki/Myers%E2%80%93Briggs_Type_Indicator#Four_dichotomies)' four (Introversion/Extraversion, Sensing/iNtuiting, Thinking/Feeling, and Perceiving/Judging), which came from thinking about Carl Jung's theories. They both have the same ontological structure though: personality type is defined by some small number of intervals with some set of behavioral traits clustered at each end of each interval.

Ontologies [make](/lw/no/how_an_algorithm_feels_from_inside/) things [seem real](/lw/uh/trying_to_try/). Roads are real, right? But if [time itself isn't real](/lw/qp/timeless_physics/), or if [there's only one electron in the whole universe](https://en.wikipedia.org/wiki/One-electron_universe), then what does it mean to say that a road is real?

I think people get confused like this when they switch ontologies without noticing. First roads are basic. Then we're talking about ontologies for physics, and none of those take roads as basic. One of them even challenges the idea of a _thing_ at a higher order than an electron. Each time we switch ontologies that we connect to our experience, "real" takes on a new meaning for us.

But aren't roads really real? I mean, I walk down one every day to get to work…

…which shows how pervasive this illusion is.

If I can't switch to an ontology that doesn't have roads as basic _while looking at what I was calling a "road"_, then I'm pretty stuck. I can't understand [reductionism](/lw/on/reductionism/). I can't [see with fresh eyes](/lw/k7/original_seeing/). I'm just rehearsing what I "know".

Likewise with people who are really into (say) Myers-Briggs. If the types in Myers-Briggs look real to you, and you can't shake that sense, then you’re stuck. It’ll seem meaningful to figure out how each person fits in that framework as though the framework is objectively true. That will make it hard for you to notice things about personality that that ontology doesn’t capture well.

…and it will _highlight_ things that that ontology _does_ capture well.

I learned a lot about [just how different other minds can be](https://wiki.lesswrong.com/wiki/Typical_mind_fallacy) by studying [the Enneagram](https://en.wikipedia.org/wiki/Enneagram_of_Personality). It suggested [Gears](/lw/ozz/gears_in_understanding/) for people I hadn’t considered before. It helped me see my dad’s sternness as _affection_. I mostly don’t use that system anymore; it’s unclear whether its nine types map at all to [natural clusters](/lw/nl/the_cluster_structure_of_thingspace/) of people. But I still see Dad more clearly because I used the system for a while.

Switching which ontology is active feels like changing what I believe is real about what I’m experiencing. This means if I want ontological flexibility, I have to take my experience of “real” lightly. I can’t clutch too tightly to the sense that what’s “obviously real” to me right now is objectively true. And I have to be able to see _something new_ as “obviously real”.

Like with the road. Roads are real. But I can set that aside and see it as molecules in mechanical and chemical interactions. Or as quarks in a timeless wiggling quantum soup. Or as a dreamlike projection of my pattern-matching mind.

This is easier to do if I think of these “real” roads as fake. And molecules as fake. And quarks as fake. If I remember that I’m talking about map-generators, which feels on the inside like talking about the territory.

* * *

Numbers are ontologically basic in elementary arithmetic.

  

But it turns out that if you take sets as basic instead, [you can derive elementary numbers](https://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers). Set theory is a richer ontology than that of elementary arithmetic: everything you can map with numbers, you can map at the same resolution with sets. But you can do more with sets.

[Reductionism](https://wiki.lesswrong.com/wiki/Reductionism) promises that all ontologies can become one. More formally: Given any finite set of ontologies that fit experience, there’s some super-ontology that fits experience and is at least as rich as every ontology in your initial set.

That’s different from saying that _you know how to find it_.

Quarks are real, right? Really really real? And everything real comes from quarks and how they interact. We just use labels like “evolution” and “desire” for things that are a pain to derive from the quark level.

But it would feel this way if you were _wrong_, too. That’s what it feels like to wear an ontology.

I suspect it’s a type error to think of an ontology as _correct_ or _wrong_. Ontologies are toolkits for building maps. It makes sense to ask whether it [carves reality at its joints](/lw/o0/where_to_draw_the_boundary/), but that’s different. That’s looking at _fit_. Something weird happens to your epistemology when you start asking whether quarks are real _independent of ontology_.

Maybe in the secret [noumenal](http://www.thefreedictionary.com/noumenal) universe, there are truly basic things. I don’t know how I can ever know about them without maps though.

Which makes me want to [whack my ontologies with a sledgehammer](http://www.snopes.com/truth-carl-sagan-quote/).

If I’m only ever willing to try on ontologies that _I can tell_ fall within a _known_ richer super-ontology (e.g., physics), then anything that super-ontology doesn’t easily map becomes hard for me to notice.

This isn’t a challenge to reductionism. Or to physics.

It’s a challenge to _assuming you already know the answer_.

Fifteen years ago I learned how to “extend [ki](https://en.wikipedia.org/wiki/Qi)” in aikido. Ki was part of my teachers’ ontology. That didn’t make sense to my physics brain, but I went with it anyway. This gave me access to strange powers that took me over a decade to understand within my physics ontology.

I think it twists the [definition of “rational”](/lw/7i/rationality_is_systematized_winning/) to say that I should have rejected their teachings as wrongheaded.

But it _would_ have been bad if I had _believed_ in ki _and_ physics _and_ reductionism without [being confused](/lw/if/your_strength_as_a_rationalist/). Eventually the ontologies needed to reconcile.

And they did. Eventually I learned enough about [body mechanics](https://www.amazon.com/Becoming-Supple-Leopard-2nd-Performance/dp/1628600837/ref=sr_1_1?ie=UTF8&qid=1499738720&sr=8-1&keywords=becoming+a+supple+leopard) and [how brains model movement](https://www.amazon.com/Guide-Better-Movement-Science-Practice-ebook/dp/B00L2RP95G/ref=sr_1_1_twi_kin_1?ie=UTF8&qid=1499738766&sr=8-1&keywords=a+guide+to+better+movement) to understand why "moving with ki flow" worked.

But in the meantime, I still learned how to do aikido.

* * *

“Ontological flexibility” is a mouthful. I don’t like the phrase. Too many syllables.

So instead I talk about _fake frameworks_.

There’s a skill to trying on a crazy perspective, actually _believing_ it while you use it, and never taking it seriously. Then you _can_ learn whether your judgment of “crazy” is right. And you can extract value from the good parts.

There’s an open question about how to wear obviously wrong ontologies without hurting your belief system. I don’t have a better answer than “Try to [sandbox](https://en.wikipedia.org/wiki/Sandbox_(computer_security)).” It seems to work for me. And it’s not something I always did: I used to adopt _and cling to_ every ontology I tried on. It made the world seem very [mysterious](/lw/iu/mysterious_answers_to_mysterious_questions/). I don’t think I do that anymore, so I think this is a learnable skill.

And if this is the wrong skill somehow, I’d like to know what to use instead.