John Pollock is making available his logic textbook: “Logic: An Introduction to the Formal Study of Reasoning”:http://oscarhome.soc-sci.arizona.edu/ftp/Logic%20text.html.
bq. This is a text for an introductory symbolic logic course. It is based upon an old text that I wrote in 1969, which is long out of print. But it modifies the approach of that book to reflect theoretical work that I have done on theorem proving in the OSCAR Project. The most important innovation is to formalize the use of bidirectional reasoning. The idea behind the book is that people use bidirectional reasoning naturally, but by making the students aware of their use of it and having them adopt a notation that keeps track of it, we make it easier for them to prove theorems in logic.
At this time I have no plans for publishing this book. There are too many logic texts already on the market to make that useful. So it will only be web-published. Anyone who wants to use this text is free to do so, either for their own use or as the text in a course. I ask only that you give me any useful feedback you may have.
Home > About This Post
This entry was posted by fintel on Monday, September 22nd, 2003, at 8:19 pm.
Subscribe to the
RSS 2.0 feed for all comments to this post.
Post a Comment
You must be logged in to post a comment.