Useful Books on Logic

• Introductions:

 
• Logic in Linguistics, Allwood, Andersson, & Dahl

Very good introduction to basics of propositional and predicate logics, good discussions of how to express the meanings of natural language expressions in logic, and some discussions of advanced topics such as modal logic.
• Understanding Symbolic Logic, Virginia Klenk

Pretty good general introduction although it goes into more detail on many topics than is necessary. There is some interesting stuff here on the relationship between English sentences and logical representation.
• Introduction to Logic, Irving Copi & Carl Cohen

Doesn't go into predicate logic but has an introduction to a number of interesting other topics such as inductive (as opposed to deductive) reasoning, science and hypotheses, and logic and the law.
• Language Proof and Logic, Jon Barwise & John Etchemendy

I haven't read this myself yet but I have heard very good things about it. It includes teaching software that has been called excellent by others that might inspire you to some ideas that you could implement for your project.

 
• Artificial Intelligence: Most texts and many other introductory books in artificial intelligence have a chapter or two or three on basic predicate logic and examples of its use in knowledge representation. Many of these examples would be good starting points for a tutorial unit. If a group or groups is interested in any of these more specialized topics, I will help you sort through the readings to indentify doable ideas.

 
• Approaches to Knowledge Representation, An Introduction, Edited by Ringland & Duce

Chapter 2. is a good introduction to logic. Many other chapters cover topics in knowledge representation that can be related to logic and make good stories for a unit.
• Introduction to Artificial Intelligence and Expert Systems, Dan Patterson

Chapter 4 is a good introduction and overview of logic.
• Artificial Intelligence A Modern Approach, Russell & Norvig

Good chapters on propositional and predicate logic and nice examples that we will talk about in class. Excellent (though rather advanced) treatments of knowledge representation using predicate logic in later chapters.

 
• Computer Science: The following are very interesting but rather advanced books (even when they are called introductions). Some of you may be ready for these sorts of things. Don't worry about it if you are not.

 
• A First Course in Formal Language Theory, V.J. Rayward-Smith

This is more about formal grammars, automata theory and parsing, then about logic, but topics in formal areas such as these would be interesting additions to this project. The first chapter discusses set and graph theory.
• Logic for Computer Science: Foundations of Automatic Theorum Proving, Jean Gallier

This book is pretty tough. Chapter 3 is a much deeper than usual discussion of propositional logic. It goes into important theoretical concepts such as satisfiability, completeness and proof theory. Even very basic discussions and/or demonstrations of these issues would be very welcome additions to the web site.
• Formal Methods in Artificial Intelligence, Allan Ramsay

This book is sort of a cross between the AI books and the formal theory books. It is fairly difficult but not as hard as Gallier, for instance. It has the virtue of being fairly short and straight forward. First three chapters are only moderately difficult :-)