This post is a followup to "We are not living in a simulation" and intended to help me (and you) better understand the claims of those who took a computationalist position in that thread. The questions below are aimed at you if you think the following statement both a) makes sense, and b) is true:
"Consciousness is really just computation"
I've made it no secret that I think this statement is hogwash, but I've done my best to make these questions as non-leading as possible: you should be able to answer them without having to dismantle them first. Of course, I could be wrong, and "the question is confused" is always a valid answer. So is "I don't know".
- As it is used in the sentence "consciousness is really just computation", is computation:
a) Something that an abstract machine does, as in "No oracle Turing machine can compute a decision to its own halting problem"?
b) Something that a concrete machine does, as in "My calculator computed 2+2"?
c) Or, is this distinction nonsensical or irrelevant? - If you answered "a" or "c" to question 1: is there any particular model, or particular class of models, of computation, such as Turing machines, register machines, lambda calculus, etc., that needs to be used in order to explain what makes us conscious? Or, is any Turing-equivalent model equally valid?
- If you answered "b" or "c" to question 1: unpack what "the machine computed 2+2" means. What is that saying about the physical state of the machine before, during, and after the computation?
- Are you able to make any sense of the concept of "computing red"? If so, what does this mean?
- As far as consciousness goes, what matters in a computation: functions, or algorithms? That is, does any computation that give the same outputs for the same inputs feel the same from the inside (this is the "functions" answer), or do the intermediate steps matter (this is the "algorithms" answer)?
- Would an axiomatization (as opposed to a complete exposition of the implications of these axioms) of a Theory of Everything that can explain consciousness include definitions of any computational devices, such as "and gate"?
- Would an axiomatization of a Theory of Everything that can explain consciousness mention qualia?
- Are all computations in some sense conscious, or only certain kinds?
ETA: By the way, I probably won't engage right away with individual commenters on this thread except to answer requests for clarification. In a few days I'll write another post analyzing the points that are brought up.
(2) Humans can manually compute any algorithm that a TM compute (this is just the Church Turing conjecture in reverse), so a human has to be at least a UTM. The significant part of the computationalist claim is that humans are at most a UTM.
(4) No.
(5) If intermediate steps matter, the Turing Test is invalidate, since a Giant Lookup table could produce the same results with trivial intermediate steps. However, computationalists do not have to subscribe to the TT.
(7) An "And gate" looks like a piece of hardware, but it is really anything that computes a certain abstract function. Computationalism requires that a mind is essentially a class of programmes. Computationalism probably does not require a very fine grained description of the Consciousness Programme, since that would make it hard to explain how numerous different people with different brains and life expreiences could all be conscious. (Computationalism has to retrodict human consciousness as well as predict AI). That being the case, computationalism can stop short of a description of computation that does not go all the way down to primitive elements. (Computation is of course not essentially tied to the binary system. You could have a decimal UTM).
(6) Either qualia don't exist at all, even as mere appearances, or they have to be mentioned. I go for the latter. (A complete theory of optics has to be able to explain mirages!)
(8) I don't think any computaitonalist thinks all computations are conscious. Consciousness, for computationalists, cannot be any programme, or just one programme, but must be a set of programmes each embedding a UTM.