ontolog-forum
[Top] [All Lists]
<prev [Date] next>
[Advanced]
<prev [Thread] next>

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

from [Christopher Menzel] [Permanent Link][Original]
To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: 2011年7月21日 16:02:38 -0700
Message-id: <A2D8CD72-2844-47C6-B5FA-8FC77E465D23@xxxxxxxx>
On Jul 21, 2011, at 10:40 AM, sowa@xxxxxxxxxxx wrote:

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, ...


Short answer: He did not. Dunn came up with a formal semantics for modal languages equivalent to Kripke's. It can be used for the same sorts of formal purposes that Kripke semantics can be used for — proving soundness and completeness results, proving the consistency of certain modal principles, etc. Dunn did NOT provide (nor did he purport to provide) alternatives to the solutions to numerous problems in semantics, philosophy of language, metaphysics, philosophy of mind etc that Lewis propounded in terms of worlds.

-chris

_________________________________________________________________
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)
[More with this subject...]
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date: Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy) , Avril Styrman
Next by Date: Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy) , sowa
Previous by Thread: Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy) , sowa
Next by Thread: Re: [ontolog-forum] intangibles (was RE: Why most classifications are fuzzy) , sowa
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /