An Outline of Logic