What shape has mindspace?

post by Gurkenglas · 2019-01-11T16:28:47.522Z · LW · GW · No comments

This is a question post.

Contents

  Answers
    1 G Gordon Worley III
None
No comments

Epistemological status: Babbling.

Let map each mind in mindspace to how aligned it is. We are trying to optimize . To that end, lemmata are helpful which talk about the shape of mindspace. That's why we try to call it a space even before defining what category it lives in.

To optimize a function, start with a diverse enumeration of its domain. The deontological enumeration covers all others with constant-factor overhead, but the consequentialist enumeration gives us more properties to work with.

Every mind has an implicit utility function . factors through as a function, but not as a continuous function, let alone a -morphism. That's why we've recently moved away from explicit utility maximizers.

Use mathematical language to tell our story! Then we might guess where it's going.

Answers

answer by Gordon Seidoh Worley (G Gordon Worley III) · 2019-01-11T19:30:28.659Z · LW(p) · GW(p)

I did some work in this direction when I wrote about phenomenological complexity classes. I don't lay it out in much detail in that post, but I believe we can build on the work I do there to construct a topology of mindspace based on the assumption of a higher-order theory of consciousness and a formal model of the structure of consciousness grounded in intentionality by (and here's where I'm not sure what model will really work) possibly treating minds as sets within a topological space or as points on manifolds and then being able to say something about the minds we do and don't find in topological spaces with particular properties.

Alas this is all currently speculation and I haven't needed to go further than pointing in this general direction to do any of the work I care about, but it is at least one starting point towards work in this direction.

comment by Gurkenglas · 2019-01-11T19:49:30.278Z · LW(p) · GW(p)

I'm sceptical that whether a mind is aligned has anything to do with whether it is conscious.

Replies from: gworley
comment by Gordon Seidoh Worley (gworley) · 2019-01-11T21:19:20.350Z · LW(p) · GW(p)

Sure, but that issue is irrelevant to the question you're asking. You can disagree with how I choose to convert "conscious" into a technical term from a folk term and even if you agree with my conversion perhaps disagree with whether or not something must be conscious in that sense to be aligned, but you asked about mindspace and those documents, although driving at other purposes, lay out some background that could be used to approach the question.

Replies from: Gurkenglas
comment by Gurkenglas · 2019-01-11T23:46:57.849Z · LW(p) · GW(p)

From what I see, the phenomenological complexity classes separate minds based on what they are thinking about, while alignment depends on what they are trying to do.

treating minds as sets within a topological space

If a mind is a topological space equipped with a subset, what sort of mind would the set being full imply?

Replies from: gworley
comment by Gordon Seidoh Worley (gworley) · 2019-01-12T23:03:41.957Z · LW(p) · GW(p)
If a mind is a topological space equipped with a subset, what sort of mind would the set being full imply?

That I'm not sure, as I haven't worked this out in much detail. I just sort of have a vague mathematical intuition that it might be the right sort of way to model it (n.b. I dropped out of a math phd after 6 years to do a startup, if that's some rough guide to how much to trust my mathematical intuition).

For what it's worth, here's some notes I found that I wrote about this a while ago. I make no promises that any of this makes any sense or that I would still agree with any of it, but it is what I wrote about it a while ago:

Mathematical Foundation of Phenomenology

So that phenomenological complexity classes are applicable to as many universes as possible, including our own, it has a rigorous mathematical foundation that makes as few assumptions as possible and easily translates into the standard language of phenomenology. That said, it is not a theory of everything, and so supposes that

  • the universe is made of stuff in configurations called states that are related to each other by causation,
  • mathematics can be applied to stuff, states, and causation,
  • and states can be partially ordered by causation.

Let process denote a set of states partially ordered by causation. Processes include simple physical processes modeled by atoms and quarks, stochastic processes like Brownian motion and waves, mechanistic processes like levers and clocks, phenomenological processes like cats and humans, social processes like organizations and friendships, and a universal process that includes all states and which we refer to as the universe, reality, or the world. Every process is a subset of the universe, including the empty process that contains no state.

We can then construct a topological space, called process space, on the subset processes of the universe where

  • every process, including the universal process and the empty process, is a member of the topology,
  • the union of processes is itself a process,
  • and the finite intersection of processes is itself a process.

Process space, being a topology, automatically gives us a lot of constructs to work with. Each process has an interior defined as the process containing itself and all the processes within it. We can further define filters in process space as the partial ordering of processes by subset, and then the closure of a process will be all the processes within the limit of the filters with the process’s interior as their base. These definitions are respectively analogous to subject, experience, and context in the standard terminology of phenomenology, but are strictly ontological and lack confounding teleological meanings. We’ll use these ontological terms in the remainder of the introduction for precision but switch the more common terminology in the dialectic for readability.

Processes may contain within them partial information about their filters in their partially order set of states. This is possible because partial ordering on filters

Phenomenology is the study of process filters, and the filters on a process are closed under finite intersection, which is to say that the commonalities of any two experiences is itself an experience, and upwards closed under subset, which means any part of an experience is itself an experience. Then we can understand the largest filter on a process’s interior, which is to say the filter that cannot be made any larger and still have the process’s interior as its base, as the principal ultrafilter on the process’s interior or simply the process’s ultrafilter. It trivially follows that a process’s ultrafilter contains every filter on the process as a subset, thus a process’s ultrafilter can be understood as the totality of a subject’s experience.

Thus far our theory is , and so when we talk about a process’s ultrafilter we are talking about all the experiences a subject might or will have, depending on the nature of causality. Yet each filter that is not itself the ultrafilter has supersets, which we might call “future” experiences. Since we are ourselves processes embedded in the topological space, at any “moment” of experience we have “future” experiences, and so when we talk about a process’s ultrafilter it’s useful to have a notion of the ultrafilter in time for universes like our own where the state of stuff is grouped in partially ordered subsets of the power set of state sets that admit a notion of “before” via subset, “after” via superset, and “now” by choosing an arbitrary set as reference point.

Replies from: Gurkenglas
comment by Gurkenglas · 2019-01-13T14:18:36.542Z · LW(p) · GW(p)

Isn't process space just discrete, because every subset of a process, a set partially ordered by causation, is partially ordered by causation, so a process? Topology doesn't give you much if you don't restrict which sets are open.

Each process has an interior defined as the process containing itself and ...

Isn't this a type error? Processes contain states, not processes.

No comments

Comments sorted by top scores.