[Top] [All Lists]

Re: [ontolog-forum] intangibles (was RE: Why most classifications are fu

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Matthew West" <dr.matthew.west@xxxxxxxxx>
Date: Fri, 22 Jul 2011 10:57:13 +0100
Message-id: <4e29497a.d344d80a.1637.171d@xxxxxxxxxxxxx>

Dear John,


I am using the term 'intensional' in the sense that was defined by Alonzo Church in the following excerpt from his book on lambda calculus:


I would also like to add the point that *every* intensional definition of possible worlds arises from some human intention to create some collection of possible worlds for some purpose.

That means that possible worlds are both intensional (with an S) and intentional (with a T).

MW: At best then we are talking at cross purposes. Intensionality applies to classes, my possible worlds are individuals, i.e. some particular spatio-temporal extent. I do not know how you get possible worlds to be classes, but that is your problem not mine.

MW: Extensionality (as a basis for identity), of course, applies differently to classes and individuals. With classes it means sets with them same membership are the same, with individuals it means individuals with the same (spatio-temporal) extent are the same.




Matthew West                            

Information  Junction

Tel: +44 1489 880185

Mobile: +44 750 3385279

Skype: dr.matthew.west





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    (01)

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