|Date:||Thu, 21 Jul 2011 13:40:31 -0400 (EDT)|
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).
As Church and many others have explained, the mapping from intensions to extensions is many to one: For any given set S (in extension), there can be many different rules (intensions) that generate exactly the same elements of S.
implies that an extensional set loses information.
MW: Lewis specifically asserts that possible worlds actually exist in the sense you mean.
Please note my reply to Chris M: Lewis also said that a solution that did not assume the existence of possible worlds would be preferable if it could derive the same results. Michael Dunn demonstrated such a solution, but Lewis was not aware of it. As I said before, please, please, please read the following article:
MW: Talk about possible worlds might or might not correspond to something that really exists.
That is true. But even if some claim about a possible world happened to be true, that does not refute my point that the claim was both intensional (with an S) and intentional (with a T).
In general, I agree that looking at extensions is a useful exercise. But further evidence and inferences are necessary to determine the intensions (with an S) that generated the extensions and the intentions (with a T) that led to the intensions.
Those inferences are often very difficult, and they may be mistaken.
_________________________________________________________________ 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>|
|Previous by Date:||Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy), sowa|
|Next by Date:||Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy), AzamatAbdoullaev|
|Previous by Thread:||Re: [ontolog-forum] intangibles, doug foxvog|
|Next by Thread:||Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy), Avril Styrman|
|Indexes:||[Date] [Thread] [Top] [All Lists]|