ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Ontological Assumptions of FOL

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Chris Partridge" <mail@xxxxxxxxxxxxxxxxxx>
Date: Sun, 18 Mar 2007 19:29:40 -0000
Message-id: <002b01c76993$c717c040$0200a8c0@POID7204>
Ingvar,    (01)

Comment below.    (02)

Chris    (03)



-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Ingvar
Johansson
Sent: 18 March 2007 11:40
To: [ontolog-forum]
Cc: p.m.simons@xxxxxxxxxxx
Subject: Re: [ontolog-forum] Ontological Assumptions of FOL    (04)

Pat Hayes schrieb:
>
> If you can represent it as a set, then it is a set.
>       (05)

>> That doesn't mean the universe "is" a set.  To say that something can
>> be represented as a set for purposes of defining truth-values of
>> sentences is a very different thing from saying it IS a set.
>>     
>
> I disagree. I think these are exactly the same 
> thing to say. To say that a collection is a set 
> is to say nothing about it at all.
>       (06)

In many philosophical contexts it is important to keep *sets* (abstract 
non-temporal entities)    (07)

[Chris Partridge] I believe David Lewis (In Plurarity of Worlds) rails
against this interpretation. He sees sets (especially small finite sets
whose members are not scattered) as clearly concrete, with an obvious
spatio-temporal location. Can I put that on people's reading lists :-).    (08)


 whose members are spatiotemporal entities 
distinct from the *aggregate* (Mario Bunge) or the *collection* (Peter 
Simons) of the same spatiotemporal entities. However, in many contexts 
it doesn't matter whether one talks of sets or of 
aggregates/collections. I guess Pat Hayes is working within the latter 
kind of contexts; it is a pity that it misleads him into thinking that 
"what you can represent as a set, is a set".    (09)

Recommended reading: Peter Simons, “Against Set Theory”. In Experience 
and Analysis . Proceedings of the 2004 Wittgenstein Symposium, ed. J. C. 
Marek and M. E. Reicher. Vienna: öbv&hpt, 2005, 143–152.    (010)

Best wishes from,
Ingvar J (the real one, not the corresponding singleton set)    (011)


-- 
Ingvar Johansson
IFOMIS, Saarland University
     home site: http://ifomis.org/
     personal home site:
     http://hem.passagen.se/ijohansson/index.html      (012)



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


-- 
No virus found in this incoming message.
Checked by AVG Free Edition.
Version: 7.5.446 / Virus Database: 268.18.13/725 - Release Date: 17/03/2007
12:33    (014)


-- 
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.5.446 / Virus Database: 268.18.13/725 - Release Date: 17/03/2007
12:33    (015)



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

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