|From:||Simon Spero <sesuncedu@xxxxxxxxx>|
|Date:||Tue, 28 May 2013 12:20:28 -0400|
On Mon, May 27, 2013 at 8:41 PM, Christopher Menzel <chris.menzel@xxxxxxxxx> wrote:|
I strongly agree that absolute identity is highly meaningful, but would disagree that relative identity presupposes absolute identity.
If absolute LL is
`=`(x, y) → (∀φ. φ(x) → φ(y))
then a relative RLL can be defined by restricting which predicates must be identical for x and y to be the same F, e.g.
`=`(F,x,y) → (∀φ. RI(F,φ) → (φ(x) → φ(y))
There are stronger questions regarding whether the term "identity" should be reserved for absolute identity, but relative identity can be a useful way of identifying useful (equivalence) classes when analyzing a domain.
For example, a library may own several physical copies of the same print run of a "book" (multiple Items exemplifying the same Manifestation in terms of the FRBR model). The Items owned by a particular Library are referred to as Holdings.
If we relax the conditions of identity to exclude those properties related to physical identity (e.g. made of same atoms, occupying identical regions of space-time, etc), apart from the property of being located at the same library, we can come up with a new (equivalence) class that collapses all Holdings of the same Manifestation at the same library.
If someone is looking to obtain any physical copy of a book via Inter Library Loan, then these "Hasings" are quite salient.
By successively reducing the properties that must be identical, one can ascend from particulars (Items) to Works and above.
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Spatial Extent of Abstract Entities?, John F Sowa|
|Next by Date:||Re: [ontolog-forum] Grover Models, John McClure|
|Previous by Thread:||Re: [ontolog-forum] Spatial Extent of Abstract Entities?, Hans Polzer|
|Next by Thread:||Re: [ontolog-forum] Relative Identity, doug foxvog|
|Indexes:||[Date] [Thread] [Top] [All Lists]|