Friday, January 5, 2007
Logic
While I have the attention of a cast of mathematicians, I was wondering if I any one of you could recommend a good introductory book on formal logics? I've obviously studied the basic logical concepts in various fora before (discrete math, AI, programming semantics), and I now know enough to get myself very confused. I don't have a good resource for really understanding the different flavors of logic: constructive, modal, etc. (I know this is a bit off topic, but it isn't completely unrelated to the topic of languages.)
Subscribe to:
Post Comments (Atom)
2 comments:
Not off-topic at all -- logic counts as math :)
Are you reading this, Noam?
I don't know of a good survey-style book. There is the multi-volume Handbook of Philosophical Logic, but that's probably not what you're asking for.
For a very enjoyable introduction to constructive logic, proof theory, and linear logic, you can try Girard's Proofs and Types. The course notes to CMU's constructive logic course are also a good resource.
Or you could learn how to use one of the actual frameworks for writing formal proofs, such as Twelf or Coq.
Post a Comment