[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: Tue, 19 Jul 2011 10:33:43 +0100
Message-id: <4e254f77.84cae30a.5517.ffffea47@xxxxxxxxxxxxx>

Dear John,

I agree that you do not have to use an extensional approach to such things, but with possible worlds you can choose to use an extensional approach. They do not become non-extensional because there are other non-extensional approaches.




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.




From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of sowa@xxxxxxxxxxx
Sent: 19 July 2011 10:16
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy)


Dear Matthew,

It is true that talking about sets of possible worlds has the appearance of being extensional, but possible worlds are not observable.  They can only be specified by some intensional axioms or descriptions.

If you specify a set W of possible worlds by some set S of axioms, any results you get from analyzing W could be derived directly from S.  The seemingly extensional analysis is nothing but a round about way of using the axioms S to derive your conclusion.

In general, any set of possible worlds used for any version of modal logic (or any other kind of logic that uses Kripke semantics) can be replaced by some set of axioms (or laws) that generate exactly the same results without making any assumptions about possible worlds.

For further discussion of these issues, see



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>