Dear Matthew and Avril,

All this discussion is totally irrelevant to the primary issue:

 1. Intensional methods provide clear and simple ways to derive and to formalize modality, intentionality, and other related issues.

 2. Extensional methods based on possible worlds are problematical in huge numbers of ways, and they are mired in endless confusions -- as these emails demonstrate.

The choice is clear.  I see no point in continuing this discussion.  For further information, I strongly recommend the following article and the references cited there:

     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)