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@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 - 07:10:25 CDT