Re: [ontac-dev] Types, sets, extensions.

["Smith, Barry" <phismith@xxxxxxxxxxx>]

At 09:57 AM 2/2/2006, you wrote:
>On Thu, Feb 02, 2006 at 09:46:31AM -0500, Barry Smith wrote:
> > Types have extensions, which are sets.
>
>Unless it is the type SET (among others).  There is no set of all sets,
>according to our best theories of sets (as you know).    (01)

Types have extensions, which are sets (if you're lucky)
BS     (02)



_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (03)