To: | ontolog-forum@xxxxxxxxxxxxxxxx |
---|---|
From: | sowa@xxxxxxxxxxx |
Date: | Tue, 19 Jul 2011 05:16:26 -0400 (EDT) |
Message-id: | <76cc2f9f2cd9a407542077c114b7a59a.squirrel@xxxxxxxxxxxxxxxxxxxx> |
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 http://www.jfsowa.com/pubs/worlds.pdf John _________________________________________________________________ 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) |
Previous by Date: | Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy), Matthew West |
---|---|
Next by Date: | Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy), Matthew West |
Previous by Thread: | Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy), Matthew West |
Next by Thread: | Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy), Matthew West |
Indexes: | [Date] [Thread] [Top] [All Lists] |