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

[Chris Menzel <cmenzel@xxxxxxxx>]

On Thu, Feb 02, 2006 at 10:18:16AM -0500, Barry Smith wrote:
> 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).
> 
> Types have extensions, which are sets (if you're lucky)    (01)

Ok, fair enough!  (We're usually lucky ;-)    (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)