Links for "Symbolic Logic"

Symbolic Logic
Course-Related Links Peter Suber, Philosophy Department, Earlham College

Return to the course homepage for Symbolic Logic.

General logic links

Appetizers and Lessons for Math and Reason. Includes some logic lessons and puzzles. From Alan Selby.
Association for Symbolic Logic. The premier professional organization of logicians.
Diagrammatic Reasoning. From Michael Anderson.
Christian Gottschall's Gateway to Logic. Gottschall's logic software.
Guide to Philosophy and Logic. From Paul Wong.
Logic, Language, and Reasoning Web Space. Department of Computing, Imperial College.
LogicAL. Many links to sites devoted to logic, especially in relation to philosophy and artificial life.
Logic Calculator. Computes the truth-value of propositional expressions of up to four variables. By A. Yavuz Oruç.
The Logic Daemon. From Colin Allen. Interactive proof tester for propositional logic. Recently enhanced to include predicate logic.
Logic Eprints. Searchable archive of online logic papers.
Logic Group Preprint Series. List of preprint titles, most linked to web files.
Logic Puzzles. From Arlet Ottens.
Mathematical Logic Around the World. From the Mathematical Logic Group at the University of Bonn. Many helpful links.
Perspectives on the Scope of Logic. From R.B. Jones.

Journals

Newsgroups

sci.logic. Advanced for this course, but usually a high quality conversation.
earlham.ml.logic-l. A mailing list (for teachers of symbolic logic) converted to a newsgroup on Earlham's server. Not likely to be available in this form from off-campus.

If interested in informal logic, see my course homepage for Informal Logic.

If interested in advanced logic, see my course homepage for Logical Systems.

See my policy on dead links.