[REBOL] Re: Sameness - an abstract approach.
From: lmecir:mbox:vol:cz at: 13-Feb-2003 22:29
Hi Gabriele,
> LM> there is only one Rebol integer number 1 not having any position at
all,
> Your conclusion is not correct. You can conclude that integers do
> not have a position, but you cannot say that there is only one
> "1". Both possibilities are valid, i.e. it is possible that there
> is only one "1", and it is possible that there are multiple "1"s.
yes, you are clever and you really found a gap in my reasoning. I can bridge
the gap at the cost of some bandwidth.
I think, that it is acceptable to you, that Rebol integers are abstractions.
As I stated, I think, that abstractions are properties, that some physical
things have in common. What if we use a name A for an abstraction and a name
B for an abstraction and find out, that there is no difference between
abstraction called A and abstraction called B? I can tell, that A is a
property that some physical things have in common. As long as A doesn't
differ from B, I can conclude, that B is a property, that the same physical
things have in common as in the case of A, i.e. A and B are different names
for one abstraction.
Let's try to compare the abstraction we can call the first number 1 from the
block C and the abstraction we can call the second number 1 from the block
C. If there were any difference between them, we could have supplied them to
the function F one after another and the function F should get them as
different and find out which was which. That isn't the case as we both
agree, q.e.d.
Regards
-L
