Always know where your abstractions break

post by lsusr · 2022-11-27T06:32:09.643Z · LW · GW · 6 comments

General relativity plus quantum field theory can describe almost everything in the universe. There are a few exceptions like cosmic expansion and black holes but to human beings confined to a single solar system, fundamental physics is (for all practical purposes) a solved problem. Yet there are many things we don't know. It's as if the universe were a game of chess; we've learned the basic rules but are still figuring out the strategies.

All the universe cares about is fundamental physics. The universe always obeys the small-scale fundamental laws of physics. The universe never does anything else. It doesn't care about evolution or chemistry or orbital mechanics or beauty. All of those things are high-level abstractions we (or evolution) invented to make sense of the world. Most of the time we think about how the world works we don't think about fundamental physics. We use our higher-level abstractions instead.

Which is fine…most of the time. The problem is that any theory other than "the universe always obeys the fundamental laws of physics" is wrong in the sense that it is not perfectly generalizable.

There are many ways abstractions can malfunction when misapplied.

Even general relativity and quantum field theory are not not universally generalizable. General relativity breaks on small-scale phenomena. Quantum field theory breaks on large-scale phenomena.

Postmodernists use the idea of leaky abstractions to dismiss the idea of objective truth entirely. That's like driving your car into the ocean and then declaring that cars don't work. Cars do work, but you need to take care of yours and drive it only on the terrain it functions on.

The most dangerous philosophers aren't the postmodernists who believe nothing is true. The most dangerous philosophers are the ideologues who believe their particular ideology is true.

There is nothing wrong with believing true things are true. One absolutely should believe true things are true. The problem with ideologues is that they believe their personal ideology is absolutely true. If you believe an ideology—any ideology—is absolutely true then you are wrong because high-level abstractions are always imperfect models of reality. Ideologues' tools malfunction because ideologues don't know the limits of their own tools. They aren't even aware their tools have limits. Those who understand ideologies' limits aren't ideologues.

Every idea has a domain it can be applied to, beyond which the idea will malfunction. If you don't understand an idea's limitations then you don't understand that idea.

6 comments

Comments sorted by top scores.

comment by tailcalled · 2022-11-27T08:18:02.407Z · LW(p) · GW(p)

What's the limitations/boundaries to the domain of application to this post?

Replies from: SatvikBeri, None, lsusr
comment by SatvikBeri · 2022-11-28T17:42:59.755Z · LW(p) · GW(p)

One sort-of counterexample would be The Unreasonable Effectiveness of Mathematics in the Natural Sciences, where a lot of Math has been surprisingly accurate even when the assumptions where violated.

comment by [deleted] · 2022-11-27T18:44:21.576Z · LW(p) · GW(p)

This post would be a meta analysis to your question; or your question is a meta analysis to this post; either way is fine. He argues that the context/domain of application is dependent on the abstractions/generalization. When the context changes, the abstraction also changes most of the time. This post's focus is more on being aware of when the context changes and when the abstraction changes.

comment by lsusr · 2022-11-27T08:30:24.044Z · LW(p) · GW(p)

Rationality.

Replies from: tailcalled
comment by tailcalled · 2022-11-27T09:04:23.917Z · LW(p) · GW(p)

That's a very abstract response, could you give a more concrete explanation?

Replies from: lsusr
comment by lsusr · 2022-11-27T09:26:51.096Z · LW(p) · GW(p)

I can give a concrete example.

If you're writing a novel (novel-writing is not a subfield of rationality) then you don't need to keep in mind the principle "[i]f you don't understand an idea's limitations then you don't understand that idea."

On the other hand, if you are trying to figure out whether Capitalism is the best ideological framework to apply to a region (which is a question within the domain of rational analysis [LW · GW]) then you absolutely must keep in mind the limits of the Capitalist framework.