Re: TDL Model Theory

On 2002-01-25 12:50, "ext Graham Klyne" <Graham.Klyne@MIMEsweeper.com>
wrote:

> At 04:42 PM 1/24/02 +0200, Patrick Stickler wrote:
>>> I really meant to say:
>>>>    <"10",2>
>>>>    <"10",10>
>> 
>> It's probably clearer to indicate that these mappings
>> are within the scope of a specific datatype, e.g.
>> 
>>    BinaryNumber("10",2)
>>    DecimalNumber("10",10)
> 
> Trouble is, that's not what Jeremy's proposed MT says.

Of course that's what it says.

The specified pairings correspond to the mappings between
a member of a value space
of a *specific* datatype and a member of the lexical
space of the *same* datatype. Thus, the pairing
("10",2) is not without context. The context is the
datatype, such that "10" is a member of that datatype's
lexical space and 2 is the corresponding member of
the same datatype's value space.

Patrick

--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com