A systematic study of the principles of both deductive and informal reasoning, with an emphasis on reasoning and argumentation in ordinary discourse.