Course-Related Links for Formal Logic II

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

• 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
  
• "A Crash Course on the Mathematics of Infinite Sets" -- the appendix to "Infinite Reflections," well worth reading all by itself
• Other Logic-Related Links -- the list of course-related links for Suber's class on "Logical Systems" at Earlham College in Richmond, Indiana*
• Euclid's Elements. Trans. David E. Joyce. -- the classical paradigm of a deductive system

*Many of Suber's class handouts are well worth checking out too.

Back to the PHIL 241-007 Web Site