W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2001

Re: RDF semantics: applications, formalism and education

From: Graham Klyne <GK@NineByNine.org>
Date: Sun, 06 May 2001 09:00:20 +0100
Message-Id: <5.0.2.1.2.20010506084912.00a334b0@joy.songbird.com>
To: pat hayes <phayes@ai.uwf.edu>
Cc: www-rdf-logic@w3.org
At 11:14 AM 4/16/01 -0500, pat hayes wrote:
>>I just dug out your papers "In defense of logic" and "The second naive 
>>physics manifesto" (I happen to have copies to hand) and these have 
>>helped me understand something of the significance of interpretation as 
>>part of semantics;  viewpoints from other commentators, and a concise 
>>introduction to the logic formalisms involved (especially covering the 
>>model theory for FOL) might be helpful.
>
>I will try to find (or write) something.

I'm currently reading "Metalogic" by Geoffrey Hunter [1] which seems to 
have a good, fairly rigorous, coverage of the essentials of FOL, up to 
consistency and decidability, in a fairly concise and readable form.  It's 
certainly helping me to disentangle proof and model theory.

I may try to distill something of this in an attempt to test my understanding.

#g
--

[1]
Metalogic, An Introduction to the Metatheory of Standard First Order Logic,
Geoffrey Hunter,
University of California Press, 1971 (6th printing 1996),
ISBN 0-520-02356-0


------------
Graham Klyne
(GK@ACM.ORG)
Received on Monday, 7 May 2001 11:59:49 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:37 UTC