This course is an introduction to the techniques of symbolic logic in argument analysis and to the science of logic as the analysis of formal deductive systems.