W3C home > Mailing lists > Public > public-awwsw@w3.org > June 2008

RE: PDF file conundrum / A way to think about IRs

From: Pat Hayes <phayes@ihmc.us>
Date: Sun, 22 Jun 2008 20:20:48 -0500
Message-Id: <p06230909c484a5858aeb@[]>
To: "Booth, David (HP Software - Boston)" <dbooth@hp.com>
Cc: 'Jonathan Rees' <jar@creativecommons.org>, "public-awwsw@w3.org" <public-awwsw@w3.org>
>Now, for a given entity, let's suppose we have decided how we choose 
>to think of it and consider the three possibilities:
>  1. the entity does not have the characteristics of an IR.  It is 
>lacking at least one characteristic of an IR.
>  2. the entity has all of the characteristics of an IR, but it also 
>has other characteristics.
>  3. the entity has exactly the characteristics of an IR and no more.

I don't think this makes sense. Nothing, except a mathematical 
abstraction defined by axioms (group, commutative algebra, set, etc.) 
has some exact list of characteristics and no others at all.

>In case 1, the entity clearly is not an IR.  In case 3, the entity 
>clearly is an IR.  But what about case 2?  In case 2 we have an 
>entity that is *both* an IR *and* something else: it has 
>characteristics of both.

If it has all the characteristics of an IR, then it's an IR, pretty 
much by the meaning of 'characteristic'. It may be something else as 
well, or it may just be an IR which has some extra properties (such 
as containing precisely 347 characters).


IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
http://www.ihmc.us/users/phayes      phayesAT-SIGNihmc.us
Received on Monday, 23 June 2008 01:21:26 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:21:06 UTC