Philosophy Pages
Philosophy Pages: Categorical Propositions
Introduces the method of categorical logic, as used in the deductive reasoning formalized by Aristotle. Author defines important terms very clearly and includes several good examples. A good place to start reading about logic.