A friend said last week that the person who has taken my job is “doing better than me”. I got to thinking about this throw away remark yesterday.
The Nepali who took my job is new to the country. Does not have the educational background, the cultural acceptance or even the language of myself - a white middle class male and yet got the keys to a house last week. He has a job, a car, a wife and children and now a 3 bedroom house. My friend’s point was that I have none of these, and as my father would have reminded me, given the money spent on my education and the advantages I have in the UK being a direct descendant of aristocracy, I “should” have these.
Long ago I rejected all these things – too much hard work for uncertain benefit.
What occurred to me was my friend’s use of “better” – we talk talk a lot about these things there was no hidden criticism for me to understand in what he said. It is true that he now owns a big house and I live only in a rented garage. This is a material fact apparent to anyone. What is fascinating tho is that idea of one being “better” than the other.
I’m not naive I know exactly what they are talking about – it is fundamental to my culture (indeed all human societies). But when you look at it it is absurd. A material fact that his house is “larger” than my living space means that he has done “better”. Same applies to cars, or wives or children or anything. A man with 3 children has actually done better than one with none – or 1, or 2! A man with 100 cows has done better than one with none, or 1, or 2 etc. It is so simple, but also so abstract and bizarre.
There is some logic. If you have more children then your family line is going to progress further (probably), if you have a bigger house you have more to sell in times of trouble etc but more importantly these things are hard to come by so represent a level of “fitness” which is attractive to mates (see point 1) and which acts as a signal to others of your rightful place in the social pecking order (social structure)… which is back into the social hierarchy analysis already completed…
But, in actual real terms everything in the previous paragraph is not self-explanatory… why even do we care about survival? A version of the anthropogenic explains that if we didn’t we would not be here to reflect on survival… but apart from this only self-consistent restriction (that all other possibilities are inconsistent) we are not the wiser.
I realise that this is the first moment in this on going blog where some new understanding is waiting to enter… I wonder how long its exposition is going to take! After some work this week I realise it will take me a long time to come up to scratch with logic and information/computer science to really make in significant roads on the self-reference thing – there really has been a lot of wonderful work done in this area already and I suspect the SRH will be only me understanding what already exists than contributing anything.
The new understanding tho is a consistent idea that there is no need for a “foundation” on which things must be built. That the choice of axioms, or ontology is not a fundamental “starting” point and that as Hofstadter realises things on different levels of a structure both found and imply other things in all directions – in strange loops. This combined with the idea that complex structures (like the Mandelbrot set) really can arise from the simplest constraints applied to self-feeding systems.
My colleague has done better than me when measured along the lines present in our societies. How else could we measure it? But at the same time standing up alongside the many rulers that are present in the world of meaning that are Life does lead us to ask what is the ruler that rules the rulers? What standard brings us to measure ourselves thus? What rule enforces us to buy bigger houses and strive for more beautiful partners and more kids and bigger bank accounts? Jesus calls that rule Mammon (old Chaldee word apparently). What rule holds it true that my colleague has done “better” than me by measure of his house and attainments? That such a rule exists is not in doubt, but it is not a rule that I follow. Does this make me wrong, or is that rule not universal?
Ontologists will say that this rule has some place in ontology, but I’d like to ask is this rule a construction that arises only in a particular context (a la Buddhist dependent origination)? Does it owe its existence to other things, and they in turn owe their existence to other things – not necessarily in a line of causation from future to past, or top to bottom, but in a hall of hazy mirrors from which no-one can determine which is reflection and which is source? This a la Hofstadter.
Are the structures that we are familiar with in our Life, and which measure us and which we measure by; those things which by association magically produce a window on how big, how good, how rich each thing is, are these naturally emergent from the maelstrom of the world as much as the things that we measure are?
Is this the vague outline of the answer to my long standing question, hatched as a child, as to why there was no manual on how to live Life, and what such a manual would look like?
There is no foundation to the world. There are no founding rules upon which it is built. The roof of the world supports the foundations as much as the foundations support the roof. We really do live in a castle in the sky, the magic of which obscured because there is no ground and no sky from which to marvel at this oddity. Where ever we stand, our axioms, our ontology, we find is just another room in this miraculous castle. The structures that ask us to find their sources, are as much the source themselves through reflections and strange loops as the things outside, that is the ¬selves (not-selves), from which we seek to construct them.
This is the outset of a rigorous description of that idea that the world “just is” which is known instinctively by those who know God at all, but escapes the thoughts every time.
What remains to be expanded using hopefully logic and computer science (especially Turing computability) is some description of systems to show that they are forever dependent upon what is not present in the system itself. This is so close to Godel’s un-decidable propositions, or Turing’s un-computability that I can’t believe it isn’t already in the literature. I know Godel was working on something like this – that he failed => uh oh!!!!! is it really that hard? This is the source of the SRH also (i.e. self-reference [SR] hypothesis i.e. SR is impossible consistently): that while self-reference is everywhere it is fake because were something to “actually” (to be defined = this is the hard bit) refer to ITSELF it would have the ability to construct itself within itself and so be independent of an external system – and that - remains to be proven - is inconsistent with the system itself.
Raymond Smullyan has come to my help extremely – eternal thanks. I have his 1957 paper on languages which allow self-reference. He introduces the idea of the normalisation function (written norm or N). This is identical to the Quines that I have mentioned before. The “norm” function applied to a statement simply generates the statement and the repeats it with quotes around it. His examples:
(1) John is reading.
This is a simple sentence. If John were reading this it would be true. When I read this as I am called Alva it is false. Truth isn’t the point here however. Apply the norm to this sentence and one gets:
(2) John is reading “John is reading”.
Were John to read this it makes a statement about what John is doing. It is true that John is reading the sentence “John is reading” (which is sentence 1 above). But it is not self-referential because sentence 2 says that John is reading sentence 1.
However if we take the sentence:
(3) John is reading the norm of
When we apply the norm function to that we get:
(4) John is reading the norm of “John is reading the norm of”
This states that John is reading the norm of sentence 3. If we remember what the norm function is, it simply generates the original statement and then the same sentence again in quotes. The norm of sentence 3 is actually sentence 4. So sentence 4 says on the one hand that John is reading the norm of sentence 3, but the norm of sentence 3 is actually sentence 4. So sentence 4 also says by implication that John is reading sentence 4. Sentence 4 thus tells John that he is reading sentence 4 but way of applying a function to sentence 3.
If John is being slow (as indeed I was while reading this part of Smullyan’s paper) that “implication” may not be apparent. But when it comes it is exactly the same as moments of enlightenment. The light of awareness suddenly falls upon oneself and we are bathed in the light of truth. It is interesting how being drawn into the field of observation by self reference is so literally “illuminating”. No wonder religions use light so liberally to speak of truth and Heideggar speaks of the “lighting up” process. Our eyes and vision are very linked to our mental processes – we say “I see” what you mean. In Avatar they say “I see” you, and mean by it not with the eyes but with the mind. Light and Mind are metaphorically linked. When John realises the he is reading a sentence that tells him - not in words, but with his mind and with implication – that he is reading that sentence there is a flash of intellect that illuminates the blank words on the page and brings them to life in a higher way. That shift to a higher level is what the intellectual life is all about. Is why Plato worshipped the mental realm of forms in favour of the poor images on the wall of the world. Is why spirituality illuminates us in a purer way than the light of the sun. Why souls become alive and why souls can die whether there is material food or not. Why the reader can sit engrossed in words, that to the non reader are just marks on a page. The mind, interpretation, is what texts need to live, indeed what all material things need to live. It is not the material world which makes us live, it is why a brain is not a scientist…. and so the AI debate starts which I don’t want here (at least Turing seems to have got that wrong?).
So i don’t know whether any reader of this will ever exist or if they do exist are called John, and regardless will have grasped what Smullyan means and what I have tried to render in more verbose fashion. But, for me the point is that sentence 4 is not actually self referential!
It provides the road map of self-reference but it requires a “computer” (in the sense of someone to do the computing). If I am wrong the question is -what function exists to test that something is self-referential? What proof is there. Does it always rely upon the logician to make some meta-judgement to the effect that WOW that is self-referential. So I’ll turn to computers now and think about an algorithm which will test the self-referentiality of a statement.
OK that didn’t take long. A SR() function that takes a statement s and sees whether it can compute s from the instructions in s. Well that is nothing other than our friend the Quine. But it doesn’t completely pass the test because the function that determines self-reference is a meta-statement of the system s. What I realise I am asking is that a self-referential statement must “know” that it is self-referential. Obvious really because if it refers to itself, and itself is self-referential, then it must refer to a self-referential statement and that is a statement which makes some reference not only to itself but also to its self-reference.
So the SR() function must produce the boolean result 1 only for itself. That is the challenge.
===
The above was all cut into an existing passage which continued like this…
The proof is probably just 2 lines and one day when I have the energy this lazy pointless brain of mine has to compute the problem once and for all!! unless I can find it in the literature or someone can offer me that very same proof.
I have a wedding to be best man of in 12 weeks, a stag do to organise and that girl mentioned before in this blog to link up with and the students exams in a few weeks… my energies are being dissipated in this hall of broken mirrors… help!