Errors or changes? Please notify Tom Trelogan.
You can help develop this site by passing on information about any pertinent Web sites you discover. Just drop me a note telling me of anything that you find relating to the topics of our course anywhere on the Internet.
Logic-Related Sites
- First-Order Logic—the Wikipedia article on the subject. Wikipedia has a number of good articles on formal logic; this is a good jumping-off point for our purposes.
- A Page on Aristotle’s Theory of the Syllogism—thanks go to Lee McMains for finding this one.
- “Translation Tips”—an extremely useful set of tips for translating English into the first-order predicate calculus, by Peter Suber of Earlham College.
-
“Infinite Reflections”—a easy-to-read discussion of infinite sets by Peter Suber of Earlham College.
- Other Logic-Related Links—the list of course-related links for Suber’s class on “Logical Systems” at Earlham College in Richmond, Indiana.*
Connections with Mathematics
- “A Crash Course on the Mathematics of Infinite Sets”—the appendix to “Infinite Reflections,” well worth reading all by itself.
- Euclid’s Elements. Trans. David E. Joyce—the classical paradigm of a deductive system.
- Metamath—a candidate for what might be called the contemporary paradigm of a deductive system: “Principia Mathematica modernized and done right” —the authors of the Wikipedia article on “Formal Logic.”
- Principia Mathematica—the Wikipedia article on the famous work of Russell and Whitehead.
- Principia Mathematica, Vols. I, II, and III—the famous work of Russell and Whitehead itself.
*Many of Suber’s class handouts are well worth checking out too.
