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