Traditional Logic I