ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Fwd: Ontologies and individuals

To: Matthew West <dr.matthew.west@xxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Wed, 19 Dec 2012 22:58:42 -0800
Message-id: <C5EB7C4F-E430-497B-A66A-6899DBC51792@xxxxxxx>

On Dec 19, 2012, at 6:42 AM, Matthew West wrote:    (01)

> Dear Pat,
> 
> That depends on how you define individual (of course).    (02)

I had thought that there was a starting point here in which the force of being 
an individual was that one does not have instances or exemplars (or 'members'), 
so I have been using this idea for making intuitive judgements of plausibility, 
rather than any formal definition. This has nothing at all to do with being in 
space and time.     (03)

> 
>>>>> MW: Someone mentioned that an individual is something that does not
>> have members (in the sense of a set having members) and that is close
>> to what I would mean, but that would make the null set an individual,
>> so it is not quite adequate. My definition of individual is something
>> that exists in space and time. I am not a set (or class or type or kind
>> or sort etc) nor is my car or this email. Nor is Sherlock Holmes to
>> give a more difficult example. All these things can be placed in space
>> and time (even if it is imaginary space and time) . On the other hand,
>> sets/classes/types are generally considered to exist outside space and
>> time.
>>>> 
>>>> I understand that a 'main dichotomy' between an individual and a
>> set/class/type is - existence in space and time (rather than having or
>> not having members).
>> 
>> That surely will not work. The natural number five is an individual,
>> but does not exist in space and time, even imaginary space and time.
>> Does Moby Dick, the work, exist in space and time? (Where?) Some people
>> think that sets exist in time. There is hardly any position on these
>> debates that has not been held and defended by someone.
> 
> MW: I agree that the natural number five is not a set, and that it is also
> not a spatio-temporal extent, but that would not make it an individual, as I
> would define it, but an abstract object.    (04)

Well, frankly, just having a "definition" plucked out of the air isn't very 
interesting. WHY do you want to define "individual" in this way? Is this 
definition supposed to be an exegesis of some idea of individuality that has 
some kind of intellectual pedigree, or do you have some other motivation for 
it? I can't see any reason why an abstract object should not be called an 
individual. If five isn't a set and has no instances but isnt an individual, 
what (kind of thing) is it? And what about things that (plausibly) exist in 
time but not in space, like Moby Dick? Are they half-individuals, by your 
lights?     (05)

Pat    (06)


> But I will agree that there is a
> problem at this level of abstraction about what words to use for what
> things, and it is obviously easy for this to lead to confusion.
> 
> Regards
> 
> Matthew West                            
> Information  Junction
> Tel: +44 1489 880185
> Mobile: +44 750 3385279
> Skype: dr.matthew.west
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
> http://www.informationjunction.co.uk/
> http://www.matthew-west.org.uk/
> 
> This email originates from Information Junction Ltd. Registered in England
> and Wales No. 6632177.
> Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
> Hertfordshire, SG6 3JE.
> 
> 
> 
> 
> _________________________________________________________________
> 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
> 
>     (07)

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (08)






_________________________________________________________________
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    (09)

<Prev in Thread] Current Thread [Next in Thread>