Re: Can relvars be dissymetrically decomposed? (vadim and x insight demanded on that subject)
From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Wed, 19 Jul 2006 12:10:25 GMT
Message-ID: <Ripvg.12329$pu3.284623_at_ursa-nb00s0.nbnet.nb.ca>
>>*Strong* caution must be put here before assuming relations and
>>relvalue are synonyms. relvalues are not to be confused with relations
>>in abstract thinking. The only thing that can be said is that a
>>relvalue is *necessarily* the *evaluation* of a specific relation.
Date: Wed, 19 Jul 2006 12:10:25 GMT
Message-ID: <Ripvg.12329$pu3.284623_at_ursa-nb00s0.nbnet.nb.ca>
erk wrote:
> Cimode wrote: >
>>*Strong* caution must be put here before assuming relations and
>>relvalue are synonyms. relvalues are not to be confused with relations
>>in abstract thinking. The only thing that can be said is that a
>>relvalue is *necessarily* the *evaluation* of a specific relation.
Bullshit. A relation is a relation no matter how one describes it.
[eric's reply snipped]
>>When a function F(x) is defined
>>as 2 * x + 2 such definition is independent from the values to which
>>the function is evaluated. The value F(2) is an evaluation of
>>function F when the variable x = 2. Stating that F(x) = 2 changes the
>>nature of the function.
Just as each tuple is an instantiated predicate. Big deal.
[eric's reply snipped] Received on Wed Jul 19 2006 - 14:10:25 CEST