I should also have said that set theory is entirely based on differentia
(a set is something for which it is possible to decide if X in in the
set or not), and not on models of what a set represents. You could use
sets as models, but set theory doesn't care - {"snow is white", snow,
Taski} intersect {Russell, "1+1=2", Principia Mathematica} = {}.
:-)discuss:-) (01)
Sean Barker
Bristol, UK (02)
This mail is publicly posted to a distribution list as part of a process
of public discussion, any automatically generated statements to the
contrary non-withstanding. It is the opinion of the author, and does not
represent an official company view. (03)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of
> Barker, Sean (UK)
> Sent: 18 July 2007 16:30
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] confounded models
>
>
> Alternatively, one could treat the taxonomy not as a model,
> (these terms 'are an image of' reality) but as a system of
> differentia (these criteria map reality into this set of
> terms). The question is then not whether one system was more
> truthlike than another, but whether the differentia are
> adequate for our purposes.
>
> This is not to say that a model and set of differentia are
> mutually exclusive - 'ideally' they should give the same
> system - but using one does not require that one construct the other.
>
> A consequential question - are ontologies (in the computing
> sense) defined only by models, or can they be defined by
> differentia, and what would this mean for interoperability?
>
> Sean Barker
> Bristol, UK
>
> This mail is publicly posted to a distribution list as part
> of a process of public discussion, any automatically
> generated statements to the contrary non-withstanding. It is
> the opinion of the author, and does not represent an official
> company view.
>
>
> > -----Original Message-----
> > From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> > [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Ingvar
> > Johansson
> > Sent: 18 July 2007 16:03
> > To: [ontolog-forum]
> > Subject: Re: [ontolog-forum] confounded models
> >
> >
> > *** WARNING ***
> >
> > This mail has originated outside your organization, either from an
> > external partner or the Global Internet.
> > Keep this in mind if you answer this message.
> >
> > Gary Berg-Cross schrieb:
> > > Now, if I had relied on earlier biological understanding I
> > would have
> > > a different taxonomy of life, kingdoms etc. No
> > superkingdoms at all.
> > >
> > > Did this earlier view reflect biological reality? Which of the
> > > alternatives discussed above reflects reality now?
> > >
> >
> > I would say that the earlier view had quite a high degree of
> > truthlikeness, and that the more recent view probably has a
> somewhat
> > higher degree of truthlikeness. (I hope have you read at
> least part of
> > a discussion on the notion of 'truthlikeness' that took place some
> > months ago in this forum.)
> >
> > Ingvar
> >
> >
> > _________________________________________________________________
> > Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> > Subscribe/Config:
> > http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> > Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> > Shared Files: http://ontolog.cim3.net/file/ Community Wiki:
> > http://ontolog.cim3.net/wiki/ To Post:
> > mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> >
> >
> >
>
> ********************************************************************
> This email and any attachments are confidential to the intended
> recipient and may also be privileged. If you are not the intended
> recipient please delete it from your system and notify the sender.
> You should not copy it or use it for any purpose nor disclose or
> distribute its contents to any other person.
> ********************************************************************
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config:
> http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
> (04)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (05)
|