Re: Comments on ioctl (was: Re: big issue (2001-09-28#13))

Pat Hayes wrote:

> a literal is a name whose denotation can be computed from the name alone


Maybe I missed something in the argument but does `denotation' 
distinguish between numerals (literals) denoting numbers and numerals 
(literals) denoting, say, dates. So the literal "20001225" has, at 
least, two denotations? Does this invalidate this definition? Do you 
mean `unique denotation'? If you don't, how does this definition stay valid?

As I suggest, I think I may be completely off-track in asking this.



-- 
Martyn Horner <martyn.horner@profium.com>
Profium, Les Espaces de Sophia,
Immeuble Delta, B.P. 037, F-06901 Sophia-Antipolis, France
Tel. +33 (0)4.93.95.31.44 Fax. +33 (0)4.93.95.52.58
Mob. +33 (0)6.21.01.54.56 Internet: http://www.profium.com

Received on Monday, 8 October 2001 09:03:11 UTC