Systematic analyses of ordinary arguments, followed by a study of formal languages that are used to represent arguments symbolically.