[Top] [All Lists]

Re: [ontolog-forum] Essences and modality

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Thu, 22 Oct 2015 22:31:52 -0400
Message-id: <56299C18.5040902@xxxxxxxxxxx>
On 10/22/2015 9:14 PM, Thomas Johnston wrote:
> If you regard all that as straying too far afield from what you
> conceive of as the scope of this topic you've started, let me know.    (01)

The claim I'm making is that underlying every version of modality
is some law or law-like principle that determines the distinction
between what is necessary (alethic), obligatory (deontic), or
known (epistemic) vs. what is possible, permissible, or believed.    (02)

My claim about possible worlds is that they're just a colorful
metaphor that has no explanatory power.  Kripke semantics requires
a primitive accessibility relation:  there is no deeper reason why
one world w2 is accessible from some other world w1.    (03)

Dunn's semantics replaces each world w by the set of all facts
(propositions) that are true of w.  And for each world w, there is
a set of laws that determine the accessibility relation:  w2 is
accessible from w1 iff every law in w1 remains true in w2 (but
some laws in w1 may be demoted to ordinary facts in w2).    (04)

 From any Kripke model, you can derive an equivalent Dunn model
and vice versa.  But the advantage of Dunn's semantics is that
you can analyze the laws and give a deeper explanation of why
w2 is accessible from w1.    (05)

I also claim that *every* puzzle that can be solved by K's worlds
has an equivalent or *better* solution in terms of D's laws.    (06)

John    (07)

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    (08)

<Prev in Thread] Current Thread [Next in Thread>