The “Science” of meditation

You may wonder “what is meditation really?”. Or perhaps you have a precached notion of meditation as something only hippies and monks do, a religious ritual at best. But really there is much more.

In the broadest sense, it is the “science” of the mind.

First I’m going to shadow your definition of “science” with mine, so that there is no confusion. Hopefully it is sufficiently close to yours so that you can glean some benefit from the discussion. By “science”, I mean the acquisition of knowledge about the “outside” world, through logic (truth preserving transformations) and observation, the prediction of future observations given past observations. I make this distinction because the application of “science” directly to the mind gets a bit tricky.

The universe simulates quantum mechanics at some scale, chemistry at a larger scale, Newtonian physics at a still larger scale, general relativity, etc. None of these scientific frameworks are true, but they are convenient abstractions for predicting future observations from past observations to some degree of accuracy. We know that they are not true because there are “leaks” in the abstraction, some things that don’t fit. QM cannot currently reconcile with GR, so we know we must jump to a “larger” theory to unify them. What if at some point we find no leaks? Does this mean we now know what is “true”? Well not necessarily. The universe could be a perfect simulation in a larger universe, a dream in the mind of a god, a quantum fluctuation that exists only for an instant with our memories an illusion.


How can we distinguish these possibilities? There is no way, so long as there is no observable difference. For this reason I suggest that my definition of “science” is a useful one.

This shift in perspective begs a question: If we can’t really say anything about what’s true “out there”, but can only make statements about observations, what exactly is an observation?! It seems obvious that we need to look deeper inside the mind, in the realm of sensory perception to answer this question. Normally in science we make some basic assumptions, like “objective reality exists”. This is generally a nice assumption to make. But in doing so we make some implicit assumptions that our senses relay accurate information and are not subject to introspection. This leads to problems like the above, where you can make nonsense statements about indistinguishable realities.

So observations are kind of like senses? Well, “sense” is rather arbitrary (in addition to the 5 there’s balance, proprioception, hunger, bladder fullness, etc. depending on how liberal you want to be), but more importantly it relies on assumptions of the outside world. For you, the observer, what does a sense mean? Consider all the preprocessing the retina does before it forwards the image to the rest of the brain. You would still call sight a “sense” yes? Then I suggest that, to the observer, a sense is just a nerve module feeding data that the brain views as “primitive”. So anything that “feels different” is a different sense. Pain, tickle, pressure, etc. are all different senses under this definition!

If we take this notion to it’s logical conclusion, we see also that emotions are senses too. Though it acts on a much larger scale, an emotion is just a preprocessing of your general state to give a heuristic on how to think. It seems weird at first to think this way, but we’ve known it all along. This is why we “feel” sad, or “feel” happy, the same way we “feel” the wind through our hair.

So now it seems clear “Yes, of course we should study our senses if we want to know anything about our relation to this world!”. But there’s a big problem which has prevented “meditative sciences” from becoming “real sciences”, and that’s reproducibility. The scientific method is in many ways the optimal tool for conducting “science” on the natural world. One of the most fundamental and useful assumptions of science are that the laws of nature are the same everywhere, so if we set up two comparable experiments in two comparable places, we should get comparable results. But when we try to apply this to meditation, it all comes crashing down. To the pure observer, there is no “everywhere”, there is only “here” and “now”. We cannot take for granted “elsewhere” or even our past; consider that memories too are a sense, replaying input through the same channels it came in the first time.

It may seem a wonder that with these limitations we could say anything useful at all! Is this a fundamental limitation? Well, yes and no. We’ve already accepted a far greater weakness, that no logic system can prove it’s own consistency. Essentially (with much abuse of rigor), we can never “prove” anything at all, at least by most people’s definition of “prove”. But incompleteness doesn’t stop us from pushing forward to find “truth”,  and neither should this. It is convenient to assume that “math works”, if we can just get math right, and so too it is convenient to assume that our senses betray some greater external reality, if we can just interpret them correctly.There’s a reason that most philosophers disregard solipsism, because it’s mostly useless! But considering it seriously prevents one common epistemic trap. If you can’t experientially distinguish between one possible reality and another, it is meaningless to consider which is “real”. But we generalize “experience” from the typical all or nothing definition, so we really mean It is not meaningful to distinguish between two models that give identical predictions of future experience. Essentially we’ve weakened “reality” to “convenient model”, and the practical results becomes obvious.

But this is all philosophical exploration, which has been reinvented many times over. The  real, practical reason that meditation has never been seriously considered is still reproducability. The mind is in constant flux. You are continuously transforming, never the same person at two points in time. Clearly this wreaks havoc on reproducability! How can you ever repeat an experiment if you already expect a result? “All the theorems assume that how you think doesn’t affect reality apart from your actual actions”. But in meditation, that is exactly what you’re doing! Meditation is essentially conscious control of the placebo effect! Normally we account for placebo through replication and controls. But what does a meditation control look like? You must always be thinking something! There is no “null thought” by which to compare, or rather, the default is specific to each person. If we had a battalion of identical personalities, this may be possible. As crazy as it sounds, I expect this to be within the reach of science.

Another problem is that we cannot directly share our experiences in a reliable way. One person says “If you do A, you will feel X”, and another asks “Great! What is X like”, and the original replies “I cannot tell you, you must experience it yourself”. This is actually not so much a problem, what we’re doing here is describing an experiment that will lead to observation X; this is the best we can do when language fails to encode all of our experience. The real difficulty is in determining “feeling equality”. So you’ve done A, but how do you know the X’ you feel is the same as the master’s X? If we have good reason to believe that consciousness is embedded in the physical world (we do), then we can eventually tie a neuronal activity profile to each feeling (or an equivalence class of such profiles, as the case more likely will be).

Meditation makes no assumptions of an external world, it is the pure observation of our existence. Because our senses are the most primitive thing we can observe, meditation requires no tools, no prior knowledge of the world, and no assumptions. It is the study of the “self”, at the purest level. Bridging between this knowledge of the “self” and our understanding of scientific reality requires technical advances that are not available yet, but this does not mean it should be relegated to philosophy alone. Science presses forwards, slowly consuming the domains of philosophy and religion into the sphere of applicable knowledge. We need first only recognize that it is applicable!


Language Proposal: Meme dereferencing operator

I lied, no programming today. Instead, metaphysics! But actually, natural language is very similar to computer language, except everyone’s afraid to write a standard for it.

Before we start, I’d like to clarify my meaning of meme, given the cultural baggage it has acquired. By meme I refer to “formal cultural entities”, such as religions, companies, political parties, etc. But also to such phenomena as “the fashion of Victorian nobles“.

Additionally, I use “thought” not necessarily to mean a thing which one thinks, but as a thing which one may think, a conceptual ideal. This definition is tricky. In some sense, thoughts are everything. For if you cannot think it, you cannot perceive it, and so it exists in no meaningful sense.

EDIT: Since becoming acquainted with the lesswrong community, I’ve realized the concept I’m describing here is more commonly known as a “thing” in “thingspace“, to be deconvoluted from a “thought” in “thoughtspace”. 

Now, let us proceed by analogy and trust for now that there is a point hidden here somewhere.

(1) You can write point-free style in Perl with a little (a lot) of finagling, but would you WANT to? Of course not! By not allowing functions (and higher order combinators) as first class, you discourage the use of certain styles. In the same way, EVERY language feature subtly affects the kinds of programs that are commonly expressed in the language.
Now, a program (source code) is merely a description of a procedure  In an ideal world, we’d be able to traverse the space of procedures and pluck the right one directly. But the space of procedures is too large to be first class in our universe, so we need programs to give us a handle into this space.

(2) Now consider a similar problem:
One of the great abstractions of “high level” languages is being able to pretend that we’re really dealing with values directly: the addresses are hidden. In reality the machines have to identify addresses to push data around to, a fact that becomes painfully apparent when working with (ex.) Assembly or C pointers. But actually, C pointers are an elegant approach to address specification. With pointers, we do not specify memory addresses directly, the space of address is too big to be practical. (Though, we could specify them directly if we chose, the space is not so big as to be impossible.) Instead, we obtain the address of the relevant data through the reference operator.

Enough computers, what does this have to do with natural language?

Recall problem (1). Natural language serves the same purpose as a program, where procedures are thoughts. We have no way to directly specify objects in this (mindbogglingly infinite) “thoughtspace” so we use words as a handle into the space. But here’s a problem: thoughtspace is big. Really big. Armed with only our limited language, some ideas will take infinite time to express (consider the completion of the rationals to the reals). Now, you may wonder if only infinite ideas require infinite time. That would certainly be a nice property and is a valid question. However, given the incredible vastness of thoughtspace, I suspect that there exists an infinite family of “holes”: Seemingly innocuous ideas which nevertheless cannot be expressed in finite time (imagine spiraling towards a central point, refining your statement with an infinite series of words.) Even if this is not the case, weaken “infinite time” to “prohibitively long time”, and I think there is little question that this is a true problem.
Any given hole can be plugged by anchoring it to a reference point in our universe, either a physical pattern (“that’s a tree”), or via reference (“the way that a clock moves is clockwise”). Thus, the holes are dependent on the language; the language shapes the ideas we can express.

Necessarily, the things which exist, the “reified thoughts”, are only a small subset of possible thoughts. This shapes our own language, as things which readily exist are much easier to encode in speech than those which must be conceived by analogy. As beings of abstraction, we can perceive certain high level abstractions directly, as “first class”. Ex. A forest is a collection of trees, but a tree is a tree. We naturally perceive it as a unit, though in reality a tree is a complex collection of processes. We can easily do this for things which exist at a “level of abstraction” ≤ our own (The case of equality is particularly interesting, but I will not get into it at the moment).

Finally, we may consider memes. Memes are in some sense, the simplest step up from our current level of abstraction. We cannot perceive them directly as a single unit because we are a part of them (or they a part of us, depending on your perspective), in the same way that a (very intelligent) cell could not easily conceive of the body to which it belongs. Because of this, we find it hard to describe memes. A common way of referring to complicated memes without regurgitating their entire description is by implicitly tying them to more easily expressible notions, kind of like a generalized synecdoche. That is, by listing other easily named memes which are “commonly” associated with it under certain circumstances.

This method causes a host of problems, which unnecessarily limit the expressible statements. Of primary concern is ambiguity. It is often not clear when one is refering to the literal idea or the meme associated with the idea. This problem is often resolved by cultural context. That is, people of a certain similar mindset will understand the difference in their own communication, but this is not stable across mindsets, it is almost impossible to communicate in this way across large cultural gaps.
There’s a related problem. By nature of our language, an unqualified statement (usually) contains an implicit ∀. This directly conflicts with implicit meme dereferencing, and the interpretation of which is intended is subject to ambiguous context. Mixing up ∀ and “associated meme” is a dangerous thing to do and can lead to sweeping generalizations. Remember, we are referring to people here, and sweeping generalizations lead to various forms of prejudice.
This is the heart of the problem: the meme is referred to by association with a concrete idea, but exact relation between the concrete idea and the meme is unspecified and ambiguous. It can be avoided by making the link explicit, but the amount of qualification required to avoid this ambiguity is prohibitively expensive, so these types of statements tend to simply be avoided, limiting our expressive power greatly.

While truly fixing this problem essentially requires a new, carefully designed language, we can make an immediate improvement by at least specifying when we are making a connection. To this end, I propose a new primitive connective: ☀ to mean roughly “The meme primarily inhabiting  and to be used as a sort of “dereference” operator. This will at least allow an unambiguous instantiation of “association”. While it cannot represent more complicated associations than “primarily inhabiting , it covers most common use cases. There are issues with ambiguity when multiple memes may inhabit the same collection of people, which becomes more severe when the memes are mutually exclusive. Correct and clever usage of ☀ can remedy this. It is helpful to imagine trying to indicate an animal to someone where you are only allowed to speak of its environment. Ex: ☀Temperate city skies. Can you guess Pigeon?

I’ve played a little trick here. It is not immediately clear that “people inhabited  is a consistent description of memes. Why should memes associate like that? Genes associate because they can only be combined in discrete pairings with small mutation (mating), so you’re going to get something close to the parents. Memes combine in much more complicated ways, and it’s not clear that they would preserve these associations  In fact, there’s a deeper reason for why these associations hold. In biological evolution, organisms reflect their environment. In some sense, a successful organism is a “statement about how to survive in that environment”. What’s interesting about memes is that they act as both the environment and the replicator. More on this later.