In pondering the structure of software, the world, and change patterns, I keep moving toward the conclusion that everything is relative. Taxonomies, abstractions, modularization, client's viewpoints, you name it. We only draw lines in the sand to be able to deal with the complexity as humans, not because it necessarily reflects the real world well. Does anybody else feel a push in this direction?
I feel like I am turning into a Software Hippy or have an Einstein virus or something.
Generalizations pick interesting points out of the world. They never really match the world, but a world without a structure is like a life without a consciousness.
Useful Lies it could perhaps be argued. The consciousness part is perhaps another (long) topic.
Being a Goedel Weenie, the title of this page is a Strange Loop. See Everything Is Relative Strange Loop.
If Everything Is Relative, then pigs fly (more or less).
Exactly.. contrast: Everything Is Not Relative.
{{If you hit a pig going 90mph, it will fly.}}
See It Depends for cautions against absolute statements about that which can not be polarized. Particularly for any statement which uses words like Everything, Everybody, always, Nothing, Nobody, never. Also suspect are pronouns which lump populations or groups into We, Us, and They, and Them. There are definitely gradients between what We/They do, and who is For/Against Us/Them. That said, there are things which are True/False, Good Things/Bad Things, and to which we can say'' Yes/No.
Which reminds me of the saying: 'Always remember: Never say always or never.'
It's only paradoxical if you look at it from an absolute viewpoint.
Indeed. From the Everything Is Relative viewpoint, all paradoxes are relative because the truth value of 'true = false' is relative. Of course, once you recognize that the paradox is only canceled by admitting to 'true = false' at least in some contexts, you should note that all other conclusions of truth are impossible to guarantee, for you must now figure out for each case whether it is in a context where 'true = false'. And, of course, the Everything Is Relative people haven't figured that one out yet. Most statements made starting from the Everything Is Relative viewpoint, thus, are either (a) worthless (since they don't actually say anything about the world, math, life in general), or (b) pure bullshit (since they are founded upon a method that doesn't exist yet for identifying cases where true, does in fact, not equal false).
As an absolutist, I think anybody who believes Everything Is Relative is a pansy who is unwilling to face, in philosophy, the cold, hard truths of reality... e.g. that going without food WILL kill you, and that your pain (no matter how subjective) is quite real.
Not if you view time in reverse ;-p
Not if you view time in reverse ;-p
How is that even meaningful?
Pet peeve: Einstein's theory of relativity did not say "everything is relative", it said that there is no absolute space-time coordinate system, so there are no absolute positions in time and space. All times and positions are relative.
That's pretty different than "everything" is relative. Even in physics, for instance, counter-intuitively, the speed of light is absolute, which seems odd since speed is about (relative) distance and time. That shows how little Relativity can be generalized to "everything".
Now, this page is not really about physics, and there are epistemological reasons to say "everything is relative". Just don't drag Einstein into it.
I believe that Einstein's revelation, together with Frued's ideas, did spark a movement toward looking at things in a relative fashion. Modern marketing concepts are said to have come out of that era. It was a break from the "mechanical, logical watch" view of the universe that was the guiding idea in the 1800's. Quantum paradoxes also contributed to interest in the movement.
Note that the original topic had nothing to do with Einstein.
I know. That's why I said it was a pet peeve on the topic, not because of what was said on this page.
Just adding, Einstein DID want to view the world in the sort of "mechanical, logical watch" view. The school of thought he represented was one wherein quantum paradoxes were used as a disproof, not a confirmation of quantum theory. "Spooky action at a distance", "God does not play dice", these are not very affectionate terms for the kind of "relativity" that is really better associated with quantum mechanics than Einstein's theory. In Einstein's POV there IS an absolute truth, but the speed of the propagation of its effects is limited by your speed and mass and approaches c. This is in contrast to what he felt was gibberish when people described cats as both living and dead at the same time until observed. In his opinion, the cat is only one-of alive or dead, the speed of propagation of its effects may only happen to be affected by boarding a starship. That you cannot possibly find out until its effects propagate in your direction doesn't mean that your truth is different from someone else's, only that you perceive it differently.
Hmmm. The speed of light is a constant in a vacuum, with no gravity etc etc. i.e. it is not absolute but relative to a number of conditions which probably don't exist in this universe. As it is, Einstein's theories do tend to blow away a lot of the examples of 'absolutes', but does not address the more interesting (IMO) discussions which actually tend to say 'absolutes are logically unsupported'. I notice a lot of the theory on this has somehow fallen off this page. ---Richard Henderson
From There Is No Absolute:
Everything Is Relative implies there is no Absolute Truth.
Absolute statements are relative to the context (the language, the culture, the theory) in which they are uttered.
Absolute facts might exist in theory (making it relative again), but we can get no access to them (making them useless).
For developers: Consider global variables. These are seldom really global. The are local with respect to
the application
the version of the application
the memory in which they reside
the server on which it is run
the execution (run) of the application
Or, from another perspective, they are global: there is only one instance of that particular variable in the entire universe that happens to be on that machine, in that memory, in that run of application. The notion of "global" vs. "local" has a meaning in programming that is relative to the application, of course. -db
Yeah, define global as 'global in universe X'.
{Wouldn't that apply to even vars local to a routine? (assuming not parallel execution going on)}
Assuming no parallel execution or recursion is going on (which may easily be an invalid assumption), there would be at most one variable for a particular routine at any given time. However, each time that routine was called, it would very arguably be a different instance of the variable.
Everything Is Relative and There Is No Absolute are self-contradictions (e.g. Everything Is Relative Strange Loop). From a contradiction, you can prove anything - that 1=0, that true=false, that pigs fly, and any other contradiction or 'fact' that happens to take your fancy. In logic, systems or models that contain contradictions are 'inconsistent' and for good reason - you can't gain any meaningful truth from them... anything you prove to be true, you can also prove to be false, because you can prove that true=false. Any argument that requires as a premise 'Everything Is Relative' or 'There Is No Absolute' already violates the Law of Noncontradiction. If the other guy says 'Everything Is Relative' in defense of his or her argument, you should stop there - you've already won the argument, and no amount of rational argument is going to convince someone who truly believes they can reach truth from a contradiction.
Of course, you can direct them to a comment like the one above, but irrational people like their paradoxes. In my experience, pointing them out doesn't help very much. Even when I use the same, fallacious premise to prove the exact opposite of what the other person is saying, the usual response is: ah, well, Everything Is Relative. I guess contradictions don't matter much to people who believe there is only one truth-value.
Actually you can derive a lot of useful information from an Everything Is Relative interpretation. You just can't get truth - but that is not always required. Everything Is Relative Strange Loop is a problem only for validity not for usefulness. And I guess you will not deny usefulness, otherwise by taking your argument to its logical end you'd argue that most human communication is invalid. -- Gunnar Zarncke
Actually, you cannot derive information, useful or otherwise, from an Everything Is Relative interpretation, period. Information is founded in distinction, and Everything Is Relative makes all things indistinct (even true and false). I would not deny usefulness were it provided, but I do deny that Everything Is Relative offers any of it - since you couldn't offer even one valid reason to defend your claim, your own statement that Everything Is Relative can be 'useful' seems to be founded on nothing more than a desire to defend your position that There Is No Absolute; OTOH, perhaps you recognize that there is no 'valid' defense of There Is No Absolute, so you're just stating it to be true like some sort of otherwise indefensible axiom. Even human communication - action, percept, interpretation - is not entirely 'relative'; it is context-dependent (context-rich, really) but unlike some above claims seem to imply (e.g. those regarding speed of light), context dependence is entirely orthogonal to the issue of relativity (those who study formal context-dependent languages know this very well). Human communication can be observed to clearly occur, and the occurrence is absolute.
The only 'useful' position is that some things are necessarily absolute. This is a fact of logic and math, which are higher powers in this universe than even the laws of physics (a mathematical truth is 'truer' and more absolute than physical truth). That some things seem relative is a fact of observation and limited cognizance only.
If there is objectivity, it is not isolatable from the subjectivity. This is the "pollution rule" as described in Objectivity Is An Illusion. Communication occurs because we often agree on stuff regardless of whether we have solid proof. There is no use debating whether the chair exists if neither party challenges it for the work at hand. We share just enough Useful Lies to communicate and work together (but not enough to prevent conflict).
Whether objective reality can be isolated from subjective cognizance thereof is completely irrelevant to the fact that 'Everything Is Relative' is a contradiction.
We share far more than "just enough Useful Lies" and even Useful Truths to communicate efficiently, but even if we did not, mere percept and action and interpretation is all there has ever been to communication. We cannot deny our own attempts to communicate. They are absolute.
Conflict would not be prevented even if we could communicate perfectly - anyone would be naive to believe otherwise.
And 'Objectivity Is An Illusion' is defended with reference and even basis upon 'Everything Is Relative' which is a contradiction. The most that can and has ever been defensibly claimed on that page is that we cannot know for certain that a physical reality outside us exists, and if it exists we cannot for certain know anything about it, because we are limited beings - i.e. epistemological solipsism in a nutshell; proving that a physical universe does or doesn't exist, is or isn't 'real', is or isn't directly determining our sensory percept... is entirely beyond us. Independent of that, one cannot deny that objectivity does exist based simply in the relationships over percept and concept whether they are internally generated or not. Even Top, who so vociferously wishes to defend his Everything Is Relative contradictions, watered 'Objectivity Is An Illusion' down by adding condition after condition (e.g. to exclude issues of objectivity within percept and concept) to the point the claim says nothing more than does epistemological solipsism.
Everything Is Relative allows for shades. I don't say that everything is equally 'relative'. There are things less relative than others, but absolutes are an abstraction, an extreme that is useful but not achieved. And trying to recover the 'relativeness', the vagueness or unknown dependencies from absolutes by introducing context dependence only buys you so much. And don't take my view to be exactly the one of those pages, I'm only one contributor. And I proposed an idea not stated an opinion. Hey I'm a moderate, I know how to assume and use both positions. -- Gunnar Zarncke
Everything you just said remains consistent with your contradiction, leaving it inconsistent. "There are things less relative than others" - is this absolute? "Absolutes an abstraction, an extreme that is useful but not achieved" - that seems like an unjustified claim to me; care to present proof that doesn't rely upon 'Everything Is Relative' as an assumption? I feel you assume Everything Is Relative, and its own self-contradictory nature allows you to justify to yourself anything else you might choose to say. I'd be in the same situation if I assumed '1=0' and started working on my life philosophy from there. Perhaps it's nice, believing that no matter what you do, you can't possibly be wrong (or right). It certainly absolves you of all responsibility. Or perhaps it's just a neat little meme that sticks in your head whenever you choose to wax philosophical, a useful emotional fallback position for when a logical argument goes poorly, but otherwise is unused in your life of hard logic and programming where the computer doesn't take anything you ever say as 'relative'. Do you fall back on 'Everything Is Relative' due to the pressures of the Code King?
" [...] And trying to recover the 'relativeness', the vagueness or unknown dependencies from absolutes by introducing context dependence only buys you so much. [...]"
I fully agree. Within formal languages, context dependence buys you 'so much' that you have no vagueness or unknown dependencies or 'relativeness' to start with and thus nothing to 'recover'! But I suppose you mean to imply that 'all things start relative' and can only be made slightly less so. With this I disagree, seeing as I am fully convinced that '1 != 0' is truly and absolutely true (not even a little bit relative). So, once again I'm going to attribute this to the invalid assumption that Everything Is Relative and its ensuing inconsistent logic. If it is not, I'll ask: Demand For Evidence.
Zero is one instance of a description, and one is one instance of a description.. therefore in some senses, one is equivalent to zero. But they would require an overloaded operator, testing for one instance. I mean, zero is a description, and so is one.. so they are equal in that sense. Similarily, PHP has an operator like = = = to check if it is the same type as far as I remember. But I'm just being a total crackpot for even bringing this up.. because I also know 1 does not equal zero (but does it, have similarities, therefore it is not one hundred percent different?).
'Equivalence' has never meant 'has at least one similar property'. But I could see the appeal in thinking that way when you want to justify crazy things like: "sometimes my friend really is a dick, not just metaphorically..."
Can anything be fully not equal though if it has similarities? For example white does not equal black.. but they are both colors so they are more equal to each other than an apple is from a car. I guess this is Everything Is Relative stupidity from a Devils Advocate. By the way, if zero really is zero, how can it exist? It's gone! Zero Is Wrong
Yes - the presence of any one dis-similarity is sufficient to declare two values or objects "fully not equal". That doesn't prevent discussion, consideration, or even quantification of similarities. And zero is a value - a formalized concept with semantics in the form of its relationships with other concepts; it exists in the same sense as do all other values. But of course you already know that.
I will note that unknowns are quite orthogonal concepts to absoluteness and relativeness. (Or, at least, they're completely orthogonal concepts in the eyes of anyone with a consistent logical system backing their comprehension. I suppose to someone who believes that Everything Is Relative, there's just a sort of 'blur' that combines vague and unknown into some common 'shade' of relative that they can't tell from any other shade since shade1 != shade2 is also relative.) A simple proof: given a simple Turing Machine and input tape, there is a binary and absolute truth-value as to whether that Turing Machine will halt when given that input. However, you do not know the value of this binary condition. Therefore, absoluteness is orthogonal to state of knowledge. (Further, it is likely to be orthogonal to knowledge of absoluteness.)
'Vagueness' under the traditional philosopher's definition (things are vague insofar as there are borderline cases) may be about the only thing one can call 'relative' as said decision becomes some heuristic discretion of the individual decider. But not all classifications or communications possess borderline cases (programming being the simplest example), and thus vagueness is not a guaranteed property in communications..
The vagueness I mean is not one of preference or heuristics. You seem to imply that information only comes from absolutes:
"you cannot derive information, useful or otherwise, from an Everything Is Relative interpretation" But exactly this seems to happen all the time. We start discussions from only a rough feeling of the idea proposed and by repeated question and answer converge with our mental representations until we are fairly sure that they match up (at least in some context under consideration). That has nothing at all to do with 'Everything Is Relative'.
"Information is founded in distinction" I agree. But the distinctions themselves can be relative again. Some distinctions can be relative.
"Everything Is Relative makes all things indistinct (even true and false)" But what about my objection that there are different shades of relativeness, allowing for absolutes in the limit? It's an inconsistent objection. Either Everything Is Relative makes even shades of relative indistinct. ('shade1 != shade2' is no less 'relative' than 'true != false'), or there are (as you say) 'absolutes in the limit' that are actualized for at least distinct shades, in which case they constitute proof (and agreement for those consistent to their own statements) that not Everything Is Relative.
Some years later I ran over The Fallacy Of Grey: lesswrong.com 
which explains my point quite well. I know I am probably Arguing With Ghosts but maybe some reader will find this helpful. -- Gunnar Zarncke
I'd like to give soft sciences as an example where precise (absolute) information is sometimes difficult to come by and exact models seldom. Where metaphors and analogies are used and multiple examples and varied explanations are used to argue for some theory. Or how would you call this? This is the prototype of relativeness. It takes a lot time until the soft sciences agree on some issue, so during that time many aspects are relative. And nonetheless it sometimes does converge to agreement. -- Gunnar Zarncke
There has always been a path from vagueness -> absoluteness, and it is founded in the formation of formally described heuristics and definition. I've often seen the belief (on this wiki and elsewhere) that 'vagueness' is something built into the universe and that we cannot be rid of it. This is quite untrue. Vagueness exists in definitions that we use to classify and model the universe, not the universe itself - and even then vagueness isn't 'actualized' until such a time as we not only learn of 'borderline cases', but actually start worrying about them. The worst the universe itself generally offers us is ambiguity, limited percept, and a tendency to kill ourselves and others if we attempt to explore it too deeply.
It is worth noting that the use of metaphor and analogy and example used in explanation of a definition or theory says very little about the theory or definition, except that it is difficult for at least some humans to comprehend in its raw form (i.e. communication barrier on explaining the theory or definition). Sometimes the communication barrier will, indeed, be due to vagueness; however, much of the time it's due to difficulty in subject matter (e.g. a straight definition of monads or category theory will leave most people reeling, so LOTS of explanation and metaphor is needed to take that definition and build a cozy home for it in the brain so it sticks around rather than entering one ear and exiting the other - see Balloon Model Of Knowledge, You Cant Learn Something Until You Already Almost Know It.) However, it is true that if you use metaphors, analogies, and examples as the definition (akin to ostensive definition) it can leave a question as to where else it applies, making it vague.
Anyhow, the idea that some things are relative, subjective, or vague has never been at question. The objection has always been to 'Everything Is Relative', which is used by some people to defend arguments - it is a sweeping statement, and one they don't feel any need to defend. The lesser statement 'Some Things Are Relative' is perfectly fine (and almost certainly correct), but it doesn't allow people to get away with fallacy - even they must then properly argue their position that the particular case under observation is among those that are 'relative'.
Everything Is Relative applies to itself and the obvious way to avoid the strange loop is to assume different strength. But I think we basically agree anyway.
I think that there are few absolute - at least considering human communication at large. The exception being math. Maybe you'd like to have a look at Memes And Attractors (on The Adjunct) for more. -- .gz
If everything is relative, maybe the relational model has a chance ;-)
No, the Relational Model absolutely had a 'chance'. And it took that chance. And it succeeded. It will eventually be replaced (or slowly modified beyond recognition) in the long run - moving towards more and greater meta-data on the per-fact level (such as tracking where data came from or how it was derived, confidence in the represented truth, tracking which capabilities are needed to see it, tracking when it was added or became overwritten, for which period it was valid, support for negations or a wider variety of truth-values, etc.) and towards greater 'knowledge' support (tracking patterns and predictors over data, so you can query at a much higher level). The Relational Model as is doesn't admit to such things as time, confidence, security, trust, confidence, Open World Assumption, etc.. and while it provides a persistence layer for expert systems and datamining, it doesn't actively support such efforts. But that won't prevent it from being the dominant data model for at least the next three decades.
It hasn't been implemented properly yet and still has a chance to become:
easier to use
more relational and correct than current implementations
a system with more types and constraints than current implementations
easier to use
easier on the user
easier to use
Don't confuse `relative` with `subjective`.
The distinction is relative ;-)
Remember: Everything Is Relative not only the rule but the exception to prove it all in one easy little bundle.
Wow, this stuff is cool. Who are the people writing this? I want to worship them. I'm beginning to believe in moral right and wrong again. I can't go kill people and say that it's ok because your judgement that I'm wrong is just as good as my judgement that I'm right since everything is relative.
I'd be careful to extrapolate technical discussions into the field of morality.
See Also: Always And Never, Everything Is Relative Strange Loop, Benefits Are Subjective, There Are No Types, All Abstractions Lie, Inevitable Illusions, Ink Blot Software Engineering, Life Isa Big Messy Graph, Definition Of Life, Fuzzy Distinction Between Interface And Implementation, Separation And Grouping Are Archaic Concepts, Software Gives Us God Like Powers, Absolutism Has Greater Burden Of Proof, Database Not More Global Than Classes:interface_relativism (Page Anchor)
See original on c2.com