- From: Graham Klyne <GK@NineByNine.org>
- Date: Sun, 06 May 2001 09:00:20 +0100
- 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