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


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