Symbolic Logic

This web page contains information pertaining to Symbolic Logic (PL 208 & MA 195). This summer I have been working with Professor Xinli Wang, who teaches the course, to publish a study guide for the course. Our study guide has three major parts: class notes, homework solutions, and practice tests. There is a fourth part that's shorter and less structured, which we called "Interesting Notes." It contains a few observations about the book and some URLs for sites on the web about logic. All of the sites listed in that section are listed below in the links section.

More about the Study Guide

Links related to Symbolic Logic

Logic Software from CSLI - Download the latest version of Tarski's World, the software used in Symbolic Logic
John Etchemendy - The website of one of the authors of the textbook.
Jon Barwise - A memorial for the other author of the book, who passed away March 5, 2000.
How Boolean Logic Works - Article about how logic is used in computers.
MainFrame: Factasia Logic - Information about logic and its applications
Links for "Symbolic Logic" - Several links pertaining to a Symbolic Logic course at Earlham College.
Logic Notation on the Web - Information on using logic symbols in HTML
Logic - Another logic textbook
The Journal of Symbolic Logic - Published by the association for Symbolic Logic
Logic Resources - As subtitled, a collection of links pertaining to logic.
Notes on Symbolic Logic - Class notes from Peter Williams at the California State University at San Bernardino.
Symbolic Logic in ASCII - Some practice problems related to the course.
Mathematical logic and foundations - Information from The Mathematical Atlas.
Mathematician Humor - Several math jokes; some relate to logic
"The Jabberwocky" - Lewis Carroll's poem referenced by the authors of the textbook in several problems.
Lewis Carroll - Article in Encyclopedia Britannica. As noted at the end of the study guide, Carroll studied mathematics (mentioned in this article), and perhaps the authors referenced his work as a result.

Logic is an important foundation for the study of Computer Science. As I continue to work on adding to this web site there will be more pages about CS, but for now I invite you to take a look at the Algorithms and Analysis page.

Last Modified: Sunday, July 23, 2000 09:55 PM
Email: hogandj8@juniata.edu