Directory of Philosophy of Logic Resources

Subcategories

Frege's Theorem

http://plato.stanford.edu/entries/frege-theorem/
Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic, Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Crispin Wright that Frege's work of the Grundgesetze can be carried out in second-order logic with Hume's principle.
Humboldt State University: Argumentation and Critical Thinking Tutorial

http://www.humboldt.edu/act/HTML/
Jay VerLinden's resource offering reviews and tests on important concepts in formal logic.
Logic

http://www.philosophypages.com/lg/
An online textbook by Garth Kemerling, explaining the basic elements of elementary logic at an undergraduate level.
Peirce's Logic

http://plato.stanford.edu/entries/peirce-logic/
Article in the Stanford Encyclopaedia of Philosophy, by Eric Hammer.
Symbolic Logic

http://www.earlham.edu/~peters/courses/log/loghome.htm
Online resources provided to supplement undergraduate course taught by Peter Suber. Good collection of handouts.
Tips on Translating English into First-Order Logic

http://www.earlham.edu/~peters/courses/log/transtip.htm
An introductory guide by Peter Suber.
Why Aristotelian Logic does not Work

http://www.abelard.org/category/category.htm
An essay at Abelard.org outlining an argument against Aristotelian syllogistic.

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us