ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Thing and Class

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Wed, 17 Sep 2008 08:27:44 -0500
Message-id: <37055728-0B46-4407-A3F2-E1FBD9F31943@xxxxxxxx>
On Sep 16, 2008, at 4:23 PM, Rick Murphy wrote:
John, I need to get a little more background on Kripke. Is Naming and
Necessity the publication to get the right background on Kripke semantics ?

No.  The locus classicus is the article I cited earlier: 

Kripke, S., "Semantical Considerations on Modal Logic," Acta Philosophica Fennica 16 (1963), which is reprinted in Linsky, L. (ed.), Reference and Modality,.  Hintikka's classic paper is also in the APF 16 issue, and is reprinted in Loux, The Possible and the Actual.

But that's not really where you should go to learn the material.  There are three particularly good texts I'd recommend.

For a gentle introduction: Konyndyk, Introductory Modal Logic

For more rigorous study:

Hughes and Cresswell, A New Introduction to Modal Logic

Fitting and Mendelsohn, First-Order Modal Logic


-chris


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

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