This site contains information about symbolic logic.

 

It is being redesigned to be used with Language, Proof and Logic. I started using that textbook and its rich ensemble of software during winter term of 2000.

Currently, only the pages under the "LPL Syntax" link on the left of this page are for Language, Proof and Logic.

Although the site is designed with Language, Proof and Logic in mind, it should prove useful to any student of logic.

The site is expanding but is still very much under construction. Presently, it includes:

 

• Sections on Syntax, Semantics, and Fallacies.
• A Glossary of terms of logic
• A table of contents or site map for this sub-site.
• A page for sending us your comments.
• A page for discussions of logic.

I hope you find it interesting and helpful.

Andrew McDuffee helped develop the initial version of the site.