Richard Masters
Illuminator
- Joined
- Dec 27, 2007
- Messages
- 3,031
Why doronshadmi? Why TMiguel?
What do you mean with observation and conclusion? Are you deliberately being obtuse?In this case, any observation is only from x, and any conclusion is only about x.
Please look also at http://www.internationalskeptics.com/forums/showpost.php?p=4221149&postcount=734 .
Yes, the = symbol denotes an equality relation, which at least satisfies the laws of an equivalence relation.In X = Y, either they are the same or they are not. The equal relation is symmetric. X = Y implies Y = X. Nothing "is observed through" anything else.
If you need such a concept, then you need to express it in your definitions. You also need to pick some new symbols; the equal sign has a well-established meaning already.
What I say is this:
Any researchable thing cannot be complete (total).
By my notion, a set is the result of an interaction between two totalities, which are Isolation and Connectivity.
Objects are a non-total version of Isolation where Relations are a non-total version of Connectivity where a set is the result of Relation\Object Interaction, and therefore non-total (or incomplete).
EDIT:
One of my aims is to show that in addition to, so called, objective and external point of view w.r.t researched mathematical subjects, there can be many other points of view that may change our understanding of these subjects.
In other words, the observer's point of view must not be ignored and by using it we can improve (by training) our abilities to use observation in more fruitful ways.
One of my aims is to show that in addition to, so called, objective and external point of view w.r.t researched mathematical subjects, there can be many other points of view that may change our understanding of these subjects.
In X = Y, either they are the same or they are not. The equal relation is symmetric. X = Y implies Y = X. Nothing "is observed through" anything else.
If you need such a concept, then you need to express it in your definitions. You also need to pick some new symbols; the equal sign has a well-established meaning already.
That's what Mathematics is all about: defined boundaries.
By using an asymmetric point on view, the difference between non-locality and locality can be defined.
What I say is this:
Any researchable thing cannot be complete (total).
No, all you are doing is using well-defined symbols and constructs to mean undefined things.
Your Definition #4, in any of its revisions, remains a complete failure.
Here's a tip: If something isn't symmetric, don't define it as symmetric.
Yep.
But here's the qualifier that Mathmatics depends upon:
It can be relatively complete according to a specified relation.
We manipulate classifiers of relation all the time, understanding that inclusion and exclusion are realtive to a defined relaltion of commonality.
We get stuck behind boundaries, not because there are boundaries but because we accept no relations that transcend them.
But transcendance doesn't erase boundaries or turn them into mushy mud. It enables new cnfigurations.
I can put another orange in that bowl.
I can make a bowl of fruit that contains oranges ands bannanas.
I can talk about all the fruit in all the bowls on the table.
All thanks to Locality and Non-Locality.
The playing field does not mix up the teams.
For me Mathemathics is to define relations between boundaries by not using any exclusive obseraviton.
Relations are non-local, element are local or non-local and non-exclusive obseraviton is used in order to interact and understand them.
Please show the symmetry in definition #4:
Definition 4: If object x = or ≠ (where ≠ is < or >) w.r.t object y, then object x is called Local.
A definition that doesn't make sense - apart from the superfluous word "object" and the idiotic juggling with relation symbols, so let's first simplify that part:Definition 4: If object x = or ≠ (where ≠ is < or >) w.r.t object y, then object x is called Local.
Ditto.Definition 5: If object x = and ≠ (where ≠ is < or >) or < and > w.r.t object y, then object x is called Non-Local.
Please show the symmetry in definition #4:
Definition 4: If object x = or ≠ (where ≠ is < or >) w.r.t object y, then object x is called Local.
Also please show the symmetry in definition #5:
Definition 5: If object x = and ≠ (where ≠ is < or >) or < and > w.r.t object y, then object x is called Non-Local.
Hint: Do not force Y=X = X=Y on them.
I have to add that I use "=" as self identity ( http://en.wikipedia.org/wiki/Identity_(philosophy) )
Logic of identity
In logic, the identity relation is normally defined as the relation that holds only between a thing and itself. That is, identity is the two-place predicate, "=", such that for all x and y, "x = y" is true iff x is the same thing as y. Identity is transitive, symmetric, and reflexive. It is an axiom of most normal modal logics that for all x, if x = x then necessarily x = x. (These definitions are of course inapplicable in some areas of quantified logic, such as fuzzy logic and fuzzy set theory, and with respect to vague objects.)
As for symbols, their meaning can be changed by using non-exclusive observations.
jsfisher said:In your .PDF you explicitly define your notation thus: "= relation is equal to...≠ relation is not equal to..." In this very thread you restricted "equal" to just logical identity and cited a wikipedia article.
With or without that added qualifier, your use of = and ≠ are of symmetric relations.
...and that "w.r.t." doesn't mean what you think it means in that definition. It still makes it into gibberish.
The asymmetry is that X is compared to Y but Y is not compared to X.
The asymmetry is that X is compared to Y but Y is not compared to X.
This is the meaning of y is obsereved through x, but not vice versa.
By using this asymmetry a non-local object is distingushed from a local object.
In the case of = or ≠ , both are non-local, because any relation cannot be but non-local.
You mix between relations and objects, which is gibberish from my point of view.
That's not what you wrote, and that's not what "compare" means.
While you just make things up then apply them inconsistently (or asymmetrically as you now seem to prefer to call it) even by your own professed definitions, which results in gibberish, from anyone’s point of view.
Why? If considering a circle taken from some X Y origin and defined by X2 + Y2 = R2. Any Radius RXn,Yn that is not equal to RX1,Y1 would be defined as all radii both greater to and less then RX1,Y1 or RXn,Yn ≠RX1,Y1 is the same as RXn,Yn < and > RX1,Y1.
You are right, your "compare" is symmetric, my "compare is not.
And no point of view is exclusive.